指数の定義は?
正規部分群の定義は?