Principal ideal domains (PIDs)

Definition of principal ideal domain

A principal ideal domain is an integral domain in which every ideal is principal. In other words, for every ideal IR there is some element dR such that I=(d)={rdrR}.