unique factorization domain
integral domain where every nonzero element is uniquely expressible as a product of prime elements
regular local ring
Noetherian local commutative ring, the minimal number of generators of whose maximal ideal equals its Krull dimension
principal ideal domain
Algebraic structure
polynomial ring
algebraic structure