Each subgroup contains exactly one idempotent, namely the identity element of the subgroup.

• 每个子群精确的包含一个幂等元，也就是这个子群的单位元。