05.01.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!