|
gptkbp:instanceOf
|
gptkb:King
gptkb:mathematical_concept
|
|
gptkbp:characteristic
|
0
zero
|
|
gptkbp:compact
|
true
|
|
gptkbp:completeWithRespectTo
|
gptkb:p-adic_topology
|
|
gptkbp:contains
|
integers
|
|
gptkbp:definedIn
|
inverse limit of \mathbb{Z}/p^n\mathbb{Z}
|
|
gptkbp:field
|
algebraic number theory
|
|
gptkbp:isDiscreteValuationRing
|
true
|
|
gptkbp:isDomain
|
true
|
|
gptkbp:isHausdorff
|
true
|
|
gptkbp:isIntegrallyClosed
|
true
|
|
gptkbp:isLocalRing
|
true
|
|
gptkbp:isNoetherian
|
true
|
|
gptkbp:isPrincipalIdealDomain
|
true
|
|
gptkbp:isProfinite
|
true
|
|
gptkbp:isQuotientOf
|
\mathbb{Z}_p/p\mathbb{Z}_p \cong \mathbb{F}_p
|
|
gptkbp:isSubringOf
|
p-adic numbers
|
|
gptkbp:isTopologicalRing
|
true
|
|
gptkbp:isTotallyDisconnected
|
true
|
|
gptkbp:isUncountable
|
true
|
|
gptkbp:maximalIdeal
|
p\mathbb{Z}_p
|
|
gptkbp:notation
|
\mathbb{Z}_p
|
|
gptkbp:relatedTo
|
p-adic numbers
|
|
gptkbp:usedIn
|
gptkb:Iwasawa_theory
local fields
Galois representations
p-adic Hodge theory
|
|
gptkbp:bfsParent
|
gptkb:Witt_vector
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
p-adic integers
|