gptkbp:instanceOf
|
gptkb:Dedekind_domain
gptkb:King
Noetherian ring
Euclidean domain
commutative ring
integral domain
principal ideal domain
unique factorization domain
countable set
|
gptkbp:characteristic
|
0
|
gptkbp:hasAdditiveIdentity
|
0
|
gptkbp:hasMultiplicativeIdentity
|
1
|
https://www.w3.org/2000/01/rdf-schema#label
|
the ring of integers Z
|
gptkbp:identityElement
|
1
|
gptkbp:isArtinianRing
|
false
|
gptkbp:isCommutative
|
true
|
gptkbp:isCountable
|
true
|
gptkbp:isCyclicGroup
|
true
|
gptkbp:isDedekindDomain
|
true
|
gptkbp:isDiscreteValuationRing
|
false
|
gptkbp:isDomain
|
true
|
gptkbp:isEuclideanDomain
|
true
|
gptkbp:isFinite
|
true
|
gptkbp:isFinitelyGeneratedAsModuleOverItself
|
true
|
gptkbp:isGeneratedBy
|
1
|
gptkbp:isInfiniteCyclicGroup
|
true
|
gptkbp:isInitialObjectIn
|
category of rings
|
gptkbp:isJacobsonRing
|
true
|
gptkbp:isLocalRing
|
false
|
gptkbp:isModuleOverItself
|
true
|
gptkbp:isNoetherian
|
true
|
gptkbp:isNonAbelian
|
true
|
gptkbp:isPerfectRing
|
true
|
gptkbp:isPrincipalIdealDomain
|
true
|
gptkbp:isReducedRing
|
true
|
gptkbp:isRingOfIntegersOf
|
gptkb:the_rational_numbers_Q
|
gptkbp:isSemisimpleRing
|
false
|
gptkbp:isSimpleAsModuleOverItself
|
false
|
gptkbp:isSimpleRing
|
false
|
gptkbp:isSubringOf
|
gptkb:the_complex_numbers_C
gptkb:the_field_of_rational_numbers_Q
the real numbers R
|
gptkbp:isTorsionFreeAsModuleOverItself
|
true
|
gptkbp:isTotallyOrdered
|
true
|
gptkbp:isUniqueFactorizationDomain
|
true
|
gptkbp:isUnital
|
true
|
gptkbp:isUniversalObjectIn
|
category of commutative rings with unity
|
gptkbp:universalCover
|
gptkb:the_circle_group
|
gptkbp:bfsParent
|
gptkb:PID_(Principal_Ideal_Domain)
|
gptkbp:bfsLayer
|
6
|