ja %E3%83%9D%E3%83%BC%E3%83%A4%E3%81%AE%E8%A8%88%E6%95%B0%E5%AE%9A%E7%90%86

組合せ論におけるポーヤの計数定理（ポーヤのけいすうていり、英: Pólya enumeration theorem; 数え上げ定理、枚挙定理）あるいはレッドフィールド–ポーヤの定理 (Redfield–Pólya Theorem) は、集合への群作用の軌道の総数を求めるバーンサイドの補題の極めて一般化するものである。定理が最初に公になるのは1927年のジョン・ハワード・レッドフィールド（英語版）によるものだが^[1]、それとは独立にジョージ・ポリア（ポーヤ）が1937年に再発見し^[2]、ポーヤはその結果を多くの数え上げ問題、特に化合物の枚挙に適用して大いに普及させた。

ポーヤの計数定理は記号的組合せ論（英語版）や組合せ論的種の理論（英語版）に組み込むこともできる。

コーシーフロベニウスの補題（旧称・バーンサイドの補題）

→詳細は「バーンサイドの補題」を参照

{1,2,…,n}上の置換群で、k個の軌道を持つものをGとする。このとき、Gの置換による固定点の個数の平均はkである。 ${\frac {1}{|G|}}\sum _{\pi \in G}k_{n}(\pi )=k$ 上の式では、置換πによる固定点の個数を $k_{n}(\pi )$ で表している。このことは、それぞれの点を動かさないGの要素の個数を数えることで、このことがいえる。

ポリアの定理 I

集合 $D_{1}$ 上の輪指数 $P(x_{1},x_{2},\cdots ,x_{n})$ を持つ置換群をGとする。D₁からD₂への写像f,gに対して $f(\pi (x))=g(x)$ となる $\pi$ が存在しないとき、fとgは異なるとする。このとき、D1からD2へのことなるものの個数は $P(x_{1},x_{2},\cdots ,x_{n})={\frac {1}{|G|}}\sum _{\pi \in G}|D_{2}|^{k(\pi )}$ となる。

ここで、 $|D_{1}|=n,|D_{2}|=m$ とすると、 $|P(x_{k})|=m^{n}$ となり、 $P(x_{1},x_{2},\cdots ,x_{n})={\frac {1}{|G|}}\sum _{\pi \in G}|D_{2}|^{k(\pi )}={\frac {1}{|G|}}\sum _{\pi \in G}m^{k(\pi )}$ である。

例

立方体を2色で彩色するときの仕方の数を数える。

立方体abcd-efghを考える。面abcdを1、面abefを2、面bcfgを3、面adehを4、面cdhgを5、面efghを6と名づける。このとき、 $|G|=24$ となり、 $P(x_{1},x_{2},x_{3},x_{4},x_{5},x_{6})={\frac {1}{24}}(x_{1}^{6}+6x_{1}^{2}x_{4}+6x_{1}^{2}x_{2}^{2}+8x_{3}^{2})$ ここで、 $x_{1}=x_{2}=x_{3}=x_{4}=x_{5}=x_{6}=2$ （2色で塗るため）なので $P(2,2,2,2,2,2)=10$ となる。