Kronecker–Weber theorem (local case)

GPTKB entity

Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo local fields
gptkbp:concerns abelian extensions of local fields
gptkbp:field algebraic number theory
number theory
https://www.w3.org/2000/01/rdf-schema#label Kronecker–Weber theorem (local case)
gptkbp:provenBy gptkb:Leopoldt
gptkbp:relatedTo gptkb:Kronecker–Weber_theorem
gptkbp:seeAlso local class field theory
gptkbp:state Every finite abelian extension of the p-adic numbers Q_p is contained in a cyclotomic extension of Q_p
gptkbp:bfsParent gptkb:Lubin–Tate_theory
gptkbp:bfsLayer 7