Principal ideal domain (source code)

= Principal ideal domain
{wiki}

A principal ideal domain is an integral domain whose every ideal has one generator.