基本アーベル群のソースを表示

[[群論]]における'''基本アーベル群'''（きほんアーベルぐん、{{lang-en-short|''elementary abelian group''}}; 初等アーベル群）または'''基本アーベル {{mvar|p}}-群''' (''elementary abelian {{mvar|p}}-group'') は任意の非自明な元が[[位数 (群論)|位数]] {{mvar|p}} であるような[[群 (数学)|群]]（とくに有限群）を言う。この {{mvar|p}} は素数でなければならず、任意の基本アーベル群は特別な [[p-群|{{mvar|p}}-群]]となる<ref name="Zassenhaus">{{cite book| first= Hans J. |last = Zassenhaus| author-link= Hans Zassenhaus |title=The Theory of Groups|year=1999|origyear=1958|publisher=Courier Corporation|isbn=978-0-486-16568-4}}</ref>{{rp|142}}<ref name="Rose2009">{{cite book|first=H.E. |last=Rose|title=A Course on Finite Groups|year=2009|publisher=Springer Science & Business Media|isbn=978-1-84882-889-6}}</ref>{{rp|88}}。{{math|1=''p'' = 2}} の場合、すなわち基本アーベル {{math|2}}-群のことを'''ブール群''' (''Boolean group'') と呼ぶ場合がある<ref name="GivantHalmos2009">{{cite book|first1=Steven |last1=Givant|first2=Paul |last2=Halmos|author2-link= Paul Halmos |title=Introduction to Boolean Algebras|year=2009|publisher=Springer Science & Business Media|isbn=978-0-387-40293-2}}</ref>{{rp|6}}。

任意の基本アーベル {{mvar|p}}-群は [[有限体|{{mvar|p}}-元体]]上の有限次元ベクトル空間の構造を持ち、逆にそのようなベクトル空間は基本アーベル群となる。[[有限生成アーベル群の構造定理]]により、あるいは任意のベクトル空間が基底を持つという事実から、任意の有限基本アーベル群は {{math|('''Z'''/{{mvar|p}}'''Z'''){{exp|''n''}}}}（{{mvar|n}} はこの群の階数と呼ばれる非負整数）の形になることがわかる。ここに、{{math|'''Z'''/{{mvar|p}}'''Z'''}} は位数 {{mvar|p}} の[[巡回群]]（あるいは {{mvar|p}} を法とする整数の加法群）であり、上付き添字の {{mvar|n}} は {{mvar|n}}-重[[群の直積|直積]]を表す<ref name="Rose2009"/>{{rp|88}}。一般に（有限とは限らない）基本アーベル {{mvar|p}}-群は位数 {{mvar|p}} の巡回群の適当な個数の[[群の直和|直和]]となる<ref>{{cite book|first=László |last=Fuchs |author-link= László Fuchs|title=Infinite Abelian Groups| volume= I|year=1970|publisher=Academic Press|isbn=978-0-08-087348-0}}</ref>{{rp|43}}（因子が有限個の場合には直積と直和は同じものであるが、無限の場合にはそうでないことに注意）

以下有限群の場合について述べる。

== 例と性質 ==
* 基本アーベル群 {{math|('''Z'''/2'''Z'''){{exp|2}}}} は四つの元 {{math|{{mset|(0, 0), (0, 1), (1, 0), (1, 1)}}}} からなる。加法は成分ごとに {{math|mod 2}} で計算すればよい（例えば {{math|(1, 0) + (1, 1) {{=}} (0, 1)}}）。実はこれは[[クラインの四元群]]である。
* （必ずしも有限でない）集合の[[対称差]]によって生成される群は、任意の元が位数 {{math|2}} である。そのような群は、任意の元が自身を逆元に持つからアーベル群でなければならない: {{math|1=''xy'' = (''xy'')<sup>−1</sup> = ''y''<sup>−1</sup>''x''<sup>−1</sup>  = ''yx''}}。そのような群（つまりブール群）はクラインの四元群の成分数を任意個にした一般化である。
* {{math|('''Z'''/{{mvar|p}}'''Z'''){{exp|''n''}}}} は {{mvar|n}} 元で生成され、{{mvar|n}} は生成に必要な元の最低個数である。特に、集合 {{math|{{mset|''e''{{sub|1}}, …, ''e{{sub|n}}''}}}} を各 {{mvar|e{{sub|i}}}} は第 {{mvar|i}}-成分が {{math|1}} でそのほかの成分が {{mvar|0}} のベクトルとすれば、これは[[基底 (線型代数学)|極小生成系]]を成す。
* 任意の基本アーベル群は極めて単純な[[群の表示|有限表示]]を持つ: <math display="block"> (\mathbb Z/p\mathbb Z)^n \cong \langle e_1,\ldots,e_n\mid e_i^p = 1,\  e_i e_j = e_j e_i \rangle.</math>

== ベクトル空間構造 ==
{{math|''V'' &cong; ('''Z'''/{{mvar|p}}'''Z'''){{exp|''n''}}}} を基本アーベル群とする。{{math|'''Z'''/{{mvar|p}}'''Z''' &cong; '''F'''{{sub|''p''}}}} は {{mvar|p}}-元体ゆえ、{{math|1=''V'' = &cong; ('''F'''{{sub|''p''}}){{exp|''n''}}}} は {{mvar|n}}-次元 {{math|'''F'''{{sub|''p''}}}}-ベクトル空間と見なせる。基本アーベル群が一般には標準基底を持たないことに注意すべきである&mdash;同型 {{math|''V'' &cong; ('''Z'''/{{mvar|p}}'''Z'''){{exp|''n''}}}} は基底のとり方に依存する。

注意深く議論を進めるならば、ベクトル空間 {{math|('''F'''{{sub|''p''}}){{exp|''n''}}}} が群 {{mvar|V}} よりも多くの構造をもともと備えていることは留意すべきである。特に群演算（加法）&mdash;それはベクトルの和と解釈できる&mdash;に加えて、スカラー倍が定まっている。しかし、アーベル群としての {{mvar|V}} は一意な {{mathbf|Z}}-[[環上の加群|加群]]構造&mdash;{{mathbf|Z}} の作用は各元の反復和に対応する&mdash;を持ち、この {{mathbf|Z}}-加群構造は {{math|'''F'''{{sub|''p''}}}} によるスカラー乗法と両立する。すなわち、{{math|''c'' ∈ '''F'''{{sub|''p''}}}} に対し（{{mvar|c}} を {{math|0 &le; ''c'' < ''p''}} なる整数に持ち上げて）{{math|''c''&sdot;''g'' {{coloneqq}} ''g'' + ''g'' + ⋯ + ''g''}}（右辺は {{mvar|c}} 個の和）とすれば {{mvar|V}} に自然な {{math|'''F'''{{sub|''p''}}}}-加群構造が入る。

== 自己同型群 ==
ベクトル空間としての {{mvar|V}} は基底 {{math|{{mset|''e''{{sub|1}}, …, ''e{{sub|n}}''}}}} を上で述べた通りに持つ。{{mvar|V}} の任意の {{mvar|n}} 個のベクトル {{math|{{mset|''v''{{sub|1}}, …, ''v{{sub|n}}''}}}} を取るとき、[[線型代数学]]の知識を用いて写像 {{math|1=''T''(''e{{sub|i}}'') = ''v{{sub|i}}''}} は {{mvar|V}} の線型変換に一意に拡張されることが示せる。そのような {{mvar|T}} の各々は {{mvar|V}} から {{mvar|V}} への[[群準同型]]としての[[自己準同型]]と見ることもできるし、線型変換としての自己準同型と見ることもできる。

{{mvar|V}} の[[自己同型]]に限って考えれば、{{math|1=Aut(''V'') {{coloneqq}} {{mset|''T'': ''V'' &rarr; ''V'' | ker ''T'' {{=}} 0 }} = ''GL{{sub|n}}''('''F'''{{sub|''p''}})}} は {{math|'''F'''{{sub|''p''}}}} 上の {{mvar|n}}-次[[正則行列]]全体の成す[[一般線型群]]である。

自己同型群 {{math|1=''GL''(''V'') = ''GL{{sub|n}}''('''F'''{{sub|''p''}})}} はベクトル空間の一般論により {{math|''V'' {{setminus}} {{mset|0}}}} に[[群作用|推移的に作用]]する。実はこれが任意の有限群の中で基本アーベル群を特徴付ける性質である。すなわち、{{mvar|G}} が有限群でその単位元を {{mvar|e}} とし、{{math|Aut(''G'')}} が {{math|''G'' {{setminus}} {{mset|''e''}}}} に推移的に作用するならば {{mvar|G}} は基本アーベル群である。（証明: {{math|Aut(''G'')}} が {{math|''G'' {{setminus}} {{mset|''e''}}}} に推移的に作用するならば、{{mvar|G}} の単位元でない任意の元は同じ位数を持ち、それは素数である必要があるから、{{mvar|G}} は {{mvar|p}}-群である。{{mvar|p}}-群は非自明な中心を持つが、いまそれは任意の自己同型で不変であるから {{mvar|G}} 全体に一致する。）

== 高階への一般化 ==
素数位数の成分を素冪位数の成分に取り換えることもまた意義のある考察である。すなわち基本アーベル群 {{mvar|G}} は適当な素数 {{mvar|p}} に対して {{math|(''p'', ''p'', …, ''p'')}} を「型」に持つものと見なし、それを一般化する階数 {{mvar|n}} の{{ill2|ホモサイクリック群|en|homocyclic group}} (''homocyclic group''; 同素巡回群)<ref>{{cite book|last=Gorenstein|first=Daniel|author-link= Daniel Gorenstein |title=Finite Groups|publisher=Harper & Row|location=New York|year=1968|chapter=1.2|isbn=0-8218-4342-7}}</ref>{{rp|8}} は型 {{math|(''p{{exp|e}}'',''p{{exp|e}}'', …, ''p{{exp|e}}'')}} のアーベル群、すなわち位数 {{mvar|p{{exp|e}}}} の群に同型な {{mvar|n}} 個の群の直積として定める。

== 関連する群 ==
{{ill2|エクストラスペシャル群|en|extra special group}} (''extra special group''; {{訳語疑問点範囲|超特殊群|date=2019-11|title=中国語ではこう呼ぶようだが、日本語では見たことがない。}}) は基本アーベル群の位数 {{mvar|p}} の巡回群による[[群の拡大|拡大]]であり、[[ハイゼンベルク群]]の類似対応物である。

== 関連項目 ==
* {{ill2|p基本群|en|Elementary group}}（初等群）
* {{ill2|ハミング空間|en|Hamming space}}

== 参考文献 ==
<references/>

{{DEFAULTSORT:きほんあーへるくん}}
[[Category:アーベル群論]]
[[Category:有限群]]
[[Category:p-群]]
[[Category:数学に関する記事]]