Frobenius

steven86
Salve a tutti...
chiedo un chiarimento su un passaggio di un teorema....
Se $H$ è un complemento di Frobenius di $G$ e $M$ è un sottogruppo normale di $G$ tale che $M\cap H=1$, perchè $M\cap H^{x}=1\ \forall x\in G$?
Grazie a tutti per l'aiuto.

Risposte
vict85
\(\displaystyle H^x\cap M = H^x \cap M^x = (H \cap M)^x \).

Infatti se \(\displaystyle g\in H \cap M \) allora banalmente \(\displaystyle g^x \in H^x \) e \(\displaystyle g^x \in M^x \). Viceversa se \(\displaystyle g\in H^x \cap M^x \) allora esiste \(\displaystyle h\in H\) e \(m\in M \) tali che \(\displaystyle g = h^x = m^x \). Ma \(\displaystyle 1 = gg^{-1} = xhx^{-1}xm^{-1}x = xhm^{-1}x^{-1} \), ossia \(\displaystyle hm^{-1} = 1 \).

steven86
grazie mille

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.