最大理想の定義、決定、および性質