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
|