FiniteFieldEmbedding

FiniteFieldEmbedding[ff1,ff2] gives an embedding of the finite field ff1 in the finite field ff2.

FiniteFieldEmbedding[e1->e2] represents the embedding of the ambient field of e1 in the ambient field of e2, which maps e1 to e2.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.