单位元子群是什么?

单位元子群是数学中一个重要的概念，指在一个群中，只包含单位元的子集。这个子集本身也是一个群，满足群的四个基本性质：封闭性、结合律、单位元存在和逆元存在。单位元子群是最小的子群，任何群都至少包含它。

单位元子群在群论中具有基础作用，可以用来研究群的结构和性质。例如，在整数加法群中，单位元是0，单位元子群就是{0}。在模n的加法群中，单位元子群也是{0}。这个概念帮助我们理解群的基本组成单元。