SVP j'ai essié de trouver l'isomorphe avec SL(n,R)/SO(n,R) pour cela j'ai commencé par décrire les éléments de SL(n,R)/SO(n,R)
SL(n,R)/SO(n,R) ={ g' / g dans SL(n,R) }
g' ={ f / f R g } f R g <=> f . g^-1 dans SO(n,R)
i.e Trans[f . g^-1].[f . g^-1] = [f . g^-1]. Trans[f . g^-1] = In
on prend d'abord le cas simple pour n=2
soit g={{x1 , x3},{x2 , x4}}
g' ={ {{y1 , y3} {y2 , y4}} / Trans[f . g^-1] = [f^-1 . g] }
après j'ai trouvé un système mais je me suis bloquée
-----