Definition
A principal ideal domain (PID) is an integral domain such that every ideal is principal (that is each
Examples
-
-
for 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.
Properties
- All non-zero elements are prime.