标签：24 11 13 17 23 19 乘群 同余类 初探
利用模n同余类乘群初探素数的分布规律
由模 n 同余类集合构成的 n 阶加群
按模 n 同余分类，整数 Z 被分为 n 个子集，即 [1]n、[2]n、...、[n]n，简记为 [1]、[2]、...、[n]。 Zn = {[1], [2], ..., [n]} 称为模 n 同余类集合。易知 Zn 是以 [n] 为单位元（零元）的 n 阶加群.
以 Z8 为例，[1] + [7] = [8]，即 [1] 和 [7] 互为逆元（负元），同样互为逆元的还有 [2] 和 [6]、[3] 和 [5]；[4] + [4] = [8]，即 [4] 的逆元是自身，易知 {[8], [4]} 是 Z8 的唯一 2 阶真子群，且为正规子群，Z8 关于子群 {[8], [4]} 的陪集分解也是唯一的，即：
Z8 = {[8], [4]} ∪ {[1], [5]} ∪ {[2], [6]} ∪ {[3], [7]}
同样 {[8], [4], [2], [6]} 是 Z8 的唯一 4 阶真子群，且为正规子群，Z8 关于该子群的陪集分解也是唯一的，即：
Z8 = {[8], [4], [2], [6]} ∪ {[1], [5], [3], [7]}
模 n 同余类乘群
当 n 不为 1 时，Zn 不能构成乘群，这是因为 [1] 成了单位元，而零元 [n] 没有逆元，即 [n]·[x] = [1] 无解.
模 n 同余类乘群 Z'n 是 Zn 的子集，其定义为：
Z'n = {[k] ∈ Zn | 1 ≤ k ≤ n, gcd(k, n) = 1}
考察 Z'24
由欧拉函数公式可知，|Z'24| = φ(24) = φ(3)·φ(23) = 2·(23 - 22) = 8，由定义可以具体列出 Z'24，即：
Z'24 = {[1], [5], [7], [11], [13], [17], [19], [23]}
容易发现其中的同余类的常规代表数中，除了 1 之外都是素数，且 24 的素因数只有 2 和 3，这实际上提供了一种求区间 [1, 24] 内有多少个素数的可行方法.
记 区间 [m, n] 内的素数个数为 S(m, n)，因为和 24 互素的最小素数为 5，而 5×5 > 24，所以
S(1, 24) = φ(24) - 1 + 2 = 9
考察 Z'48 和 Z'96
Z'48 中有 φ(48) = φ(3)·φ(24) = 2·(24 - 23) = 16 个同余类，且其常规代表数中非素数有 1、5×5、5×7，共计 3 个，于是
S(1, 48) = φ(48) - 3 + 2 = 15
Z'96 中有 φ(96) = 32 个同余类，且其常规代表数中非素数有 ，即 1、5×5、5×7、7×7、5×11、5×13、7×11、7×13、5×17，共计 9 个，于是
S(1, 96) = φ(96) - 8 + 2 = 25
归纳与分析
由上面考察的 n = 24, 48, 96 三种情形，便得到了两组等长区间的对比数据：
9 = S(1, 24) > S(25, 48) = S(1, 48) - S(1, 24) = 15 - 9 = 6
15 = S(1, 48) > S(49, 96) = 25 - 15 = 10
不难发现这一类情形的一般形式为：
n = 3·2k，k ≥ 1 (I)
此时有 φ(n) = 2k
k = 1 时，n = 6，Z'6 = {[1], [5]}
k = 2 时，n = 12，Z'12 = {[1], [5], [7], [11]}
上面具体考察的分别为 k = 3, 4, 5 的情形。
一般地，由 φ(3·2k) = 2k 及 [1] 是同余类乘群的单位元以及 2 和 3 为素数，可以给出区间 [1, 3·2k] 内素数个数的一个上界代数式，即
S(1, 3·2k) ≤ 2k + 1，k ≥ 1 ①
由上面的结果，可知当 k = 1, 2, 3 时 ① 取等号。但随着 k 值增大，Z'n 的常规代表数中就会有越来越多的合数，导致 S(1, 3·2k) 与 2k + 1 的差距越来越大，即总体趋势上素数分布是越来越稀疏的.
当 n 较大时，由 ① 给出的上界大约为 n/3. 可以对 (I) 加以改进，比如取：
n = 7·5·3·2k，k ≥ 1 (II)
此时有 φ(n) = 6·4·2k，进而可知
S(1, 7·5·3·2k) ≤ 6·4·2k + 3，k ≥ 1 ②
当 n 较大时，由 ② 给出的上界大约为 8n/35。
在 (II) 中取 k = 1，即有 n = 7·5·3·2 = 210，利用上面的方法来求一下 S(1, 210) 的准确值：
φ(210) = 6·4·2·1 = 48，与 210 互素且小于 210 的非素数有 1、11·11=121、11·13=143、13·13=169、11·17=187、11·19=209，共计 6 个，于是
S(1, 210) = 48 - 6 + 4 = 46
这与上面求 S(1, 96) 的计算量差不多. 不过当 n 大到一定程度（比如 n ≥ 10000），求 S(1, n) 的计算量不可避免会变得相当大.
考察 Z'24 的子群
Z'24 = {[1], [5], [7], [11], [13], [17], [19], [23]}
由 5·5 = 25 = 24 + 1 ≡ 1 (mod 24)，知 [5]·[5] = [1]，于是 {[1], [5]} 是 Z'24 的一个 2 阶子群. 同样，由
7·7 = 49 = 24·2 + 1
11·11 = 121 = 24·5 + 1
13·13 = 169 = 24·7 + 1
17·17 = 289 = 24·12 + 1
19·19 = 361 = 24·15 + 1
23·23 = 528 = 24·22 + 1
可知，Z'24 中每个非单位元都和 [1] 构成 Z'24 的一个 2 阶子群. 方便起见，把这些 2 阶子群分别记为 H5、H7、H11、H13、H17、H19、H23.
用 H5 可给出 Z'24 的一个陪集分解，即：
Z'24 = {[1], [5]} ∪ {[7], [11]} ∪ {[13], [17]} ∪ {[19], [23]}
这个分解里蕴含着素数的局部分布规律，用如下的矩阵表示更加直观：
1 5
7 11 (U)
13 17 (V)
19 23
从单行看，右边的数是左边的数加 4；从单列看，下面的数是上一行的数加 6. 就是说，从素数 5 开始，重复作加 2 和加 4 运算，每次加法运算就得到下一个素数，这个规律到 23 之后就打破了，因为 23 + 2 = 25 是合数.
同样，用 H7 也可给出 Z'24 的一个陪集分解，即：
Z'24 = {[1], [7]} ∪ {[5], [11]} ∪ {[13], [19]} ∪ {[17], [23]}
对应的分解矩阵为：
1 7
5 11 (tU)
13 19 (tV)
17 23
如上面的桃色和梅色高亮所示，两种分解的矩阵内部的两个 2 阶方阵分别都是互为转置关系.
用 H11 给出 Z'24 的一个陪集分解为：
Z'24 = {[1], [11]} ∪ {[5], [7]} ∪ {[13], [23]} ∪ {[17], [19]}
对应的分解矩阵为：
1 11
5 7 (P)
13 23 (Q)
17 19
这里的 P 和 Q，实际上就是 tU 和 tV 的第二列的两个元素分别换位而得.
用 H13 给出 Z'24 的一个陪集分解为：
Z'24 = {[1], [13]} ∪ {[5], [17]} ∪ {[7], [19]} ∪ {[11], [23]}
对应的分解矩阵为：
1 13
5 17 (M)
7 19 (N)
11 23
用 H17 给出 Z'24 的一个陪集分解为：
Z'24 = {[1], [17]} ∪ {[5], [13]} ∪ {[7], [23]} ∪ {[11], [19]}
对应的分解矩阵为：
1 17
5 13 (R)
7 23 (T)
11 19
这里的 R 和 T，实际上就是 M 和 N 的第二列的两个元素分别换位而得.
用 H19 给出 Z'24 的一个陪集分解为：
Z'24 = {[1], [19]} ∪ {[5], [23]} ∪ {[7], [13]} ∪ {[11], [17]}
对应的分解矩阵为：
1 19
5 23 (A)
7 13 (B)
11 17
用 H23 给出 Z'24 的一个陪集分解为：
Z'24 = {[1], [23]} ∪ {[5], [19]} ∪ {[7], [17]} ∪ {[11], [13]}
对应的分解矩阵为：
1 23
5 19 (C)
7 17 (D)
11 13
这里的 C 和 D，实际上就是 A 和 B 的第二列的两个元素分别换位而得.
容易验证，上述各个分解矩阵里的第一行加上其余任意一行即构成 Z'24 的一个 4 阶子群，一共有 7 个，即
{[1], [5], [7], [11]}，{[1], [5], [13], [17]}，{[1], [5], [19], [23]}
{[1], [7], [13], [19]}，{[1], [7], [17], [23]}
{[1], [11], [13], [23]}，{[1], [11], [17], [19]}
考察 Z'48 的子群
由定义，容易知道：
Z'48 = {[1], [5], [7], [11], [13], [17], [19], [23], [25], [29], [31], [35], [37], [41], [43], [47]}
48 的倍数有 48、96、144、192、240、288、336、384、432、480 等.
Z'48 中满足 [x]·[x] = 1 的有 [7]、[17]、[23]、[25]、[31]、[41]、[47]，共 7 个，即 Z'48 有 7 个2 阶子群.
用 {[1], [7]} 给出 Z'48 的一个陪集分解为：
Z'48 = {[1], [7]} ∪ {[5], [35]} ∪ {[11], [29]} ∪ {[13], [43]} ∪ {[17], [23]} ∪ {[19], [37]} ∪ {[25], [31]} ∪ {[41], [47]}
对应的分解矩阵的转置矩阵为：
1 5 11 13 17 19 25 41
7 35 29 43 23 37 31 47
从这里看，4 到 48 之间的素数不像前面发现的 4 到 24 之间的素数那样有着清晰可见的分布规律.
标签：24,11,13,17,23,19,乘群,同余类,初探 来源： https://www.cnblogs.com/readalps/p/15854065.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。