Kummer's lemma

GPTKB entity

Statements (10)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:describes congruence properties of units in cyclotomic fields
gptkbp:field algebraic number theory
https://www.w3.org/2000/01/rdf-schema#label Kummer's lemma
gptkbp:namedAfter gptkb:Ernst_Kummer
gptkbp:relatedTo ideal theory
cyclotomic fields
gptkbp:usedIn proof of Fermat's Last Theorem for regular primes
gptkbp:bfsParent gptkb:Ernst_Eduard_Kummer
gptkbp:bfsLayer 5