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