Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• PID implies UFD  +
• Length of irreducible factorization is strictly multiplicatively monotone on unique factorization domain  +
• Unique factorization domain that is not a field has either infinitely many units or infinitely many associate classes of irreducibles  +
• Integral domain satisfying ACCP that is not a field has either infinitely many units or infinitely many associate classes of irreducibles  +
• Unique factorization and Bezout iff principal ideal  +
• Gauss's lemma  +
• Unique factorization implies every nonzero prime ideal contains a prime element  +
• Unique factorization and Dedekind iff principal ideal  +