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.

Solutions 111<br />

39. a) See Table 8; b) see Table 9; c) Tee table 10.<br />

40. We prove that all properties <strong>of</strong> a group are satisfied: 1) for three<br />

arbitrary rema<strong>in</strong>ders we have modulo<br />

because <strong>in</strong> both terms <strong>of</strong> the equality we have the rema<strong>in</strong>der <strong>of</strong> the<br />

division by <strong>of</strong> the number 2) the unit element is 0 because<br />

for every rema<strong>in</strong>der 3) if then the <strong>in</strong>verse<br />

element (the opposite element) <strong>of</strong> is because modulo one has<br />

the <strong>in</strong>verse element <strong>of</strong> element 0 is 0<br />

itself. This group is cyclic with generator 1, because the smallest <strong>in</strong>teger<br />

such that modulo is equal to<br />

41. S<strong>in</strong>ce one has <strong>and</strong><br />

Hence (see 33) is divisible by i.e., <strong>and</strong><br />

are equal modulo<br />

42. Answer. They are isomorphic: the groups (1) <strong>and</strong> (4) (consider<br />

the mapp<strong>in</strong>g <strong>and</strong> the groups<br />

(2) <strong>and</strong> (3) (consider the mapp<strong>in</strong>g<br />

(see <strong>solutions</strong> 6 <strong>and</strong> 7)).<br />

43. S<strong>in</strong>ce is a bijective mapp<strong>in</strong>g, exists <strong>and</strong> is bijective. Let<br />

<strong>and</strong> be two arbitrary elements <strong>of</strong> the group In the group there<br />

are two (unique) elements <strong>and</strong> such that <strong>and</strong> S<strong>in</strong>ce<br />

is an isomorphism, (the products are taken <strong>in</strong> the<br />

correspond<strong>in</strong>g groups). Therefore S<strong>in</strong>ce<br />

<strong>and</strong> are two arbitrary elements <strong>of</strong> the group is an isomorphism.<br />

44. S<strong>in</strong>ce the mapp<strong>in</strong>gs <strong>and</strong> are bijective,<br />

is also bijective. Let <strong>and</strong> be two arbitrary elements<br />

<strong>of</strong> the group Thus<br />

<strong>and</strong> hence is an<br />

isomorphism (the products are taken <strong>in</strong> the correspond<strong>in</strong>g groups).

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

Saved successfully!

Ooh no, something went wrong!