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.