FiniteFieldEmbedding

FiniteFieldEmbedding[ff1,ff2]

gives an embedding of the finite field ff1 in the finite field ff2.

FiniteFieldEmbedding[e1e2]

represents the embedding of the ambient field of e1 in the ambient field of e2, which maps e1 to e2.

Details

  • Finite field embeddings are also known as Galois field embeddings or finite field monomorphisms.
  • Finite field embeddings are typically used to identify one finite field with a subfield of another.
  • If =FiniteFieldEmbedding[e1e2], where e1ff1 and e2ff2, then maps ff1 into ff2, , and for all a,b in ff_1.
  • A finite field ff1 can be embedded in ff2 if it has the same characteristic as ff2 and its extension degree divides that of ff2.
  • Finite field elements e1ff1 and e2ff2 define a field embedding of ff1 in ff2 iff they have the same MinimalPolynomial and e1 generates ff1. The latter condition is satisfied iff the degree of the minimal polynomial of e1 is equal to the extension degree of ff1 over .
  • For an embedding =FiniteFieldEmbedding[e1e2], ["Projection"] represents a linear mapping from the ambient field ff2 of e2 onto the ambient field ff1 of e1, treated as vector spaces over , such that for all a in ff_1.

Examples

open allclose all

Basic Examples  (1)

Represent finite fields and with characteristic and extension degrees and :

Find an embedding of in :

Map an element of through the embedding:

Project the result back to :

Scope  (3)

Represent finite fields and with characteristic and extension degrees and :

Find an embedding of in :

A field embedding preserves addition and multiplication:

["Projection"] is a -linear mapping but does not preserve multiplication:

The composition of ["Projection"] with is the identity on :

The reverse composition is not the identity on :

Specify a field embedding by manually picking a generator and its value:

a generates if the degree of its minimal polynomial equals the extension degree of :

Find the roots of f in :

Pick one of the roots:

Represent the embedding of in that maps a to b:

For the embedding to exist, both fields need to have the same characteristic:

The extension degree of the first field needs to divide the extension degree of the second field:

Applications  (1)

Factor a polynomial in an algebraic extension of a finite field:

Embed in a finite field with elements:

Map f through the embedding:

Factor the result:

Use the Extension option to combine the last two steps:

Properties & Relations  (4)

A field embedding preserves addition and multiplication:

["Projection"] is a -linear mapping but does not preserve multiplication:

The composition of ["Projection"] with is the identity on :

The reverse composition is not the identity on :

Find an automorphism of :

All finite field automorphisms are functional powers of the Frobenius automorphism:

Here aut[a]==FrobeniusAutomorphism[a,4]:

An embedding allows identifying with a subfield of :

Use FiniteFieldElementTrace to compute :

Use FiniteFieldElementNorm to compute :

Use MinimalPolynomial to find the minimal polynomial of an element of over :

Use Composition to compose finite field embeddings:

Wolfram Research (2023), FiniteFieldEmbedding, Wolfram Language function, https://reference.wolfram.com/language/ref/FiniteFieldEmbedding.html.

Text

Wolfram Research (2023), FiniteFieldEmbedding, Wolfram Language function, https://reference.wolfram.com/language/ref/FiniteFieldEmbedding.html.

CMS

Wolfram Language. 2023. "FiniteFieldEmbedding." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FiniteFieldEmbedding.html.

APA

Wolfram Language. (2023). FiniteFieldEmbedding. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FiniteFieldEmbedding.html

BibTeX

@misc{reference.wolfram_2023_finitefieldembedding, author="Wolfram Research", title="{FiniteFieldEmbedding}", year="2023", howpublished="\url{https://reference.wolfram.com/language/ref/FiniteFieldEmbedding.html}", note=[Accessed: 13-April-2024 ]}

BibLaTeX

@online{reference.wolfram_2023_finitefieldembedding, organization={Wolfram Research}, title={FiniteFieldEmbedding}, year={2023}, url={https://reference.wolfram.com/language/ref/FiniteFieldEmbedding.html}, note=[Accessed: 13-April-2024 ]}