Documente Academic
Documente Profesional
Documente Cultură
Monoizi
Definitie: O multime nevida M este monoid in raport cu o lege de compozitie
definita pe M
M M M , ( x, y ) x y
, x M
Exemplu:
( X Y ) Z X (Y Z )
M1)
M2)
FX X F X
M3)
X Y Y X
X , Y , Z ( E )
X (E )
X , Y , Z ( E )
Definitia Grupului
Definitie: Un cuplu (G ,) format cu o multime nevida G si cu o lege de
compozitie pe G
G G G , ( x, y ) x y
( x y) z x ( y Z
(e G
x, y , z G
astfel incat e x x e x, x G
x G, x G
astfel incat x x x x e
dreapte:
ab a c b c
respectiv
ba ca b c
Au solute unice in G ,
simetricul lui a.
a x b si y a b
anume x a b, respective y b a
unde a este
Formule:
a m a n a m n , (a m ) n , m, n
( na ) ( n) a, a G , n
Subgrup
Fie (G,) un grup.
O submulime nevid H a lui G se numete subgrup a lui G dac sunt
satisfcute urmtoarele condiii :
1. x,y H => xy H
2. x H =>x H
unde x este simetricul lui x (n raport cu operaia lui G)
Teorema:
Definitie
f ( x y ) f ( x) f ( y ), x, y G
atunci si
: G
este izomorfism
Morfisme
Definitie: Fie (G ,) si (,) doua grupuri. O aplicatie f : G se numeste
f ( x y ) f ( x) f ( y ), x, y G
respectiv daca :
f (e) 0;
f :G
1)
2) f ( x ) ( f ( x)) x G
unde x este simetricul lui x iar ( f ( x)) este simetricul lui f(x)
Fie G un grup. Un izomorfims (morfism)
al grupului G
f :G G
se numeste automorfism
EXERCITI
1)
Fie
( x, y ) x y def x ln y
G si ca (G,) este grup
Rezolvare:
Fie x, y G, x y x ln y 0. Cum
compozitie pe G
Verificam axiomele grupului:
comutativ.
este lege de
ln z
asociativa
G 2 ) "" admite element neutru 0 G astfel incat
x0 x x
ln 0
x ln 0 1 0 e G
e x e ln x x ln e x, x G.
x 0 0 x x, x G
x x x x e, x G
G3 )
x x e x ln x e ln x ln x 1 ln x
G 4 ) x y x ln y y ln x y x, x, y ""
Deci
2)
(G ,)
1
( x 1) x e ln x G
ln x
este comutativ
Rezolvare:
G1 ) Fie x, y , z Z . Avem ( x y ) z ( x y 1) z x y z 1 x ( y z ) ""
asociabila
G 2 ) "" admite element neutru e Z astfel incat
x e e x x, x Z .x e x x e 1 x e 1 Z
orice element
este simetrizabil
G 4 ) x y x y 1 y x 1 y x, x, y Z "" este
comutativa
Deci
3)
Fie
( Z ,)
(G ,)
un grup cu proprietetea :
x, y G
( xy ) x 2 y 2 ,
2
(G ,)
un grup cu proprietetea
x e
x G
Rezolvare:
Avem: ( xy) 2
e e e x2 y2
5)
Fie
(G ,)
oricare ar fi
x, y G
. Se aplica ca la exercitiul 3
f :G G
g :G G
f ( x) a x
g ( x) x a
x G
x G
Sunt bijective
Rezolvare:
f ( x1 ) f ( x 2 ) a x1 a x 2 a a x1 a a x 2 e x1 e x 2 x1 x 2 f este
injectiva
Fie y G; a x y a a x a y e y x a y G
Avem : f ( x) f (a y ) a (a y ) y f este sujectiva
g ( x1 ) g ( x2 ) x1 a x 2 a x1 a a x 2 a a x1 e x2 e x1 x 2 g este
injectiva
Fie y G, x a y x y a G, g ( x) g ( y a) ( y a ) a y e y g Sujectiva
6)
Fie (G,) un grup si e elementu sau neutru . Daca elementele
satisfac conditile
b 6 e si ab b 4 a
atunci b 3 e si ab ba
a, b G
Rezolvare:
ab b 4 a b 4 aba 1 , b 2 b 2 b 6 b 4 b 4 aba 1 aba 1 ab 2 a 1 b 2 a ab 2 ;
ab b 4 a b 2 ab b 6 a b 2 ab a ab 2 b a ab 3 a b 3 e;
b 2 a ab 2 b 3 a bab 2 a bab 2 ab bab 3 ab ba
7)
Aratati ca functia f : Z Q, f (k ) (1) k , k Z este morfism de la grupul
( Z , ) la grupul (Q ,)
Rezolvare:
f : Z Q, f ( x ) (1) x ; f ( x y ) (1) x y (1) x (1) y f ( x) f ( y ) f
morfism de la ( Z ,)la (Q,)
8)
este
f : (0, ) ( 1,1)
Aratati ca functia
Rezolvare:
f ( x1 ) f ( x 2 )
f ( x)
x 1
, x (0, )
x 1
x1 1 x 2 1
x1 x 2 x1 x 2 1 x1 x 2 x 2 x1 1 2 x1 2 x 2
x1 1 x 2 1
x1 x 2 f , invectiv
Fie
x 1
1 y
y x 1 y ( x 1) x
(o, ) deoarece y (1,1).
x 1
1 y
1 y
1 y
y ( 1,1), x
(0, ) astfel incat f ( x ) f (
) y f este
1 y
1 y
y ( 1,1);
Deci
x 1 y 1
xy 1
f ( x) f ( y)
yx x y 1 xy x y 1
x 1 y 1
f ( xy )
; f ( x) f ( y )
1
y
1
xy 1
1 f ( x) f ( y )
xy x y 1 xy x y 1
1
x 1 y 1
2 xy 2
xy 1
, x, y ( 1,1)
1 xy
9)
Fie
G (
, )
2 2
si pentru orice
x, y G
fie
Aratati ca
(G ,)
Rezolvare:
Verificam axiomele grupului
este asociativa
G2 )
, )
2 2
x x e, x
tgx tgx
x x (
x ( , )
2 2
), deoarece , x (
comutativa. Deci
(G ,)
este
Fie f : ( 2 , 2 ) R, f ( x) tgx functia f este bijectiva
f ( x y ) f arctg (tgx tgy ) tg arctg (tgx tgy ) tgx tgy f ( x) f ( y ). Re zulta, (G,) ( R,)
10)
Fie
f :RR
()
este subgrup al
Rezolvare:
Fie: T1 , T2 H avem
f ( x T1 ) f ( x) f ( x T1 T2 ) f ( x T2 ) f ( x) T1 T2 H . f ( x)
f ( x T1 T1 ) f ( x T1 ) T1 H