Sia \( G \) un gruppo, \( H < G \) un sottogruppo, e \( N < G \) un sottogruppo normale tale che \( H ,N \) sono risolubili. Dimostra che \(HN \) è risolubile.
Abbiamo che se \( f: G \to G' \) è un omomorfimso suriettivo e \( G \) risolubile allora anche \( G' \) è risolubile, tant'è che se \( G \) risolubile allora esistono \( G=G_0 > \ldots > G_n = \{e\} \) tale per cui \( G_{i+1} \) è normale in \( G_i \) e \( G_i \setminus G_{i+1} \) è abeliano.
Abbiamo che \( G' = f(G_0) > f(G_1) >\ldots >f(G_n)= \{ e \} \) poiché \( f \) un omomeomorfismo e dunque \( f(G_{i+1}) \) è sottogruppo di \( f(G_{i}) \).
Inoltre è normale poiché per ogni \( g \in H_i \) abbiamo che \( f(g) f(H_{i+1}) f^{-1}(g) = f(gH_{i+1}g^{-1}) = f(H_{i+1}) \)
inoltre abbiamo che \( f(H_i) \setminus f(H_{i+1}) \) è abeliano in quanto abbiamo che definita \( \phi : H_i \setminus H_{i+1} \to f(H_i)\setminus f(H_{i+1}) \) è un omomorfismo e dunque siccome \( H_i \setminus H_{i+1} \) è abeliano e \( \phi \) è suriettivo abbiamo che \( f(H_i)\setminus f(H_{i+1}) \) è abeliano.
Concludiamo che \( G' \) è risolubile.
Pertanto definiamo l'omomorfismo suriettivo
\( \varphi : H \to H \setminus ( H \cap N ) \)
abbiamo che \( \varphi \) è un omomorfismo suriettivo, inoltre \( H \) è risolubile pertanto \( H \setminus ( H \cap N ) \) è risolubile. Inoltre abbiamo per il secondo teorema d'isomorfismo che \( H \setminus ( H \cap N ) \cong HN \setminus N \)
Dunque \( HN \setminus N \) è risolubile, inoltre \( N \) è normale ed è risolubile allora abbiamo che \( HN \) è risolubile.
va bene secondo voi?