< back to index

Principal ideal domain (PID)

Definition

A principal ideal domain (PID) is a commutative ring in which all ideals are principal, i.e. are generated by a single element.

Properties

PIDs are integral domains.

Types

A PID where the Euclidean division algorithm works is called a Euclidean domain.

The Green Goose trans Best viewed with Firefox/Floorp/Icecat/Pale Moon/Tor Browser/Zen Browser MathML Now! LaTeX

all these pages adapted with probably insufficient credit from my university's lecture notes