バーンサイドの補題 有限群が有限集合に作用しているときによる軌道の数は以下で与えられる。 但し まずが推移的な作用である場合に示します。すなわち 補題の補題 が推移的に作用しているとき(軌道がたった一つのとき) 群は軌道ごとに別々に作用していると…