基本アーベル群

群論における基本アーベル群（きほんアーベルぐん、; 初等アーベル群）または基本アーベル -群 (elementary abelian -group) は任意の非自明な元が位数  であるような群（とくに有限群）を言う。この  は素数でなければならず、任意の基本アーベル群は特別な -群となる。 の場合、すなわち基本アーベル -群のことをブール群 (Boolean group) と呼ぶ場合がある。

任意の基本アーベル -群は -元体上の有限次元ベクトル空間の構造を持ち、逆にそのようなベクトル空間は基本アーベル群となる。有限生成アーベル群の構造定理により、あるいは任意のベクトル空間が基底を持つという事実から、任意の有限基本アーベル群は （ はこの群の階数と呼ばれる非負整数）の形になることがわかる。ここに、 は位数  の巡回群（あるいは  を法とする整数の加法群）であり、上付き添字の  は -重直積を表す。一般に（有限とは限らない）基本アーベル -群は位数  の巡回群の適当な個数の直和となる（因子が有限個の場合には直積と直和は同じものであるが、無限の場合にはそうでないことに注意）

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

例と性質 
 基本アーベル群  は四つの元  からなる。加法は成分ごとに  で計算すればよい（例えば ）。実はこれはクラインの四元群である。
 （必ずしも有限でない）集合の対称差によって生成される群は、任意の元が位数  である。そのような群は、任意の元が自身を逆元に持つからアーベル群でなければならない: 。そのような群（つまりブール群）はクラインの四元群の成分数を任意個にした一般化である。
  は  元で生成され、 は生成に必要な元の最低個数である。特に、集合  を各  は第 -成分が  でそのほかの成分が  のベクトルとすれば、これは極小生成系を成す。
 任意の基本アーベル群は極めて単純な有限表示を持つ:

ベクトル空間構造 
 を基本アーベル群とする。 は -元体ゆえ、 は -次元 -ベクトル空間と見なせる。基本アーベル群が一般には標準基底を持たないことに注意すべきである—同型  は基底のとり方に依存する。

注意深く議論を進めるならば、ベクトル空間  が群  よりも多くの構造をもともと備えていることは留意すべきである。特に群演算（加法）—それはベクトルの和と解釈できる—に加えて、スカラー倍が定まっている。しかし、アーベル群としての  は一意な -加群構造— の作用は各元の反復和に対応する—を持ち、この -加群構造は  によるスカラー乗法と両立する。すなわち、 に対し（ を  なる整数に持ち上げて）（右辺は  個の和）とすれば  に自然な -加群構造が入る。

自己同型群 
ベクトル空間としての  は基底  を上で述べた通りに持つ。 の任意の  個のベクトル  を取るとき、線型代数学の知識を用いて写像  は  の線型変換に一意に拡張されることが示せる。そのような  の各々は  から  への群準同型としての自己準同型と見ることもできるし、線型変換としての自己準同型と見ることもできる。

 の自己同型に限って考えれば、 は  上の -次正則行列全体の成す一般線型群である。

自己同型群  はベクトル空間の一般論により  に推移的に作用する。実はこれが任意の有限群の中で基本アーベル群を特徴付ける性質である。すなわち、 が有限群でその単位元を  とし、 が  に推移的に作用するならば  は基本アーベル群である。（証明:  が  に推移的に作用するならば、 の単位元でない任意の元は同じ位数を持ち、それは素数である必要があるから、 は -群である。-群は非自明な中心を持つが、いまそれは任意の自己同型で不変であるから  全体に一致する。）

高階への一般化 
素数位数の成分を素冪位数の成分に取り換えることもまた意義のある考察である。すなわち基本アーベル群  は適当な素数  に対して  を「型」に持つものと見なし、それを一般化する階数  の (homocyclic group; 同素巡回群) は型  のアーベル群、すなわち位数  の群に同型な  個の群の直積として定める。

関連する群 
 (extra special group; ) は基本アーベル群の位数  の巡回群による拡大であり、ハイゼンベルク群の類似対応物である。

関連項目 
 （初等群）

参考文献 

アーベル群論
有限群
p-群
数学に関する記事