If N is normal in G and a belongs to G is of order O(a), prove that the order, m of Na in G/N is a divisor of O(a)
We denote the identity element of by .
Since is normal in inherits a group structure from whence
So
We note we cannot have
for if (3) binds, since
the order of in is then less than s, contrary to our hypothesis. So
We now exploit the euclidean algorithm to write
where then
and
now since and is a subgroup of
whence
but by (8), (10) forces
but now contadicts the fact that is the order of in is , since (11) yields
Thus and hence
Comments