Subgrupo normal
subgrupo invariante sob conjugação / De Wikipedia, a enciclopédia encyclopedia
Em matemática e, em especial em teoria dos grupos, um subgrupo normal é um subgrupo que é preservado por conjugação, ou seja, . Em outras palavras, qualquer que seja o elemento x do grupo, os conjuntos x N e N x coincidem.[1][2][3]
Se H é um subgrupo normal de G, então o quociente G/H admite uma estrutura de grupo, chamada de grupo quociente.