Grupuri: definiție, exemple, grupul permutărilor S_n

Subiect din roadmap-ul Algebră liniară și geometrie analitică · parte din „Preliminarii: structuri algebrice și corpuri de scalari”

Grupurile sunt structuri algebrice fundamentale care generalizează noțiunea de simetrie și operații binare asociative. În algebră liniară, ele oferă cadrul teoretic pentru a înțelege transformările liniare, diagonalizarea matricelor și proprietățile invariante ale spațiilor vectoriale. Înțelegerea lor este crucială pentru a vedea „structura ascunsă” din spatele ecuațiilor și sistemelor.

Ce trebuie să știi

  • Definiție formală: Un grup (G,⋅)(G, \cdot) este o mulțime nevidă dotată cu o operație binară asociativă, care are element neutru și pentru care fiecare element are invers.
  • Axiomele esențiale: Verifică întotdeauna cele patru condiții: închidere, asociativitate, existența neutrelui (ee) și existența inversului (a−1a^{-1}).
  • Comutativitatea: Dacă operația este comutativă (a⋅b=b⋅aa \cdot b = b \cdot a), grupul se numește abelian. Nu toate grupurile sunt abeliene.
  • Ordinea grupului: Este numărul de elemente din mulțimea GG, notat ∣G∣|G|. Pentru grupuri infinite, vorbim despre cardinalitate.
  • Subgrupuri: O submulțime care este ea însăși un grup în raport cu aceeași operație. Testul rapid: dacă conține neutru, este închisă la operație și la inversare.
  • Grupul permutărilor SnS_n: Este grupul tuturor bijecțiilor de la {1,…,n}\{1, \dots, n\} în sine, cu compunerea funcțiilor. Are ordinul n!n!. Este non-abelian pentru n≥3n \geq 3.

Exemplu concret: Simetria unui triunghi echilateral

Considerăm grupul de simetrie al unui triunghi echilateral, cunoscut ca grupul diedral D3D_3 (izomorf cu S3S_3). Acesta are 6 elemente:

  1. Identitatea (ee): nu facem nimic.
  2. Rotiri (r,r2r, r^2): cu 120∘120^\circ și 240∘240^\circ.
  3. Reflexii (s1,s2,s3s_1, s_2, s_3): față de cele trei axe de simetrie.

Verificăm asociativitatea: compunerea funcțiilor este întotdeauna asociativă. Elementul neutru este identitatea. Inversul unei rotații cu 120∘120^\circ este rotația cu 240∘240^\circ. Deoarece o reflexie urmată de o rotație diferă de rotația urmată de reflexie, D3D_3 nu este abelian. Acest exemplu ilustrează perfect cum structura algebrică modelează simetriile geometrice.

Cum să înveți

  1. Lucrează cu exemple mici: Analizează manual grupurile S3S_3 și S4S_4. Scrie tabelul de operație (Cayley) pentru a vedea vizual lipsa comutativității.
  2. Conectează cu permutările: Învață să scrii permutările în notație ciclică. Aceasta simplifică enorm calculul produselor și al puterilor în SnS_n.
  3. Exersează verificarea axiometelor: Ia o mulțime nouă (ex: numerele pare cu adunarea) și verifică pas cu pas dacă formează grup. Aceasta consolidează înțelegerea definiției.

Alte subiecte din „Preliminarii: structuri algebrice și corpuri de scalari”