をうまく定義することができ、formula_9の安定化部分群はformula_12に一致する。