在数学中，群<"G",*> 定义为集合 "G" 和叫做“乘积”并指示为中缀 "*" 的 "G" 上的二元运算。乘积服从下列规则(也叫做公理)。设 "a", "b" 和 "c" 是 "G" 的任意元素。则:阿贝尔群还服从额外的规则:封闭性是二元运算定义的一部分，因此 A1 经常省略。
例子."G" = {1,-1} 是乘法下的一个群，因为对于所有 "G" 中的元素 "a", "b", "c":整数集 Z 和实数集 R 是在加法 '+' 下的群，对于所有 Z 或者 R