Generarea unei părți a unui grup

În teoria grupurilor , o parte generatoare a unui grup este o parte A a acestui grup, astfel încât orice element al grupului este scris ca produsul unui număr finit de elemente ale lui A și inversele acestora.

Se spune că un grup este de tip finit atunci când admite o parte generatoare finită . Un grup generat de un singur element este izomorf fie pentru grupul aditiv de numere întregi relative (ℤ, +), fie pentru un grup aditiv de clase modulo n (ℤ / n ℤ, +); se spune că este un grup monogen . Cele subgrupuri de grupuri comutative tip finit sunt , de asemenea , de tip finit, dar acest lucru nu este adevărat , fără presupunerea comutativitatea.

Subgrup generat de o petrecere

Să fie G un grup. Orice intersecție a subgrupe de G este un subgrup al lui G . Pentru partea S a G , există un subgrup G minim pentru a fi incluse în rândul subgrupurilor care conțin S , și anume intersecția tuturor subgrupurilor care conțin S . Se numește subgrupul generat de S , și este de notat ⟨ S ⟩.

Descriere: Avem o descriere explicită a elementelor grupului ⟨ S ⟩. Acestea sunt exact produsele elementelor sau inverselor lui S  :

Exemple:

Generarea unei părți a unui grup

Spunem că S este o parte generatoare a grupului G sau că G este generat de S , când subgrupul generat de S este G  :

.

Cu alte cuvinte, orice element al lui G este un produs al elementelor lui S sau inversele acestora.

Exemple:

Fiecare grup finit de ordine n are o parte generatoare de ordine , unde este descompunerea lui n în factori primi .

Grupuri de tip finit

Grup monogenic și grup ciclic

Se spune că un grup este monogen , dacă este generat doar de unul dintre elementele sale:

G este monogen dacă există un element a din G astfel încât G = ⟨{ a }⟩.

Dacă în plus este terminat, se spune că este ciclic .

Clasificarea grupurilor de monogenice nu este dificil. Dacă a generează G , morfismul grupurilor ℤ → G , n ↦ a n este surjectiv . Prin teorema izomorfismului , acest homomorfism induce izomorfism: G ≃ ℤ / ker ( f ) . Cu toate acestea, ker ( f ) este un subgrup al lui ℤ, iar aceste subgrupuri sunt bine cunoscute: sunt grupuri n ℤ cu n număr întreg natural. Izomorfismul de mai sus este apoi scris: G ≃ ℤ / n ℤ.

Până la izomorfism , există un grup monogen infinit unic (corespunzător lui n = 0), iar pentru fiecare număr întreg n > 0, un grup ciclic unic de cardinal n .

Generatorii lui ℤ / n ℤ sunt exact clasele întregi k prime cu n . Numărul acestor clase este notat φ ( n ). Funcția φ este indicatorul Euler , joacă un rol important în aritmetică .

Grup de tip finit

Se spune că un grup este de tip finit dacă are o parte generatoare finită.

Acest lucru înseamnă a spune că grupul este un coeficient al unui grup liber peste un număr finit de generatoare.

Pentru grupurile nespecificate de tip finit, se pot face câteva observații generale:

Pentru un grup abelian , aceste două noțiuni sunt respectiv echivalente cu cele ale modulului noetherian și modulului artinian ( pe ℤ ). Grupurile abeliene noetheriene sunt deci grupurile abeliene de tip finit , iar grupurile abeliene artiniene sunt produsele directe ale unui grup abelian finit de un număr finit de grupuri Prüfer .

Orice grup abelian de tip finit este un produs direct al unui număr finit de grupuri monogene: există chiar un număr întreg r unic și o secvență finită unică de numere întregi naturale, fiecare dintre care împarte următorul ,, astfel încât G este izomorf la . Cazul special al grupurilor abeliene finite ( r = 0) este teorema lui Kronecker .

Un exemplu de parte generator

Fie K un câmp comutativ , grupul liniar special SL n ( K ) este generat de matricile de transvecție .

Referințe

  1. A se vedea, de exemplu, Daniel Guin și Thomas Hausberger, Algebra 1 (L3M1) , EDP ​​Sciences ,2008( citiți online ) , p.  136.
  2. Jean Vuillemin  (ro) , „  Cum se verifică asociativitatea unui tabel de grup  ”, Theoretical Computer Science , vol.  4, n o  1,1977, p.  77-82 ( citiți online ).

Articol asociat

Subgrup generat normal  (în)

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">