郡
#数学
#抽象代数
定義
集合
$ G
が演算
$ \star
において郡をなす
演算
$ \star
が
$ G
に閉じている
単位元
$ e \in G
が存在して、任意の
$ a \in G
に対して
$ a \star e = e \star a = a
任意の元
$ a \in G
に対して、逆元
$ a^{-1} \in G
が存在して
$ a \star a^{-1} = a^{-1} \star a = 1
基本性質
単位元
・
逆元
は一意