元ネタ：現代代数学 服部昭§9環 命題9.1 を単位元をもつ環とする。 の単数（可逆元）は零因子ではない。命題9.2 単位元をもつ可換環のイデアル について なら 。命題9.3 を の真部分集合、 を のイデアルで の元を含まないものとすると、 を含み の元を含ま…