Önce bazı tanım ve teoremleri ifade etmek lazım.
TANIM:_ G bir grup ve X, boş olmayan bir küme olsun. G×X ten X e aşağıdaki iki koşulu sağlayan bir
∗ : G×X ⟶ X , (g,x)⟶g∗x
fonksiyonu varsa, bu fonksiyona G nin X üzerine bir etkisi denir:
(i) Her x∈X için e∗x=x tir.
(ii) Her x∈X ve g1,g2∈G için (g1g2)∗x=g1∗(g2∗x) tir.
Eğer G nin X üzerine bir etkisi varsa, bu takdirde, G grubu X üzerine etki eder veya X, ∗ etkisi ile bir G-kümesidir denir.
TANIM:_ G bir grup, X bir G-kümesi ise, g∈G ve x∈X için
Xg={x∈X:g∗x=x} , Gx={g∈G:g∗x=x}
tanımlanır. Xg ye X in g altındaki durağan altkümesi, Gx e de x in G içindeki sabitleyicisi denir.
TEOREM:_ G bir grup, X bir G-kümesi olsun. x1,x2∈X için
″x1∼x2⇔ öyle bir g∈G vardır ki x2=gx1 ″
ile tanımlanan bağıntı bir denklik bağıntısıdır.
TANIM:_ Bir önceki teoremde tanımlanan denklik bağıntısı ile ortaya çıkan denklik sınıflarından her birine bir yörünge denir. x∈X in temsil ettiği yörüngeye x in yörüngesi denir. Gx ile gösterilir: Gx={gx:g∈G}
TEOREM(Burnside):_ G bir sonlu grup, X bir sonlu G-kümesi ve X içinde G ye göre yörüngelerin sayısı r olsun. Bu takdirde,
r=1|G|∑g∈G|Xg|
dir.
------------------------------------------------------------------------------------------------------------------------
Şimdi soruya dönelim.
G: Kübün dönmeler grubu olsun.
X: Kübün mümkün olan tüm boyanışlarının kümesi olsun.
G kümesi X üzerine etki etsin. (X in bir G-kümesi olduğu açık)
x,y∈X (x ve y iki boyanış) olmak üzere,
x ve y aynı ⇔∃g∈G öyle ki g∗x=y⇔ x ve y aynı yörüngede ⇔Gx=Gy
x ve y farklı ⇔Gx≠Gy
Farklı küplerin sayısı, bu grup etkisine göre yörüngelerin sayısına eşittir.
|G|=24 , |Xe|={x∈X:e∗x=x}=|X|=6!=720 , ∀g∈G∖{e} için |Xg|=0
O halde yörünge sayısı (dolayısıyla farklı boyanış sayısı):
r=1|G|∑g∈G|Xg|=124|Xe|=72024=30