Grupa (matematika)

Grupa je u apstraktnoj algebri skup sa binarnom operacijom, koji zadovoljava aksiome zatvorenosti, asocijativnosti i ima neutralni i inverzni element. Grana matematike koja proučava grupe je teorija grupa.

Ova slika ilustruje kako sati na časovniku formiraju grupu.

Mnoge strukture kojima se matematika bavi su u stvari grupe. Među njima su poznati brojevni sistemi, kao što su celi brojevi, racionalni brojevi, realni brojevi, i kompleksni brojevi pod sabiranje, kao i racionalni brojevi različiti od nule, realni brojevi i kompleksni brojevi pod množenjem. Drugi važni primeri su grupe ne-singularnih matrica pod množenjem, i grupa invertibilnih funkcija pod slaganjem funkcija. Teorija grupa omogućava da se svojstva ovakvih struktura izučavaju u opštim slučajevima.

Teorija grupa ima široku primenu u matematici i drugim prirodnim naukama. Mnoge algebarske strukture, kao što su polja i vektorski prostori mogu koncizno da se definišu u terminima grupa, i teorija grupa pruža važne alate za proučavanje simetrije, jer simetrije svakog objekta grade grupu. Grupe su stoga ključne apstrakcije u granama fizike koje se tiču principa simetrije, kao što su teorija relativiteta, kvantna mehanika, i fizika čestica. Štaviše, njihova mogućnost da predstave geometrijske transformacije im donosi primenu u hemiji, računarstvu, i drugim oblastima.

Definicija

uredi

Grupa   je skup   sa binarnom operacijom  , koja zadovoljava sledeće četiri aksiome:

  • Zatvorenost: Za svako   iz  , rezultat   je takođe u  .

Najčešće se zahtev za zatvorenošću ne navodi eksplicitno, jer se on podrazumeva u iskazu da je * binarna operacija.

  • Asocijativnost: Za svako   i   iz  ,  .
  • Neutral: Postoji element   iz   takav da za svako   iz  ,  .

Može se pokazati da grupa ima tačno jedan neutral.

  • Inverz: Za svako   iz  , postoji element  , takođe iz  , takav da  , gde je   neutral.

Može se pokazati da je inverz datog elementa jedinstven, i da je levi i desni inverz elementa isti. Postoje i uže definicije, koje zamenjuju drugu i treću aksiomu konceptom levog (ili desnog) neutrala i inverza.

Grupa   se često označava samo slovom  , kad ne postoji dvosmislenost oko toga šta je operacija.

Osnovni koncepti teorije grupa

uredi
  • Red grupe  , koji se označava izrazom  , je broj elemenata u skupu  . Ako red nije konačan, tada je grupa beskonačna grupa, što se označava kao  .
  • Red elementa   iz grupe   je najmanji pozitivan ceo broj   takav da  , gde je   umnožak   samim sobom   puta (ili druga pogodna kompozicija u zavisnosti od operatora grupe). Ako ne postoji takvo  , tada se kaže da je red od   beskonačan.

Podgrupa

uredi

Skup   je podgrupa grupe   ako je podskup   i grupa u odnosu na operaciju definisanu na  . Drugim rečima,   je podgrupa od   ako je restrikcija od   na   operacija grupe na  . Kako su ostala svojstva automatski zadovoljena,   je podgrupa grupe   ako i samo ako je zatvoren u odnosu na   i inverz.

Ako je   konačna grupa, tada je konačna i  . Pritom red od   deli red od   po Lagranžovoj teoremi.

Oznake grupa

uredi

Moguće je koristiti različite oznake za grupe u zavisnosti od konteksta i operacije.

  • Aditivne grupe koriste   da označe sabiranje, a   da označe inverze. Na primer,   u  . Prema opšte prihvaćenoj konvenciji, oznaka   se koristi isključivo za komutativne grupe.
  • Multiplikativne grupe koriste   da označe množenje, a   da označe inverze. Na primer,  . Vrlo često se izostavlja   i zapisuje se samo  .
  • Grupe funkcija koriste   da označe kompoziciju funkcija, i   da označe inverze. Na primer,  . Vrlo često se izostavlja   i zapisuje se samo  .

Kada se definišu grupe, standardna notacija podrazumeva da se koriste zagrade za definisanje grupe i njene operacije. Na primer,   označava da je skup   grupa u odnosu na sabiranje. Za grupe kao što su   i   je uobičajeno da se izostave zagrade i operacija, npr.   i  . Takođe je ispravno da se grupa označava oznakom njenog skupa, npr.  ili  .

Neutral se označava slovom  , ali se ponekad koristi i neka druga oznaka u zavisnosti od grupe. Kod multiplikativnih grupa, neutral može da se označava brojem 1. Kod grupa invertibilnih matrica, neutral se obično označava kao   ili  . Kod aditivnih grupa, neutral može da se označava brojem 0. Kod grupa funkcija, neutral se obično označava kao   ili  .

Ako je   podskup skupa   i   je element  , tada, u multiplikativnoj notaciji,   je skup svih proizvoda  ; slično, notacija  ; i za dva podskupa   i   skupa  , se piše   za  . U aditivnoj notaciji, zapisuje se   i   za odgovarajuće skupove.

Vrste grupa

uredi

Abelova grupa

uredi

Grupa   je Abelova ili komutativna ako je operacija komutativna, to jest, za svako  ,   iz  ,  . Abelove grupe su dobile ime po matematičaru Nilsu Abelu.

1. primer: Poznata Abelova grupa je grupa celih brojeva pod sabiranjem. Neka je   skup celih brojeva, , i neka simbol   označava operaciju sabiranja. Tada je   grupa, pošto su ispunjeni zahtevi:

  • Zatvorenost: Ako su   i   celi brojevi, tada je   ceo broj.
  • Asocijativnost: Ako su  ,  , i   celi brojevi, tada je  .
  • Postoji neutral:   je ceo broj, i za svaki ceo broj  ,  .
  • Postoji inverz: Ako je   ceo broj, tada ceo broj   zadovoljava pravila inverza:  ,

i odavde navedena grupa je Abelova, jer važi  .

Proširenjem operacija, ako dodamo i operaciju množenja na istom skupu, dobijamo cele brojeve sa sabiranjem i množenjem, što će predstavljati složeniju algebarsku strukturu, koja se naziva prsten.

2. primer: Sa druge strane, ako posmatramo cele brojeve sa operacijom množenja, označenog simbolom  , tada   nije grupa. Ovo zadovoljava većinu aksioma, ali nema inverze:

  • Zatvorenost: Ako su   i   celi brojevi, tada je   ceo broj.
  • Asocijativnost: Ako su  ,  , i   celi brojevi, onda  .
  • Postoji neutralni element:   je ceo broj, i za svaki ceo broj  ,  .
  • Međutim, ne važi da kad god je   ceo broj, postoji ceo broj   takav da  . Na primer,   je ceo broj, ali jedino rešenje jednačine   u ovom slučaju je . Ne možemo da izaberemo   jer   nije ceo broj.

Kako nema svaki element iz   inverz,   nije grupa. Međutim, ovo jeste komutativni monoid, što je struktura koja se definiše slično grupi, ali bez zahteva za postojanjem inverza.

3. primer: Skup racionalnih brojeva   bez nule, tj. skup svih razlomaka  , gde su   i   celi brojevi, a   je različito od nule, sa operacijom množenja označenom simbolom  . Kako racionalan broj 0 nema multiplikativni inverz,  , kao  , nije grupa.

Međutim, ako koristimo skup svih racionalnih brojeva različitih od nule,  , tada   gradi Abelovu grupu.

  • Zatvorenost, asocijativnost, i postojanje neutrala je lako proveriti zbog svojstava celih brojeva.
  • Inverz: Inverz   je   i aksioma je zadovoljena.

Ne gubimo zatvorenost uklanjanjem nule, jer je proizvod dva racionalna broja različita od nule uvek različit od nule. Kao što celi brojevi daju prsten, racionalni brojevi daju algebarsku strukturu polje, koja dopušta operacije sabiranja, oduzimanja, množenja i deljenja.

4. primer: Za konkretniji primer grupe, uzmimo tri obojene pločice (crvenu, zelenu i plavu) na početku postavljene u raspored CZP. Neka je   dejstvo „zameni prvu i drugu pločicu“, i neka je   dejstvo „zameni drugu i treću pločicu“.

 
Ciklični dijagram za  .

U multiplikativnom obliku, tradicionalno zapisujemo   za kombinovano dejstvo u „prvo uradi  , a zatim uradi  “; tako da je   akcija CZP → CPZ → PCZ, tj, „uzmi plavu pločicu, i pomeri je na početak“. Ako sa   označavamo dejstvo „ostavi pločice tamo gde jesu“ (neutral), tada možemo da napišemo šest permutacija skupa tri pločice kao sledeća dejstva:

  •   : CZP → CZP
  •   : CZP → ZCP
  •   : CZP → CPZ
  •   : CZP → PCZ
  •   : CZP → ZPC
  •   : CZP → PZC

Dejstvo   ima efekat CZP → ZCP → CZP, što ostavlja pločice tamo gde su i bile; tako da zapisujemo   =  . Slično,

  •  ,
  •  , i
  •  ;

tako da svako od gorenavedenih dejstava ima inverz.

Proverom, možemo takođe da utvrdimo asocijativnost i zatvorenost; obratimo pažnju na primer da

  •  , i
  •  .

Ova grupa se naziva simetričnom grupom nad 3 slova, ili  . Ima red 6 (ili   faktorijel), i nije Abelova (jer, na primer  ). Kako je   dobijeno od osnovnih dejstava   i  , kažemo da je skup   generatorni skup grupe.

Opštije, možemo da definišemo simetričnu grupu od svih permutacija   objekata. Ova grupa se označava kao   i reda je   faktorijel.

Jedan od razloga zašto su permutacione grupe važne je što se svaka konačna grupa   može predstaviti kao podgrupa simetrične grupe   (gde je   broj elemenata grupe  ); ovaj rezultat je Kejlijeva teorema.

Ciklična grupa

uredi

Ciklična grupa je grupa čiji elementi mogu da budu generisani uzastopnom primenom operacije koja definiše grupu (i operacije uzimanja inverznog elementa), primenjene na samo jedan element te grupe. Ovaj primitivni element se naziva generatorom, ili primitivnim elementom grupe.

  • Multiplikativna ciklična grupa gde je   grupa, a   generator:  .
  • Aditivna ciklična grupa, sa generatorom  :  

Ako se sukcesivna primena operacije koja definiše grupu primeni na ma koji (moguće neprimitivni) element grupe, dobija se ciklična podgrupa. Red ciklične podgrupe deli red grupe. Stoga, ako je red grupe prost, svi njeni elementi, izuzev neutrala su primitivni elementi grupe.

Važno je napomenuti da grupa sadrži sve ciklične podgrupe generisane svakim od elemenata grupe. Međutim, grupa konstruisana iz cikličnih podgrupa nije obavezno ciklična podgrupa. Na primer, Klajnova četvorna grupa   nije ciklična grupa, iako je konstruisana od dve ciklične grupe reda 2.

Svaka konačna Abelova grupa se može predstaviti kao direktan proizvod nekih svojih cikličnih podgrupa, po strukturnoj teoremi za konačne Abelove grupe.

1. primer: Kod ciklične multiplikativne grupe  , svi elementi   grupe su dobijeni skupom svih celobrojnih eksponenata primitivnog elementa te grupe:  

U ovom primeru, ako je   jednako 2, i operacija je operator množenja, tada  . Modulo   može da veže grupu u konačan skup sa nerazlomljenim skupom elemenata, jer bi inverz (i  , itd.) bio unutar skupa.

Jednostavne teoreme

uredi
  • Grupa ima tačno jedan neutral.
Dokaz: Pretpostavimo da su i   i   neutrali. Tada po definiciji neutrala,   i takođe  . Ali onda je  .
Sledi da je neutral jedinstven.
  • Svaki element ima tačno jedan inverz.
Dokaz: Pretpostavimo da su i   i   inverzi elementa  . Tada, po definiciji inverza,   i  . Ali onda:
 
 
  (množenjem sleva sa  )
  (korišćenjem  )
  (aksioma neutralnog elementa)
Sledi da je inverz jedinstven.

Prva dva svojstva u stvari proizlaze iz asocijativnosti binarnih operacija definisanih na skupu. Ako je data binarna operacija na skupu, postoji najviše jedan neutral i najviše jedan inverz za svaki element (bez obzira na to imaju li ostali elementi inverze).

  • Može se vršiti deljenje u grupama; to jest, ako su dati elementi   i   grupe  , postoji tačno jedno rešenje   iz   jednačine   i tačno jedno rešenje   iz   jednačine  . Oprez: u ne-Abelovim grupama, ovi elementi   i   ne moraju biti jednaki, te tako u opštem oznaka   nema smisla.
  • Izraz   je nedvosmislen, jer će rezultat biti isti nevezano od toga gde postavimo zagrade. (Rezultat primene principa matematičke indukcije na asocijativno svojstvo.)
  • (Čarape i cipele) Inverz proizvoda je proizvod inverza u suprotnom redosledu:  .
Dokaz: Pokazaćemo da  , kao što se traži po definiciji inverza.
  =   (asocijativnost)
=   (definicija inverza)
=   (definicija neutralnog elementa)
=   (definicija inverza)
I slično za drugi smer.

Literatura

uredi
  • Ayres, Frank (1965). Schaum's Outline of Modern Abstract Algebra (1st izd.). McGraw-Hill. ISBN 9780070026551. 

Vidi još

uredi