习题 8, § 2

在习题 7 的记号中，假设 A 是有限的；证明包含是唯一一个幂等的（$§ 1$，no. 4）（观察一下，如果 $x^p$ 和 $x^q$ 是幂等的，那么 $x^p = x^{pq}, x^q = x^{pq}$，因此$x^p = x^q$）；如果$n \geq p$的$x^n$的$h = x^p$、集合是E的稳定子集D，使得在D上诱导的律下，D是群。