FrobeniusAutomorphism
P158980
predicate
Indicates the automorphism of a field extension that raises each element to its p-th power (for a prime p), capturing the canonical Galois action in characteristic p.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| hasFrobeniusEndomorphism | 1 |