素因数在数论里是指能整除给定正整数的素数。根据算术基本定理,不考虑排列顺序的情况下,每个正整数都能够以唯一的方式表示成它的素因数的乘积。两个没有共同素因子的正整数称为互素。因为1没有素因子,1与任何正整数(包括1本身)都是互素。只有一个素因子的正整数为素数。素因数等同于约数。
将一个正整数表示成素因数乘积的过程和得到的表示结果叫做素因数分解。显示素因数分解结果时,如果其中某个素因数出现了不止一次,可以用幂次的形式表示。例如360的素因数分解是:
其中的素因数2、3、5在360的素因数分解中的幂次分别是3,2,1。
数论中的不少函数与正整数的素因子有关,比如取值为的素因数个数的函数和取值为的素因数之和的函数。它们都是加性函数,但并非完全加性函数。
完全平方数是指等于某个正整数的平方的数。比如225 = 152是完全平方数,而226不是。完全平方数的素因数分解中,每个素因数的幂次都是偶数,这是因为假设完全平方数的素因数分解推出 。假设的素因数分解是:
那么的素因数分解就是:
所以每个素因子的幂次都是的倍数。
互质是两个正整数之间的一种关系。如果两个正整数和没有共同的素因子,就称这两个正整数互质。一般来说两个正整数的最大公约数是指能够同时整除两者的正整数之中最大的一个。如果和有公共的素因子,那么它们的最大公约数gcd(, )就是的倍数。和互质则说明最大公约数是1.
数论函数中与素因数有关的函数包括Ω函数和ω函数。ω函数定义为正整数的不同素因子的个数,而Ω函数定义为计算每个素因数的幂次后正整数的不同素因子的个数。
例如420的素因数分解是:
所以ω(420) 4,而Ω(420) 2×1 + 1 + 1 + 1 5. 因为420的素因数分解中2的幂次是2而其余素因子的幂次是1.