正規部分群
【せいきぶぶんぐん】
【seikibubungun】
正规子群