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 ia a unique factorization domain.

Authors:
Knowl status:
• Review status: beta
• Last edited by John Jones on 2019-03-20 10:09:02
Referred to by:
History: