8.3 Group Actions

1. a. If |G| = 20, there is a img G with o(a) = 5 by Cauchy's theorem. Thus |G : img a img|= 4 so there is a homomorphism θ : GS4 with ker θimg a img. Hence | img a img/ker θ| divides 24 so ker θ ≠ {1}. Thus ker θ =img a img because o(a) is prime, so imga img img G.
3. Assume pq. By Cauchy's theorem, let a

Get Introduction to Abstract Algebra, Solutions Manual, 4th Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.