Definición y condiciones de equivalencia de subgrupos normales