关于算术级数中素数Dirichlet定理.PDFVIP

关于算术级数中素数的 Dirichlet 定理 KUAT YESSENOV 2015 年 12 月8 日 摘要 证明 Dirichlet 定理需要以下知识: 有限交换群的特征标 (characters of finite abelian groups) 和Dirichlet L 级数 (Dirichlet L-series) 本文译自Kuat Yessenov, Dirichlet’s theorem on primes in arithmetic progressions [pdf] 1 介绍 我们知道大于 2 的素数都是奇数. 换句话说, 算术级数 (arithmetic progression, 即等差级数) k k 中包含了无穷多个素数. 我们 想知道这对于一般的算术级数加上一些必要条件是否也成立. 运用初等的 方法可以证明这个结论对于 k k 成立 (see [1]). (注: 形如 k 的素数可以唯一地表示为两个数的平方和.) 定理 1.1 (Dirichlet). 设 a 和 m 是两个互素的正整数. 则存在无穷多个素 数p , 使得p amod m. 我们首先讲述两个基本工具: 交换群的特征标 (characters of finite abelian groups), L-级数. 我们沿用 [1] 中的证明. 2 特征标 考虑一个有限 Abel 群 G, G 记指其单位元. 记 , 它在复 数乘法下构成一个乘法群. Translated by haifeng (Email: hfxu@) 1 2 特征标 2 定义 2.1. G 的特征标是指G 到复数乘法群 的一个同态: χ G . 以同态映射的复合作为乘法, 这些特征标在群运算 χ χ x χ xχ x 以及单位元χ x , x G 之下构成一个群 G. 这个 群称为 G 的对偶群(dual group). 由于 G 是有限群, 因此 x G 是有限阶元素, 即存在整数 n 使得 xn G . 又 χ 是 G 到复数乘法群 的一个同态, 故有 χxn , 从而 χxn , 即χx 是 的n-次单位根. 对任意特征标χ, 存在共轭特征标χ (通过复数的共轭来定义) χx χx . χx 最后一个等号是因为 χx . 关于特征标的一些性质对于一般的有限Abel 群也是成立的. 但是我们 这里将注意力集中在某一特殊类型的群上. 命题 2.2. 对偶群 G 同构于群G.