大学数学

「 単項イデアル整域 ならば 素元分解整域 」ということを証明します。イデアルを考えることで、包含関係についての極大性を利用。