# 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)

AUTHOR:

• Xavier Caruso (2012-06-29)
class sage.rings.finite_rings.hom_prime_finite_field.FiniteFieldHomomorphism_prime

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

class sage.rings.finite_rings.hom_prime_finite_field.FrobeniusEndomorphism_prime

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