2.5. If G is a finite group, show that there exists a positive integer m such that am = e for all a ∈ G.
Let be finite group and .
Consider the set . It is clear that for some integers from the beginning. Since is a finite group there exists and such that implies . Therefore every element has the finite order. That is the smallest positive integer satisfying . (One may assume without loss of generality that ). One can do this for each . The least common multiple of the order of all elements of satisfies for all .
Comments