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.
Solutions 123<br />
<strong>of</strong> symmetries <strong>of</strong> the tetrahedron if <strong>and</strong> only if they belong to the same<br />
class.<br />
In the group <strong>of</strong> rotations <strong>of</strong> the tetrahedron classes 4 <strong>and</strong> 5 are absent,<br />
whereas class 2 splits <strong>in</strong>to two subclasses: 2a) all the clockwise rotations<br />
by 120° about the altitudes (look<strong>in</strong>g on the base <strong>of</strong> the tetrahedron from<br />
the vertex from which the altitude is drawn); 2b) all rotations by 240°.<br />
Solution. Let the elements <strong>of</strong> the group <strong>of</strong> symmetries <strong>of</strong> the tetrahedron<br />
be divided <strong>in</strong>to classes as expla<strong>in</strong>ed above. Such classes are characterized<br />
by the follow<strong>in</strong>g properties: all elements <strong>of</strong> class 2 have order<br />
3 <strong>and</strong> preserve the orientation <strong>of</strong> the tetrahedron; all elements <strong>of</strong> class<br />
3 have order 2 <strong>and</strong> preserve the orientation; all elements <strong>of</strong> class 4 have<br />
order 2 <strong>and</strong> change the orientation; all elements <strong>of</strong> the class 5 have order<br />
4 <strong>and</strong> change the orientation. S<strong>in</strong>ce an <strong>in</strong>ternal automorphism is an isomorphism<br />
(see 94) two elements <strong>of</strong> different order cannot be transformed<br />
one <strong>in</strong>to the other (see 49). Moreover, <strong>and</strong> either both change<br />
the orientation or both preserve it (it suffices to consider two cases: when<br />
changes <strong>and</strong> when preserves the orientation). Consequently two elements<br />
<strong>of</strong> dist<strong>in</strong>ct classes cannot be transformed one <strong>in</strong>to the other by an<br />
<strong>in</strong>ternal automorphism.<br />
Let <strong>and</strong> be two rotations by 180° about two axes through the<br />
middle po<strong>in</strong>ts <strong>of</strong> two opposite edges <strong>and</strong> let be a rotation send<strong>in</strong>g the<br />
first axis onto the other. Thus the rotation sends the second<br />
axis <strong>in</strong>to itself without revers<strong>in</strong>g it. Moreover, (otherwise<br />
Hence co<strong>in</strong>cides with Therefore any two<br />
elements <strong>of</strong> class 3 can be transformed one <strong>in</strong>to the other by an <strong>in</strong>ternal<br />
automorphism <strong>in</strong> the group <strong>of</strong> rotations (<strong>and</strong> therefore <strong>in</strong> the group <strong>of</strong><br />
symmetries) <strong>of</strong> the tetrahedron.<br />
Let <strong>and</strong> be two reflections <strong>of</strong> the tetrahedron with respect to<br />
two planes <strong>of</strong> symmetry <strong>and</strong> let be a rotation send<strong>in</strong>g the first plane<br />
onto the second one. Thus as before we have<br />
If <strong>and</strong> then <strong>and</strong><br />
Hence It follows that if can be transformed<br />
either <strong>in</strong>to or <strong>in</strong>to then <strong>and</strong> can be transformed one<br />
<strong>in</strong>to the other. Therefore it suffices to show that any element <strong>of</strong> a given<br />
class can be sent <strong>in</strong>to all the other elements <strong>of</strong> the same class.<br />
Let be an element <strong>of</strong> the class 5 <strong>and</strong> let<br />
be the rotations such that