Buonasera.
Ho studiato che il reticolo dei sottogruppi normali di un gruppo è modulare, quindi che i sottogruppi normali di un gruppo sono modulari. Sugli appunti trovo che anche i sottogruppi virtualmente normali di un gruppo sono modulari.
Io ho verificato che un sottogruppo normale di un gruppo G è virtualmente normale in G ossia ha un numero finito di coniugati in G.
Allora il fatto che anche i sottogruppi virtualmente normali sono modulari viene dal fatto che un sottogruppo normale di un gruppo G è virtualmente normale e dal fatto che i sottogruppi normali di un gruppo sono modulari?
Grazie