在0与m之间且与m互素的整数个数是个重要的量,我们赋予这个量一个名称:Φ(m)={a : 1<=a<=m , gcd(a,m)=1 }函数Φ叫做欧拉函数。
如果gcd(m,n)=1, 则Φ(mn)=Φ(m)Φ(n)