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.

The complex numbers 75<br />

<strong>in</strong> such functions. In fact, the f<strong>in</strong>al aim <strong>of</strong> our study is the pro<strong>of</strong> <strong>of</strong> the<br />

Abel <strong>theorem</strong>, accord<strong>in</strong>g to which a function, express<strong>in</strong>g the roots <strong>of</strong> the<br />

general equation <strong>of</strong> fifth degree, cannot be represented by radicals. But<br />

this function is multi-valued, because an equation <strong>of</strong> fifth degree has, <strong>in</strong><br />

general, for given coefficients, five roots. Also the functions which are<br />

represented by radicals are multi-valued.<br />

The pr<strong>in</strong>cipal idea <strong>of</strong> the demonstration <strong>of</strong> the Abel <strong>theorem</strong> is the<br />

follow<strong>in</strong>g. We put <strong>in</strong>to correspondence with a multi-valued function <strong>of</strong> a<br />

complex variable a certa<strong>in</strong> group, the so called monodromy group.<br />

The monodromy group <strong>of</strong> the function express<strong>in</strong>g the roots <strong>of</strong> the<br />

general equation <strong>of</strong> fifth degree <strong>in</strong> terms <strong>of</strong> a parameter cannot co<strong>in</strong>cide<br />

with any monodromy group <strong>of</strong> functions representable by radicals, <strong>and</strong><br />

therefore this function cannot be represented by radicals.<br />

In order to <strong>in</strong>troduce the notion <strong>of</strong> the monodromy group we consider<br />

first another notion very important <strong>in</strong> the theory <strong>of</strong> functions <strong>of</strong> one<br />

complex variable — the notion <strong>of</strong> the Riemann 12 surface <strong>of</strong> a function.<br />

We beg<strong>in</strong> by the construction <strong>of</strong> the Riemann surface for the simplest<br />

example <strong>of</strong> a multi-valued function, the function<br />

We already know that the function takes the s<strong>in</strong>gle value<br />

for <strong>and</strong> two values for all values (cf., 229). Moreover,<br />

if is one <strong>of</strong> the values <strong>of</strong> then the other value <strong>of</strong> is<br />

277. F<strong>in</strong>d all values <strong>of</strong>: a) b) c) d) (here<br />

is the positive value <strong>of</strong> the root).<br />

Let us cut the plane along the negative side <strong>of</strong> the real axis from 0<br />

to <strong>and</strong> for every not belong<strong>in</strong>g to the cut let us choose the value<br />

which lies on the right half plane. In this way we obta<strong>in</strong> a<br />

cont<strong>in</strong>uous s<strong>in</strong>gle-valued function over the whole plane, except the cut.<br />

This function, which we denote by def<strong>in</strong>es a cont<strong>in</strong>uous <strong>and</strong> s<strong>in</strong>glevalued<br />

mapp<strong>in</strong>g <strong>of</strong> the plane, except the cut, on the right half plane<br />

(Figure 24).<br />

REMARK. If we choose arg <strong>in</strong> such a way that then<br />

for the function we obta<strong>in</strong> (cf., 229). Therefore<br />

under the mapp<strong>in</strong>g the plane shr<strong>in</strong>ks like a fan whose radii are<br />

shortened as its open<strong>in</strong>g angle is halved.<br />

If we now choose, for every not ly<strong>in</strong>g on the cut, the value <strong>of</strong><br />

which lies on the left half plane we obta<strong>in</strong> another function, still s<strong>in</strong>gle-<br />

12 B. Riemann (1826–1866), German mathematician.

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

Saved successfully!

Ooh no, something went wrong!