证明由无平方整数m定义的模N Dirichlet特征χₘ为本原特征的方法探究

阿华AIGC实验室

2026-4-21

嗨，我来帮你一步步梳理怎么证明这个Dirichlet特征是本原的。首先先明确核心定义：一个模N的Dirichlet特征χ是本原的，当且仅当不存在N的任何真约数d（d<N），使得χ可以“降阶”为模d的特征——换句话说，只要整数a,b满足a≡b mod d且都与N互素，就必须有χ(a)=χ(b)。反过来，要证明χₘ是本原的，我们只需要证明：对N的任意真约数d，总能找到两个与N互素的整数a,b，满足a≡b mod d，但χₘ(a)≠χₘ(b)。

接下来我们根据m的三种分类情况逐一分析：

情况1：m≡1 mod 4，N=|m|（m是无平方奇数，且m≠±1）

此时χₘ(a)就是Jacobi符号$\prod_{\substack{l \mid m \ l\text{奇素数}}} \left(\frac{a}{l}\right)$，因为θₘ(a)=1。

假设存在N的真约数d<N，使得χₘ可以降阶为模d的特征。由于d是N的真约数，必然存在某个奇素数l₀|m，但l₀不整除d。根据二次剩余的性质，我们可以用中国剩余定理找到一个整数a：

a≡1 mod d（保证a≡1 mod d）
a≡1 mod l 对所有l|m且l≠l₀
a是l₀的二次非剩余（即$\left(\frac{a}{l₀}\right)=-1$）

显然a与N互素，此时χₘ(a)=$\left(\frac{a}{l₀}\right) \cdot \prod_{l≠l₀}\left(\frac{1}{l}\right) = -1$，但χₘ(1)=1。而a≡1 mod d，这就和“χₘ可以降阶为模d的特征”矛盾。因此χₘ不能降阶到任何真约数d，是本原特征。

情况2：m≡3 mod 4，N=4|m|（|m|是无平方奇数，且m≠±1）

此时χₘ(a)=$\prod_{\substack{l \mid |m| \ l\text{奇素数}}} \left(\frac{a}{l}\right) \cdot \theta_m(a)$，其中θₘ(a)是模4的符号函数：a≡1 mod4时取1，a≡3 mod4时取-1。

我们分N的真约数d的类型讨论：

d是|m|的真约数：类似情况1，找到a≡1 mod d、a≡1 mod4，且a是某个l₀|m（不整除d）的二次非剩余。此时χₘ(a)=-1*1=-1≠χₘ(1)=1，矛盾。
d=4d'，d'是|m|的真约数：同样存在l₀|m不整除d'，取a≡1 mod4d'、a≡1 mod4，且a是l₀的二次非剩余，χₘ(a)=-1*1=-1≠χₘ(1)=1，矛盾。
d=4：此时|m|>1，取a满足a≡1 mod4，且a是某个l₀|m的二次非剩余（用中国剩余定理构造），则χₘ(a)=-1*1=-1≠χₘ(1)=1，而a≡1 mod4，矛盾。

特别地，当m=-1时，N=4，χₘ(a)就是模4的非平凡特征，显然不能降阶到模2（因为χₘ(3)=-1≠χₘ(1)=1，但3≡1 mod2），因此也是本原的。

情况3：m是偶数（即m≡2 mod4，m=2k，k是无平方奇数，且m≠1）

此时N=4|m|=8|k|，χₘ(a)=$\prod_{\substack{l \mid k \ l\text{奇素数}}} \left(\frac{a}{l}\right) \cdot \theta_m(a)$，其中θₘ(a)=1当a≡1或1-m mod8，否则取-1。注意m=2k是奇数的2倍，所以1-m=1-2k≡7 mod8（因为k是奇数，2k≡2 mod4，1-2k≡-1≡7 mod8），即θₘ(a)=1当a≡1或7 mod8。

同样针对N的真约数d分类：

d不含因子8（比如d=4d'，d'|k）：取a≡1 mod d，但a≡3 mod8（此时θₘ(a)=-1），同时a≡1 mod所有l|k且l∉d'。此时χₘ(a)=1*(-1)=-1≠χₘ(1)=1，矛盾。
d=8d'，d'是k的真约数：存在l₀|k不整除d'，取a≡1 mod8d'、a≡1 mod8（θₘ(a)=1），且a是l₀的二次非剩余。此时χₘ(a)=-1*1=-1≠χₘ(1)=1，矛盾。
d=8：如果k≠±1，取a≡1 mod8，且a是某个l₀|k的二次非剩余，χₘ(a)=-1*1=-1≠χₘ(1)=1，矛盾；如果k=±1（即m=±2），χₘ(a)=θₘ(a)，此时取a=3和a=7，二者≡3 mod4（即≡3 mod8的真约数4），但χₘ(3)=1，χₘ(7)=-1，说明不能降阶到模4，因此是本原的。