Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
commutative ring local ring profinite ring topological ring |
| gptkbp:characteristic |
0
|
| gptkbp:compact |
true
|
| gptkbp:definedIn |
prime number p
|
| https://www.w3.org/2000/01/rdf-schema#label |
ring of p-adic integers
|
| 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
|