单位元群

identity group