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.

The complex numbers 57<br />

214. Let us choose, amongst all expressions <strong>of</strong> type (2.6), the expression<br />

<strong>of</strong> m<strong>in</strong>imal degree that is vanish<strong>in</strong>g <strong>in</strong> M: the correspond<strong>in</strong>g<br />

equation is<br />

Prove that the polynomial<br />

is not reducible over the field <strong>of</strong> real numbers.<br />

In the sequel we will prove (cf., 272) that every polynomial with<br />

real coefficients <strong>of</strong> degree higher than 2 is reducible over the field <strong>of</strong> real<br />

numbers. Hence <strong>in</strong> Problem 214 cannot be higher than 2. But s<strong>in</strong>ce<br />

(otherwise we should have <strong>and</strong> should be equal to the<br />

real number we obta<strong>in</strong> that<br />

Consequently <strong>in</strong> the case (a) there exist two real numbers <strong>and</strong> <strong>in</strong><br />

M which satisfy<br />

<strong>and</strong> for which the polynomial is irreducible over the field <strong>of</strong><br />

real numbers.<br />

215. Prove that <strong>in</strong> the case (a) the field M conta<strong>in</strong>s an element<br />

such that<br />

From the results <strong>of</strong> Problems 215 <strong>and</strong> 213 it follows that <strong>in</strong> the case<br />

(a) the field M conta<strong>in</strong>s a field isomorphic to the field <strong>of</strong> complex<br />

numbers. Therefore if the field M is a m<strong>in</strong>imal extension <strong>of</strong> the field <strong>of</strong><br />

real numbers then the field M must co<strong>in</strong>cide with As a consequence,<br />

<strong>in</strong> the case (a) any m<strong>in</strong>imal field which represents a m<strong>in</strong>imal extension<br />

<strong>of</strong> the field <strong>of</strong> real numbers co<strong>in</strong>cides (i.e., it is isomorphic) with the field<br />

<strong>of</strong> complex numbers. So <strong>in</strong> the case (a) there is only one field (up to<br />

isomorphism) which is a m<strong>in</strong>imal extension <strong>of</strong> the field <strong>of</strong> real numbers,<br />

namely the field <strong>of</strong> complex numbers.<br />

216. F<strong>in</strong>d all fields that are m<strong>in</strong>imal extensions <strong>of</strong> the field <strong>of</strong> real<br />

numbers <strong>in</strong> the case (b).

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

Saved successfully!

Ooh no, something went wrong!