Ｉが可換環Ａのイデアルであるとは
x（含まれる）Ｉ、a（含まれる）Ａの時、
ax=xa（含まれる）Ｉである事を言うと思っているんですが。
だから>>418だと思っているわけです。