We continue the discussion started in this post.
Categories
We continue the discussion started in this post.
In this post, we consider a variation of a unique factorization domain (UFD) that can more closely align with our intuition for prime factorization of integers — specifically, rather than the factorization being required to be up to invertible elements, here we require the factorization to be up to multiplicative identity. This is a seemingly stronger definition, and one that doesn’t seem to encompass fields trivially or obviously (in line with our intuition for integer prime factorization.)