fundamental theorem of arithmetic

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs unique factorization theorem
gptkbp:appliesTo integers greater than 1
gptkbp:category prime numbers
theorems in number theory
gptkbp:consequence greatest common divisor can be computed using prime factorization
least common multiple can be computed using prime factorization
gptkbp:field number theory
gptkbp:firstPublished gptkb:Disquisitiones_Arithmeticae
https://www.w3.org/2000/01/rdf-schema#label fundamental theorem of arithmetic
gptkbp:implies prime factorization is unique
gptkbp:provenBy gptkb:Carl_Friedrich_Gauss
gptkbp:publicationYear 1801
gptkbp:relatedTo gptkb:Prime_Number
gptkb:Euclid's_lemma
unique factorization domain
gptkbp:state every integer greater than 1 can be represented uniquely as a product of prime numbers, up to the order of the factors
gptkbp:bfsParent gptkb:Euclid's_infinitude_of_primes_theorem
gptkbp:bfsLayer 7