Unique Factorization -- from Wolfram MathWorld
mathworld.wolfram.com › UniqueFactorizationJan 27, 2022 · Unique Factorization. In an integral domain , the decomposition of a nonzero noninvertible element as a product of prime (or irreducible) factors. is unique if every other decomposition of the same type has the same number of factors. and its factors can be rearranged in such a way that for all indices , and differ by an invertible factor.