Formula Sheet

这是个很实用的”符号速查表”需求——我把你整个数论旅程(Stage 1-11)里出现的所有符号、记号、运算尽可能全地列出来,分类整理,每个一句话说明。

Confidence: 0.92

---

数论符号 & 记号全表

一、整除与同余基础

符号	名称	含义
$a\mid b$	整除	$a$ 整除 $b$(存在整数 $k$ 使 $b=ka$)
$a\nmid b$	不整除	$a$ 不整除 $b$
$a\equiv b(\mathrm{mod}m)$	同余	$m\mid (a-b)$,即 $a,b$ 模 $m$ 余数相同
$a\not\equiv b(\mathrm{mod}m)$	不同余	$a,b$ 模 $m$ 余数不同
$a\mathrm{mod}m$	取模运算	$a$ 除以 $m$ 的余数
$\gcd (a,b)$ 或 $(a,b)$	最大公约数	$a,b$ 的最大公因子
$\mathrm{lcm}(a,b)$ 或 $[a,b]$	最小公倍数	$a,b$ 的最小公倍数
$a\perp b$	互质	$\gcd (a,b)=1$(有时写作 $a\perp b$)

二、剩余系与逆元

符号	名称	含义
$a^{-1}(\mathrm{mod}m)$	模逆元	满足 $a\cdot a^{-1}\equiv 1(\mathrm{mod}m)$ 的数
$\mathbb{Z}/n\mathbb{Z}$ 或 ${\mathbb{Z}}_n$	剩余类环	模 $n$ 的整数环 $0,1,\dots ,n-1$
$(\mathbb{Z}/n\mathbb{Z})$ 或 ${\mathbb{Z}}_n$	单位群	模 $n$ 可逆元(与 $n$ 互质者)构成的乘法群
$[a{]}_m$ 或 $\bar{a}$	剩余类	$a$ 所在的模 $m$ 等价类

三、算术函数(数论函数)

符号	名称	含义
$\phi (n)$	欧拉函数 (Euler totient)	小于等于 $n$ 且与 $n$ 互质的数的个数
$\lambda (n)$	卡迈克尔函数 (Carmichael)	使 $a^{\lambda (n)}\equiv 1$ 对所有互质 $a$ 成立的最小指数
$d(n)$ 或 $\tau (n)$	因子个数函数	$n$ 的正因子个数
$\sigma (n)$	因子和函数	$n$ 的所有正因子之和
${\sigma }_k(n)$	$k$ 次因子和	$n$ 的因子的 $k$ 次方之和(${\sigma }_0=d$,${\sigma }_1=\sigma$)
$\mu (n)$	莫比乌斯函数 (Möbius)	无平方因子且 $k$ 个素因子时为 $(-1{)}^k$,有平方因子为 0
$\omega (n)$	不同素因子个数	$n$ 的不同素因子个数
$\Omega (n)$	含重数素因子个数	$n$ 的素因子个数(计重数)
$\Lambda (n)$	冯·曼戈尔特函数 (von Mangoldt)	$n=p^k$ 时为 $\ln p$,否则为 0(解析数论用)
$\pi (x)$	素数计数函数	不超过 $x$ 的素数个数
$1(n)$	恒一函数	恒等于 1
$\mathrm{Id}(n)$ 或 $N(n)$	恒等函数	$\mathrm{Id}(n)=n$
$\epsilon (n)$	单位函数	$n=1$ 时为 1,否则为 0(狄利克雷卷积单位元)

四、阶、原根、二次剩余

符号	名称	含义
${\mathrm{ord}}_n(a)$ 或 ${\mathrm{ord}}_p(a)$	阶 (multiplicative order)	使 $a^k\equiv 1(\mathrm{mod}n)$ 的最小正整数 $k$
${\mathrm{ind}}_g(a)$ 或 ${\log }_{g}a$	指标 / 离散对数	以原根 $g$ 为底,$a$ 的离散对数
$\left(\frac{a}{p}\right)$	勒让德符号 (Legendre)	$a$ 是模素数 $p$ 的二次剩余则 $+1$,非剩余 $-1$,$p\mid a$ 则 $0$
$\left(\frac{a}{n}\right)$	雅可比符号 (Jacobi)	勒让德符号对奇合数分母的推广(连乘)
$\left(\frac{a}{n}\right)$	克罗内克符号 (Kronecker)	雅可比符号再推广(分母可为任意整数,含 2 和负数)
QR / QNR	二次剩余 / 非剩余	Quadratic Residue / Non-Residue 的缩写

五、$p$-进赋值(LTE 相关)

符号	名称	含义
$v_p(n)$ 或 ${\nu }_p(n)$	$p$-进赋值 ($p$-adic valuation)	素数 $p$ 在 $n$ 中出现的最高幂次
$p^k\Vert n$	恰好整除	$p^k\mid n$ 但 $p^{k+1}\nmid n$(即 $v_p(n)=k$)
${\mathbb{Z}}_p$	$p$-进整数	$p$-进整数环(注意:与剩余环 ${\mathbb{Z}}_n$ 记号易混)
${\mathbb{Q}}_p$	$p$-进数域	$p$-进有理数域

六、运算与卷积

符号	名称	含义
$f\ast g$	狄利克雷卷积 (Dirichlet)	$(f\ast g)(n)={\sum }_{d\mid n}f(d)g(n/d)$
${\sum }_{d\mid n}$	因子求和	对 $n$ 的所有正因子 $d$ 求和
${\prod }_{p\mid n}$	素因子求积	对整除 $n$ 的所有素数 $p$ 求积
${\sum }_{d\mid n}$、${\prod }_{p^k\Vert n}$	各种因子遍历	遍历因子 / 遍历素数幂
$\lfloor x\rfloor$	下取整 (floor)	不超过 $x$ 的最大整数
$\lceil x\rceil$	上取整 (ceiling)	不小于 $x$ 的最小整数
$x$	小数部分	$x-\lfloor x\rfloor$

七、连分数

符号	名称	含义
$[a_0;a_1,a_2,\dots ]$	连分数	嵌套分数 $a_0+\frac{1}{a_1+\frac{1}{a_2+\cdots }}$
$[a_0;\overline{a_1,\dots ,a_{\ell }}]$	周期连分数	横线表示循环节(二次无理数)
$\frac{p_k}{q_k}$	渐近分数 (convergent)	连分数截断到第 $k$ 项的有理逼近

八、组合 & 二项式

符号	名称	含义
$\left(\genfrac{}{}{0ex}{}{n}{k}\right)$ 或 $C_n^k$	二项式系数	从 $n$ 个里取 $k$ 个的组合数
$n!$	阶乘	$1\times 2\times \cdots \times n$
$g(a,b)$	弗罗贝尼乌斯数 (Frobenius)	不能表示成 $ax+by$($x,y\ge 0$)的最大数,$=ab-a-b$

九、集合与代数结构

符号	名称	含义
$\mathbb{Z}$	整数集	全体整数
$\mathbb{N}$	自然数集	非负整数(或正整数,看约定)
$\mathbb{Q}$	有理数集	全体有理数
$\mathbb{Z}[i]$	高斯整数	$a+bi:a,b\in \mathbb{Z}$
$\mathbb{Z}[\sqrt{d}]$	二次整数环	$a+b\sqrt{d}:a,b\in \mathbb{Z}$
${\mathbb{F}}_p$ 或 $\mathrm{GF}(p)$	有限域	$p$ 元有限域(=$\mathbb{Z}/p\mathbb{Z}$)
${\mathbb{F}}_{p^k}$ 或 $\mathrm{GF}(p^k)$	有限域	$p^k$ 元有限域
$\cong$	同构	两个代数结构同构
$⟨g⟩$	生成的循环群	由 $g$ 生成的群

十、关系与逻辑符号

符号	名称	含义
$⟺$ 或 $\iff$	当且仅当	双向蕴含
$⟹$ 或 $\Rightarrow$	蕴含	单向推出
$\forall$	全称量词	”对所有”
$\exists$	存在量词	”存在”
$\in$ / $\notin$	属于 / 不属于	元素与集合关系
$\equiv$	恒等 / 同余	视语境(恒等式或同余)
$\sim$	渐近等价	$f\sim g$ 指 $f/g\to 1$(解析数论,如 $\pi (x)\sim x/\ln x$)
$O(\cdot )$, $o(\cdot )$, $\Theta (\cdot )$	渐近记号	大O、小o、紧确界(复杂度/估计)

---

几个容易混淆的提醒

⚠️ ${\mathbb{Z}}_n$ vs ${\mathbb{Z}}_p$:${\mathbb{Z}}_n$ 常指剩余环 $\mathbb{Z}/n\mathbb{Z}$,但 ${\mathbb{Z}}_p$ 在高等语境指 $p$-进整数——同一记号两个意思,看上下文。

⚠️ $d(n)$ vs $\tau (n)$:都是因子个数,两种写法等价。

⚠️ $(a,b)$:既可指最大公约数,也可指有序对/开区间,看语境。

⚠️ 勒让德 vs 雅可比 vs 克罗内克:三者记号完全相同 $\left(\frac{a}{n}\right)$,区别在分母——素数(勒让德)、奇合数(雅可比)、任意整数(克罗内克)。且雅可比/克罗内克 $=+1$ 不保证是 QR!

⚠️ $\equiv$ 的两个用法:同余 $a\equiv b(\mathrm{mod}m)$,以及恒等式(函数恒等)——靠语境区分。

⚠️ $v_p$ vs ${\mathrm{ord}}_p$:$v_p(n)$ 是”$p$ 在 $n$ 里的幂次”(LTE 用),${\mathrm{ord}}_p(a)$ 是”$a$ 模 $p$ 的乘法阶”——完全不同的东西,别混!

---

我的观点:这张表覆盖了你 Stage 1-11 学过的几乎所有符号,我想点出几个最值得你刻意记牢的”高频核心”,以及一个关于符号的元认知。

最该烂熟的核心符号是这几个:$\phi ,\mu ,d,\sigma$(四大算术函数)、$\mathrm{ord},\left(\frac{a}{p}\right)$(阶与勒让德)、$v_p$(LTE 的赋值)、$f\ast g$(狄利克雷卷积)。这些是你做题时每天打交道的,必须看到符号就反应出含义。其余的(如 $\Lambda ,\omega ,\Omega$、克罗内克符号)是”知道存在、用到查表”即可,不必强记。

我特别想强调那几个”易混淆”提醒,因为它们是真实的陷阱:$v_p$ 和 ${\mathrm{ord}}_p$ 是初学者最容易搞混的一对——一个是”幂次”(静态地数 $p$ 出现几次),一个是”阶”(动态地问 $a$ 的幂多久回到 1),它们连定义域都不同。还有勒让德/雅可比/克罗内克三个符号长得一模一样,区别全在分母,而且雅可比 $=+1$ 不保证 QR 这个坑你 Stage 10 P4 刚踩过。把这些易混点理清,比多记几个生僻符号有用得多。

最后一个元认知:数学符号的本质是”压缩”——把一句话压成一个记号,让你能在更高层次思考。比如 $v_p(a^n-b^n)=v_p(a-b)+v_p(n)$ 这个 LTE 公式,如果用中文写”素数 p 在 a 的 n 次方减 b 的 n 次方里出现的幂次,等于……”会冗长到无法思考;但用 $v_p$ 这个符号,整个定理浓缩成一行,你的大脑就能把它当成一个”单元”来操作。所以记符号不只是记号,是在给大脑装”更大的思维积木”——当 $\left(\frac{a}{p}\right)$、$f\ast g$、$v_p$ 这些符号变成你的本能时,你就能在”定理与定理之间”思考,而不是卡在”展开每个定义”的层面。这就是为什么熟练掌握符号,是从”会做题”到”有数学直觉”的必经之路。

关键提醒 (Caveats):

• 这张表覆盖你 Stage 1-11 的符号,力求全面,但数论符号体系庞大,某些超出你范围的高等记号(如模形式、L 函数的复杂记号)未列入
• 不同教材/国家的符号约定有差异(如 $\mathbb{N}$ 含不含 0、$(a,b)$ 指 gcd 还是有序对),我标注了主流用法,但遇到具体文献要看其约定
• $d(n)$ 与 $\tau (n)$、$(a,b)$ 与 $\gcd (a,b)$、$[a,b]$ 与 $\mathrm{lcm}$ 等是同义不同写,不是不同概念
• 最易混的是 $v_p$(赋值)vs ${\mathrm{ord}}_p$(阶)、${\mathbb{Z}}_n$(剩余环)vs ${\mathbb{Z}}_p$($p$-进整数),务必靠语境区分
• 勒让德/雅可比/克罗内克记号相同,区别在分母,且后两者 $=+1$ 不保证二次剩余
• 本次为符号speedrun整理,无代码,故无附加库安装说明

这张表你可以当速查手册收着。需要的话,我可以:

1. 挑几个易混符号做对比练习(如 $v_p$ vs ${\mathrm{ord}}_p$ 的辨析题)
2. 补充某个特定领域的符号(如果你之后学椭圆曲线,那套符号 $E({\mathbb{F}}_p)$、#E 等是新的)
3. 继续推进你的学习(换赛道到椭圆曲线 / 几何组合)