Grunnatriði hópfræðinnar
Hópafræði er grein stærðfræðinnar sem rannsakar algebrulegar uppbyggingar sem kallast hópar. Hópar eru grundvallarhugtak í stærðfræði og koma fyrir í ýmsum sviðum eins og algebru, rúmfræði, talnafræði og eðlisfræði. Þessi grein miðar að því að veita grunn yfirlit yfir hópafræði, ræða skilgreiningu, dæmi og notkun hóphugtaksins.
Skilgreining hóps
Hópur er mengi \(G\) sem er búið tvíundaraðgerð \( \) sem uppfyllir eftirfarandi fjóra grunneiginleika:
1. Lokun: Fyrir hvert \(a, b \(G\) er niðurstaða aðgerðarinnar \(ab\) einnig í \(G\).
2. Tengingarhæfni: Fyrir hvert \(a, b, c \(G\)\) gildir \(ab) c = a(bc)\).
3. Auðkennisþáttur: Til er þáttur \(e \in G\) þannig að fyrir hvert \(a \in G\) gildir \(ea = ae = a\).
4. Andhverft stak: Fyrir hvert \(a \in G\) er stak \(b \in G\) þannig að \(ab = ba = e\), þar sem \(e\) er einingarstökið.
Ef mengi \(G\) og aðgerðin \( \) lúta þessum fjórum eiginleikum, þá er \((G, )\) sagt vera hópur.
Dæmi um hópa
Heiltölur með samlagningu
Mengi heiltalna \(\mathbb{Z}\) með samlagningaraðgerðinni (\(+\)) myndar hóp.
– Lokað: Með því að leggja saman heiltölur fæst heil tala.
– Tengingarfall: \((a + b) + c = a + (b + c)\) fyrir allar \(a, b, c \in \mathbb{Z}\).
– Einkennisþáttur: Einkennisþátturinn er 0, því \(a + 0 = 0 + a = a\) fyrir alla \(a \in \mathbb{Z}\).
– Andhverft element: Sérhver heiltala \(a\) hefur andhverfu, þ.e. \(-a\) vegna þess að \(a + (-a) = -a + a = 0\).
Heiltölur Modulo n
Mengið \(\mathbb{Z}_n\) sem samanstendur af tölunum \( \{0, 1, …, n-1\} \) með samlagningu modulo \(n\) myndar einnig hóp.
– Lokað: Summa modulo \(n\) tveggja staka í \(\mathbb{Z}_n\) er stak í \(\mathbb{Z}_n\).
– Tengingareiginleiki: Samlagningarmátinn \(n\) uppfyllir tengingareiginleikann.
– Auðkennisþáttur: Auðkennisþátturinn er 0.
– Andhverft stak: Fyrir hvert stak \(a \in \mathbb{Z}_n\) er andhverfa þess \(na\).
Fylki með fylkismargföldun
Mengi allra ferningsfylkja \( 2 \times 2 \) sem eru umsnúanlegar með fylkjamargföldunaraðgerðinni myndar einnig hóp, kallaðan almenna línulega hópinn \(GL(2, \mathbb{R})\).
– Lokað: Margföldun tveggja snúningshæfra fylkja framleiðir fylki sem er einnig snúningshæft.
– Tengd margföldun: Fylkismargföldun er tengid.
– Auðkennisþáttur: Auðkennisþátturinn er auðkennisfylkið, þ.e. \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}.
– Andhverft þáttur: Sérhvert umhverfanlegt fylki hefur andhverfu, þ.e. fylki sem uppfyllir \(A \cdot A^{-1} = A^{-1} \cdot A = I\).
Tegundir hópa
Abelíska hópurinn
Abelskur hópur, eða víxlhópur, er hópur þar sem tvíundaraðgerðin uppfyllir einnig víxleiginleikann, þ.e. \(ab = ba\) fyrir hvert \(a, b \in G\). Dæmi um abelska hópa eru \((\mathbb{Z}, +)\) og \((\mathbb{R}, +)\).
Hringrásarhópur
Hringlaga hópar eru hópar sem hægt er að mynda með einu staki. Það er að segja, það er til stak \(a \in G\) þannig að hvert stak í \(G\) er hægt að skrifa á forminu \(a^n\) fyrir heiltölu \(n\). Dæmi um hringlaga hóp er \((\mathbb{Z}_n, +)\).
Eiginleikar hópa
Undirhópur
Undirhópur er hlutmengi af hópi sem er einnig hópur með sömu aðgerð. Til dæmis er mengi jafnra talna undirhópur af mengi heiltalna.
Hópröð og þáttaröð
Röð hóps er fjöldi staka í hópnum. Röð staks, \(a \in G\), er minnsta jákvæða heiltalan \(n\) þannig að \(a^n = e\).
Notkun hópfræðinnar
Hópakenningin hefur marga notkunarmöguleika á ýmsum sviðum:
dulmál
Hópakenningin er notuð í dulritunaralgrímum eins og RSA og Diffie-Hellman sem byggja á hópabyggingu modulo-talna.
Samhverfukenning
Í eðlisfræði og efnafræði er hópfræði notuð til að rannsaka samhverfu sameinda og kristalla. Samhverfuhópar hjálpa til við að ákvarða eðlis- og efnafræðilega eiginleika sameinda.
Galois-kenningin
Hópfræði er notuð í Galois-kenningunni til að rannsaka lausnir margliðujafna og tengslin milli róta jöfnanna.
Merkjavinnsla
Hópakenningin er notuð í Fourier-greiningu og merkjavinnslu, þar sem föll eru meðhöndluð sem stök í virkum hópum.
Niðurstaða
Hópafræði er undirstöðugrein stærðfræðinnar með útbreidda notkun á ýmsum sviðum. Að skilja skilgreiningu hóps, gerðir hans, eiginleika og notkun veitir traustan grunn að frekari rannsóknum í stærðfræði og öðrum vísindum. Með hugtökum eins og heilum tölum með samlagningu, fylkjum með margföldun og samhverfu í sameindum veitir hópafræðin þau verkfæri sem nauðsynleg eru til að leysa fjölbreytt fræðileg og hagnýt vandamál.
