什么叫 "整数模 n 乘法群"