the ring of integers Z

GPTKB entity

Statements (50)
Predicate Object
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