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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

368 Chapter 19. <strong>The</strong> Paris memoir<br />

2. If all the roots y1, . . . , yn have integer degrees,<br />

and<br />

the formula became (ε = n)<br />

γ = 1 +<br />

= 1 +<br />

�<br />

n τ−1<br />

∑<br />

τ=1<br />

n<br />

∑<br />

hy1, . . . , hyn ∈ Z,<br />

n1 = · · · = nε = 1,<br />

∑ mν +<br />

ν=1<br />

mτ − 1<br />

2<br />

τ−1<br />

∑<br />

τ=1 ν=1<br />

�<br />

mν − n = 1 − n +<br />

−<br />

n<br />

mτ + 1<br />

∑ 2 τ=1<br />

n<br />

∑ (n − τ) mτ.<br />

τ=1<br />

It is interesting to consider the usefulness <strong>of</strong> these examples. It appears that the<br />

examples were both chosen because the assumptions made therein corresponded to<br />

particularly interesting cases and because they illustrate cases, in which the rather<br />

complicated formula (19.28) — which looked even more complicated in ABEL’S nota-<br />

tion than in my modern one — reduced to extremely simple forms. <strong>The</strong> first class <strong>of</strong><br />

equations considered (in which all degrees were equal) contains equations such as<br />

χ (x, y) = y n − p (x) = 0<br />

in which p is a polynomial. <strong>The</strong> second assumption (all roots have integer degrees)<br />

applies to equations <strong>of</strong> the form<br />

χ (x, y) = ∏ k<br />

(y − p k (x)) = 0.<br />

<strong>The</strong> indeterminates a, a ′ , a ′′ , . . . . ABEL chose to designate by α the number <strong>of</strong> inde-<br />

terminates a, a ′ , a ′′ , . . . and ventured to investigate the relationships between the roots<br />

x1, . . . , xµ and the indeterminates a1, . . . , aα. To the α indeterminates corresponded α<br />

equations<br />

θ (yτ) = 0 for τ = 1, . . . , α<br />

which were linear in the indeterminates (see box 19.2.3, above). <strong>The</strong>se equations “in<br />

general” served to express the indeterminates rationally in x1, . . . , xα and y1, . . . , yα.<br />

Only in cases <strong>of</strong> multiple roots would the equations not suffice. In such cases ABEL<br />

involved the calculus which could be used to produce a set <strong>of</strong> α independent equations<br />

for determining a1, . . . , aα. When ABEL divided F (x) by ∏ α τ=1 (x − xτ), he obtained<br />

another equation<br />

F1 (x) =<br />

∏ α τ=1<br />

F (x)<br />

= 0<br />

(x − xτ)

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

Saved successfully!

Ooh no, something went wrong!