Projektive lineare Gruppe/Aus SLnK nach Streckungen darin/Definition

Projektive spezielle lineare Gruppe

Es sei ${}K$ ein Körper und ${}n\in \mathbb {N}$. Die Restklassengruppe

$\operatorname {SL} _{n}\!{\left(K\right)}/{\left(K^{\times }\cdot \operatorname {Id} \cap \operatorname {SL} _{n}\!{\left(K\right)}\right)}$

heißt projektive spezielle lineare Gruppe. Sie wird mit

$\operatorname {PSL} _{n}\!{\left(K\right)}$

bezeichnet.