# Property: (right/left) principal ideal domain

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