show · ring.principal_ideal_domain all knowls · up · search:

A principal ideal domain, or PID, is an integral domain $R$ such that every ideal of $R$ is of the form $\langle a\rangle$ for some $a\in R$.

Every such ring is a unique factorization domain.

Knowl status:
  • Review status: reviewed
  • Last edited by David Roe on 2020-10-13 17:32:06
Referred to by:
History: (expand/hide all) Differences (show/hide)