Általános lineáris csoport

From Wikipedia, the free encyclopedia

Remove ads

Általános lineáris csoportnak (vagy egyszerűen lineáris csoportnak) nevezzük és -vel jelöljük a (véges vagy végtelen dimenziós) vektortér invertálható lineáris transzformációinak csoportját. (A szokásos jelölésben a GL az angol 'általános lineáris' jelentésű general linear szavak rövidítése.) Ha véges dimenziós vektortér a test felett, akkor szokás a vagy a jelölést használni helyett (ahol a vektortér dimenziója), ami értelmes, hiszen a feletti -dimenziós vektorterek izomorfak egymással, és izomorf vektorterek transzformációcsoportjai is nyilván izomorfak. Ha véges test, amelynek elemszáma , akkor a helyett szokásos a jelölés is. (Itt nyilván prímhatvány.)

Remove ads

Általános lineáris csoport mint mátrixok szorzáscsoportja

A véges dimenziós esetben elemei megfeleltethetők feletti -es invertálható mátrixoknak, és így megegyezik (izomorf) az ezek alkotta csoporttal. Ez a reprezentáció gyakran megkönnyíti a elemeivel való számolást.

Remove ads

Példák

  • a sík lineáris transzformációinak csoportja.
  • a nyolcelemű test feletti -as, nemnulla determinánsú mátrixok szorzáscsoportja.
Remove ads

Elemszám

Ha végtelen test, vagy végtelen dimenziós, felett, akkor végtelen rendű csoport. Azonban véges n és q esetén is véges, mégpedig

Ezt úgy láthatjuk be, hogy megszámoljuk, hány -es invertálható mátrixot állíthatunk össze a q elemű test elemeiből. Egy ilyen mátrix első sorában bármilyen n-es állhat, kivéve a csupa nullából állót; az ilyenek száma . A második sorban bármilyen n-es állhat, ami az elsőnek nem skalárszorosa; ilyenekből darab van. A harmadikban ismét csak bármilyen n-es állhat, ami az első kettőnek nem skalárszorosa; ilyenekből darab van. Ugyanezt a gondolatmenetet folytatva a j-edik sorba n-est választhatunk. Mivel az egyes sorokat a fenti feltételek mellett egymástól függetlenül tölthetjük meg, az összes lehetséges mátrix száma a fenti variációk szorzata, ami éppen az igazolni kívánt összefüggést adja.

Remove ads

Néhány konkrét véges általános lineáris csoport

További információk , ...
Remove ads

Források

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads