da nine98100 » 29/07/2016, 18:39
Hai ragione, quello che si può dire in generale per qualsiasi gruppo e quindi in particolare per i gruppi ciclici è il seguente risultato:
Se $ H $ è un sottogruppo normale massimale (normale minimale) di un gruppo $ G $ , si ha $<H,K>$$=G$ (rispettivamente $HnnK=1$ ) per ogni $K$ sottogruppo normale di $G$ non incluso in $H$ (non includente $H$).