数学において、群とは、以下の条件を満たす二項演算が定義されている集合のことです。
・群の任意の二つの要素に対する二項演算の結果も群の要素である。
・群の要素を使った二項演算が結合法則に従う。
・二項演算の単位元が存在する。
・群の任意の要素に対して、逆元が存在する。