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

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

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

Saved successfully!

Ooh no, something went wrong!