ALGEBRA KAI EFARMOGES

ERGASIA 1

'Askhsh 1. 'Estw to sÔnolo S = {a, b} .

i
( ) Pìsec dimeleÐc prˆxeic mporoÔn na orisjoÔn sto S ?

(ii ) Pìsec apì autèc eÐnai prosetairistikèc?

(iii ) Pìsec apì autèc èqoun epiplèon oudètero stoiqeÐo?

(iv ) Pìsec apì autèc efodiˆzoun to S me dom  omˆdac?

'Askhsh 2. 'Estw to sÔnolo S = R \ {−1} efodiasmèno me thn prˆxh: a∗b =

a + b + ab .

i
( ) DeÐxte ìti h ∗ orÐzei mÐa dimel  prˆxh sto S kai ìti (S, ∗) apoteleÐ omˆda.

(ii ) BreÐte sthn S th lÔsh:

(a) Thc exÐswshc 1 ∗x ∗ 2 = 23

(x + 1) ∗ (y − 1) = x ∗ y
(b) Tou sust matoc
(x − 2) ∗ (y + 2) = x ∗ (y + 1)
 
a b
'Askhsh 3. 'Estw to sÔnolo G twn pinˆkwn thc morf c , ìpou a, b, c, d ∈ Z2
c d
kai ad − bc 6= 0 . Na apodeÐxete ìti to (G, ·) me prˆxh ton sun jh pollaplasiasmì twn

pinˆkwn eÐnai omˆda tˆxhc 6. BreÐte ton pÐnaka pollaplasiasmoÔ thc G . Me poiˆ

gnwst  omˆda eÐnai h G isomorfik ?

'Askhsh 4. An G eÐnai mia omˆda tètoia ¸ste (ab)2 = a2 b2 gia kˆje a, b ∈ G , na

deÐxete ìti h G eÐnai abelian .

'Askhsh 5. 'Estw (G, ∗) omˆda. DeÐxte ìti:

i
( ) An ìla ta stoiqeÐa thc eÐnai tˆxhc 2, tìte h omˆda eÐnai antimetajetik .

(ii ) An h G eÐnai mh tetrimmènh peperasmènh kai ˆrtiac tˆxhc, tìte upˆrqei èna toulˆ-

qiston stoiqeÐo thc tˆxhc 2.

'Askhsh 6. 'Estw G omˆda kai èstw a, b ∈ G . DeÐxte ìti ta stoiqeÐa ab kai ba èqoun

thn Ðdia tˆxh. ( Upìdeixh : ba = a (ab)a −1

.)

'Askhsh 7. 'Estw G omˆda kai èstw a, b ∈ G . DeÐxte ìti an to stoiqeÐo a èqei tˆxh

3 3
5 kai a b = ba , tìte ab = ba .

'Askhsh 8. 'Estw to sÔnolo C∗ = {a + bi ∈ C : |a| + |b| =

6 0} efodiasmèno me ton

sun jh pollaplasiasmì twn migadik¸n arijm¸n kai èstw U = {a + bi ∈ C∗ : a2 + b2 = 1} .

Na apodeÐxete ìti to U eÐnai upoomˆda thc C ∗

.

1
 2

'Askhsh 9. i
( ) BreÐte thn omˆda(D, ◦) twn summetri¸n tou kÔklou.

ii
( ) DeÐxte ìti h diedrik  omˆda (Dn , ◦) eÐnai upoomˆda thc (D, ◦) .

iii
( ) JumhjeÐte ìti h upoomˆda twn (Σn , ◦)
strof¸n thc (Dn , ◦) eÐnai isomorfik  me

thn omˆda (Un , ·) kai ìti (Un , ·) ≤ (U, ·) ≤ (C∗ , ·) . SusqetÐste thn omˆda (D, ◦) me thn

omˆda (U, ·) .

'Askhsh 10. i
( ) 'Estw (G, ∗) antimetajetik  omˆda. Na deiqjeÐ ìti to uposÔnolo

T = {τ ∈ G | ord(τ ) < +∞}

eÐnai upoomˆda thc G (h upoomˆda strèyhc thc G ).

ii
( ) BreÐte thn upoomˆda strèyhc thc pollaplasiastik c omˆdac tou trigwnometrikoÔ

kÔklou (U, ·) .

'Askhsh 11. BreÐte thn omˆda twn summetri¸n:

i
( ) Tou tetraèdrou.

ii
( ) Tou kÔbou.

iii
( ) Thc sfaÐrac aktÐnac 1 ston R3 .

'Askhsh 12. 'Estw (G, ·) omˆda. To sÔnolo Z(G) = {z ∈ G | zg = gz ∀ g ∈ G}

lègetai kèntro thc G .

i
( ) DeÐxte ìti to Z(G) eÐnai upoomˆda thc G .

ii
( ) BreÐte to kèntro thc diedrik c omˆdac D4 .

Parˆdosh: 20/11/2019

Oi didˆskontec