principal ideal rings