クンマー環

クンマー環について

クンマー環、または円分整数環 ℤ[ζ] は、抽象代数学の領域における重要な構造の一つです。この環は、複素数体の部分環であり、すべての元が特定の形式で表現されます。具体的には、次のような形の整数和によって構成されます：

$$
n_0 + n_1 oldsymbol{eta} + n_2 oldsymbol{eta}^2 + \dotsb + n_{m-1} oldsymbol{eta}^{m-1}\
$$

ここで、$oldsymbol{eta}$ は 1 の m-乗根、すなわち $oldsymbol{eta} := ext{exp}(2 ext{π}i/m)$ であり、n0, n1, ..., nm−1 はすべて整数です。この環の名称は、エルンスト・クンマーに因んでおり、彼がこの形の数の素因数分解を研究したことに由来します。

クンマー環の構造

クンマー環は、有理整数環 ℤ の拡大環として理解されています。記号 ℤ[ζ] は、これを示すものです。さらに、$oldsymbol{eta}$ の最小多項式は m-次の円分多項式であるため、クンマー環 ℤ[ζ] は、ℤ の φ(m)-次の拡大を成しています。式中の φ(m) は、m のオイラー関数を表し、m と互いに素な数の個数を示します。

この環に含まれる単数の集合は、次のように表現されます：

$$
egin{pmatrix}1, oldsymbol{eta}, oldsymbol{eta}^2, \dotsb, oldsymbol{eta}^{m-1} \\ \\end{pmatrix}
$$
これらの単数は、基本的な構成要素として機能します。また、ディリクレの単数定理に基づくと、クンマー環には無限位数の単数も存在しますが、m = 1 または m = 2、すなわち有理整数環 ℤの場合、m = 4（ガウス整数環 ℤ[i]）、および m = 3 または m = 6（アイゼンシュタイン整数環 ℤ[ω]）の場合には例外が存在します。

関連項目と参考文献

クンマー環の理解は、数論や代数学の別の重要なトピックであるクンマー理論とも関連しています。興味がある方は、以下の文献やリンクをぜひ参照してみてください：

• - Allan Clark著『Elements of Abstract Algebra』（1984年、Courier Dover）p. 149
• - Eric W. Weissteinによる「Cyclotomic Integer」(

mathworld.wolfram.com)

• - nLabの「cyclotomic integer」
• - PlanetMathの「cyclotomic units」

これらのリソースは、クンマー環の詳細な理解に役立つでしょう。

もう一度検索