gaugeconf 2024年2月8日 12:37 永井「代数学入門」の2.7.11で使っているK[X]のPID性がKが体でないといけないことは、2.4.11, 2.4.12と2.6.6から来てるのかな? この記事が気に入ったらサポートをしてみませんか? サポート