Si "G" es cíclico, finitamente generado, abeliano, nilpotente o soluble, entonces también lo será "G"/"N".