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

${\mathrm{SL}}_n\left(K\right)/(K^{\times }\cdot \mathrm{Id}\cap {\mathrm{SL}}_n\left(K\right))$

heißt projektive spezielle lineare Gruppe. Sie wird mit

${\mathrm{PSL}}_n\left(K\right)$

bezeichnet.