循环群(或等价的整数模以 "p")，而幂符号表示意味着 "n" 元笛卡尔积。
向量空间结构.假设 "V" = ("Z"/"pZ") 是初等阿贝尔群。因为 "Z"/"pZ" formula_1 "F"，即 "p" 个元素的有限域，我们有 "V" = ("Z"/"pZ") formula_1 "F"，所以 "V" 可以被认为是在域 "F" 上的 "n"-维向量空间。 机警的读者可能发现 F 有比群 "V" 更大的结构，特别是它除了(向量/群)加法之外还有标量乘法。但是 "V"