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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
122 Problems <strong>of</strong> Chapter 1<br />
contradiction Hence S<strong>in</strong>ce is an arbitrary element<br />
different from also From the<br />
equality it follows that <strong>and</strong><br />
The table <strong>of</strong> multiplication is now uniquely def<strong>in</strong>ed. Indeed,<br />
Hence <strong>in</strong> this case we can have only one group. We<br />
can verify that our multiplication table <strong>in</strong> fact def<strong>in</strong>es a group. This group<br />
is called the group <strong>of</strong> quaternions. It is better to denote its elements by<br />
the follow<strong>in</strong>g notations: <strong>in</strong>stead <strong>of</strong> we have, <strong>in</strong><br />
that order, Thus the multiplication by 1 <strong>and</strong><br />
–1 <strong>and</strong> the operations with signs are the same as <strong>in</strong> ord<strong>in</strong>ary algebra.<br />
Moreover, one has<br />
The multiplication table for the group <strong>of</strong> quaternions is<br />
shown <strong>in</strong> Table 11.<br />
93. Consider the vertex named A by the new notation. Its old notation<br />
was thus By the action <strong>of</strong> the given transformation this<br />
vertex is sent onto a vertex named, <strong>in</strong> the old notation, <strong>and</strong>, <strong>in</strong><br />
the new notation, Similarly <strong>in</strong> the new notations the vertex<br />
B is sent onto <strong>and</strong> the vertex C onto Hence to this<br />
transformation there corresponds <strong>in</strong> the new notation the permutation<br />
94. if <strong>and</strong> only if Hence every element has,<br />
under the mapp<strong>in</strong>g one <strong>and</strong> only one image. It follows that<br />
is a bijective mapp<strong>in</strong>g <strong>of</strong> the group <strong>in</strong>to itself. Moreover,<br />
Thus<br />
is an isomorphism.<br />
95. Answer. The reflections with respect to all altitudes.<br />
96. Answer. The rotations by 120° <strong>and</strong> 240°.<br />
97. Answer. Let us subdivide all the elements <strong>of</strong> the group <strong>of</strong> symmetries<br />
<strong>of</strong> the tetrahedron <strong>in</strong> the follow<strong>in</strong>g classes: 1) 2) all rotations<br />
different from about the altitudes; 3) all rotations by 180° about the<br />
axes through the middle po<strong>in</strong>ts <strong>of</strong> opposite edges; 4) all reflections with<br />
respect to the planes through any vertex <strong>and</strong> the middle po<strong>in</strong>t <strong>of</strong> the opposite<br />
edge; 5) all transformations generated by a cyclic permutation <strong>of</strong><br />
the vertices (for example, ). Thus two elements can be<br />
transformed one <strong>in</strong>to another by an <strong>in</strong>ternal automorphism <strong>of</strong> the group