Frobenius endomorphisms on p-adic fields#

class sage.rings.padics.morphism.FrobeniusEndomorphism_padics#

A class implementing Frobenius endomorphisms on p-adic fields.

is_identity()#

Return True if this morphism is the identity morphism.

EXAMPLES:

sage: K.<a> = Qq(5^3)
sage: Frob = K.frobenius_endomorphism()
sage: Frob.is_identity()
False
sage: (Frob^3).is_identity()
True

is_injective()#

Return True since any power of the Frobenius endomorphism over an unramified p-adic field is always injective.

EXAMPLES:

sage: K.<a> = Qq(5^3)
sage: Frob = K.frobenius_endomorphism()
sage: Frob.is_injective()
True

is_surjective()#

Return True since any power of the Frobenius endomorphism over an unramified p-adic field is always surjective.

EXAMPLES:

sage: K.<a> = Qq(5^3)
sage: Frob = K.frobenius_endomorphism()
sage: Frob.is_surjective()
True

order()#

Return the order of this endomorphism.

EXAMPLES:

sage: K.<a> = Qq(5^12)
sage: Frob = K.frobenius_endomorphism()
sage: Frob.order()
12
sage: (Frob^2).order()
6
sage: (Frob^9).order()
4

power()#

Return the smallest integer \(n\) such that this endomorphism is the \(n\)-th power of the absolute (arithmetic) Frobenius.

EXAMPLES:

sage: K.<a> = Qq(5^12)
sage: Frob = K.frobenius_endomorphism()
sage: Frob.power()
1
sage: (Frob^9).power()
9
sage: (Frob^13).power()
1