単位群

定義

\( (G, \cdot) = ({e}, \cdot) \) からなる群のこと。
元が一つしかないので、自明に群となる。