整数的模n同因分类

在整数集Z上定义了模n同因关系,得到整数的模n同因分类Z(n).证明了:Z(n)的元素个数是T(n)(其中T(n)是n的正因数个数);Z(n)关于乘法[a][b]=[ab]作成以[0]为零元,[1]为单位元的交换半群,且除[1]外其余的元都没有逆元;在不等式T(n)+φ(n)≤n+1中,当且仅当n=1,4,p(p为素数)时等号成立,其中φ(n)是欧拉函数.