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.

Solutions 207<br />

mov<strong>in</strong>g along a curve which does not pass through the po<strong>in</strong>ts<br />

<strong>and</strong> Moreover, every passage from one sheet to another, whilst<br />

cross<strong>in</strong>g a cut, co<strong>in</strong>cides with the passage <strong>in</strong>dicated on the scheme at that<br />

branch po<strong>in</strong>t from which this cut starts (cf., note 1 §2.10). Consequently<br />

the connection <strong>of</strong> the sheets at the branch po<strong>in</strong>ts must be made so as<br />

to obta<strong>in</strong> a connected scheme. S<strong>in</strong>ce po<strong>in</strong>ts different from <strong>and</strong><br />

are not branch po<strong>in</strong>ts (cf., 345), <strong>and</strong> at each one <strong>of</strong> the po<strong>in</strong>ts<br />

<strong>and</strong> only two sheets can jo<strong>in</strong> (cf., 346), <strong>in</strong> order to<br />

obta<strong>in</strong> a connected scheme we must put one arrow <strong>in</strong> correspondence with<br />

each one <strong>of</strong> the po<strong>in</strong>ts <strong>and</strong> i.e., all <strong>of</strong> these four po<strong>in</strong>ts<br />

are branch po<strong>in</strong>ts. All the dist<strong>in</strong>ct connected schemes are shown <strong>in</strong> Figure<br />

115. Any connected scheme <strong>of</strong> the Riemann surface <strong>of</strong> the function<br />

matches one <strong>of</strong> these three schemes after a permutation <strong>of</strong> the sheets <strong>and</strong><br />

<strong>of</strong> the branch po<strong>in</strong>ts (here we do not claim that all these three schemes<br />

can be realized).<br />

FIGURE 115<br />

349. We prove that the permutation group <strong>of</strong> the scheme for all the<br />

three schemes shown <strong>in</strong> Figure 115 conta<strong>in</strong>s all the elementary transpositions<br />

(cf., §1.15), i.e., the transposition (1, 2), (2, 3), (3, 4), (4, 5).<br />

For the first scheme this is evident because these transpositions correspond<br />

to the branch po<strong>in</strong>ts. In the second <strong>and</strong> <strong>in</strong> the third scheme<br />

one <strong>of</strong> the branch po<strong>in</strong>ts corresponds to the transposition (1, 2). The<br />

transpositions (2, 3) <strong>and</strong> (3, 4) are obta<strong>in</strong>ed <strong>in</strong> both cases as the products<br />

(2, 3) = (1, 2) · (1, 3) · (1, 2) <strong>and</strong> (3, 4) = (1, 3) · (1, 4) · (1, 3). The<br />

transposition (4, 5) is obta<strong>in</strong>ed for the second scheme as the product<br />

(4, 5) = (1, 4) · (1, 5) · (1, 4) <strong>and</strong> for the third scheme it simply co<strong>in</strong>cides<br />

with one <strong>of</strong> the branch po<strong>in</strong>ts.<br />

Consequently the required group conta<strong>in</strong>s, <strong>in</strong> all cases, all elementary<br />

transpositions, <strong>and</strong> consequently (Theorem 4, §1.15) it co<strong>in</strong>cides with the<br />

entire group <strong>of</strong> the permutations <strong>of</strong> degree 5,

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

Saved successfully!

Ooh no, something went wrong!