# Property: (right/left) principal ideal domain

Definition: (right principal ideal domain) Domain which is a principal right ideal ring

## Resources for learning about this property:

- N. Jacobson. Basic algebra I. (2012) @ Section 2.16
- P. M. Cohn. Free ideal rings and localization in general rings. (2006) @ Chapter 1

## Metaproperties:

This property

**does not** have the following metaproperties