Il gruppo $SL(n,R)$ é un normale gruppo di $GL(n,R)$
Per provarlo prendiamo un $X in SL(n,R)$ e un $P in GL(n,R)$:
$det(PXP^(−1))=det(P)det(X)det(P)^(−1)=det(X)=1$
Quindi $PXP^(−1) in SL(n,R)$
Fin qui ci siamo.
Domanda: ma se volessi dimostrarlo con le classi laterali é giusto far vedere
$det(PX)=det(XP)=det(P)$
Grazie.