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
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