定义和含义

一个群，也就是一个定义了二元运算的映射（[math]\displaystyle{ u\cdot v }[/math]）的集合[math]\displaystyle{ G=\left\{u, v, \cdots \right\} }[/math]，如果交换律也成立，也就是 [math]\displaystyle{ u\cdot v=v\cdot u, \forall u,v \in G }[/math]，则这个群称为交换群，也称为阿贝尔（Abellian）群。

层次标注

在这里，它属于第二层知识，即学科概念。