さらに "n" がaut("g")の作用で不変なら "n" は "g" の特性部分群であるという。