阿贝尔群
容易验证模 "n" 互质同余类在乘法运算下满足阿贝尔群的公理。