principal ideal domain

Definition

A principal ideal domain (PID) is an integral domain such that every ideal is principal (that is each $I=(r)$.

Examples

• fields

• $\mathbb{Z}$

• $k[x]$ for $k$ a field.

Why do we care?

The theory of PID modules is very interesting and accessible. For a whole long explanation of the theory look here.