Property: (right/left) principal ideal ring