極大イデアル
単位イデアルでないイデアルのうち、包含関係で極大なものを極大イデアルという