ここでは Dedekind 整域の でないイデアルは 元生成である ということを示したいと思います. この命題を示すために, 次の定理を用います. 定理 1. Dedekind 整域の でない任意のイデアルは素イデアルの積として一意的に表される. また次の補題も使うので示し…