"结合相同；亦即，formula_1（交换律）不一定恒成立。满足交换律的群称为交换群（阿贝尔群，以尼尔斯·阿贝尔命名），不满足交换律的群称为非交换群（非阿贝尔群）。整数加法群中，对于任何两个整数都有"a" + "b" = "b" + "a"（加法的交换律）成立，因此，整数加法群是交换群。但是对称群中交换律并不总是成立，所以一般的对称群不是交换群。群G的单位元经常记做1或formula_2，这个记号来自乘法单位元。对于阿贝尔群，可以把群运算记做+，单位元记做0；这种情况下群称为加法群。单位元也可记做i