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.

126 Problems <strong>of</strong> Chapter 1<br />

such that S<strong>in</strong>ce N is a normal subgroup<br />

Hence there exists <strong>in</strong> N an element such that Therefore<br />

S<strong>in</strong>ce the element belongs to N<br />

<strong>and</strong> belong to the same coset<br />

107. Let <strong>and</strong> be the elements arbitrarily chosen <strong>in</strong> <strong>and</strong><br />

respectively. By the def<strong>in</strong>ition <strong>of</strong> multiplication <strong>of</strong> cosets‚<br />

<strong>and</strong> are the cosets conta<strong>in</strong><strong>in</strong>g the elements <strong>and</strong> respectively.<br />

S<strong>in</strong>ce<br />

108. H<strong>in</strong>t. Take as a representant <strong>of</strong> class E.<br />

109. H<strong>in</strong>t. Let be an arbitrary element <strong>of</strong> class T. Take as the class<br />

the coset conta<strong>in</strong><strong>in</strong>g the element<br />

110. It is easy to verify (see table 2‚ §1.11) that<br />

Hence this quotient group is isomorphic to the group <strong>of</strong> symmetries <strong>of</strong><br />

the rhombus.<br />

111. We will show only the normal subgroups different from <strong>and</strong><br />

the whole group:<br />

a) see 58 (1)‚ 95‚ 96‚ 102. Answer. The normal subgroup is the<br />

group <strong>of</strong> rotations <strong>of</strong> the triangle; the correspond<strong>in</strong>g quotient group is<br />

isomorphic to<br />

b) see 99‚ 74‚ 75. Let be the given group. Answer.<br />

The normal subgroups are:<br />

The correspond<strong>in</strong>g quotients groups are isomorphic<br />

to<br />

c) for the notations see examples 3‚ 4 (§1.1). If a normal subgroup<br />

<strong>of</strong> the group <strong>of</strong> symmetries <strong>of</strong> the square conta<strong>in</strong>s the element or the<br />

element then it conta<strong>in</strong>s every subgroup <strong>of</strong> the group <strong>of</strong> rotations <strong>of</strong><br />

the square. We obta<strong>in</strong> <strong>in</strong> this case the normal subgroup (see<br />

102)‚ <strong>and</strong> the quotient group<br />

We have <strong>and</strong> Thus if one <strong>of</strong> the elements<br />

belongs to the normal subgroup the other one also does. S<strong>in</strong>ce <strong>in</strong><br />

this case the element also belongs to the normal subgroup. We obta<strong>in</strong><br />

the normal subgroup (see 102)‚ <strong>and</strong> the quotient group<br />

S<strong>in</strong>ce <strong>and</strong> we obta<strong>in</strong>‚ as before‚ the<br />

normal group <strong>and</strong> the quotient group<br />

If‚ on the contrary‚ the normal subgroup does not conta<strong>in</strong> the elements<br />

then it co<strong>in</strong>cides with the normal subgroup <strong>and</strong> the<br />

correspond<strong>in</strong>g quotient group is isomorphic to (see 100‚ 110).

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

Saved successfully!

Ooh no, something went wrong!