Szerkesztő:Gubbubu/Csoportelmélet
Figyelem! Ez az oldal olyan Unicode betűket vagy HTML formázásokat is tartalmaz, melyeket az Internet Explorer webböngésző nem képes helyesen megjeleníteni, ezért az oldal megtekintéséhez más böngészők használata ajánlott. |
Csoportelmélet
[szerkesztés]Bevezetés
[szerkesztés]A csoportelmélet a modern matematika egyik legfiatalabb ága. Bár modern felépítésében a halmazelmélet alapfogalmaira épül, furcsamód annál régebbi: a halmazelmélet keletkezését az 1870-es évek elejétől számítjuk (általában Georg Cantor 1874-es egy cikkétől, bár a halmaz fogalmát Bolzano már 1872-ben megpróbálta definiálni), míg a csoportelmélet alapcikke (Evariste Galois-nak köszönhetően) már 1830-ban megjelent.
A csoportelmélet kialakulásának motivációja matematikán belüli: a magasabbfokú valós együtthatós algebrai egyenletek algebrai képlettel (csak összeadást, kivonást, szorzást, osztást és n-edik gyökvonást tartalmazó képlettel) való megoldhatóságának vizsgálata során jutott legelső eredményeihez a francia Evariste Galois (Lagrange és mások kutatásai nyomán) az 1800-as évek első harmadában. Ennek ellenére a csoport fogalma a fizikában is alapvető jelentőségre tett szert, például mert a legfontosabb eszköze a „szimmetria” fogalmának precíz vizsgálatához (utóbbinak az atomelméletben, a kozmológiában és sok egyéb, a Világegyetem legkisebb és legnagyobb objektumait vizsgáló ágaiban is jelentősége van).
A matematikán belül a csoportelmélet az algebra, azon belül az absztrakt algebra nevű tudomány egy ága.
Történet és áttekintés
[szerkesztés]Tudománytörténeti szempontból a csoportelméletnek két fő ágát vagy irányát különböztethetjük meg: egy „elméletit” és egy „alkalmazottat”. A csoportfogalom felfedezése elsősorban „elméleti” okoknak, az algebrai egyenletek vizsgálatának köszönhető. A csoportok elméletének alapjait az 1830-as években rakta le Evariste Galois francia matematikus, és halála miatt 1846-ban publikálta Joseph Liouville).
Már Lagrange észrevette, hogy a gyökök permutálásának egymás utáni elvégzése ismét a gyökök egy permutációját eredményezi, sőt vannak az összes permutáción belül olyan még kisebb csoportok, melyek „együtt maradnak” (azaz a csoport elemeinek permutálása csoportbeli elemmel nem ad a csoporton kívüli elemet). Az ez irányuló vizsgálatokat Augustin Cauchy, Niels Henrik Abel és Evariste Galois folytatta. Így alakult ki az első fontos csoportelméleti fogalom, a permutáció-csoport fogalma. Galois ezek segítségével oldott meg egy régi és nagyon nehéz problémát, az algebrai egyenletek gyökképlettel való megoldhatóságának problémáját. A „csoport” elnevezés is tőle származik.
A csoportaxiómáknak megfelelő tulajdonságok (kommutativitás, asszociativitás stb.) bevezetését az angol algebrai iskola (különösképp G. Peacock) már korábban megtette; erre alapozva Arthur Cayley vezette be a csoport absztrakt fogalmát, s ezzel a csoportelmélet meghaladta a puszta permutáció-csoportok elméletét (lehetővé téve a másféle, igen fontos alkalmazásokat). Cayley nevéhez fűződik annak az egyszerű tételnek a bizonyítása, hogy „lényegében minden csoport egy permutáció-csoport” (reprezentációs tétel). Ő vezette be a művelettábla (Cayley-tábla)), a Cayley-gráf és a hasonló, a szemléltetést könnyítő hasznos fogalmakat. Richard Dedekind kiterjesztette a csoport fogalmát kommutatív csoportokra is.
Az első komoly alkalmazások (már ha Galois eredményét szintén elméletinek tekintjük) Felix Klein (ld. erlangeni program) és Sophus Lie nevéhez fűződnek.
A csoportelméletnek ma különösen nagy szerepe van más tudományokban is: a „kristályosodási csoportok” a kémiában és geológiában, bizonyos transzformációk szimmetriacsoportjai pedig az elméleti fizikában központi jelentőségűek.
Kétváltozós művelet
[szerkesztés]Legyen adott egy A halmaz.
- Egy f: A×A↦A függvényt (halmazelméletileg A[A×A] egy részhalmaza, tehát (a,b) alakú elempárokhoz, ahol a,b∈A, A-beli elemeket rendel) az A halmazon értelmezett kétváltozós (bináris) belső műveletnek nevezünk.
- Egy g: A↦A alakú, tehát A-beli elemekhez A-beli elemeket rendelő függvényt pedig egyváltozós belső műveletnek.
- Általában pedig egy f:An↦A függvényt n-változós belső műveletnek, röviden műveletnek nevezünk.
Példák
[szerkesztés]- Példák egyváltozós műveletekre
- eggyel való növelés ℕ-ben, a természetes számok halmazában, nem más, mint az s(n): ℕ↦ℕ; s(n)=n+1 függvény.
- ellentettképzés ℤ-ben, az egész számok halmazában (e(z): ℤ↦ℤ; e(z)=-z.
- Példák (és egy ellenpélda) kétváltozós műveletekre:
- összeadás a természetes számok halmazán
- kivonás ugyanott
- legkisebb közös többszörös és legnagyobb közös osztó képzése ugyanott
- osztás ℝ\{0}-ban, a nem nulla valós számok halmazában.
- Megjegyezzük, ℝ-ben az osztás már nem művelet, mivel a nullával való osztás nincs értelmezve, azaz az f(3,0)=3/0 alakú párokhoz nem tudjuk semelyik ℝ-beli elemet rendelni, holott a művelet tetszőleges A-beli számpárra értelmezett kell hogy legyen.
- Még egy ellenpélda:
- A maradékos osztás tétele szerint ha megadunk egy m≠0 egész számot, bármely z∈ℤ egész szám egyértelműen felírható z=qm+r alakban, ahol 0≤r<m és q,r∈ℤ. Az egyértelműség miatt léteznek a következő αm,βm egyváltozós függvények: αm(z)=q; βm(z)=r. Ezért létezik a következő kétváltozós γ függvény is: γm(z)=(αm(z); βm(z)) = (q; r), tehát hozzárendelhetjük egy egész z számhoz az m-mel való maradékos osztási hányadosát és maradékát. Minden rögzített m-re az αm függvény ℤ-ből képez ℤ-be, ezért egyváltozós művelet ℤ-n, a βm függvény viszont ℤ-ből ℤ+-ba képez (és ezért szintén ℤ-be is), tehát ez is egyváltozós művelet ℤ-n.
Egy A halmaz és rajta értelmezett n-változós műveletek M halmazának (A,M) párosát algebrai struktúrának nevezzük.
A csoport fogalma, tulajdonságai
[szerkesztés]- D.I.1. A (G, ·) algebrai struktúra csoport, ha · kétváltozós művelet A-n, amely asszociatív és invertálható, azaz érvényesek a következő tulajdonságok:
1. ∀a,b€G: a·b·c := (a·b)·c = a·(b·c); | (asszociativitás); |
2. ∃1€G: ∀a€G: a·1=1·a=a; | (az 1 egységelem létezése); |
3. ∀a€G: ∃a*€G a·a* = a*·a = 1; | (az a-hoz való a* inverz elem létezése). |
Konkrét esetben a műveletet összeadásnak is nevezhetik és + vagy stb. jellel jelölik; ekkor beszélünk additív csoportról; de nevezhető szorzásnak is, ekkor jele · is, ilyen esetben multiplikatív csoportról beszélünk. Ez nem fogalmi, csak írásmódbeli különbség.
Additív (G,+) írásmód esetén 1-et szokás nullelemnek nevezni és 0-val jelölni, az a*-t az a elem ellentettjének nevezni és –a-val jelölni. Egyéb esetekben (multiplikatív írásmódban) az egységelem, illetve inverz (elem) elnevezést használjuk 1-re illetve a*-ra; és a*-ot szokás a-1-gyel (ejtsd: „az a elem a mínusz elsőn”) jelölni.
Ha kommutatív (∀a,bA: ab = ba); akkor (G, )-t kommutatív vagy Abel-csoportnak nevezzük.
A G halmazt a csoport tartóhalmazának szokás nevezni. Ha G véges és |G|=n, akkor n-t, a G elemeinek számát a (G, ) rendjének, (G, )-t n-edrendű csoportnak nevezzük.
Az 1).-3). tulajdonságokat összefoglalóan csoportaxiómáknak szokás nevezni. Az általános csoportelméletben általában előnyben részesítik a multiplikatív (G,·) írásmódot. Ha félreértést nem okoz, az a·b elemet egyszerűen ab-nek írjuk, amint az egyéb szorzásnak nevezett műveleteknél megszokott.
Két alapvető tétel mondja ki, hogy jogos a fenti definícióban az egységelemről (nullelemről) és nem csak egységelemekről (nullelemekről) és az aA elem inverz eleméről (és nem csak inverz elemeiről) beszélni. Ezek ugyanis egyértelműen léteznek.
Egy harmadik tétel szerint pedig érvényesek a valós számok algebrájában megszokott, egyenletek kezelésére alkalmazható mérlegelvek.
- T.I.1. Az egységelem egyértelmű: bármely csoportban egy egységelem van.
Legyen u.is 1 és e két egységelem, ekkor az 1 egységelem def.-ja szerint e1=1e=e; az e egységelem def.-ja szerint pedig 1e=e1=1. Így e=e1=1 miatt e=1 .
Mivel csak az egységelem definícióját használtuk fel a bizonyítás során, a csoportaxiómákat nem, ezért tetszőleges algebrai struktúrában is csak legfeljebb egy egységelem van.
Ha szükséges, az (A,·) csoport 1 egységelemét külön feltüntethetjük: (A,·,1).
Példák és ellenpéldák csoportokra
[szerkesztés]- (ℤ,+), (ℚ,+), (ℝ,+), (ℂ,+). A természetes számok közt hagyományosan értelmezett + összeadás esetén (ℕ,+) nem csoport, mert bár van nullelem (tetszőleges n∈ℕ-re n+0 = 0+n = n); de pl. az 1∈ℕ elemhez nincs olyan 1'∈ℕ elem, melyre 1+1' = 0 lenne. Viszont (ℤ,+), (ℚ,+), (ℝ,+) és (ℂ,+) csoportok, nevük rendre az egész, a racionális, a valós és komplex számok additív csoportjai. Az inverz elemek az ellentett elemekkel azonosak.
- (ℚ\{0},·), (ℝ\{0},·), (ℂ\{0},·). ℕ-ben és ℤ-ben a hagyományosan értelmezett szorzás még a 0 elemet kivéve sem invertálható (pl. a 2 elemhez nincs olyan 2*∈ℤ, melyre 2·2*=1 lenne, hisz ekkor 2*=1/2 nem egész szám), ám (ℚ\{0},·), (ℝ\{0},·) és (ℂ\{0},·) csoportok, a racionális, valós és komplex számok additív csoportjai. Az ai+b∈ℂ komplex szám multiplikatív inverze, azaz reciproka .
- A (ℤm,+m) additív mod(m) maradékosztály-csoport. Az előző fejezetben ℤ-n értelmezett βm(z) = r függvényt értelmezve kapjuk a ℤm := { x | ∃z∈ℤ:(βm(z)=x) } csoport a következő kétváltozós művelettel: a+mb := (βm(a+b)). Például, ha m=4, akkor ℤ4 = {0,1,2,3} és pl. 3+42 = β4(5) = (5 osztási maradéka 4-gyel) = 1.
- A (ℤp,·p) multiplikatív mod(p) maradékosztály-csoport. A ℤm-ben szorzást is értelmezhetünk, így: a·mb := (βm(a·b)) . Például ℤ5-ben 2·m4 := (βm(2·4)) = βm(8) = 3. Tétel: Az így kapott ℤp× := (ℤp, ·p) struktúra akkor és csak akkor csoport, ha p prímszám.
- Legyen adott tetszőleges, de nem üres A≠⊘ halmaz. Az f: A↦A alakú kölcsönösen egyértelmű (bijektív, azaz invertálható) függvényeket az A permutációinak nevezzük, az |A| számosságát a permutáció rendjének. Az A permutációinak halmazát jelölje A!; ekkor ha o a függvénykompozíció, avagy -szorzás művelete, úgy (A!,o) csoport.
Részcsoport
[szerkesztés]A (G,×) csoport G tartóhalmazának egy nemüres R részhalmazát szokás a csoport egy komplexusának is nevezni. Az (R,×) struktúra egy részcsoportja (G,×)-nak, ha - röviden - (R,×) csoport a G-beli fontosabb × művelettel, tehát:
- R nemüres / 0∈R;
- ha x,y∈R, akkor x×y∈R ...
- ... és x-1∈R.
Vagyis sem a nullváltozós művelet (nullelemképzés), sem az egyváltozós művelet (invertálás), sem a kétváltozós művelet (szorzás) nem vezet ki a részhalmazból.
A részcsoport-viszony jele ≤. Tehát (R,×)≤(G,×)
Tétel: csoportok bármely halmazában ≤ rendezési reláció: reflexív, antiszimmetrikus, tranzitív.
Példák és ellenpéldák részcsoportokra
[szerkesztés]- (ℤ,+)≤(ℚ,+)≤(ℝ,+)≤(ℂ,+).
- (ℚ\{0},·)≤(ℝ\{0},·)≤(ℂ\{0},·).
- Az (A!,o) permutáció-csoport egy részcsoportja az azon f permutációkat tartalmazó csoport, melyekre igaz fof(a)=f(f(a))=a, tehát f2=1A. Az ilyen f-ekből álló A!2 halmaz sosem üres, mert az 1 identikus leképezés mindig az eleme.