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 O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.