>>729
Aのイデアルmがm≠AでありmとAの間にいずれとも異なる他のイデアルが
存在しない時、mをAの極大イデアルと言う。