Revision #799 → #1247 · back to history
addedFundamental theorem of arithmeticfa2a4b00a09c
addedPrime factorization of 1200e2a8e0ea708a
addedNecessity of prime factorsa31c7235cbe0
addedRestatement using empty product convention65e948827932
addedWhy 1 is not prime32e3fecbdebf
addedGeneralization to UFDs6c0a2c0194c0
addedEuclid's lemma (Elements VII.30)8c4648390c6f
addedEvery composite has a prime divisor (Elements VII.31)9d63cc5a9f40
addedEvery number is prime or has a prime divisor (Elements VII.32)90d13f2b141b
addedLCM of primes (Elements IX.14)062ade30c1eb
addedCanonical representation2de9d916aa00
addedCanonical representations of 999, 1000, 10012c9d92cdeec0
addedInfinite product representationb727e8f23fb3
addedCanonical form for positive rationals15d58058d709
addedProduct, GCD, LCM via canonical representations768c7372a294
addedAdditive and multiplicative functions determined by prime powersa80617463c7c
addedProof uses Euclid's lemma113c3fb6dbfd
addedExistence of prime factorizationf2364d1f269d
addedUniqueness of prime factorizationf52788b4ff38
addedUniqueness without Euclid's lemmae21d9f910500
addedGaussian integers have unique factorizationc00b5ec06ac4
addedEisenstein integers have unique factorization229bc10d4e68
addedFailure of unique factorization129a46d7be9f
addedIrreducible vs prime71cdc31e73d8
addedPrime implies irreducible in integral domainsef670b42aee2
addedUnique factorization domainfea76f5f0670
addedDedekind domain9dfd5d3af062
addedUnique factorization for ordinals3cf6598a07ba
addedUnique factorization in commutative Möbius monoids0bd78b96595c