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

• Dedekind-Hasse norm implies principal ideal ring  +
• Principal ideal domain admits multiplicative Dedekind-Hasse norm  +
• PID implies UFD  +
• Strictly multiplicatively monotone norm on Bezout domain is a Dedekind-Hasse norm  +
• Unique factorization and Bezout iff principal ideal  +
• Principal ideal ring iff every prime ideal is principal  +
• Unique factorization and one-dimensional iff principal ideal  +
• Unique factorization and Dedekind iff principal ideal  +