を体とし,正整数
で定まる
の部分環
,または
の部分環
を数値的半群と呼びます。
MathPower にも出ていた可換環論botこと龍孫江さんの今日の記事で次の定理が示されていました。
blog.livedoor.jpこの「高々2個」の2は
証明
まず, に対して示す。
は
の部分環でPID。
を含む環
は階数
の自由
-加群になっている。
のイデアルは
の部分
-加群で,ねじれ部分がないので,階数が高々
の自由
-加群になり,特に高々
個の要素で生成されている。
-加群としての生成系は当然,
-加群としての生成系でもあるので,
の任意のイデアルは高々
個の要素で生成される。
に対しても,
の部分環
を取って,全く同様に証明できる。
証明終
この証明は単に生成元の数がだけ以下ということだけを示していて,具体的にどのような元で生成されるかは教えてくれません。可換環論botこと龍孫江さんの証明はイデアルの生成元を具体的に生成元がどのようになるのかを与える構成的な証明です。