>>264
任意のGの元aに対して、aN=Naが成り立てば正規部分群。