抽象代数概念问题:群g的正规子群除