群 (数学)

数学、特に抽象代数学における群（ぐん、英: group）とは、一つの集合と、その集合上に閉じて定義された一つの二項演算で構成される組（代数的構造）であり、ただしその二項演算は結合法則、単位元、逆元を全て有する。マグマの分類の一つである。