|
gptkbp:instanceOf
|
gptkb:mathematical_concept
gptkb:commutative_ring
gptkb:local_ring
gptkb:profinite_ring
gptkb:topological_ring
|
|
gptkbp:characteristic
|
0
|
|
gptkbp:compact
|
true
|
|
gptkbp:definedIn
|
prime number p
|
|
gptkbp:isCompleteDiscreteValuationRing
|
true
|
|
gptkbp:isCompleteWithRespectTo
|
gptkb:p-adic_topology
|
|
gptkbp:isDiscreteValuationRing
|
true
|
|
gptkbp:isDomain
|
true
|
|
gptkbp:isHausdorff
|
true
|
|
gptkbp:isIntegrallyClosed
|
true
|
|
gptkbp:isInverseLimitOf
|
Z/p^nZ
|
|
gptkbp:isNoetherian
|
true
|
|
gptkbp:isPrincipalIdealDomain
|
true
|
|
gptkbp:isSubringOf
|
field of p-adic numbers
|
|
gptkbp:isTotallyDisconnected
|
true
|
|
gptkbp:isUncountable
|
true
|
|
gptkbp:isUniversalCoveringRingOf
|
finite rings Z/p^nZ
|
|
gptkbp:isValuationRing
|
true
|
|
gptkbp:maximalIdeal
|
pZ_p
|
|
gptkbp:notation
|
Z_p
|
|
gptkbp:residueField
|
finite field of order p
|
|
gptkbp:usedIn
|
gptkb:algebraic_geometry
algebraic number theory
number theory
p-adic analysis
|
|
gptkbp:bfsParent
|
gptkb:valuation_ring
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
ring of p-adic integers
|