Property: (right/left) principal ideal domain