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.
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).