基本アーベル群
V ≅ (Z/pZ) を基本アーベル群とする。Z/pZ ≅ Fp は p-元体ゆえ、V = ≅ (Fp) は n-次元 Fp-ベクトル空間と見なせる。基本アーベル群が一般には標準基底を持たないことに注意すべきである—同型 V ≅ (Z/pZ) は基底のとり方に依存する。
注意深く議論を進めるならば、ベクトル空間 (Fp) が群 V よりも多くの構造をもともと備えていることは留意すべきである。特に群演算(加法)—それはベクトルの和と解釈できる—に加えて、スカラー倍が定まっている。しかし、アーベル群としての V は一意な Z-加群構造—Z の作用は各元の反復和に対応する—を持ち、この Z-加群構造は Fp によるスカラー乗法と両立する。すなわち、c ∈ Fp に対し(c を 0 ≤ c < p なる整数に持ち上げて)c⋅g ≔ g + g + ⋯ + g(右辺は c 個の和)とすれば V に自然な Fp-加群構造が入る。
素数位数の成分を素冪位数の成分に取り換えることもまた意義のある考察である。すなわち基本アーベル群 G は適当な素数 p に対して (p, p, ..., p) を「型」に持つものと見なし、それを一般化する階数 n のホモサイクリック群(英語版) (homocyclic group; 同素巡回群) は型 (p,p, ..., p) のアーベル群、すなわち位数 p の群に同型な n 個の群の直積として定める。
群論における基本アーベル群(きほんアーベルぐん、英: elementary abelian group; 初等アーベル群)または基本アーベル p-群 (elementary abelian p-group) は任意の非自明な元が位数 p であるような群(とくに有限群)を言う。この p は素数でなければならず、任意の基本アーベル群は特別な p-群となる。p = 2 の場合、すなわち基本アーベル 2-群のことをブール群 (Boolean group) と呼ぶ場合がある。
任意の基本アーベル p-群は p-元体上の有限次元ベクトル空間の構造を持ち、逆にそのようなベクトル空間は基本アーベル群となる。有限生成アーベル群の構造定理により、あるいは任意のベクトル空間が基底を持つという事実から、任意の有限基本アーベル群は (Z/pZ)(n はこの群の階数と呼ばれる非負整数)の形になることがわかる。ここに、Z/pZ は位数 p の巡回群(あるいは p を法とする整数の加法群)であり、上付き添字の n は n-重直積を表す。一般に(有限とは限らない)基本アーベル p-群は位数 p の巡回群の適当な個数の直和となる(因子が有限個の場合には直積と直和は同じものであるが、無限の場合にはそうでないことに注意)
以下有限群の場合について述べる。