在群论中，初等阿贝尔群是有限阿贝尔群，这里的所有非平凡元素都有 "p" 阶而 "p" 是素数。通过有限生成阿贝尔群的分类，所有初等阿贝尔群必定有如下形式对于非负整数 "n"。这里的 "Z/pZ" 指示 "p" 阶的循环群(或等价的整数模以 "p")，而幂符号表示意味着 "n" 元笛卡尔积。
向量空间结构.假设 "V" = ("Z"/"pZ") 是初等阿贝尔群。因为 "Z"/"pZ" formula_1 "F"，即 "p" 个元素的有限域，我们有 "V" = ("Z"/