Падгрупа N {displaystyle N} групы G {displaystyle G} называецца нармальнай, калі яна інварыянтная адносна спалучэнняў, гэта значыць для любога элемента n {displaystyle n} з N {displaystyle N} і любога g {displaystyle g} з G {displaystyle G} , элемент g n g − 1 {displaystyle gng^{-1}} ляжыць у N {displaystyle N}