Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
For the sentence
An integral domain is a unique factorization domain (UFD for short) if every non-unit has a factorization as product of irreducible non-units and this decomposition is unique up to renumbering and rescaling the irreducibles by units.
should the “product of irreducible non-units” be “arbitrary/infinitary product” or “finite product”?
Precised that is never irreducible as a consequence of the definition of irreducible.
Corrected the definition:
The unique factorization condition if for non-zero non-units. With the current definition, there doesn’t exist any UFD. If zero must have a decomposition as a product of irreducibles, then we have and thus one of the is equal to because we are in an integral domain. But is never irreducible, absurd.
Replaced “irreducible non unit” by “irreducible” because it is redundant.
Precised that must be greater than in the decomposition.
1 to 6 of 6