05/10/27 09:51:17
話をぶり返すようだけど、>>461の証明に使われた位数 n の群は
アーベル群でなくても次の性質をもてばいい。
(*) 素数べき p^m が n を割れば G は位数 p^m の正規部分群をもつ。
これから G の任意のSylow部分群は正規なことがわかる。
だから、G はべき零群である。逆に、べき零群は (*) の性質を持つ。
可解群の組成剰余群も素数位数の群だけど、この性質を持つとは
限らない。
05/10/27 09:51:17
話をぶり返すようだけど、>>461の証明に使われた位数 n の群は
アーベル群でなくても次の性質をもてばいい。
(*) 素数べき p^m が n を割れば G は位数 p^m の正規部分群をもつ。
これから G の任意のSylow部分群は正規なことがわかる。
だから、G はべき零群である。逆に、べき零群は (*) の性質を持つ。
可解群の組成剰余群も素数位数の群だけど、この性質を持つとは
限らない。