Abel's theorem in problems and solutions - School of Mathematics
Abel's theorem in problems and solutions - School of Mathematics
Abel's theorem in problems and solutions - School of Mathematics
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
140 Problems <strong>of</strong> Chapter 1<br />
166. Let K(G) be the commutant <strong>in</strong> the group G <strong>and</strong><br />
Consider the natural homomorphism (see §1.13) <strong>of</strong> the group G <strong>in</strong>to the<br />
quotient group G/N. Thus (see 155)<br />
<strong>and</strong> <strong>in</strong> general S<strong>in</strong>ce by hypothesis the<br />
group G/N is soluble‚ for a certa<strong>in</strong> the subgroup is the unit<br />
group‚ i.e.‚ S<strong>in</strong>ce the<br />
subgroup is conta<strong>in</strong>ed <strong>in</strong> the normal subgroup N. The group N<br />
be<strong>in</strong>g soluble‚ for a certa<strong>in</strong> the subgroup is the unit group. S<strong>in</strong>ce<br />
is conta<strong>in</strong>ed <strong>in</strong> N the subgroup is conta<strong>in</strong>ed <strong>in</strong><br />
<strong>and</strong> it is thus the unit group. It follows that the group G is soluble.<br />
167. From Problem 146 we obta<strong>in</strong><br />
S<strong>in</strong>ce the groups <strong>and</strong> are isomorphic to the groups G<br />
<strong>and</strong> F‚ respectively‚ <strong>and</strong> they are therefore soluble‚ the group G × F (see<br />
166) is also soluble.<br />
168. S<strong>in</strong>ce the group G is soluble‚ <strong>in</strong> the sequence <strong>of</strong> commutants<br />
... we will have‚ for a certa<strong>in</strong> Consider<br />
the sequence <strong>of</strong> groups G‚ K(G)‚ This sequence <strong>of</strong><br />
groups is the sequence we seek‚ because every group (after the first one) is<br />
the commutant <strong>of</strong> the preced<strong>in</strong>g group‚ <strong>and</strong> is therefore a normal subgroup<br />
(see 116) <strong>of</strong> it. Moreover‚ all the quotient groups as well<br />
as G/K(G)‚ are commutative (see 129); the group too‚ is<br />
commutative.<br />
169. S<strong>in</strong>ce by hypothesis the quotient group is commutative‚<br />
the commutant is conta<strong>in</strong>ed <strong>in</strong> (see 130). It follows that the<br />
subgroup is conta<strong>in</strong>ed <strong>in</strong> <strong>and</strong> <strong>in</strong> general the subgroup<br />
is conta<strong>in</strong>ed <strong>in</strong> for every <strong>and</strong><br />
The subgroup is conta<strong>in</strong>ed <strong>in</strong> the subgroup which is<br />
conta<strong>in</strong>ed <strong>in</strong> etc.‚ up to It follows that the subgroup<br />
is conta<strong>in</strong>ed <strong>in</strong> But because the group<br />
is by hypothesis commutative. Hence i.e.‚ the group<br />
G is soluble.<br />
We can obta<strong>in</strong> the result <strong>of</strong> Problem 169 also by <strong>in</strong>duction‚ go<strong>in</strong>g from<br />
to later to etc. <strong>and</strong> us<strong>in</strong>g the result <strong>of</strong> Problem 166.<br />
170. By hypothesis the group G is soluble. This means that for a certa<strong>in</strong><br />
the subgroup is the unit group <strong>and</strong> therefore the subgroup