有限アーベル群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 有限アーベル群の意味・解説 

有限アーベル群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/01/10 03:01 UTC 版)

数学の殊に代数学において有限アーベル群(ゆうげんアーベルぐん、: finite abelian group)は、可換かつ有限なる。ゆえにこれは有限型のアーベル群の特別の場合である。にも拘らず、有限アーベル群の概念には独自の長い歴史と特有の様々な応用(合同算術のような純粋数学的なものも、誤り訂正符号のような工学的なものも含めて)を有する。

レオポルト・クロネッカー (1823-1891).
ニールス・アーベル (1802-1829).
エヴァリスト・ガロア (1811-1832).

クロネッカーの定理は有限アーベル群の構造を陽に記述する。すなわち、有限アーベル群は巡回群直積である。

群の圏において、有限アーベル群の全体は自己双対部分圏を成す。

歴史

1824年にノルウェーの数学者ニールス・アーベルは、自費でわずか6頁の五次の一般方程式の解法に関する研究を著した[1]。これはある置換の集合の可換性が重要なることを明らかにするものであった。こんにち可換群にアーベルの名を関するのはこの発見に依拠するのである。

エヴァリスト・ガロワも同じ問題に取り組み、1831年に初めて「形式群」(groupe formel) の語を用いた[2]。この論文は後にジョゼフ・リウヴィルによって出版されている。19世紀後半、有限群の研究が本質的に表れて初めてガロワ理論が構築されていくことになる。

形式群の概念の形成には多くの年月が必要とされたにもかかわらず、クロネッカーはその公理化における一人の役者である。1870年にはこんにち用いられるのと同値な有限アーベル群の定義が与えられている[3]。一般の定義はハインリッヒ・ヴェーバー英語版による[4]

1853年レオポルト・クロネッカー有理数体の有限拡大で可換なガロワ群を持つものは円分拡大の部分体であることを述べた[5]。こんにちクロネッカー–ヴェーバーの定理と呼ばれるこの定理の、クロネッカーによる証明は誤っており、リヒャルト・デデキント、ハインリッヒ・ヴェーバー[6]が厳密な証明を与えた。この流れにおいてクロネッカーは、1870年の論文において(こんにちではクロネッカーの名を関する)有限アーベル群の構造定理を証明した一人に数えられる。

性質

基本性質

  • 任意の巡回群はアーベル群である。
  • 有限アーベル群の任意の部分群はまた有限アーベル群である。
  • 有限アーベル群の任意の剰余群はまた有限アーベル群である。
  • 有限アーベル群からなる任意の有限族の直積群はまた有限アーベル群である。

クロネッカーの定理

以下、G は有限アーベル群とする。

定理 (Kronecker)

整数 > 1 からなる数列 (a1, a2, …, ak) が一意に存在して群同型 G ≅ (Z/a1Z) × (Z/a2Z) × ⋯ × (Z/akZ) かつ ai+1 | ai (1 ≤ ∀i < k) を満たす。

この列を G の不変系といい、その各元を単因子(不変因子)という。

クロネッカーの定理の系

任意の素数 p に対し、Gシロー p-部分群G の元からなる素数 p の冪を位数に持つ極大な部分群)を Gp と書く。

  • G は適当な p に関するシロー部分群 Gp直積である。

(このねじれ冪零群の一般性質は、とくに有限アーベル群の場合には、ベズーの定理から容易に導かれる).)

クロネッカーの定理を Gp に適用すれば、ただちに G のより細かい分解が得られる。フロベニウススティッケルバーガー英語版

ことを示した[7]。以下のことがわかる:

  • G, H, K が有限アーベル群で、二つの直積群 G × HG × K が互いに同型ならば、HK も同型である[注釈 2]
  • G の位数の任意の約数 d に対し、G は少なくとも一つ位数 d の部分群を含む[注釈 3]
  • 任意の整数 n > 0 に対し、位数 n のアーベル群の(同型を除いた)個数[8]p(k1)⋯p(kr) に等しい。ただし、p k1
    1
     
    p kr
    r
     
    n素因数分解であり、p(k) は整数 k に対する分割数である[9]

応用

調和解析

有限アーベル群は特筆すべき群指標を持ち、その指標群は自身に同型である。ゆえに、そのような群上の調和解析は単純で確立されていて、フーリエ変換畳み込みを定義することができる。よく知られた結果として、パーシヴァルの等式プランシュレルの定理ポワソン和公式などが挙げられる。

合同算術

Peter Gustav Lejeune Dirichlet (1805-1859).

代数的整数論で広く用いられる構造として、整数の合同類環 Z/pZ と特にその単数群 (Z/pZ)× がある。このアプローチは合同算術の基礎になっている。p素数ならば、この単数群は位数 p − 1 の巡回群であり、素数以外の場合でも有限アーベルであることは変わりない。

この構造は、フェルマーの小定理(や、その一般化であるオイラーの定理)のようなディオファントス方程式を解くのに利用できる。フェルマーの二平方定理デデキントによる証明でも用いられた。

有限アーベル群上の調和解析もまた数論に多くの応用を持つ。それらはガウスルジャンドルらのような数学者が示した結果の現代的定式化に相当する。ルジャンドル記号はこんにちでは巡回群(したがって有限かつアーベル)の {−1, 1} に値をとる指標と考えられる。ガウス和ガウス周期フランス語版もそれらを計算可能にする有限アーベル群の指標を用いて表すことができる。そのような方法は平方剰余の相互法則の証明の基本である。

ディリクレはガウスとルジャンドルの予想「既約合同類群 (Z/pZ)× の各類は無限個の素数を含む」に着目した。オイラーオイラー積に対応させる一つのよい方法を考案したが、素数はすべて一つの類に属するものと考えられた。ディリクレは調和解析を用いて、こんにち算術級数定理と呼ばれるこの定理を証明し、ディリクレによる成果は解析数論の礎となった。

ガロワ理論

Carl Friedrich Gauss (1777-1855).
正十七角形の作図

有限アーベル群はガロワ理論において特別な役割を持つ。アーベル–ルフィニの定理の帰結として、可換なガロワ群を持つ多項式は冪根によって解ける(逆はやや複雑で、ガロワ群が可解群となるのにアーベルであることは必要でない)。そのような多項式の分解体アーベル拡大、つまり拡大のガロワ群がアーベルである。この結果は、アーベル拡大とそのガロワ群に注目するものである。これは19世紀の数学者たちがクロネッカー–ヴェーバーの定理の証明に熱心であった理由である。

ガロワやクロネッカーとヴェーバーの発見よりもずっと以前に、ガウスは特定の場合「正17角形の定木とコンパスを用いた作図を求めるための、指数17の円分方程式」を扱ったが、この多項式のガロワ群がアーベルであることはこの方法の本質的な要素であった。

有限体

任意の有限体 K に対し、その加法群 (K, +) は素数位数の巡回群の冪であり、乗法群 (K*, ⋅) は巡回群である。

情報理論

CDにはリード・ソロモン符号が用いられている

20世紀には、情報理論の起こりとともに有限アーベル群は特に重要となった。暗号理論誤り訂正符号の両方に用いられる。

暗号理論において、多くのアルゴリズムの基礎として巡回群が用いられる。合同算術により、例えばフェルマーの判定法フランス語版ミラー–ラビンの判定法のような素数判定が可能となる。有限アーベル群の利用はそれだけにとどまらない。一つの本質的な構造として有限ベクトル空間すなわち有限体上の有限次元ベクトル空間フランス語版は、有限アーベル群に対応するものであり、これによりある種の調和解析フランス語版が定義できるようになる。係数体が二元からなるとき、その上のベクトル空間で定義される複素数値函数はブール函数であり、フーリエ変換はウォルシュ変換フランス語版になる。暗号理論は、例えば置換テーブルの研究などに対して、ブール函数およびウォルシュ変換を広汎に用いさせる。

誤り訂正符号の理論、特に線型符号もまた例外ではない。これには例えばマクウィリアムの恒等式フランス語版を通じた双対符号の解析に関し、任意の有限ベクトル空間上の調和解析が用いられる。コンパクトディスクに用いられるリード・ソロモン型の符号は、(有限アーベル群の乗法に基づく構造である)256元体上のベクトル空間を利用する。

注釈・出典

注釈

  1. ^ この一意性はクルル–シュミットの定理からも導くことができる。あるいは、後述する直積の単純化の系としても直截に示せる
  2. ^ Une démonstration figure dans ce cours sur Wikiversité. Vipul Naik en donne une directe, en supposant seulement que les trois groupes sont finis (non nécessairement abéliens). Une vaste généralisation est due à Bjarni Jónsson [in フランス語]; Alfred Tarski [in フランス語] (1947). Direct Decompositions of Finite Algebraic Systems (英語)., th. 3.11 p. 50. Dans le cas des groupes, elle s'exprime par :

    Pour tout groupe fini G et tous groupes H et K, G × HG × KHK.

    R. Hirshon (1969). "On cancellation in groups". Amer. Math. Monthly (英語). 76 (9): 1037–1039. JSTOR 317133 donne une preuve rapide de cette implication et montre de plus que la finitude de G est, elle, indispensable, en fournissant un contre-exemple pour G = ℤ, avec même H et K de type fini, mais nécessairement non abéliens puisqu'un autre théorème :

    Pour tout groupe abélien de type fini G et tous groupes abéliens H et K, G × HG × KHK.

    avait été démontré par P. M. Cohn [in フランス語] (1956). "The complement of a finitely generated direct summand of an abelian group". Proc. Amer. Math. Soc. (英語). 7 (3): 520–521. et Elbert A. Walker (1956). "Cancellation in direct sums of groups". Proc. Amer. Math. Soc. (英語). 7 (5): 898–902..

  3. ^ Une démonstration figure dans ce problème corrigé sur Wikiversité.

出典

  1. ^ Abel, Niels Henrik (1824). Mémoire sur les équations algébriques, où l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré.
  2. ^ Galois, Évariste (1846). "Mémoire sur les conditions de résolubilité des équations par radicaux". Journal de mathématiques pures et appliquées (フランス語). J. Math. Pures Appl., texte manuscrit de 1830
  3. ^ Kronecker, Leopold (1870). "Auseinandersetzung einiger Eigenschaften der Klassenzahl idealer complexer Zahlen". Académie royale des sciences de Prusse (ドイツ語). Monatsber. K. Preuss. Akad. Wissenschaft Berlin: 881–889.
  4. ^ Weber, Heinrich (1896). Lehrbuch der Algebra (ドイツ語). Braunschweig.
  5. ^ Kronecker, Leopold (1854). "Mémoire sur les facteurs irréductibles de l'expression xn – 1". J. Math. Pures Appl. 1 (フランス語). 19: 177–192.
  6. ^ Hilbert, David (1896). "Ein neuer Beweis des Kronecker'schen Fundamentalsatzes über Abel'sche Zahlkörper". Nachr. der K. Ges. der Wiss. zu Gottingen (ドイツ語): 29–39.
  7. ^ Frobenius; Stickelberger (1879). "Ueber Gruppen von vertauschbaren Elementen". J. reine angew. Math. (ドイツ語). 86: 217–262..
  8. ^ Suite A000688 de l'OEIS.
  9. ^ Jean-Jacques Risler [in フランス語]; Pascal Boyer (2006). Algèbre pour la Licence 3: Groupes, anneaux, corps. Dunod. p. 45..

関連項目

外部リンク

関連文献


有限アーベル群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 22:34 UTC 版)

アーベル群」の記事における「有限アーベル群」の解説

詳細は「有限アーベル群」を参照 整数全体のなす加法群の法 n に関する剰余類の成す巡回群 Z/nZ は有限アーベル群のもっとも単純な例として挙げることができるが、逆に任意の有限アーベル群は適当な素数冪対するこの形の有限巡回群直和同型であり、そのときそれら直和因子位数全体として一意決定され与えられた有限アーベル群の不変系 (complete system of invariants) と呼ばれる。有限アーベル群の自己同型群はその不変系によって直接的に記述することができる。有限アーベル群の理論フロベニウスとシュティッケルベルガー(英語版)の1879年論文始まり、のちに整理され主イデアル整域上の有限生成加群にまで一般化されて、線型代数学重要な章を成すものとなった単因子論)。 素数位数任意の群は巡回群同型であり、ゆえにアーベル群である。また、位数素数平方あるよう任意の群はアーベル群となる。実は任意の素数 p に対して位数 p2 の群は、同型を除いて Z/p2Z と Z/pZ × Z/pZ のちょうど二種類しかない有限アーベル群の基本定理 任意の有限アーベル群 G は素冪位数巡回群直和表される。 これは有限生成アーベル群の基本定理特別の場合階数 0 の場合)である。位数 mn巡回群 Z/mnZ が Z/mZ と Z/nZ直和同型となるための必要十分条件は m と n が互いに素となることである(中国の剰余定理)。これにより任意の有限アーベル群 G が ⨁ i = 1 u Z / k i Z {\displaystyle \bigoplus _{i=1}^{u}\mathbf {Z} /k_{i}\mathbf {Z} } なるかたちの直和同型となることが従うが、位数 ki に関して標準的に二種類: 各数 k1, …, kuそれぞれ適当な素数の冪である k1 は k2 を割り切り、k2 は k3 を割り切り、… ku−1 は ku割り切る仮定のうちの何れか課すことで一意定まる

※この「有限アーベル群」の解説は、「アーベル群」の解説の一部です。
「有限アーベル群」を含む「アーベル群」の記事については、「アーベル群」の概要を参照ください。

ウィキペディア小見出し辞書の「有限アーベル群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「有限アーベル群」の関連用語

有限アーベル群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



有限アーベル群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの有限アーベル群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのアーベル群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS