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.

Solvability <strong>of</strong> Equations 239<br />

The group <strong>of</strong> conformal mapp<strong>in</strong>gs conta<strong>in</strong>s the group <strong>of</strong> <strong>in</strong>dex 2<br />

(or <strong>of</strong> <strong>in</strong>dex 1) consist<strong>in</strong>g <strong>of</strong> the homographic mapp<strong>in</strong>gs. Hence for the<br />

almost soluble group <strong>of</strong> conformal mapp<strong>in</strong>gs an analogous proposition<br />

holds.<br />

LEMMA. A group <strong>of</strong> conformal mapp<strong>in</strong>gs <strong>of</strong> the sphere is almost soluble<br />

if <strong>and</strong> only if it satisfies at least one <strong>of</strong> these conditions:<br />

1)<br />

2)<br />

3)<br />

the group has only one <strong>in</strong>variant po<strong>in</strong>t;<br />

the group has an <strong>in</strong>variant set consist<strong>in</strong>g <strong>of</strong> two po<strong>in</strong>ts;<br />

the group is f<strong>in</strong>ite.<br />

This lemma follows from the preced<strong>in</strong>g propositions because the set <strong>of</strong><br />

<strong>in</strong>variant po<strong>in</strong>ts for a normal divisor is <strong>in</strong>variant under the action <strong>of</strong> the<br />

group. It is well known that a f<strong>in</strong>ite group <strong>of</strong> homographic mapp<strong>in</strong>gs<br />

<strong>of</strong> the sphere is sent by a homographic transformation <strong>of</strong> coord<strong>in</strong>ates to a<br />

group <strong>of</strong> rotations.<br />

It is not difficult to prove that if the product <strong>of</strong> two <strong>in</strong>versions with<br />

respect to two different circles corresponds under the stereographic projection<br />

to a rotation <strong>of</strong> the sphere, then these circles correspond to great<br />

circles. Hence every f<strong>in</strong>ite group <strong>of</strong> conformal mapp<strong>in</strong>gs generated by<br />

the <strong>in</strong>versions with respect to some circles is sent by a homographic transformation<br />

<strong>of</strong> coord<strong>in</strong>ates to a group <strong>of</strong> motions <strong>of</strong> the sphere, generated<br />

by reflections.<br />

All the f<strong>in</strong>ite groups <strong>of</strong> the motions <strong>of</strong> the sphere generated by reflections<br />

are well known. They are exactly the symmetry groups <strong>of</strong> the<br />

follow<strong>in</strong>g objects:<br />

1) the regular pyramid with a regular as basis;<br />

2) the i.e., the solid made from two regular pyramids<br />

jo<strong>in</strong><strong>in</strong>g their bases;<br />

3) the tetrahedron;<br />

4) the cube or the octahedron;<br />

5) the dodecahedron or the icosahedron.

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

Saved successfully!

Ooh no, something went wrong!