Dupa ce am introdus notiunea de grup apare o notiune noua si anume notiunea de morfisme de grupuri.
Dar de ce introducem si notiunea de morfism de grup?
Raspunsul este simplu:
Proprietatile algebrice ale elementelor unui grup sunt cele descrise in lista axiomelor grupului sau consecinte ale axiomelor.
Dar exista si grupuri ale caror elemente au proprietati algebrice asemanatoare pe care le putem identifica printr-o functie, adica acele elemente care se comporta la fel.
Iar aceasta functie va fi numita morfism (izomorfism, automorfism). Adica studiul unui grup poate sa ne furnizeze informatii si asupra unui alt grup, daca intre aceste structuri a fost stabilit un morfism.
Astfel definim notiunea de morfism de grup:
Definitie. Fie grupurile si
. Functia
(nu obligatoriu bijectiva) se numeste morfism de grupuri daca
–
Iar pentru ca grupul sa fie izomorfism de grupuri avem definitia:
Definitie: Fie si
doua grupuri.
O functie se numeste izomorfism de grupuri daca:
–
, pentru
– f este bijectiva, pentru cei care nu mai stiu care sunt conditiile ca o functie sa fie bijectiva click aici.
Spunem ca grupul G este izomorf cu grupul G’ si scriem daca exista un izomorfism
In caz contrar spunem ca grupul G nu este izomorf cu grupul G’.
Aplicatii:
1. Pe multimea Z se considera legile de compozitie: si
si functia
a) Sa se demonstreze ca , oricare ar fi
.
b) Sa se determine latex a, b\in Z$ pentru care legea de compozitie este este asociativa
c) Daca sa se arate ca functia f este morfism intre grupurile
si
Solutie:
a) Calculam mai intai
Deci se verifica.
Acum calculam:
Deci am obtinut ca
b) Acum pentru cea de-a doua lege de compozitie trebuie sa aflam a si b astfel incat legea sa fie asociativa, deci avem sa calculam
Calculam mai intai: dar si
Acum avem ca
Si astfel obtinem ca daca egalam coeficientii lui x si y sau
,
Dar mai avem si
Sau
Dar si
Deci cu ultima relatie avem ca: sau
c) Acum pentru a=b=1 Obtine, legea de compozitie * devine
Iar conditia ca sa existe un morfism de grupuri intre cele doua legi de compozitie este:
Deci obtinem
Iar acum avem
Dar si
Dar cu legea de compozitie avem:
Deci obtinem ca
De unde obtinem ca f este morfism de grupuri.