Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
commutative ring of characteristic p
|
| gptkbp:defines |
ring homomorphism mapping x to x^p in characteristic p
|
| gptkbp:field |
gptkb:algebra
number theory |
| gptkbp:heldBy |
endomorphism
ring homomorphism |
| gptkbp:importantFor |
gptkb:algebraic_geometry
gptkb:Galois_theory finite fields |
| gptkbp:namedAfter |
gptkb:Ferdinand_Georg_Frobenius
|
| gptkbp:property |
injective if the ring is reduced
surjective if the ring is perfect |
| gptkbp:symbol |
F
|
| gptkbp:usedIn |
gptkb:Weil_conjectures
algebraic varieties over finite fields definition of perfect field study of étale cohomology |
| gptkbp:bfsParent |
gptkb:Ferdinand_Georg_Frobenius
gptkb:commutative_algebra |
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Frobenius endomorphism
|