问：初等阿贝尔群的公式是什么？你能写一些上下文来回答这个问题吗？
在群论中，初等阿贝尔群是有限阿贝尔群，这里的所有非平凡元素都有 "p" 阶而 "p" 是素数。通过有限生成阿贝尔群的分类，所有初等阿贝尔群必定有如下形式对于非负整数 "n"。这里的 "Z/pZ" 指示 "p" 阶的循环群(或等价的整数模以 "p")，而幂符号表示意味著 "n" 元笛卡尔积。假设 "V" = ("Z"/"pZ") 是初等阿贝尔群。因为 "Z"/"pZ" formula_1 "F"，即 "p" 个元素的有限域，我们有 "V" = ("Z"/"pZ") formula_1 "F"，所以 "V" 可以被认为是在域 "F" 上的 "n"-维向量空间。机警的读者可能发现 F 有比群 "V" 更大的结构，特别是它除了(向量/群)加法之外还有标量乘法。但是 "V" 作为阿贝尔群有唯一一个 "Z"-模结构，这里的 "Z" 的作用对应于重复的加法，而这个 "Z"-模结构一致于 "F" 标量乘法。就是说，"c"·"g" = "g" + "g" + ... + "g" ("c" 次) 这里的 "c" 在 "F" 中(考虑为整数带有 0 ≤ "c" < "p") 给予 "V" 一个自然的 "F"-模结构。作为向量空间 "V" 有如例子中那样的基 {"e", ..., "e"}。如果我们选取 {"v", ..., "v"} 为任何 "V" 的 "n" 个元素，则通过线性代数我们有映射 "T"("e") = "v" 唯一扩张为 V 的线性变换。每个这种 T 都可以被认为是从 "V" 到 "V" 的群同态(自同态)并同 "V" 的任何自同态一样可以被认为是 "V" 作为向量空间的线性变换。如果我们限制注意力于 "V" 的自同构，我们有 Aut("V") = { "T" : "V" -> "V" | ker "T" = 0 } = GL("F")，即在 F 上的 "n" ×"n" 可逆矩阵的一般线性群。