Frobenius

Given a field with prime characteristic p, Frobenius endomorphism maps every element to its p-th power.

Syntax

frobenius(Element)
frobenius(Field)

Description

Given an element a of a field with prime characteristic p previously defined, returns ap.

abstract_algebra.frobenius1.calc.png

Given a field K with prime characteristic p, returns a function that maps every element a to ac, where c=cardinal(K).

abstract_algebra.frobenius2.calc.png