exo7 6427

1

Montrer que \[\displaystyle M(2)=\Big\{\frac{a_2 \overline z+b_2}{c_2 \overline z+d_2}\ ;\ \frac{a_1 z+b_1}{c_1 z+d_1}\ \Big\vert\ a_i, b_i, c_i, d_i \in\C\ ;\ a_id_i-b_ic_i\not=0\Big\}\]

et en déduire que \(\vert M(2) : M\vert=2\)\(M=M_+(2)\) est le groupe des transformations de Möbius paires.