算术基本定理

算术基本定理
术语名称	算术基本定理
英语名称	fundamental theorem of arithmetic
别名	唯一分解定理, unique factorization theorem, 质因数分解定理, prime factorization theorem

算术基本定理(fundamental theorem of arithmetic)指大于 1 的整数总能分解成质数的乘积，且在不计顺序的意义下唯一。

算术基本定理体现了质数的本质性质，也是正整数中 1 、质数、合数三类的本质区别，并且可以把数的乘除问题转化成其标准分解式之间质数加减的问题。且算术基本定理可以进一步推广到一些代数结构上。

这一定理与 Euclid 引理等价。

定理

大于 1 的任意整数 [math]\displaystyle{ n }[/math] 都能被表示为质数乘积的形式，

[math]\displaystyle{ n = p_1 p_2 \dots p_r }[/math]

其中 [math]\displaystyle{ p_1, p_2, \dots, p_r }[/math] 是质数。 同时，如果不计质因数 [math]\displaystyle{ p_1, p_2, \dots, p_r }[/math] 的次序，这一分解表示唯一。

注：将质数从小到大排列并将相同质数合并的 [math]\displaystyle{ n = p_1^{n_1} p_2^{n_2} \dots p_m^{n_m} }[/math] 被称为标准质因数分解或标准分解。

整除理论
整除关系	整除、倍数、因数		带余除法
正整数的分类	1、质数、合数
	质数测试	试除法、 Fermat 测试	Eratosthenes 筛法、 Euler 筛法
最大公约数理论	公倍数、最小公倍数 [math]\displaystyle{ \operatorname{lcm} }[/math]、公因数、最大公因数 [math]\displaystyle{ \operatorname{gcd} }[/math]		辗转相除法
	互质
算术基本定理	算术基本定理		标准质因数分解

琐事

命名

“算术基本定理”中的“算术(arithmetic)”一词是因为数论曾被称为高等算术或简称算术，与现在意义上的算术不是同一概念。