単位イデアル
環Rに対して、R自身をRの単位イデアルという