Grupa je binarna algebarska struktura u kojoj operacija zadovoljava slijedeća svojstva
(asocijativnost) za sve
(neutralni element) Postoji element koji je neutralan s obzirom a operaciju grupe slijeva i zdesna: (takav element je jedinstven, vidi monoid)
(obostrani inverz) Za svaki element postoji element koji je istovremeno i lijevi inverz od (tj. ) i desni inverz od (tj. vrijedi ).
Drugim riječima, grupa je monoid čiji svaki element ima obostrani inverz.
U svakom monoidu, ako je desni inverz od , onda je lijevi inverz od i obratno. Dakle, svaki element u monoidu je desni inverz vlastitom lijevom inverzu (kad god on postoji). U svakom monoidu obostrani inverz nekog elementa, ako postoji, je jedinstven. Svaki element u grupi je dakle taj jedinstveni inverz vlastitom (obostranom) inverzu, .
Binarna algebarska struktura koja je asocijativna naziva se polugrupom. Monoid je polugrupa s neutralnim elementom. Dakle, grupa je monoid u kojoj svaki element ima obostrani inverz.
Ako je grupa i tada postoji točno jedan obostrani inverz od , pa ga možemo označavati s .
Jedinstvenost obostranog inverza slijedi iz slijedeće propozicije.
Propozicija. Ako u monoidu neki element ima lijevi inverz i desni inverz onda su oni jednaki.
Dokaz. Poseban slučaj asocijativnosti je jednakost
Koristeći pretpostavku i svojstvo neutralnog elementa dobivamo dakle
Dakle kako se i tražilo.
Kad imamo desni inverz tada dakle svaka dva lijeva inverza moraju biti jednaki njemu, pa su i međusobno jednaki. Kad imamo lijevi inverz tada svaka dva desna inverza moraju biti jednaki tom lijevom pa su i međusobno jednaki. Ako imamo i lijevi i desni inverz tada je to jedan te isti element (i pri tom jedinstven koji je obostrani inverz).
Grupa je Abelova ili komutativna ako je njena binarna operacija komutativna.
Svaka Abelova grupa ima svojstvo stalnosti razlike: ako umanjeniku i umanjitelju dodamo jedan te isti element, razlika se neće promijeniti,
Slično vrijedi i stalnost zbroja: ako u zbroju jednom sumandu pribrojimo, a drugom sumandu oduzmemo jedan te isti element, zbroj se neće promijeniti.
Svojstva stalnosti zbroja i razlike su korisna u praktičnom računanju, uključujući u dječjoj aritmetici. Na primjer, , gdje je jednakost u drugom koraku lakša za uočiti.
Ako su , dvije polugrupe, tada za preslikavanje skupova kažemo da je homomorfizam polugrupa ako za svaka dva elementa , . Primijetimo da na lijevoj strani pomnožimo u i onda evaluiramo preslikavanje na rezultatu, a na desnoj strani najprije evaluiramo preslikavanje na oba elementa i pomnožimo dobivene vrijednosti u . Taj aksiom intuitivno opisujemo riječima “homomorfizam polugrupa čuva operaciju na polugrupi”.
Iz tog aksioma u grupi slijedi da ako je neutralni element za , tada je neutralni element za , drugim riječima svaki homomorfizam polugrupa iz grupe u grupu “čuva neutralni element”. Zaista, za sve . Dakle,
Sjetimo se da inverzni element od postoji u i pomnožimo gornji identitet izrazom zdesna, gdje je ma koji element u , i dobit ćemo za sve , dakle je neutralni element u . Kod monoida nemamo nužno inverze pa taj dokaz ne prolazi, tj. homomorfizam polugrupa iz monoida u monoid ne mora nužno čuvati neutralni element. Zato definiramo homomorfizam monoida kao preslikavanje monoida koji je homomorfizam polugrupa i šalje neutralni element u neutralni element. Homomorfizam grupa je preslikavanje grupa koje je homomorfizam polugrupa, dakle prema malo prije rečenom, automatski i morfizam monoida. Dapače, homomorfizam grupa ima svojstvo da šalje inverzne elemente u inverzne elemente. Zaista, i . Kako je neutralni element, ti identiteti govore da je obostrani inverz od .
Homomorfizam polugrupa, monoida ili grupa je izomorfizam tih struktura ako je bijekcija, tj. postoji inverzno preslikavanje.
Propozicija. Ako je izomorfizam grupa, tada je i inverzno preslikavanje izomorfizam grupa.
Dokaz. Inverz bijekcije je bijekcija. Treba još provjeriti da za inverzno preslikavanje vrijedi za sve . Kad ne bi bilo postojao bi neki par za koji to ne vrijedi. Tada jer je homomorfizam. S druge strane, , dakle . Na taj identitet primijenimo i dobit ćemo .
Podskup je podgrupa, ako je grupa s obzirom na restrikciju operacije s na operaciju . To znači da ako su tada , i .
Ako je podgrupa, tada označimo
i svaki takav skup zovemo lijeva susjedna klasa. Susjedna klasa je klasa ekvivalencije s obzirom na relaciju (biti u istoj lijevoj susjednoj klasi u odnosu na podgrupu ) u gdje su dva elementa ekvivalentna akko postoje takav da . To je zaista relacija ekvivalencije:
(i) refleksivnost je očita (stavimo )
(ii) simetričnost je očita (zamijenimo uloge )
(iii) tranzitivnost: čitamo kao i za neke , dakle
Kako je to slijedi .
S druge strane, ako je tada su i jer je podgrupa, a očito uvjet pa je ekvivalentan uvjet: iff postoji takav da (u tom obliku je manje očito da je relacija simetrična). Kao kod svake relacije ekvivalencije, za dva elementa klase i su jednake ili disjunktne (nemaju zajedničkih elemenata). Skup svih lijevih susjednih razreda označavamo s i zovemo lijevi kvocijentni skup grupe u odnosu na grupu . Slično možemo razmišljati i o desnim susjednim razredima koji su po definiciji skupovi oblika i o skupu desnih susjednih klasa (desni kvocijentni skup grupe ).
Propozicija. Neka je i podgrupa. Tada je funkcija bijekcija .
Dokaz. To preslikavanje je surjekcija po definiciji lijeve susjedne klase jer je svaki element u njoj oblika za neki . Moramo još pokazati da je i injekcija. Dakle moramo vidjeti da ako je s da je tada i . Zaista, to slijedi množenjem jednakosti s zdesna i korištenjem asocijativnosti.
Iz propozicije neposredno slijedi da podgrupa i svaka njena lijeva susjedna klasa (a slično tome i svaka desna susjedna klasa) imaju istu kardinalnost, isti broj elemenata. Kako smo gore zaključili da su svake dvije lijeve susjedne klase jednake ili disjunktne to znači da za grupu kardinalni broj elemenata u mora biti jednak umnošku kardinalnog broja susjednih klasa i kardinalnog broja elemenata u svakoj klasi,
Kao posljedicu te formule u slučaju kad su ti kardinalni brojevi konačni dobivamo Lagrangeov teorem: broj elemenata u podgrupi konačne grupe (grupe s konačno mnogo elemenata) dijeli broj elemenata cijele grupe . Tako npr. ne možemo imati podgrupu reda u grupi reda .
Podgrupa je normalna podgrupa ako su za svaki lijeva susjedna klasa i desna susjedna klasa jednake kao skupovi. To ne znači da je za sve jer možemo imati gdje je neki drugi element u , pa da na takav način opet postignemo bijekciju skupova.
S druge strane, podgrupa je normalna upravo onda kada je za svaki skup
jednak . Drugim riječima, .
Ako je normalna podgrupa u tada na skupu lijevih susjednih klasa formula
ili ne zavisi o izboru predstavnika i pa dobro definira novu asocijativnu binarnu operaciju na skupu (lijevih=desnih) susjednih klasa koja ima neutralni element i obostrane inverze . Dakle, time smo dobili strukturu grupe na kvocijentnom skupu (po normalnoj podgrupi ), koju zovemo kvocijentna grupa grupe po normalnoj podgrupi .
Ako je Abelova grupa, tada je svaka njena podgrupa očito normalna, naime iz komutativnosti grupovne operacije za sve .
Neka je neki skup elemenata koje ćemo tumačiti kao simbole u nekom alfabetu. Promatrajmo skup gdje su elementi u simboli oblika gdje je (formalni inverzi). Gledajmo skup svih slogova (konačnih nizova) elemenata iz uključujući praznu riječ koju ćemo označiti s . Na tom skupu promatrajmo najmanju relaciju ekvivalencije gdje su dvije riječi ekvivalentne ako se mogu dobiti jedna iz druge konačnom primjenom transformacija umetanja ili izbacivanja susjednih parova i gdje je . Klase ekvivalencije množimo spajanjem (konkatencijom) predstavnika, pri čemu ako neprazni s praznom riječi onda ne pišemo. Time smo dobili grupu koju zovemo slobodna grupa s bazom .
Neka je ma koja grupa i neki njen podskup. Kažemo da je skup izvodnica (generatora) ako se svaki element u može napisati kao umnožak konačnog broja elemenata u i njihovih inverza. Na primjer, baza slobodne grupe je skup izvodnica od .
Ako je ma koja grupa i neki skup izvodnica u . Promatrajmo slobodnu grupu na alfabetu . Tada postoji homomorfizam iz u koji šalje ma koju riječ u njenu interpretaciju u gdje spajanje (konkatenaciju) zamijenimo množenjem u . Taj homomorfizam je surjekcija. Kad god promatramo neki homomorfizam iz grupe u grupu, jezgro tog homomorfizma je skup svih elemenata u domeni čija slika je jedinični element u kodomeni. On je automatski normalna podgrupa. Elementi jezgre homomorfizma se zovu identiteti u među elementima u . Postoji dobro definirano preslikavanje koje element u (tj. susjednoj klasi) šalje u sliku po ma kojeg predstavnika tog elementa. je bijekcija i homomorfizam, tj. izomorfizam grupa. U svakoj grupi možemo odabrati neki skup izvodnica, npr. tu cijelu grupu. Svaka grupa je dakle kvocijentna podgrupa neke slobodne grupe. Grupu dakle možemo zadati tako da zadamo kao apstraktni alfabet, što zadaje i onda zadamo tako da zadamo neki svoj skup izvodnica za koje zovemo relacije. Takvo zadavanje se zove zadavanje preko izvodnica i relacija i pišemo . Na primjer, možemo promatrati grupu
koja ima izvodnice i i u kojoj, uz uobičajena svojstva u grupi, vrijedi i sve posljedice tih zahtjeva i samo one. Dakle vrijedi (pomnožimo s zdesna). U stvari svaka dva elementa u toj grupi možemo zamijeniti (jer su to riječi u slovima i i njihovim inverzima, koje možemo zamijeniti), odnosno ta je grupa Abelova.
Možemo koristiti kraticu za spajanje (konkatenciju) kopija elementa u slobodnoj grupi i analogno u svim grupama i slično za cijele potencije. Gornja Abelova grupa ima dakle elemente oblika jer se sve riječi u njoj mogu napisati u tom obliku gdje su cijeli brojevi, dakle ona je u bijekciji sa skupom parova cijelih brojeva , odnosno Kartezijevim umnoškom . Očito su Abelove grupe mnogo jednostavnije od onih koje nisu jer se riječi pojednostavljuju komutiranjem.
Slobodna grupa s bazom ima jedno značajno svojstvo koje zovemo univerzalnim. Naime ako je ma koja druga grupa i ma koje preslikavanje skupova, onda možemo definirati jedinstveni homomorfizam koji proširuje to jest takav da je suženje . Naime, razred riječi u pošaljemo slovo po slovo preko u , invertirajući one koji su dani formalnim inverzom, i pomnožimo rezultate u istim redoslijedom.
Neka je grupa i skup. Preslikavanje
je lijevo djelovanje grupe na skup ako vrijede slijedeća dva svojstva
(i) za sve i sve vrijedi
(ii) za sve
Na primjer, svaka grupa djeluje na samu sebe množenjem slijeva.
Grupa permutacija skupa djeluje na tautološki, tj. ako je permutacija i tada je .
Grupe se obično pojavljuju kao grupe transformacija. Dakle, gledajmo neki objekt u prirodi, ili neku strukturu u matematici, ili neki lik u geometriji ravnine, ili tijelo u geometriji prostora. Gledamo simetrije, a to su one operacije na objektu/transformacije tog objekta/strukture/ravnine/prostora koje čuvaju ona svojstva objekta (npr. strukture/grafa/lika/tijela) koja su bitna (odnosno koje želimo očuvati). Tu podrazumijevamo prirodno da postoji transformacija koja vraća natrag. Očito je bitan samo redoslijed transformacija, što znači da je kompozicija transformacija asocijativna, transformacija “ne radi ništa” ili “identična transformacija” je neutralni element s obzirom na kompoziciju transformacija i svaka transformacija ima inverznu transformaciju. Dakle simetrije objekta čine grupu.
Jedan primjer su izometrije ravnine . One čine grupu svih izometrija ravnine. Sjetimo se da je bijekcija izometrija ako za svake dvije točke vrijedi .
Važan primjer su sve bijekcije nekog skupa u samog sebe: ponekad kažemo permutacije na skupu . Tu grupu ćemo označavati . Taj primjer je posebno važan jer je prema Cayleyevom teoremu svaka grupa izomorfna podgrupi neke grupe permutacija.
Grupe se pojavljuju i kao dijelovi složenijih struktura. Npr. vektorski prostor se sastoji od Abelove grupe vektora, polja skalara i operacije množenja skalara i vektora. Afini prostor je pak skup s djelovanjem grupe vektora vektorskog prostora koje ima neko svojstvo slobodnosti. -dimenzionalni prostor Euklidske geometrije je afini prostor čiji pripadni vektorski prostor je -dimenzionalan ( za ravninu i za uobičajeni prostor) i ima zadani (nedegenerirani, pozitivno definitni) skalarni umnožak (što je ekvivalentno zadavanjem udaljenosti i mjere kuta s uobičajenim svojstvima). Dakle grupe su u samim osnovama geometrije, shvaćenim na suvremeni način.
Last revised on March 11, 2021 at 02:08:26. See the history of this page for a list of all contributions to it.