Izomorfisme de grupuri; compararea tablelor grupurilor finite
Izomorfismul de grupuri este un morfism bijectiv și una dintre cele mai importante noțiuni din algebra clasei a XII-a: el spune când două grupuri care par complet străine unul de celălalt sunt, de fapt, același grup scris cu alte litere. Iată situația care îl cere: pe cadranul unui ceas orele se adună modulo , iar pe cercul unitate rădăcinile de ordinul ale unității se înmulțesc și se rotesc una în alta. Cele două mulțimi n-au nimic în comun la prima vedere — una e formată din clase de resturi, cealaltă din numere complexe — și totuși, dacă le așezi tablele operațiilor una lângă alta, vezi exact același tipar. Această coincidență care nu este coincidență e subiectul lecției de față.
În lecția despre morfisme de grupuri ai învățat ce înseamnă o funcție care păstrează operația. Acum adăugăm o singură condiție — bijectivitatea — și obținem un instrument care nu doar compară două grupuri, ci le identifică: două grupuri izomorfe sunt, din punctul de vedere al algebrei, același grup scris cu alte litere. Programa cere explicit compararea tablelor a două grupuri finite cu același număr de elemente, cu două aplicații numite pe nume: grupul lui Klein față de grupul aditiv al claselor de resturi modulo , și grupul rădăcinilor unității față de grupul aditiv al claselor de resturi modulo .
Ce vei învăța
- Vei ști să definești un izomorfism de grupuri și să scrii corect notația .
- Vei ști să demonstrezi că inversa unui izomorfism și compunerea a două izomorfisme sunt tot izomorfisme.
- Vei ști să compari tablele a două grupuri finite cu același număr de elemente și să decizi dacă se pot potrivi.
- Vei ști de ce grupul lui Klein și grupul aditiv al claselor de resturi modulo nu sunt izomorfe, deși au patru elemente fiecare.
- Vei ști să construiești izomorfismul dintre grupul rădăcinilor de ordinul ale unității și grupul aditiv al claselor de resturi modulo .
- Vei ști să aplici rețeta „arătați că este grup izomorf cu …", cerută la Subiectul al II-lea de la Bacalaureat M1.
Hai să descoperim împreună
1. Ce este un izomorfism de grupuri?
Izomorfismul de grupuri este un morfism bijectiv, adică o funcție care păstrează operația și, în plus, împerechează fără rest elementele celor două grupuri: fiecare element din grupul de sosire este imaginea unui singur element din grupul de plecare. Când o asemenea funcție există, cele două grupuri au aceeași structură și se numesc izomorfe.
Definiție. Fie și două grupuri. O funcție se numește izomorfism de grupuri dacă este morfism, adică pentru orice , și este bijectivă. Dacă între și există un izomorfism, spunem că cele două grupuri sunt izomorfe și scriem .
Cuvântul vine din greacă: isos înseamnă „egal", morphe înseamnă „formă". Un izomorfism nu spune că cele două grupuri sunt egale ca mulțimi — ele pot fi făcute din obiecte complet diferite — ci că au aceeași formă: aceleași relații între elemente, aceleași ordine, aceeași tablă după redenumire.
Cel mai mic exemplu are două elemente. Fie , cu elementele și , și . Funcția , este evident bijectivă, iar condiția de morfism se verifică pe cele patru perechi posibile: de pildă , iar . Deci , adică „par sau impar" și „plus sau minus" sunt același grup.
Bijectivitatea este condiția care lipsea. Funcția , , este morfism, dar nu e injectivă, deci nu e izomorfism: ea comprimă o infinitate de întregi în șase clase, pierzând informație. Un izomorfism nu are voie să piardă nimic.
2. Inversa și compunerea izomorfismelor
Două proprietăți simple ne asigură că relația „a fi izomorf" se comportă cum ne așteptăm.
Propoziție. Dacă este izomorfism, atunci funcția inversă este și ea izomorfism.
Demonstrație. Funcția există și este bijectivă, pentru că este bijectivă. Rămâne condiția de morfism. Fie și fie , , deci și . Cum este morfism, , de unde, aplicând , obținem . Așadar
Propoziție. Compunerea a două izomorfisme este izomorfism.
Într-adevăr, la lecția precedentă am arătat că o compunere de morfisme este morfism, iar compunerea a două funcții bijective este bijectivă, proprietate știută de la funcții injective, surjective, bijective.
Cele două propoziții, împreună cu observația că funcția identică este izomorfism, spun că relația de izomorfism este reflexivă (), simetrică (din rezultă ) și tranzitivă (din și rezultă ). De aceea putem scrie liniștiți „grupurile și sunt izomorfe", fără să precizăm în ce sens merge funcția.
3. Cum compari tablele a două grupuri finite?
Pentru grupurile finite cu puține elemente, izomorfismul se poate căuta direct în tablele operațiilor. Ideea e simplă: un izomorfism este o redenumire a elementelor care transformă o tablă în cealaltă. Procedeul are trei pași.
- Compară numărul de elemente. Dacă tablele au dimensiuni diferite, nu există nicio bijecție, deci nici izomorfism. Este primul filtru și cel mai ieftin.
- Potrivește elementele neutre. Orice izomorfism duce neutrul în neutru, proprietate demonstrată la lecția precedentă. În tablă, elementul neutru se recunoaște ușor: linia și coloana lui reproduc prima linie și prima coloană.
- Compară structura tablelor. Caută trăsături care nu depind de ordinea în care ai scris elementele: câte elemente apar pe diagonala principală, dacă tabla e simetrică față de diagonală, de câte ori apare elementul neutru. Dacă o asemenea trăsătură diferă, grupurile nu sunt izomorfe; dacă toate coincid, încearcă să construiești efectiv redenumirea.
Trăsătura cea mai folositoare este diagonala principală: în celula de pe linia și coloana stă . Câte pătrate sunt egale cu elementul neutru? Acest număr nu se schimbă la redenumire, pentru că și . Este exact instrumentul de care avem nevoie mai jos.
4. Este grupul lui Klein izomorf cu grupul aditiv al claselor de resturi modulo ?
Programa cere această comparație pe nume, iar rezultatul ei este surprinzător pentru cine se aștepta ca numărul de elemente să decidă totul.
Scriem întâi tabla grupului lui Klein , construit la grupuri de funcții și grupul lui Klein din funcțiile , , , definite pe , cu compunerea funcțiilor:
În scrierea abstractă , tabla se rezumă la trei egalități: și (de unde, prin comutativitate și simplificare, și ).
Alături, tabla grupului aditiv al claselor de resturi modulo :
Ambele grupuri au patru elemente și ambele sunt comutative, adică ambele table sunt simetrice față de diagonala principală. Primele două filtre nu decid nimic. Trecem la al treilea: privim diagonala principală. La grupul lui Klein, toate cele patru celule de pe diagonală conțin elementul neutru — fiecare element compus cu el însuși dă identitatea. La , diagonala conține , , , : doar două celule dau neutrul.
Aceasta este deosebirea decisivă. Dacă ar exista un izomorfism , atunci din ar rezulta pentru toate cele patru elemente, adică diagonala celei de-a doua table ar trebui să fie și ea plină de — ceea ce nu este cazul. Prin urmare grupurile nu sunt izomorfe, deși au același număr de elemente și sunt amândouă comutative.
Citită altfel, aceeași deosebire spune că este ciclic, generat de , în timp ce grupul lui Klein nu este ciclic, cum ai văzut la subgrupul generat de un element și grupurile ciclice. Un grup ciclic nu poate fi izomorf cu unul care nu e ciclic.
5. Rădăcinile unității și clasele de resturi modulo
A doua aplicație cerută de programă are un rezultat opus: aici grupurile sunt izomorfe, pentru orice .
Reamintim notațiile din clasa a X-a, de la rădăcinile de ordinul n ale unui număr complex: mulțimea este formată din numerele , cu , iar .
Teoremă. Pentru orice are loc , izomorfismul fiind .
Demonstrație. Verificăm întâi că funcția este bine definită, adică nu depinde de reprezentantul ales pentru clasă. Dacă , atunci , deci cu întreg și
adică . Funcția este deci corect definită.
Este morfism: .
Este bijectivă: cele două mulțimi au fiecare câte elemente, iar rădăcinile sunt distincte două câte două, fiind puncte diferite de pe cercul unitate. O funcție surjectivă între două mulțimi finite cu același număr de elemente este bijectivă.
Pentru izomorfismul se vede pe loc: , , , . Tabla lui , scrisă cu indicii rădăcinilor, este chiar tabla lui , pentru că , cu indicele redus modulo .
Interpretarea geometrică e cea mai frumoasă parte: a aduna clasa înseamnă a roti punctul de pe cerc cu unghiul , iar a aduna înseamnă a repeta rotirea de ori. Adunarea claselor de resturi devine astfel o mișcare, iar acest fir va fi dus mai departe în lecțiile geometrice ale unității.
6. Cum arăți că un grup dat este izomorf cu unul cunoscut?
Acesta este tipul de problemă cel mai frecvent la Subiectul al II-lea de la Bacalaureat M1, iar rețeta lui are trei pași fixați.
- Propune funcția , sugerată de forma legii. Când legea are forma , funcția potrivită este ; când are forma , funcția potrivită este tot așa, dar către grupul aditiv.
- Verifică morfismul, adică egalitatea , prin calcul literal, ca la lecția precedentă.
- Verifică bijectivitatea, de preferat scriind funcția inversă explicit. Dacă , atunci , iar bijectivitatea e imediată.
Îl aplicăm pe un exemplu scurt. Pe definim . Legea este asociativă, pentru că ambele paranteze dau ; are elementul neutru , din ; iar simetricul lui este , din . Deci este grup comutativ. Propunem , cu valori în . Verificăm morfismul: , iar ; egale. Bijectivitatea: inversa este , definită pe tot . Prin urmare .
Observă cât de mult economisește izomorfismul: dacă vrem acum să rezolvăm ecuația , o trecem prin și obținem , adică ; de aici . Nu a fost nevoie să desfacem compunerea triplă.
7. Ce se păstrează prin izomorfism?
Dacă , atunci tot ce se poate exprima folosind numai operația grupului se transferă dintr-un grup în celălalt:
- numărul de elemente, pentru că funcția e bijectivă;
- comutativitatea: dacă e comutativ și e izomorfism, atunci pentru orice scriem , și obținem ;
- elementul neutru și simetricele, prin proprietățile morfismelor;
- ordinele elementelor și, prin urmare, ciclicitatea;
- numărul de subgrupuri și structura lor.
Nu se păstrează, în schimb, nimic din „materialul" din care sunt făcute elementele: un grup de numere poate fi izomorf cu un grup de funcții, de matrice sau de clase de resturi. Exact această libertate face izomorfismul util — permite mutarea unei probleme dintr-un grup incomod într-unul comod.
Lista de mai sus se citește și invers: dacă una singură dintre aceste trăsături diferă, cele două grupuri nu pot fi izomorfe. Aceasta este ideea pe care se sprijină lecția următoare, despre grupurile care nu sunt izomorfe.
Exemple rezolvate
Exemplul 1 — Două grupuri cu trei elemente
Arătați că și scrieți cele două table.
Rezolvare. Aplicăm teorema de la punctul pentru : funcția este izomorfism. Tablele, scrise cu aceleași poziții, sunt:
Cele două table sunt identice, cu înlocuit peste tot prin . Nu e nicio surpriză: fiind prim, ambele grupuri sunt ciclice, prin Consecința 3 a teoremei lui Lagrange.
Exemplul 2 — Adunarea și înmulțirea numerelor reale
Arătați că $(\mathbb{R}, +) \simeq (\mathbb{R}^{}_{+}, \cdot)$.*
Rezolvare. Propunem funcția exponențială , unde este numărul lui Euler, baza logaritmului natural — nu elementul neutru al vreunui grup; în restul lecției litera înseamnă elementul neutru, aici înseamnă numărul.
Morfismul: , proprietate a puterilor cunoscută din clasa a X-a.
Bijectivitatea: funcția exponențială de bază este strict crescătoare pe , deci injectivă, iar imaginea ei este exact , deci este surjectivă. Inversa este logaritmul natural, .
Prin urmare cele două grupuri sunt izomorfe. Egalitatea de la începutul lecției precedente descrie tocmai izomorfismul invers, în baza .
Exemplul 3 — Un grup de matrice izomorf cu numerele reale
Fie , grup față de înmulțirea matricelor. Arătați că .
Rezolvare. Definim , . Am arătat la lecția precedentă că , deci este morfism.
Injectivitatea: dacă , atunci elementele de pe poziția din colțul din dreapta sus coincid, adică . Surjectivitatea: prin definiție, orice element al lui este de forma pentru un real, deci este imaginea lui . Așadar este bijectivă și .
Consecința practică: puterile din se calculează ca multipli în , deci , fără nicio înmulțire de matrice.
Exemplul 4 — Un grup de clase de resturi izomorf cu grupul lui Klein
Arătați că grupul multiplicativ al claselor inversabile modulo este izomorf cu grupul lui Klein.
Rezolvare. Clasele inversabile modulo sunt cele ale numerelor prime cu , adică . Tabla înmulțirii lor este:
Celulele se obțin prin reducere modulo : , , și așa mai departe.
Comparăm cu tabla grupului lui Klein de la punctul : pozițiile coincid celulă cu celulă, dacă redenumim , , , . Bijecția aceasta este deci izomorfism, iar . Se vede și direct: în ambele grupuri, pătratul fiecărui element este elementul neutru.
Exemplul 5 — Un grup izomorf cu un subgrup al său
Arătați că , unde este mulțimea numerelor întregi pare.
Rezolvare. Definim , . Morfismul: . Injectivitatea: din rezultă . Surjectivitatea: orice număr par se scrie cu întreg, deci este imaginea lui . Prin urmare este izomorfism.
Rezultatul merită gândit: este un subgrup strict al lui — îi lipsesc toate numerele impare — și totuși cele două grupuri sunt izomorfe. La grupurile infinite, „mai mic" nu înseamnă „altă structură". La grupurile finite, în schimb, un subgrup strict are strict mai puține elemente, deci nu poate fi izomorf cu grupul întreg.
Exemplul 6 — Exemplu tip Bacalaureat M1
Pe intervalul se definește legea . a) Arătați că este grup comutativ. b) Arătați că funcția $f : G \to \mathbb{R}^{}{+}f(x) = x - 2(G, \ast)(\mathbb{R}^{*}{+}, \cdot)$.* c) Rezolvați în ecuația .
Rezolvare. a) Scriem întâi legea sub formă factorizată, pasul care descurcă totul:
Parte stabilă: dacă și , atunci , deci , adică rezultatul rămâne în .
Asociativitatea: , iar dă aceeași expresie, prin simetrie. Comutativitatea e evidentă din forma factorizată.
Element neutru: din obținem , deci și .
Simetricul: din obținem , deci , număr strict mai mare decât , deci din . Toate condițiile fiind îndeplinite, este grup comutativ.
b) Morfismul: . Bijectivitatea: funcția duce intervalul pe intervalul , iar inversa ei este . Deci este izomorfism și .
c) Aplicăm izomorfismul, care duce compusul în produs:
Ecuația devine , de unde și . Verificare: , apoi . Soluția aparține lui și este unică, pentru că funcția este injectivă.
Să exersăm
La fiecare exercițiu, verifică separat cele două condiții: morfismul (prin calcul literal) și bijectivitatea (de preferat prin scrierea funcției inverse). Când ți se cere să arăți că două grupuri nu sunt izomorfe, caută o trăsătură a tablei care nu se schimbă la redenumire.
1. Arată că , , este izomorfism și scrie inversa lui.
2. Arată că și precizează imaginea lui .
3. Scrie tabla grupului folosind elementele și compar-o cu tabla lui .
4. (Adevărat/Fals cu motivare.) „Două grupuri cu același număr de elemente sunt izomorfe."
5. Arată că funcția , , este izomorfism.
6. Pe se definește . Arată că este izomorfism de la la .
7. Arată că grupul multiplicativ al claselor inversabile modulo este izomorf cu .
8. Fie izomorfism. Arată că este comutativ dacă și numai dacă este comutativ.
9. (Problemă aplicată.) Un mecanism cu poziții se rotește cu câte o poziție la fiecare impuls. Explică de ce grupul pozițiilor lui este izomorf cu și cu .
10. Pe se definește . Arată că funcția este izomorfism către .
11. Arată că nu este izomorf cu grupul lui Klein, comparând numărul de elemente.
12. Fie un izomorfism de forma . Ce valori poate lua ?
13. (Adevărat/Fals cu motivare.) „Inversa unui izomorfism de grupuri este tot izomorfism."
14. Pe se definește . Arată că este grup și că este izomorfism către .
15. (Exercițiu tip Bacalaureat M1.) Pe se definește . a) Arată că este grup comutativ. b) Arată că este izomorfism către . c) Rezolvă ecuația .
16. Compară tablele grupurilor și și scrie explicit izomorfismul dintre ele.
17. Fie un grup cu elemente. Arată că .
18. (Provocare.) Arată că grupul nu este izomorf cu , folosind faptul că este ciclic.
Răspunsuri și explicații
1. Morfismul: . Bijectivitatea: inversa este , definită pe tot . Deci este izomorfism.
2. Din teorema de la punctul , este izomorfism, deci imaginea lui este .
3. Tabla lui este: pe prima linie și coloană; , , , , , . Înlocuind , , , , se obține exact tabla lui .
4. Fals. Contraexemplul canonic este chiar cel din lecție: grupul lui Klein și au patru elemente fiecare și nu sunt izomorfe, pentru că diagonalele tablelor lor arată diferit.
5. Morfismul: . Injectivitatea: din rezultă . Surjectivitatea: orice multiplu de se scrie . Deci este izomorfism, iar .
6. , iar ; egale, deci morfism. Inversa este , deci e bijectivă și izomorfism.
7. . Puterile lui sunt , , , , deci generează tot grupul. Funcția care duce în din este bijectivă și duce produsul în sumă, deci este izomorfism.
8. Dacă e comutativ, atunci pentru și avem , deci e comutativ. Reciproc, este tot izomorfism (punctul al lecției), deci același raționament se aplică în sens invers.
9. Numerotăm pozițiile cu ; un impuls înseamnă adunarea lui , deci grupul pozițiilor este chiar . Iar prin teorema de la punctul , cu : rotirea cu poziții corespunde înmulțirii cu .
10. , deci morfism. Funcția logaritmică este bijectivă de la la , cu inversa exponențială. Deci este izomorfism.
11. are șase elemente, iar grupul lui Klein are patru. Cum orice izomorfism este bijecție, iar între o mulțime cu șase elemente și una cu patru nu există bijecție, grupurile nu sunt izomorfe. Este primul filtru din rețeta de comparare.
12. Morfismul se verifică pentru orice real. Bijectivitatea cere ca să fie injectivă și surjectivă, ceea ce se întâmplă exact pentru . Deci poate lua orice valoare reală nenulă, iar inversa este .
13. Adevărat, demonstrat la punctul : dacă și , atunci , iar inversa unei bijecții este bijecție.
14. Asociativitatea: și . Neutrul: dă . Simetricul: dă . Morfismul: și . Inversa lui este , deci e izomorfism.
15. a) Forma factorizată este ; pentru produsul e pozitiv, deci . Asociativitatea dă în ambele ordini ; neutrul este ; simetricul este . b) , iar duce pe bijectiv, cu inversa . c) Din rezultă , deci (soluția nu convine, fiindcă ). Verificare: .
16. are elementele , iar . Ambele table au aceeași formă: neutrul pe prima linie și coloană, iar celălalt element compus cu el însuși dă neutrul. Izomorfismul este , .
17. este prim, deci, prin Consecința 3 a teoremei lui Lagrange, este ciclic: există cu . Funcția , , este bine definită (pentru că ), este morfism (pentru că ) și este bijectivă (ambele mulțimi au cinci elemente, iar puterile sunt distincte). Deci .
18. Grupul este ciclic, generat de , iar ciclicitatea se păstrează prin izomorfism. Dacă cele două grupuri ar fi izomorfe, ar exista deci un număr rațional cu . Valoarea se exclude, fiindcă . Pentru , numărul este rațional, deci ar trebui să existe un întreg cu ; simplificând prin obținem , care nu este întreg. Contradicția arată că nu este ciclic, deci cele două grupuri nu sunt izomorfe.
De reținut
- Un izomorfism de grupuri este un morfism bijectiv, iar existența lui se notează și se citește „grupurile și sunt izomorfe".
- Inversa unui izomorfism și compunerea a două izomorfisme sunt tot izomorfisme, așa că relația de izomorfism este reflexivă, simetrică și tranzitivă.
- Compararea a două table de grupuri finite se face în trei pași: numărul de elemente, potrivirea elementelor neutre și trăsăturile care nu se schimbă la redenumire, în primul rând diagonala principală.
- Grupul lui Klein și grupul aditiv al claselor de resturi modulo au patru elemente fiecare și nu sunt izomorfe, pentru că în primul toate pătratele dau elementul neutru, iar în al doilea numai două.
- Grupul rădăcinilor de ordinul ale unității este izomorf cu grupul aditiv al claselor de resturi modulo , izomorfismul fiind .
Greșeli frecvente
- Uitarea bijectivității. Un morfism nu este automat izomorfism: trecerea la clasa de resturi păstrează operația, dar comprimă infinit de multe numere într-o clasă. Ambele condiții trebuie verificate, iar cea mai curată verificare a bijectivității este scrierea funcției inverse.
- Concluzia „au același număr de elemente, deci sunt izomorfe". Numărul de elemente este doar primul filtru; el poate respinge, dar nu poate confirma. Perechea Klein– este contraexemplul de reținut.
- Compararea tablelor în ordini diferite ale elementelor. Înainte de a compara două table, scrie elementele în aceeași ordine pe linie și pe coloană și pune neutrul pe prima poziție; altfel două table identice ca structură pot părea diferite.
- Confuzia dintre izomorfism și egalitate. Grupurile izomorfe nu sunt egale ca mulțimi: unul poate fi format din funcții, celălalt din clase de resturi. Izomorfismul spune că au aceeași structură, nu aceleași elemente.
- Verificarea morfismului doar pe câteva perechi. La grupurile finite mici, verificarea pe toate perechile este acceptabilă și chiar recomandată; la grupurile infinite, ea trebuie făcută cu litere, pentru și oarecare.
Aplică acasă
Două table, aceeași formă. Scrie pe hârtie tabla lui și tabla lui , folosind pentru a doua notația . Colorează la fel celulele care se corespund prin și verifică dacă rămâne vreo celulă necolorată.
Vânătoarea de diagonale. Alcătuiește tablele grupurilor cu patru elemente pe care le cunoști: , grupul lui Klein, și clasele inversabile modulo . Numără, pentru fiecare, câte celule de pe diagonala principală conțin elementul neutru, apoi grupează-le după acest număr.
Rețeta pe o lege nouă. Inventează o lege de forma cu ales de tine, scrie intervalul pe care devine grup și verifică toți pașii rețetei de la punctul . Rezolvă apoi o ecuație de tipul , alegând astfel încât soluția să fie un număr întreg.
Pentru părinți și profesori
Lecția răspunde direct competenței XII.CS.2.2 din programa de matematică-informatică, care cere „evidențierea asemănărilor și deosebirilor dintre tablele operațiilor unor grupuri finite cu același număr de elemente", cu cele două aplicații numite explicit în programă. Ea este și lecția pe care se sprijină cel mai frecvent tip de problemă din algebra de la BAC M1: „arătați că este grup izomorf cu …".
De verificat în caiet: (1) sunt scrise ambele condiții, morfismul și bijectivitatea, nu doar prima; (2) bijectivitatea este justificată, de preferat prin inversa explicită, nu doar afirmată; (3) la compararea tablelor, elementele sunt scrise în aceeași ordine, cu neutrul pe prima poziție; (4) când se afirmă că două grupuri nu sunt izomorfe, se indică trăsătura concretă care diferă. Întrebări de control: „Ce înseamnă că două grupuri sunt izomorfe?"; „De ce Klein nu e izomorf cu grupul claselor modulo ?"; „Cum arăți că o funcție e izomorfism?"; „Ce se păstrează prin izomorfism?".
Semn că elevul a înțeles: în fața unei legi de compoziție necunoscute, scrie forma factorizată, propune imediat funcția potrivită și verifică cele două condiții, în loc să reia toate axiomele de grup pentru fiecare cerință.
Întrebări frecvente
Ce este un izomorfism de grupuri? Un izomorfism de grupuri este un morfism bijectiv, adică o funcție care păstrează operația și, în plus, împerechează perfect elementele celor două grupuri. Când o asemenea funcție există, grupurile se numesc izomorfe și se scrie ; ele au aceeași structură, chiar dacă elementele lor sunt obiecte complet diferite.
Cum arăt că două grupuri sunt izomorfe? Construiești o funcție de la un grup la celălalt, verifici prin calcul literal că păstrează operația și apoi arăți că este bijectivă, cel mai simplu scriind funcția inversă. La legile de forma , funcția potrivită este întotdeauna .
De ce grupul lui Klein nu este izomorf cu grupul claselor de resturi modulo 4? Pentru că în grupul lui Klein fiecare element compus cu el însuși dă elementul neutru, deci toate cele patru celule de pe diagonala principală conțin neutrul, în timp ce în grupul claselor de resturi modulo doar două celule de pe diagonală îl conțin. Un izomorfism ar trebui să păstreze acest număr.
Care este izomorfismul dintre rădăcinile unității și clasele de resturi? Este funcția , care duce clasa lui modulo în rădăcina . Ea este bine definită, păstrează operația, pentru că , și este bijectivă, cele două mulțimi având câte elemente.
Ce se păstrează atunci când două grupuri sunt izomorfe? Se păstrează numărul de elemente, comutativitatea, elementul neutru, simetricele, ordinele tuturor elementelor, ciclicitatea și structura subgrupurilor. Nu se păstrează nimic din natura concretă a elementelor: un grup de numere poate fi izomorf cu unul de matrice, de funcții sau de clase de resturi.
Cum compar tablele a două grupuri finite? Verifici întâi dacă au același număr de elemente, apoi așezi elementele în aceeași ordine, cu neutrul pe prima poziție, și compari trăsăturile care nu se schimbă la redenumire: simetria față de diagonală, numărul de celule de pe diagonală care conțin neutrul, ordinele elementelor.
Un grup infinit poate fi izomorf cu un subgrup al său? Da, și acesta este unul dintre lucrurile care deosebesc grupurile infinite de cele finite. Grupul aditiv al numerelor întregi este izomorf cu subgrupul numerelor pare, prin funcția . La grupurile finite acest lucru este imposibil, pentru că un subgrup strict are strict mai puține elemente.
Unde apare izomorfismul în subiectele de Bacalaureat M1? Apare la Subiectul al II-lea, în problema de algebră: se dă o lege de compoziție pe un interval, se cere să se arate că mulțimea devine grup și că este izomorfă cu un grup cunoscut, apoi se rezolvă o ecuație folosind izomorfismul. Ultimul subpunct este cel care arată la ce folosește noțiunea.
