05.01.2013 Views

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

19.2. <strong>The</strong> contents <strong>of</strong> ABEL’s Paris result and its pro<strong>of</strong> 369<br />

which was <strong>of</strong> degree µ − α, has as its roots xα+1, . . . , xµ and whose coefficients were<br />

rational functions <strong>of</strong> x1, . . . , xα and y1, . . . , yα. Thus, ABEL concluded from Main <strong>The</strong>o-<br />

rem I that any sum such as ∑ α k=1 ψ k (x k) could be expressed by a known function v and<br />

a similar sum <strong>of</strong> functions,<br />

α<br />

∑ ψk (xk) = v −<br />

k=1<br />

µ<br />

∑<br />

k=α+1<br />

ψk (xk) . (19.29)<br />

<strong>The</strong> relation γ = µ − α. <strong>The</strong> expression (19.29) at first might seem like a mere rep-<br />

etition <strong>of</strong> the Main <strong>The</strong>orem I, but as ABEL stressed, the number <strong>of</strong> terms on the right<br />

hand side (µ − α) shows remarkable features. <strong>The</strong> stress put on the number γ is cer-<br />

tainly one <strong>of</strong> the important aspects <strong>of</strong> ABEL’S paper, and it has received widespread<br />

mathematical interest not least after G. F. B. RIEMANN (1826–1866) transformed it<br />

into a coherent concept <strong>of</strong> genus, see section 19.3. For now, we focus our attention<br />

completely on ABEL’S argument and the inner logic <strong>of</strong> the paper.<br />

As he had done above, ABEL again divided his argument by whether r has a factor<br />

independent <strong>of</strong> the indeterminates or not. He started with the latter case, F0 (x) = 1<br />

for which he found that all the coefficient functions q0, . . . , qn−1 were arbitrary and<br />

their hq k + 1 coefficients had to correspond to the indeterminates,<br />

α =<br />

n−1<br />

n<br />

∑ (hqk + 1) = ∑ hqk + n − 1.<br />

k=1<br />

k=1<br />

Obtaining a corresponding formula for the other case, in which F0 (x) �= 1, proved<br />

much more tedious. In general, ABEL claimed, the equation<br />

r (x) = F0 (x) F (x) (19.30)<br />

would impose hF0 conditions, but particular forms for y can eliminate some <strong>of</strong> these<br />

conditions. 35 If the number <strong>of</strong> conditions imposed by (19.30) is hF0 − A, the number<br />

<strong>of</strong> indeterminates could be counted as<br />

α =<br />

n−1<br />

∑ (hqk + 1) − (hF0 − A) . (19.31)<br />

k=1<br />

On the other hand, ABEL easily obtained from the definitions<br />

and<br />

hr = h<br />

hr = hF0 + hF = hF0 + µ<br />

� �<br />

n<br />

n<br />

∏ θ (yk) = ∑ hθ (yk) ,<br />

k=1<br />

k=1<br />

35 Here, a remarkably clear juxtaposition <strong>of</strong> “in general” and “particular cases” was given.

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

Saved successfully!

Ooh no, something went wrong!