Fara í innihald

Grúpa

Úr Wikipediu, frjálsa alfræðiritinu
Allar mögulegar samsetningar á töfrateningnum mynda grúpu sem nefnist töfrateningsgrúpan.

Grúpa[1] er algebrumynstur sem samanstendur af mengi ásamt aðgerð þannig að hver tvennd úr menginu er vensluð staki úr sama mengi. Aðgerðin, sem um ræðir, er almennt kölluð margföldun, þótt ekki sé um margföldun í venjulegum skilningi að ræða. Svo almenn lýsing nær yfir fjölda fyrirbrigða í stærðfræði, t.d. er mengi heiltalna með venjulegri samlagningu grúpa og einingarhringurinn í tvinntalnasléttunni er margföldunargrúpa. Grúpur eru notaðar til að búa til einfalda lýsingu á flóknu kerfi. Þetta á einnig við um grannfræði, talningarfræði og stærðfræðigreiningu.

Skilgreining

[breyta | breyta frumkóða]

Grúpa er mengi G ásamt tvístæðri aðgerð • (kallast grúpuaðgerð,[2] group law á ensku) sem tengir stök a og b saman (táknað a • b eða ab) þar sem mengið og aðgerðin (G, •) uppfylla eftirfarandi skilyrði:

Lokun
a • b er í G fyrir öll a og b í G.
Tengni
(ab) • c = a • (bc) fyrir öll a, b og c í G
Hlutleysa
Til er stak e í G þannig að ea = ae = a gildir fyrir öll stök a í G
Andhverfa
Fyrir gefið stak a í G er til stak b í G svo ab = ba = e.

Í mörgum kennslubókum um grúpufræði er tekið fram að tvíundaraðgerðin er lokuð með tilliti til þessarar aðgerðar, þ.e. fyrir öll a, b í G gildir að til er c í G þ.a. a • b = c. Hinsvegar er oftast innifalið í skilgreiningunni á tvíundaraðgerð að hún sé lokuð. Ef aðgerðin er víxlin, þ.e. fyrir öll a, b í G gildir að a • b = b • a, þá kallast grúpa víxlgrúpa eða Abel-grúpa, til heiðurs Niels Henrik Abel.

Tilvísanir

[breyta | breyta frumkóða]
  1. Grúpa Geymt 5 mars 2016 í Wayback Machine á stærðfræðiorðasafni
  2. Grúpuaðgerð Geymt 11 mars 2016 í Wayback Machine á stærðfræðiorðasafni


  Þessi stærðfræðigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.