>>237
ありがとうございます。もう少し聞きたいのですが、(a)を含む極大イデアル
Jは必ず存在するといえるのですか?