Documente Academic
Documente Profesional
Documente Cultură
Informatica – Anul I
Gruia Ionut Cristian
PROIECT
-GRUPURI-
GRUPURI
Observaţie. Dacă P este parte stabilă a lui M în raport cu legea dată se mai
spune că P este închisă faţă de operaţia dată.
1) este asociativă
2) admite element neutru
3) orice element din G să fie simetrizabil.
Definiţie. Dacă operaţia grupului este comutativă grupul se numeşte
comutativ (abelian).
Exemplu de grupuri.
Dacă G este un grup comutativ atunci G I este tot comutativ. Elementul neutru
al grupului GI este funcţia f0: I G, f0(x) = e, () x I, unde e este elementul neutru
din G, iar simetricul elementului f : I G este funcţia f (x) = f’(x), () x I, f’(x) este
simetricul lui f(x).
Fie (M; ) un monoid şi U(M) = {x M| x este inversabil în M}. Atunci U(M) este
un grup numit grupul elementelor inversabile al monoidului M, sau grupul
Universitatea Hyperion
Informatica – Anul I
Gruia Ionut Cristian
2) Pentru monoidul (M, ) unde M = {f: A A}, U(M) = S(A) = {f: A A, f bijectivă};
−1 −1 −1 −1
( x n xn−1 ... x2 x 1 )(x1 x2 … xn-1 xn) = e
Atunci xn =
{x⏟
⋅x⋅. .⋅x , n∈N∗ {e , n=0¿¿¿¿
nori
¿
Propoziţie. Deoarece regula generalizată de asociativitate funcţionează în
orice grup au loc următoarele operaţii cu puteri:
xn xm = xn+m, () x G, () n, m Z;
Morfisme de grupuri
Definiţia 1.1. Dacă G şi G¢ sunt două grupuri, vom spune că o funcţie f:G→G¢ este
morfism de grupuri dacă pentru orice x, yÎG, f(xy)=f(x)f(y).
Exemple.
f : G→G¢, f(x)=1 pentru orice xÎG este de asemenea morfism de grupuri (numit
morfismul nul).
Dacă H⊴G atunci pH :G→G/H, pH(x)=xH pentru orice xÎG este morfism
surjectiv de grupuri (numit morfismul surjectiv canonic).
Demonstraţie. Dacă notăm H=Ker(f) atunci H={xÎG | f(x)=1}⊴G iar G/Ker(f)={x Ker f |
xÎG}={xH | xÎG}.
Definim φ:G/Ker(f)→Im(f) prin φ(xH)=f(x) pentru orice xÎG. Dacă x, yÎG, atunci
din echivalenţele xH=yH Û x-1yÎH Û f(x-1y)=1 Û f(x)=f(y) deducem că φ este corect
definită şi injectivă. Surjectivitatea lui φ fiind imediată deducem că φ este bijecţie.
BIBLIOGRAFIE
1. https://ro.wikipedia.org/wiki/Morfism_de_grupuri
3. http://math.ucv.ro/~chirtes/auxiliare/books/doc/Fundamentele%20algebrice%20ale
%20Informaticii.pdf