Finite field morphisms for prime fields

Special implementation for prime finite field of:

• embeddings of such field into general finite fields

• Frobenius endomorphisms (= identity with our assumptions)

See also

sage.rings.finite_rings.hom_finite_field

AUTHOR:

• Xavier Caruso (2012-06-29)

class sage.rings.finite_rings.hom_prime_finite_field.FiniteFieldHomomorphism_prime

Bases: sage.rings.finite_rings.hom_finite_field.FiniteFieldHomomorphism_generic

A class implementing embeddings of prime finite fields into general finite fields.

class sage.rings.finite_rings.hom_prime_finite_field.FrobeniusEndomorphism_prime

Bases: sage.rings.finite_rings.hom_finite_field.FrobeniusEndomorphism_finite_field

A class implementing Frobenius endomorphism on prime finite fields (i.e. identity map :-).

fixed_field()

Return the fixed field of self.

OUTPUT:

• a tuple $(K, e)$, where $K$ is the subfield of the domain consisting of elements fixed by self and $e$ is an embedding of $K$ into the domain.

Note

Since here the domain is a prime field, the subfield is the same prime field and the embedding is necessarily the identity map.

EXAMPLES:

sage: k.<t> = GF(5)
sage: f = k.frobenius_endomorphism(2); f
Identity endomorphism of Finite Field of size 5
sage: kfixed, embed = f.fixed_field()

sage: kfixed == k
True
sage: [ embed(x) == x for x in kfixed ]
[True, True, True, True, True]

class sage.rings.finite_rings.hom_prime_finite_field.SectionFiniteFieldHomomorphism_prime

Bases: sage.rings.finite_rings.hom_finite_field.SectionFiniteFieldHomomorphism_generic