" = ("Z"/"pZ") 是初等阿贝尔群。因为 "Z"/"pZ" formula_1 "F"，即 "p" 个元素的有限域，我们有 "V" = ("Z"/"pZ") formula_1 "F"，所以 "V" 可以被认为是在域 "F" 上的 "n"-维向量空间。 机警的读者可能发现 F 有比群 "V" 更大的结构，特别是它除了(向量/群)加法之外还有标量乘法。但是 "V" 作为阿贝尔群有唯一一个 "Z"-模结构，这里的 "Z" 的作用对应于重复的加法，而这个 "Z"-模结构一致于 "F" 标量乘法。就是