Projektív csoport

A projektív csoport  egy projektív tér transzformációinak csoportja, amelyeket a megfelelő vektortér lineáris transzformációi indukálnak. Ennek elemeit projektív transzformációknak nevezzük  – általánosítják a projektív sík projektív transzformációit . Mátrix szempontjából a projektív csoport az összes nem degenerált mátrix csoportja a skaláris mátrixokig .

Definíció

Legyen  vektortér egy mező felett (vagy általánosabban egy test felett ), és  legyen annak teljes lineáris csoportja , azaz az összes megfordítható lineáris transzformáció csoportja. Ez a csoport térhomotétiákkal (nem nulla mezőállandókkal való szorzás ) ingázik, ezért elemei a projektív tér ( a csoport hatására a hányadostér ) transzformációit indukálják .

Ezen indukált transzformációk némelyike ​​triviálisan hat – pontosan ezek a térhomotéta csoport elemei . A projektív csoport egy faktorcsoport a cselekvés magja szerint:

.

Ha explicit módon választunk ki koordinátákat a térben , azaz egy izomorfizmust a természeteshez , akkor azt kapjuk,

,

vagyis a projektív csoport a nem degenerált mátrixok csoportjának a nullától eltérő skaláris mátrixok részcsoportja által alkotott hányadoscsoport.

Általánosítások

Ha a teljes lineáris csoport helyett a speciális lineáris csoportot vesszük , azaz az 1-es determinánsú lineáris transzformációkra szorítkozunk, akkor a projektív speciális lineáris csoportot kapjuk, amelyet unimoduláris projektív csoportnak is neveznek .

Tulajdonságok

Jegyzetek

  1. 1 2 Vinberg, EB (2001), Projektív csoport , in Hazewinkel, Michiel, Encyclopedia of Mathematics , Springer , ISBN 978-1-55608-010-4