バーンサイドの補題

バーンサイドの補題（）、あるいはバーンサイドの数え上げ補題、コーシー・フロベニウスの補題、軌道の数え上げ補題とは、対称性を考慮して数学的な対象を数え上げるときに有用な群論の結果である。
以下では は有限群で集合 に作用しているとする。群 の各元 に対して で元 によって固定されるすべての の元からなる集合を表す。バーンサイドの補題は軌道の数 || は次の式で表せることを主張している。
つまり軌道の数（これは自然数あるいは+∞）は群 の元による固定点の数の平均（これも自然数あるいは+∞）と等しい。もし が無限群ならば || による除法は定義されないが、その場合には次の基数に関する主張が成り立つ。
例と応用.
以下ではこの補題を使って立方体の面を3色で塗り分ける数を決定する。ただし回転させて一致するものは同一視する。
 をある特定の向きの立方体の面を塗り分ける36通りの彩色からなる集合とし、立方体の回転群 は自然に に作用しているとする。このとき集合 の2元が同じ軌道に属するのは一方がもう一方の回転であるとき、かつそのときに限る。したがって塗り分ける数は軌道の数と一致し、それは群 の24元がそれぞれ固定する集合の大きさを数えることで計算できる。
よって各元が固定する集合の大きさの平均は次の通り。
したがって立方体の面を3色で塗り分ける方法は57通りある。一般に立方体の面を 色で塗り分ける方法は次の通り。
証明.
証明の第一歩は群 の元 に関する和を集合 の元 に関する和に書き直すことである（二重数え上げ）。
（ここで = { } は群 の元 で固定される のすべての元からなる集合で = { } は集合 の元 を固定する のすべての元からなる固定群である。）
軌道・固定群定理により集合 の各元 の軌道 = { } と固定群 による左剰余類 の間には自然な全単射がある。ラグランジュの定理と合わせると次を得る。
したがって最初の等式の右辺にある集合 の元に関する和を次のように書き換えることができる。
最後に集合 は軌道の直和であることに注意すれば直前の に関する和は各軌道に関する和へ分解できる。
すべてをまとめれば目的の結果を得る。
歴史.
ウィリアム・バーンサイドは『有限群論』（1897年）でに拠るものとしてこの補題を述べ、証明した。しかしフロベニウス以前にもこの式はコーシーによって1845年には知られていた。実際にはこの補題はよく知られていたのでバーンサイドが単にコーシーへ帰するのを省いたようである。結果としてこの補題はしばしばバーンサイドのでない補題とも呼ばれる。バーンサイドはこの分野において多くの貢献をしているのでこれは一見感じられるほど曖昧ではない。