Fórmula de Burnside y sus aplicaciones

Nicolás Vásquez y Natalia Lozano

21 de octubre de 2022

Resumen
Aún no se está en la capacidad de escribirlo.

Keywords:

1. Introducción
El teorema de conteo de Burnside, conocido también como el lema de Cauchy-Frobenius, ofrece un
metodo para calcular el número de maneras ”distinguibles”, en que algo pueda ser realizado. He aquı́ lo
importante: el concepto de ”distinguibilidad”, para poder hacernos una idea de manera efectiva de este
concepto, consideramos es preciso acercarnos primero a través de una ejemplificación.
Supongamos que queremos armar un collar con piedras de color azul y rojo, y que, en el hilo que vamos
a usar en dicho collar, caben exactamente 8 piedras. Ası́, es válido preguntarnos, ¿de cuántas maneras
podemos armar el collar? Véase la siguiente imagen para ilustrarse.

La mayorı́a sospecharı́a que podemos hablar de 28 = 256 posibilidades diferentes, sin embargo, ¿qué
pasarı́a si queremos contar únicamente los casos distinguibles? Note que si elegimos poner la primera
piedra de azul y el resto de rojo, es lo mismo que poner la última de azul y el resto rojas, o poner la cuarta
piedra de azul y el resto rojas. Ası́, entonces, considere como una primera noción de ”distinguibilidad”
a aquellos casos en donde el orden no sea relevante y donde los casos que sı́ nos interesen tengan
diferencias significativas entre ellos.

2. Precisiones conceptuales
En esta sección se introducirán los conceptos necesarios para facilitar la lectura posterior.

1
2.1. Acción de grupo y G-conjunto
Sea X un conjunto y G un grupo. Una acción de G en X es una función ϕ : X x G −→ X tal que:

1. 1g x = x, para todo x ∈ X.

2. (g1 g2 )x = g1 (g2 x), para todo x ∈ X y para todo g1 , g2 ∈ G.

Bajo estas condiciones, X es un G−conjunto.

Sea X un G-conjunto, definamos Φ : G −→ Sx , tal que para todo g ∈ G, este tenga asociada una fun-
ción Φ(g) : X −→ X,la cual, dado x ∈ X, este se asocia con su acción correspondiente Φ(g)(x) := gx.
Note que esta función Φ es un morfismo de grupos, y asi como es posible definir un morfismo de grupos
a partir de una acción, es posible definir una acción a partir de un morfismo de grupos

2.2. Subgrupo estabilizador y órbitas

Dado SX un grupo de permutaciones sobre un conjunto X, y x ∈ X el estabilizador de x en X está
dado por:
Gx := {σ ∈ SX |σ(x) = x}
Este, inclusive, es un subgrupo de SX .
Además,
G(x) := {σ(x)|σ ∈ SX }
denota la órbita de X.

2.3. Lema 1
Dado G un grupo de permutaciones de un conjunto finito X, entonces:
X X
|Gx | = |I(σ)|
x∈X σ∈Sx

Demostración de este lema en [1].

2.4. Lema 2
Dado G un grupo de permutaciones actuando sobre X un conjunto finito, entonces:

|G|
|Gx | = , para todo x ∈ X
G(x)
Demostración de este lema en [1].

2.5. Lema 3
Dado G un grupo de permutaciones actuando sobre X un conjunto finito, y supongamos que G tiene
N órbitas, entonces:
X 1
=N
|G(x)|
x∈X

Demostración de este lema en [1].

2
3. Fórmula de Burnside
Dar a conocer la formula de Burnside, campos en los que ha sido usada, su demostración entre otras
cosas.

Teorema de burnside

Sea G un grupo de permutaciones actuando sobre un conjunto finito X y supongamos que G tiene
N orbitas, ´ entonces:
1 X
N= |I(σ)|
|G|
σ∈G

4. Aplicaciones
Recurrir al uso de ejemplos en donde se aplique dicha fórmula.

5. Conclusiones
Analizar la historia detrás de la fórmula de Burnside, su importancia y su eficacia en las aplicaciones
desarrolladas para concluir que tan viable es usarla en distintos entornos de nuestra carrera.

3
Referencias
[1] Espinosa, R. La Fórmula de Burnside. https://libroweb.alfaomega.com.mx/book/682/
free/ovas_statics/cap4/lecturas/LaformuladeBurnside.pdf
[2] Fraleigh, J. Álgebra Abstracta, primer curso. Tercera edición, versión en español. Addison-
Wesley Publishing Company Inc. Delaware, Estados Unidos. (1988). https://apuntespme.
cl/material/AlgAbs/textos/algabs.pdf
[3] Hernandez, O. y López, J. Principios de contar: el lema de Cauchy Frobenius. Artı́culo. Research-
Gate. (2016). https://www.researchgate.net/publication/312591638_PRINCIPIOS_
DE_CONTAR_EL_LEMA_DE_CAUCHY_FROBENIUS

[4] Sanabria, C. y Valencia, M. Notas para un curse de Álgebra Abstracta I. Universi-

dad de los Andes, Bogotá, Colombia (2017). https://silo.tips/downloadFile/
notas-para-un-curso-de-algebra-abstracta-i
[5] Gluck, D. IDEMPOTENT FORMULA FOR THE BURNSIDE ALGEBRA WITH APPLICATIONS
TO THE p-SUBGROUP SIMPLICIAL COMPLEX. Artı́culo. ILLINOIS JOURNAL OF MATHE-
MATICS Volume 25, Number 1. (1981). https://projecteuclid.org/journalArticle/
Download?urlId=10.1215%2Fijm%2F1256047365