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.

148 Problems <strong>of</strong> Chapter 2<br />

3.2 Problems <strong>of</strong> Chapter 2<br />

194. a) Answer. No‚ because the <strong>in</strong>teger numbers do not form a<br />

group under addition (cf.‚ 17).<br />

b) Answer. No‚ because the <strong>in</strong>tegers numbers without zero do not<br />

form a group under multiplication (all numbers‚ except 1 <strong>and</strong> –1‚ have<br />

no <strong>in</strong>verse).<br />

c) Answer. Yes. Use the result <strong>of</strong> Problem 57.<br />

Solution. S<strong>in</strong>ce the real numbers form a commutative group under<br />

addition‚ <strong>and</strong> without zero also a commutative group under multiplication‚<br />

it suffices to verify that the set <strong>of</strong> rational numbers form a subgroup<br />

<strong>of</strong> the group <strong>of</strong> real numbers under addition‚ <strong>and</strong> without zero also under<br />

multiplication. One obta<strong>in</strong>s this easily us<strong>in</strong>g the result <strong>of</strong> Problem 57.<br />

Indeed: 1) if <strong>and</strong> are rational then <strong>and</strong> are rational as<br />

well; 2) 0 <strong>and</strong> 1 are rational; 3) if is a rational number‚ then <strong>and</strong><br />

(for are also rational. The distributivity is obviously satisfied.<br />

Consequently rational numbers form a field.<br />

d) Answer. Yes. Use the result <strong>of</strong> Problem 57.<br />

Solution. If where <strong>and</strong> are rational numbers<br />

<strong>and</strong> then it is not possible that because is not<br />

a rational number. This means that if <strong>and</strong> be<strong>in</strong>g<br />

rational numbers‚ then All numbers <strong>of</strong> the form<br />

for different pairs are different‚ because if<br />

then <strong>and</strong> Let us now prove<br />

that all numbers <strong>of</strong> the form where <strong>and</strong> are rational‚ form<br />

a field. To do this‚ we prove that the numbers <strong>of</strong> the form form<br />

a subgroup under addition <strong>in</strong> the set <strong>of</strong> the real numbers‚ <strong>and</strong> also under<br />

multiplication without zero. Us<strong>in</strong>g the result <strong>of</strong> Problem 57 we obta<strong>in</strong>:<br />

1) if <strong>and</strong> then<br />

<strong>and</strong> <strong>and</strong> 1 belong to the set<br />

considered‚ because <strong>and</strong> if<br />

then <strong>and</strong> (for<br />

S<strong>in</strong>ce the distributivity is satisfied by all real numbers the considered set

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

Saved successfully!

Ooh no, something went wrong!