Normalisateur

Un article de Wikipédia, l'encyclopédie libre.

Soit H un sous-groupe du groupe G. On définit le normalisateur N de H dans G comme le plus grand sous-groupe de G dans lequel H est normal:

                                N = {n ∈ G ; nH = Hn}

On peut étendre cette notion à tout sous-ensemble de G (H n'étant plus nécessairement un groupe - voir l'article sur le centralisateur).