正規部分群と群構造分解との関連