Está en la página 1de 72

Modelando la Escala Musical

Enumeraci on y Construccion en la Teora de la


M usica
Adan Martnez Martnez
16 de marzo de 2010
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Acci on de Grupo
G
X
Denicion
Una accion de grupo
G
X del grupo (G, ) en el conjunto X
esta dada por la funcion
G X X
(g, x) gx
que cumple:
1
(e, x) ex = x x X (e, es la identidad de G).
2
(g
1
g
2
, x) (g
1
g
2
)x = g
1
(g
2
x)g
1
, g
2
G, x X.
G
X convierte a X en un G-conjunto, esta accion es llamada nita
si ambos G y X son nitos. Una accion de grupo
G
X dene la
siguiente relacion de equivalencia en X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Acci on de Grupo
G
X
Denicion
Una accion de grupo
G
X del grupo (G, ) en el conjunto X
esta dada por la funcion
G X X
(g, x) gx
que cumple:
1
(e, x) ex = x x X (e, es la identidad de G).
2
(g
1
g
2
, x) (g
1
g
2
)x = g
1
(g
2
x)g
1
, g
2
G, x X.
G
X convierte a X en un G-conjunto, esta accion es llamada nita
si ambos G y X son nitos. Una accion de grupo
G
X dene la
siguiente relacion de equivalencia en X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Acci on de Grupo
G
X
Denicion
Una accion de grupo
G
X del grupo (G, ) en el conjunto X
esta dada por la funcion
G X X
(g, x) gx
que cumple:
1
(e, x) ex = x x X (e, es la identidad de G).
2
(g
1
g
2
, x) (g
1
g
2
)x = g
1
(g
2
x)g
1
, g
2
G, x X.
G
X convierte a X en un G-conjunto, esta accion es llamada nita
si ambos G y X son nitos. Una accion de grupo
G
X dene la
siguiente relacion de equivalencia en X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Acci on de Grupo
G
X
Denicion
Una accion de grupo
G
X del grupo (G, ) en el conjunto X
esta dada por la funcion
G X X
(g, x) gx
que cumple:
1
(e, x) ex = x x X (e, es la identidad de G).
2
(g
1
g
2
, x) (g
1
g
2
)x = g
1
(g
2
x)g
1
, g
2
G, x X.
G
X convierte a X en un G-conjunto, esta accion es llamada nita
si ambos G y X son nitos. Una accion de grupo
G
X dene la
siguiente relacion de equivalencia en X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica

Orbita de x
Sean x
1
, x
2
X. Diremos que x
1
esta relacionado con
x
2
(x
1

G
x
2
) si y solo si existe g G tal que gx
1
= x
2
.
Las clases de equivalecia G(x) con respecto a
G
son las orbitas
de G sobre X denidas como sigue:
Denicion
Sea X un G-conjunto dado por G X X. Denimos para
cada x X la orbita de x como
G(x) := gx [ g G .
El conjunto de todas las orbitas (conjunto cociente de X por la
relacion
G
) es denotado por GX := G(x) [ x X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica

Orbita de x
Sean x
1
, x
2
X. Diremos que x
1
esta relacionado con
x
2
(x
1

G
x
2
) si y solo si existe g G tal que gx
1
= x
2
.
Las clases de equivalecia G(x) con respecto a
G
son las orbitas
de G sobre X denidas como sigue:
Denicion
Sea X un G-conjunto dado por G X X. Denimos para
cada x X la orbita de x como
G(x) := gx [ g G .
El conjunto de todas las orbitas (conjunto cociente de X por la
relacion
G
) es denotado por GX := G(x) [ x X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica

Orbita de x
Sean x
1
, x
2
X. Diremos que x
1
esta relacionado con
x
2
(x
1

G
x
2
) si y solo si existe g G tal que gx
1
= x
2
.
Las clases de equivalecia G(x) con respecto a
G
son las orbitas
de G sobre X denidas como sigue:
Denicion
Sea X un G-conjunto dado por G X X. Denimos para
cada x X la orbita de x como
G(x) := gx [ g G .
El conjunto de todas las orbitas (conjunto cociente de X por la
relacion
G
) es denotado por GX := G(x) [ x X.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Estabilizador y Puntos jos
Denicion
El estabilizador de un elemento x X es el conjunto G
x
de
elementos de G que dejan jo a x, en otras palabras:
G := g G : gx = x.
Es claro que G
x
es un subgrupo de G, ya que si g, h G
x
entonces
gx = hx = x y tenemos:
(gh
1
)x = (gh
1
)hx = (gh
1
h)x = gx = x.
Denicion
En una accion de grupo
G
X, denimos el conjunto de los puntos
jos de g G como
X
g
:= x X [ gx = x .
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Estabilizador y Puntos jos
Denicion
El estabilizador de un elemento x X es el conjunto G
x
de
elementos de G que dejan jo a x, en otras palabras:
G := g G : gx = x.
Es claro que G
x
es un subgrupo de G, ya que si g, h G
x
entonces
gx = hx = x y tenemos:
(gh
1
)x = (gh
1
)hx = (gh
1
h)x = gx = x.
Denicion
En una accion de grupo
G
X, denimos el conjunto de los puntos
jos de g G como
X
g
:= x X [ gx = x .
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Estabilizador y Puntos jos
Denicion
El estabilizador de un elemento x X es el conjunto G
x
de
elementos de G que dejan jo a x, en otras palabras:
G := g G : gx = x.
Es claro que G
x
es un subgrupo de G, ya que si g, h G
x
entonces
gx = hx = x y tenemos:
(gh
1
)x = (gh
1
)hx = (gh
1
h)x = gx = x.
Denicion
En una accion de grupo
G
X, denimos el conjunto de los puntos
jos de g G como
X
g
:= x X [ gx = x .
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Ejemplos
1
Sea X el plano y G el grupo de las rotaciones alrededor de un
punto x
1
. La accion viene dada simplemente por gx = g(x).
Las orbitas son las circunferencias con centro en x
1
.
2
Un subgrupo U de G act ua en G por la multiplicacion de la
izquierda
U G G
(u, g) ug.
La orbita U(g) es la clase lateral derecha Ug := ug[u U
y G es la union disjunta de las diferentes orbitas Ug en UG
3
Sea Y un conjunto y sea G un grupo que act ua sobre un
conjunto X. Una accion de G sobre Y
X
esta dada por
G Y
X
Y
X
(g, f ) f g
1
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Ejemplos
1
Sea X el plano y G el grupo de las rotaciones alrededor de un
punto x
1
. La accion viene dada simplemente por gx = g(x).
Las orbitas son las circunferencias con centro en x
1
.
2
Un subgrupo U de G act ua en G por la multiplicacion de la
izquierda
U G G
(u, g) ug.
La orbita U(g) es la clase lateral derecha Ug := ug[u U
y G es la union disjunta de las diferentes orbitas Ug en UG
3
Sea Y un conjunto y sea G un grupo que act ua sobre un
conjunto X. Una accion de G sobre Y
X
esta dada por
G Y
X
Y
X
(g, f ) f g
1
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Ejemplos
1
Sea X el plano y G el grupo de las rotaciones alrededor de un
punto x
1
. La accion viene dada simplemente por gx = g(x).
Las orbitas son las circunferencias con centro en x
1
.
2
Un subgrupo U de G act ua en G por la multiplicacion de la
izquierda
U G G
(u, g) ug.
La orbita U(g) es la clase lateral derecha Ug := ug[u U
y G es la union disjunta de las diferentes orbitas Ug en UG
3
Sea Y un conjunto y sea G un grupo que act ua sobre un
conjunto X. Una accion de G sobre Y
X
esta dada por
G Y
X
Y
X
(g, f ) f g
1
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
N umero de

Orbitas
Regresar a Z
n
Lema de Cauchy-Frobeni us
El n umero de orbitas bajo la accion de grupo nita
G
X , esta dado
por el promedio de puntos jos, es decir,
[GX[ =
1
[G
[

gG
[X
g
[.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
N umero de

Orbitas
Regresar a Z
n
Lema de Cauchy-Frobeni us
El n umero de orbitas bajo la accion de grupo nita
G
X , esta dado
por el promedio de puntos jos, es decir,
[GX[ =
1
[G
[

gG
[X
g
[.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Estabilizador y Puntos Fijos
Sea
G
X una accion de grupo nita.
X
g
1
= x
1
, x
2
, . . . , x
l
1
, . . . , x
l
2
, . . . , x
l
si y solo si
g
1
G
x
1
, g
1
G
x
2
, . . . , g
1
G
x
l
1
, . . . , g
1
G
x
l
2
, . . . , g
1
G
x
l
.
X
g
2
= x
1
, x
2
, . . . , x
l
1
, . . . , x
l
2
si y solo si
g
2
G
x
1
, g
2
G
x
2
, . . . , g
2
G
x
l
1
, . . . , g
2
G
x
l
2
.
.
.
.
X
g
k
= x
1
, x
2
, . . . , x
l
1
si y solo si
g
k
G
x
1
, g
k
G
x
2
, . . . , g
k
G
x
l
1
.
Podemos visualizar que:

gG

xX
g
1 =

xX

gG
x
1
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Proposicion
Proposicion
Sea
G
X una accion de grupo nita. Entonces [G(x)[[G
x
[ = [G[
para todo x X.
Demostracion
Supongamos que G(x) = x
1
, . . . x
k
y que g
1
, . . . , g
k
son los
elementos de G tales que x
i
= g
i
x con i = 1, 2, . . . , k. Sean
ademas h
1
, . . . , h
l
los elementos de G
x
, es decir, h
j
x = x para
j = 1, . . . , l . Ahora probaremos que los productos g
i
h
j
son todos
distintos, es decir, g
i
h
j
= g
s
h
t
si y solo si i = s y j = t y lo
haremos analizando los siguientes casos:
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Proposicion
Proposicion
Sea
G
X una accion de grupo nita. Entonces [G(x)[[G
x
[ = [G[
para todo x X.
Demostracion
Supongamos que G(x) = x
1
, . . . x
k
y que g
1
, . . . , g
k
son los
elementos de G tales que x
i
= g
i
x con i = 1, 2, . . . , k. Sean
ademas h
1
, . . . , h
l
los elementos de G
x
, es decir, h
j
x = x para
j = 1, . . . , l . Ahora probaremos que los productos g
i
h
j
son todos
distintos, es decir, g
i
h
j
= g
s
h
t
si y solo si i = s y j = t y lo
haremos analizando los siguientes casos:
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Proposicion
Demostracion
Caso I. i ,= s y j = t.
Supongamos contrariamente que g
i
h
j
= g
s
h
j
, entonces aplicando
ambos productos a x tenemos
g
i
h
j
x = g
s
h
j
x g
i
x = g
s
x x
i
= x
s
y nalmente i = s !!
Caso II. i ,= s y j ,= t.
Supongamos contrariamente que g
i
h
j
= g
s
h
t
, entonces aplicando
ambos productos a x tenemos
g
i
h
j
x = g
s
h
t
x g
i
x = g
s
x x
i
= x
s
y nalmente i = s !!
Caso III. i = s y j ,= t.
Supongamos contrariamente que g
i
h
j
= g
i
h
t
, entonces
multiplicando ambos miembros de la igualdad por g
1
i
tenemos
g
1
i
g
i
h
j
= g
1
i
g
s
h
t
h
j
= h
t
y nalmente j = t !!
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Proposicion
Demostracion.
As, el conjunto de todos los g
i
h
j
tiene en total kl = [G(x)[[G
x
[
elementos.

Unicamente nos resta demostrar que los productos g
i
h
j
son todos los elementos de G. Para ello sea g G. Entonces, para
alg un i debe ser gx = x
i
= g
i
x, de donde g
1
i
gx = x. Esto
signica g
1
i
g G
x
, es decir, g
1
i
g = h
j
para alg un j y por ultimo
g = g
i
h
j
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Funci on Peso w
w(G(x)) := w(x)
Una funcion peso es una funcion w : X R donde R es el anillo
de los polinomios sobre Q. La funcion w debe ser constante en
cada G-orbita en X, es decir, w(x) = w(gx) para todo g G y
x X. Entonces tiene sentido denir el peso de una orbita G(x)
como el peso de un elemento arbitrario x de G(x).
w(G(x)) := w(x) (1)
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Teorema
Teorema
La suma de pesos de G-orbitas, denidos estos por la funcion peso
(1), bajo una accion de grupo nita
G
X, esta dada por

G\\X
w() =
1
[G[

gG

xX
g
w(x).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Teorema
Demostracion.

gG

xX
g
w(x) =

xX

gG
x
w(x) =

xX
[G
x
[w(x) =

xX
[G[
[G(x)[
w(x)
= [G[

G\\X

x
w(x)
[G(x)[
= [G[

G\\X

x
w()
[[
= [G[

G\\X
w().
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Acci on de Polya
Accion de Polya
Sea Y un conjunto y sea G un grupo que act ua sobre un conjunto
X. Una accion de G sobre Y
X
esta dada por
G Y
X
Y
X
(g, f ) f g
1
donde g es una permutacion que se obtiene cuando G act ua en X.
f g
1
es una funcion de X en Y nuevamente, dado que
(f g
1
(x)) = f (g
1
x) para todo x X. El conjunto de puntos
jos de g es el conjunto de todas las funciones que son constantes
en los ciclos de g (en los ciclos de descomposicion).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
N umero de

Orbitas en la Accion de Polya
Decimos que dos funciones f
1
, f
2
Y
X
son equivalentes, si y solo
si existe alg un T un subgrupo de S
X
tal que f
1
= f
2
.
Proposicion
Sean X y Y dos conjuntos nitos y G un subgrupo del grupo de
permutaciones de X. Consideremos la accion de Polya de G sobre
Y
X
. Entonces el n umero de orbitas viene dado por
[GY
X
[ =
1
[G[

gG
[Y[
c(g)
(2)
siendo c(g) el n umero de factores en la descomposicion de g en
producto de ciclos disjuntos.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
N umero de

Orbitas en la Accion de Polya
Demostracion.
Por el lema de Cauchy-Frobenius el n umero de orbitas es
1
|G|

gG
[Y
X
g
[. Ahora bien, Y
X
g
esta constituido por todas las
funciones f : X Y tales que f g
1
= f . Armamos que
f g
1
= f si y solo si f asigna el mismo valor a todos los
elementos de cada ciclo de g (es constante en los elementos de
cada ciclo). En efecto, supongamos que f g
1
= f y sea
(x
1
, . . . , x
t
) un ciclo de g. Entonces g(x
i
) = x
i
+ 1 para 1 i < t
y g(x
t
) = x
1
. En consecuencia, f (x
i
) = f (g
1
(x
i +1
)) para
1 i < t y f (x
t
) = f (g
1
(x
1
)) = f (x
1
). Recprocamente si f es
una funcion constante en cada ciclo de g, puesto que el elemento
g
1
(x) esta en el mismo ciclo que x para todo x X, tendremos
que f (g
1
(x)) = f (x). [Y[
c(g)
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Funci on Peso en la Acci on de P olya
SeaR = Q[x
1
, x
2
, . . . , x
r
] el anillo de los polinomios en r variables
con coecientes racionales y sea W : Y R una funcion
denida por W(f (x)) = x
f (x)
. Entonces podemos denir
w : Y
X
R como sigue:
w(f ) :=

xX
W(f (x)) =

xX
x
f (x)
, f Y
X
Es claro que w(f ) es un polinomio de grado [X[ en las variables
x
1
, x
2
, . . . , x
r
, y que el exponente de x
k
en w(f ) es el n umero de
puntos de X a los cuales se les ha asignado el valor k en la funcion
f . Por lo tanto, w(f ) es una funcion peso.

Esta es constante en
cada G-orbita en Y
X
, dado que la multiplicacion en R es
comutativa y aplicando cualquier elemento g G a una funcion f
conduce justo al reordenamiento de los terminos en el producto
causado por la permutacion g en X. En otras palabras, como g es
una biyeccion de X en X, cuando x toma todos los valores en X
tambien lo hace g
1
(x).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Teorema de P olya
Por lo tanto para cualquier g G tenemos:
w(gf ) =

xX
W(f (g
1
(x))) =

xX
W(f (x)) = w(f ).
Teorema de Polya
La suma de pesos de G-orbitas en Y
X
inducida por una accion de
grupo nita
G
X esta dada por

G\\Y
X
w() =
1
[G[

gG
|X|

i =1

yY
W(y)
i

i
(g)
, (3)
donde (
1
(g), . . . ,
|x|
(g)) es el ciclo tipo (g) de la permutacion
g.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Demostraci on del Teorema de P olya
Demostracion
Aplicando el teorema (1.1) a la accion de Polya (accion de G sobre
Y
X
) obtenemos

\\Y
X
w() =
1
[G[

gG

f Y
X
g
w(f ). (4)
Ahora bien, como vimos en la demostracion de la proposicion
(1.2), f Y
X
si y solo si f asigna el mismo valor a los elementos
de cada ciclo de g. Por lo tanto, si g se descompone en ciclos
c
1
, . . . , c

de longitud l
1
, . . . , l

y si f asigna el valor y
j
a los
elementos del ciclo c
j
, entonces w(f ) sera de la forma x
l
1
y
1
, . . . , x
l

.
Mas a un, w establece una correspondencia biyectiva entre los
monomios del tipo antedicho y las funciones f Y
X
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Demostraci on del Teorema de P olya
Demostracion
Por consiguiente, y recordando que hemos numerado los elementos
de Y = 1, . . . , r tenemos:

f Y
X
g
w(f ) =

x
l
1
y
1
, . . . , x
l

= (x
l
1
1
+ + x
l
1
r
)(x
l
2
1
+ + x
l
2
r
) (x
l

1
+ + x
l

r
)
=

yY
x
l
1
y

yY
x
l
2
y

yY
x
l

.
Cada sumatoria aparece tantas veces como ciclos de longitud i
aparezcan en la descomposicion de g, con i l
1
, . . . , l

.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Demostracion.
Por lo tanto, si
i
(g) es el n umero de ciclos de longitud i en dicha
descomposicion,entonces podemos generalizar el producto anterior
de la siguiente manera:

f Y
X
g
w(f ) =
|X|

i =1

yY
x
i
y

i
(g)
=
|X|

i =1

yY
W(y)
i

i
(g)
(5)
sustituyendo (5) en (4) concluimos la demostracion.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Polinomio Indicador de Ciclos
El teorema de Polya, motiva la denicion del polinomio indicador
de ciclos de una accion de grupo nita
G
X.

Este es el polinomio en
las indeterminadas z
1
, . . . , z
|X|
que recauda para todo g G, la
informacion sobre el ciclo tipo (g) de la permutacion inducida g
en X de una manera util. Este polinomio esta dado por
C(G, X) :=
1
[G[

gG
|X|

i =1
z

i
(g)
i
.
Comparando esta denicion con la formula (3), notamos que la
suma de pesos de G-orbitas en Y
X
puede ser calculado desde
C(G, X) remplazando cada variable z
i
por

yY
W(y)
i
.
Indicamos esta sustitucion de la siguiente manera:
C(G, X; z
i
:=

yY
W(y)
i
).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Polinomio Indicador de Ciclos
Usando esta notacion podemos reformular el teorema de Polya
nuevamente. Para una accion de grupo nita
G
X, un conjunto
nito Y, una funcion W : Y R donde R es el anillo de los
polinomios sobre Q y una funcion peso w : Y
X
R denida por
(11), la suma de pesos de G-orbitas para la accion de Polya es

G\\Y
X
w() = C(G, X; z
i
:=

yY
W(y)
i
).
Para aplicar el teorema de Polya debemos determinar el polinomio
indicador de ciclos. Actualmente no existe una rutina general para
calcular dicho polinomio, el metodo a usar depende del grupo y de
la accion de grupo. Para grupos de orden peque no es posible
calcular el ciclo tipo (g) de todas las permutaciones inducidas.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Etiquetando la Escala Temperada
Figura: Cada tono con su etiqueta.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Z/nZ
Consideremos a nZ(nZ := nz [ z Z) como un subgrupo de
(Z, +). Denimos una accion de grupo de la manera siguiente:
nZ Z Z
(nz, i ) i + nz.
Ir a Cauchy-Frobeni us
i + nZ
La orbita de i denotada por i + nZ es la clase de la forma:
i + nZ = i + nz [ z Z.
El conjunto de orbitas denotado por Z/nZ = i + nZ [ 0 i < n
se compone de exactamente n elementos.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Z/nZ
Consideremos a nZ(nZ := nz [ z Z) como un subgrupo de
(Z, +). Denimos una accion de grupo de la manera siguiente:
nZ Z Z
(nz, i ) i + nz.
Ir a Cauchy-Frobeni us
i + nZ
La orbita de i denotada por i + nZ es la clase de la forma:
i + nZ = i + nz [ z Z.
El conjunto de orbitas denotado por Z/nZ = i + nZ [ 0 i < n
se compone de exactamente n elementos.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Cromatica
Figura: Cada tono con su etiqueta y la clase a la que pertenecen.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Z/nZ
En el conjunto Z/nZ podemos denir dos operaciones binarias y
estableciendo
(i + nZ) (j + nZ) := (i + j ) + nZ
y la multiplicacion
(i + nZ) (j + nZ) := ij + nZ.
Usaremos la notacion Z
n
en lugar de Z/nZ. As, llegamos a la
conclusion de que la n-escala es el conjunto Z
n
junto con las dos
operaciones binarias + y , que es un anillo conmutativo con 1.

Este es el anillo de clases residuales (anillo cociente) de los enteros


modulo n. El conjunto de unidades en Z
n
esta dado por
Z

n
= a Z
n
[mcd(a, n) = 1
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
n-escala Z
12
Regresar a Transposici on
Regresar a Inversi on
Figura: 12-escala Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
n-escala Z
12
Regresar a Transposici on
Regresar a Inversi on
Figura: 12-escala Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
n-escala Z
12
Regresar a Transposici on
Regresar a Inversi on
Figura: 12-escala Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
n-escala Z
12
Regresar a Transposici on
Regresar a Inversi on
Figura: 12-escala Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
n-escala Z
12
Regresar a Transposici on
Regresar a Inversi on
Figura: 12-escala Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
n-escala Z
12
Regresar a Transposici on
Regresar a Inversi on
Figura: 12-escala Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Z
12
+ 0 1 2 3 4 5 6 7 8 9 10 11
0 0 1 2 3 4 5 6 7 8 9 10 11
1 1 2 3 4 5 6 7 8 9 10 11 0
2 2 3 4 5 6 7 8 9 10 11 0 1
3 3 4 5 6 7 8 9 10 11 0 1 2
4 4 5 6 7 8 9 10 11 0 1 2 3
5 5 6 7 8 9 10 11 0 1 2 3 4
6 6 7 8 9 10 11 0 1 2 3 4 5
7 7 8 9 10 11 0 1 2 3 4 5 6
8 8 9 10 11 0 1 2 3 4 5 6 7
9 9 10 11 0 1 2 3 4 5 6 7 8
10 10 11 0 1 2 3 4 5 6 7 8 9
11 11 0 1 2 3 4 5 6 7 8 9 10
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Z
12
0 1 2 3 4 5 6 7 8 9 10 11
0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 1 2 3 4 5 6 7 8 9 10 11
2 0 2 4 6 8 10 0 2 4 6 8 10
3 0 3 6 9 0 3 6 9 0 3 6 9
4 0 4 8 0 4 8 0 4 8 0 4 8
5 0 5 10 3 8 1 6 11 4 9 2 7
6 0 6 0 6 0 6 0 6 0 6 0 6
7 0 7 2 9 4 11 6 1 8 3 10 5
8 0 8 4 0 8 4 0 8 4 0 8 4
9 0 9 6 3 0 9 6 3 0 9 6 3
10 0 10 8 6 4 2 0 10 8 6 4 2
11 0 11 10 9 8 7 6 5 4 3 2 1
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Transposici on T
12-escala
Introducimos el operador transposicion por un tono T, como la
biyeccion
T : Z Z, z T(z) := z + 1 en Z.
Aplicando este operador a los elementos de la P-clase i + nZ,
obtenemos todos los elementos de la P-clase (i + 1) + nZ. En
otras palabras, T(i +nZ) = (i +1) +nZ. Por esa razon, es posible
introducir el operador por una P-clase en el conjunto Z
n
que
tambien denotamos con la letra T. Entonces T es la siguiente
funcion
T : Z
n
Z
n
, i T(i ) := i + 1.
Es necesario mencionar que i + 1 Z
n
signica i + 1 mod n. Esta
funcion es una biyeccion en Z
n
, en otras palabras es una
permutacion de Z
n
, y su descomposicion cclica estandar es de la
forma (0, 1 . . . , n 1). Por lo tanto T es un ciclo de longitud n.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Transposici on T
12-escala
Introducimos el operador transposicion por un tono T, como la
biyeccion
T : Z Z, z T(z) := z + 1 en Z.
Aplicando este operador a los elementos de la P-clase i + nZ,
obtenemos todos los elementos de la P-clase (i + 1) + nZ. En
otras palabras, T(i +nZ) = (i +1) +nZ. Por esa razon, es posible
introducir el operador por una P-clase en el conjunto Z
n
que
tambien denotamos con la letra T. Entonces T es la siguiente
funcion
T : Z
n
Z
n
, i T(i ) := i + 1.
Es necesario mencionar que i + 1 Z
n
signica i + 1 mod n. Esta
funcion es una biyeccion en Z
n
, en otras palabras es una
permutacion de Z
n
, y su descomposicion cclica estandar es de la
forma (0, 1 . . . , n 1). Por lo tanto T es un ciclo de longitud n.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Transposici on T
12-escala
Introducimos el operador transposicion por un tono T, como la
biyeccion
T : Z Z, z T(z) := z + 1 en Z.
Aplicando este operador a los elementos de la P-clase i + nZ,
obtenemos todos los elementos de la P-clase (i + 1) + nZ. En
otras palabras, T(i +nZ) = (i +1) +nZ. Por esa razon, es posible
introducir el operador por una P-clase en el conjunto Z
n
que
tambien denotamos con la letra T. Entonces T es la siguiente
funcion
T : Z
n
Z
n
, i T(i ) := i + 1.
Es necesario mencionar que i + 1 Z
n
signica i + 1 mod n. Esta
funcion es una biyeccion en Z
n
, en otras palabras es una
permutacion de Z
n
, y su descomposicion cclica estandar es de la
forma (0, 1 . . . , n 1). Por lo tanto T es un ciclo de longitud n.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Transposici on T
12-escala
Introducimos el operador transposicion por un tono T, como la
biyeccion
T : Z Z, z T(z) := z + 1 en Z.
Aplicando este operador a los elementos de la P-clase i + nZ,
obtenemos todos los elementos de la P-clase (i + 1) + nZ. En
otras palabras, T(i +nZ) = (i +1) +nZ. Por esa razon, es posible
introducir el operador por una P-clase en el conjunto Z
n
que
tambien denotamos con la letra T. Entonces T es la siguiente
funcion
T : Z
n
Z
n
, i T(i ) := i + 1.
Es necesario mencionar que i + 1 Z
n
signica i + 1 mod n. Esta
funcion es una biyeccion en Z
n
, en otras palabras es una
permutacion de Z
n
, y su descomposicion cclica estandar es de la
forma (0, 1 . . . , n 1). Por lo tanto T es un ciclo de longitud n.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Ir a 12-escala
Denimos el operador inversion con respecto a r , como la siguiente
biyeccion
I
r
: Z Z, z I
r
(z) := r (z r ) = 2r z
en Z.
Si r = z
0
entonces I
r
(z
0
) = 2z
0
z
0
= z
0
y
I
r
(z
0
+ k) = 2z
0
(z
0
+ k) = (z
0
k). Si r = z
0
+
1
2
entonces
I
r
(z
0
) = 2z
0
+ 1 z
0
= z
0
+ 1, I
r
(z
0
+ 1) = z
0
y
I
r
(z
0
+ k) = 2z
0
+ 1 (z
0
+ k) = z
0
(k 1). Aplicando I
r
a
todos los elementos de la P-clase (2r i ) + nZ obtenemos todos
los elementos en la P-clase i + nZ. En otras palabras,
I
r
((2r i ) + nZ) = i + nZ.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Ir a 12-escala
Denimos el operador inversion con respecto a r , como la siguiente
biyeccion
I
r
: Z Z, z I
r
(z) := r (z r ) = 2r z
en Z.
Si r = z
0
entonces I
r
(z
0
) = 2z
0
z
0
= z
0
y
I
r
(z
0
+ k) = 2z
0
(z
0
+ k) = (z
0
k). Si r = z
0
+
1
2
entonces
I
r
(z
0
) = 2z
0
+ 1 z
0
= z
0
+ 1, I
r
(z
0
+ 1) = z
0
y
I
r
(z
0
+ k) = 2z
0
+ 1 (z
0
+ k) = z
0
(k 1). Aplicando I
r
a
todos los elementos de la P-clase (2r i ) + nZ obtenemos todos
los elementos en la P-clase i + nZ. En otras palabras,
I
r
((2r i ) + nZ) = i + nZ.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Ir a 12-escala
Denimos el operador inversion con respecto a r , como la siguiente
biyeccion
I
r
: Z Z, z I
r
(z) := r (z r ) = 2r z
en Z.
Si r = z
0
entonces I
r
(z
0
) = 2z
0
z
0
= z
0
y
I
r
(z
0
+ k) = 2z
0
(z
0
+ k) = (z
0
k). Si r = z
0
+
1
2
entonces
I
r
(z
0
) = 2z
0
+ 1 z
0
= z
0
+ 1, I
r
(z
0
+ 1) = z
0
y
I
r
(z
0
+ k) = 2z
0
+ 1 (z
0
+ k) = z
0
(k 1). Aplicando I
r
a
todos los elementos de la P-clase (2r i ) + nZ obtenemos todos
los elementos en la P-clase i + nZ. En otras palabras,
I
r
((2r i ) + nZ) = i + nZ.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Ir a 12-escala
Denimos el operador inversion con respecto a r , como la siguiente
biyeccion
I
r
: Z Z, z I
r
(z) := r (z r ) = 2r z
en Z.
Si r = z
0
entonces I
r
(z
0
) = 2z
0
z
0
= z
0
y
I
r
(z
0
+ k) = 2z
0
(z
0
+ k) = (z
0
k). Si r = z
0
+
1
2
entonces
I
r
(z
0
) = 2z
0
+ 1 z
0
= z
0
+ 1, I
r
(z
0
+ 1) = z
0
y
I
r
(z
0
+ k) = 2z
0
+ 1 (z
0
+ k) = z
0
(k 1). Aplicando I
r
a
todos los elementos de la P-clase (2r i ) + nZ obtenemos todos
los elementos en la P-clase i + nZ. En otras palabras,
I
r
((2r i ) + nZ) = i + nZ.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Ir a 12-escala
Denimos el operador inversion con respecto a r , como la siguiente
biyeccion
I
r
: Z Z, z I
r
(z) := r (z r ) = 2r z
en Z.
Si r = z
0
entonces I
r
(z
0
) = 2z
0
z
0
= z
0
y
I
r
(z
0
+ k) = 2z
0
(z
0
+ k) = (z
0
k). Si r = z
0
+
1
2
entonces
I
r
(z
0
) = 2z
0
+ 1 z
0
= z
0
+ 1, I
r
(z
0
+ 1) = z
0
y
I
r
(z
0
+ k) = 2z
0
+ 1 (z
0
+ k) = z
0
(k 1). Aplicando I
r
a
todos los elementos de la P-clase (2r i ) + nZ obtenemos todos
los elementos en la P-clase i + nZ. En otras palabras,
I
r
((2r i ) + nZ) = i + nZ.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Ir a 12-escala
Denimos el operador inversion con respecto a r , como la siguiente
biyeccion
I
r
: Z Z, z I
r
(z) := r (z r ) = 2r z
en Z.
Si r = z
0
entonces I
r
(z
0
) = 2z
0
z
0
= z
0
y
I
r
(z
0
+ k) = 2z
0
(z
0
+ k) = (z
0
k). Si r = z
0
+
1
2
entonces
I
r
(z
0
) = 2z
0
+ 1 z
0
= z
0
+ 1, I
r
(z
0
+ 1) = z
0
y
I
r
(z
0
+ k) = 2z
0
+ 1 (z
0
+ k) = z
0
(k 1). Aplicando I
r
a
todos los elementos de la P-clase (2r i ) + nZ obtenemos todos
los elementos en la P-clase i + nZ. En otras palabras,
I
r
((2r i ) + nZ) = i + nZ.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Inversi on I
Especialmente estamos interesados en r = z
0
= 0 entonces
denimos el operador I , inversion con respecto a la P-clase 0,
como una funcion del conjunto Z
n
en el mismo por
I : Z
n
Z
n
, i I (i ) := i .
Es necesario mencionar que i Z
n
signica i mod n.

Esta es
una funcion biyectiva en Z
n
, por lo tanto es una permutacion de
Z
n
y el ciclo de descomposicion estandar es de la forma
(0)(1, n 1)(2, n 2).... Dependiendo de n la permutacion I se
descompone en dos puntos jos y
n2
2
transposiciones si n es par,
a un punto jo y
n1
2
transposiciones si n es impar.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Grupos Simetricos
Con estas dos operaciones denimos dos grupos simetricos en la
n-escala Z
n
. Primero, consideremos el grupo de permutaciones
T).

Este consiste de todas las potencias T
i
para 1 i n, el
operador T
n
es el elemento identidad. Dado que T transpone por
una P-clase, T
i
transpone por i P-clases. As, el grupo T)
describe todas las posibles transposiciones en una n-escala. Este es
un grupo cclico de orden n que despues denotaremos como C
n
.
El grupo T, I ) consiste de las posibles combinaciones de las
potencias de T con el operador inversion I . Este es el grupo diedro
D
n
de orden 2n para n 3. es facil vericar que I T = T
1
I y
que todos los elementos de T, I ) pueden ser escritos como T
k
I
j
tal que k 0, 1, . . . , n 1 y j 0, 1.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Grupos Simetricos en Z
12
Algunas veces se aplica otro tipo de simetra en Z
12
, esta simetra
es la llamada simetra cuarta-circular Q, que esta denida por
Q : Z
12
Z
12
i Q(i ) := 5i .
Es necesario mencionar que 5i Z
12
signica 5i mod 12. Como
podemos ver en la tabla de operaciones de Z
12
, esta funcion es una
biyeccion en Z
12
, dado que 5 es un elemento unidad en Z
12
. Por lo
tanto, Q es una permutacion de Z
12
y el ciclo de descomposicion
estandar es de la forma (0)(1, 5)(2, 10)(3)(4, 8)(6)(7, 11)(9).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Grupos Simetricos de Z
12
Aplicando Q a la escala cromatica tenemos la secuencia de todos
los cuartos 0, 5, 10, 3, . . .. Junto con Q usualmente los operadores
T e I tambien son tomados en consideracion, de tal manera que
terminamos con el grupo de permutaciones T, I , Q), actuando en
Z
12
. El producto I Q igual a Q I que es llamado el simetrico
quinto-circular. Dado que Q T = T
5
Q todos los elementos de
este grupo pueden ser expresados como
T
k
I
j
Q
l
tal que k 0, 1, . . . , 11 y j , l 0, 1. Por lo tanto, el grupo
T, I , Q) consiste de 48 permutaciones. Este grupo es el conjunto
de todas las funciones i a i + b[a Z

12
, b Z
12
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Grupos Simetricos de Z
12
Hemos visto que Z

12
, el conjunto de las unidades en Z
12
,
esta dado por 1, 5, 7, 11. La multiplicacion i 1i es el operador
identidad, i 5i es la simetra cuarta circular Q, i 7i es la
simetra quinta-circular I Q y i 11i es la inversion I . As, hay
una segunda posible descripcion de la accion de estos grupos de
permutaciones sobre Z
12
. Cada permutacion en T, I , Q) puede ser
expresado como una funcion i ai + b tal que a Z

12
, b Z
12
y
cada una de estas funciones es un elemento de T, I , Q).
Podemos generalizar esta aproximacion para denir un grupo
simetrico en la n-escala Z
n
para n arbitrario. Para a Z

n
y b Z
n
la funcion

a,b
: Z
n
Z
n
(6)
i
a,b
(i ) := ai + b (7)
es una biyeccion en Z
n
,
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Grupos Simetricos de Z
12
y el conjunto A
1
(Z
n
) :=
a,b
[a Z

n
, b Z
n
es un grupo de
permutaciones en Z
n
. Este es llamado el grupo de todas las
funciones anes de Z
n
en Z
n
. El conjunto A
1
(Z
n
) no es vaco
dado que
1,0
, la identidad en Z
n
, esta en A
1
(Z
n
). Sea

a,b
A
1
(Z
n
), entonces el inverso (en el grupo simetricoS
Z
n
) de

a,b
esta tambien en A
1
(Z
n
) dado que puede ser expresado como

a
1
,a
1
b
. Finalmente, para c Z

n
, d Z
n
el producto
c,d

a,b
esta nuevamente en A
1
(Z
n
), dado que

c,d

a,b
(i ) =
c,d
(
a,b
(i )) =
c,d
(ai + b) = c(ai + b) + d =
(ca)i + (cb + d) =
ca,cb+d
(i ), luego ca Z

n
y cb + d Z
n
.
Deducimos que A
1
(Z
n
) es un grupo de permutaciones y este
act ua en Z
n
como se describe en [6]. Para n = 12 el grupo
A
1
(Z
12
) coincide con T, I , Q).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Polinomio Indicador de Ciclos
Lema
El polinomio indicador de ciclos de los grupos de permutaciones C
n
y D
n
estan dados por
C(C
n
, n) =
1
n

d|n
(n/d)z
d
n/d
,
y
C(C
n
, Z
n
) =
1
2
C(C
n
, Z
n
)+

1
2
z
1
z
(n1)/2
2
si n es impar
1
4
(z
2
1
z
(n2)/2
2
+ z
n/2
2
) si n es par
donde es la funcion de Euler.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
En el caso m = n, G. Mazzola sugiere investigar el siguiente grupo
G actuando en Z
2
n
.
G := T,
A
[A U, P, D
l
[l Z

n
),
donde
T : Z
2
n
Z
2
n
(i , j ) T(i , j ) := (i , j + 1)

A
: Z
2
n
Z
2
n
(i , j )
A
(i , j ) := A

i
j

,
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
y
U :=

1 1
0 1

,
P :=

0 1
1 0

,
D
l
:=

l 0
0 1

,
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
T sigue siendo la transposicion por una P-clase, la matriz U
describe un arpegio, dado que para k n el k-acorde
(x, y
1
), (x, y
n
), . . . , (x, y
k
) que es ejecutado en el pulso x, es
transformado en
(x + y
1
, y
1
), (x + y
2
, y
2
), . . . , (x + y
k
, y
k
).
Las matrices D
l
denen una augmetation dado que el ritmo
(x
1
, y), (x
2
, y), . . . , (x
k
, y) que es ejecutado en la P-clase y es
remplazado por el ritmo
(lx
1
, y), (lx
2
, y), . . . , (lx
k
, y).
La matriz P describe una cambio de las propiedades rtmico y
tonal. Mas a un, el producto
P
T
P
es el movimiento cclico S
por un pulso, S(i , j ) = (1 + i , j ).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
Lema
El grupo G de operaciones simetricas de motivos introducido
anteriormente, es el grupo A
2
(Z
n
) de todas las funciones anes
de Z
2
n
en Z
2
n
.
Generalizando la aproximacion anterior, el grupo de todas las
simetras de Z
m
Z
n
debe describirse como el conjunto de todos
las funciones de la forma
Z
m
Z
n
Z
m
Z
n
(i , j )
A,b
(i , j ) := A

i
j

+ b :=

a
11
i + a
12
j + b
1
a
21
i + a
22
j + b
2

,
donde A es una matriz representando un automorsmo de grupos
de Z
m
Z
n
y b es un elemento arbitrario de Z
m
Z
n
.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
para n = m =
r
i =1
p
a
i
i
la accion de A
2
(Z
n
) en Z
2
n
puede ser
remplazado por la accion del producto directo
r
i =1
a
2
(Z
p
a
i
i
) en

r
i =1
a
2
Z
2
p
a
i
i
y el polinomio indicador de ciclos puede ser calculado
como
C(A
2
(Z
n
), Z
2
n
) =
r

i =1
C(A
2
(Z
p
a
i
i
), Z
p
a
i
i
).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
1
663552
(z
144
1
+ 18z
72
1
z
36
2
+ 36z
48
1
z
48
2
+ 24z
48
1
z
32
3
+ 72z
36
1
z
54
2
+
48z
36
1
z
18
2
z
18
4
+648z
24
1
z
60
2
+432z
24
1
z
12
2
z
16
3
z
8
6
+192z
18
1
z
9
2
z
27
4
+9z
16
1
z
64
2
+
72z
16
1
z
16
2
z
16
6
+54z
16
1
z
32
4
+108z
16
1
z
16
8
+2592z
12
1
z
66
2
+1728z
12
1
z
30
2
z
18
4
+
1728z
12
1
z
18
2
z
8
3
z
12
6
+1152z
12
1
z
6
2
z
8
3
z
6
4
z
4
6
z
4
12
+128z
9
1
z
45
3
+384z
9
1
z
9
3
z
18
6
+
162z
8
1
z
68
2
+ 1296z
8
1
z
20
2
z
16
6
+ 972z
8
1
z
4
2
z
32
4
+ 1944z
8
1
z
4
2
z
16
8
+
6912z
6
1
z
15
2
z
27
4
+ 468z
6
1
z
3
2
z
4
3
z
9
4
z
2
6
z
6
12
+ 648z
4
1
z
70
2
+ 432z
4
1
z
34
2
z
18
4
+
5184z
4
1
z
22
2
z
16
6
+3456z
4
1
z
10
2
z
6
4
z
8
6
z
4
12
+3888z
4
1
z
6
2
z
32
4
+7776z
4
1
z
6
2
z
16
8
+
2592z
4
1
z
2
2
z
34
4
+5184z
4
1
z
2
2
z
2
4
z
16
8
+4608z
3
1
z
3
2
z
15
3
z
15
6
+13824z
3
1
z
3
2
z
3
3
z
21
6
+
3072z
3
1
z
47
3
+ 9216z
3
1
z
11
3
z
18
6
+ 1728z
2
1
z
17
2
z
27
4
+ 13824z
2
1
z
5
2
z
9
4
z
4
6
z
6
12
+
10368z
2
1
z
2
z
35
4
+20736z
2
1
z
2
z
3
4
z
16
8
+1152z
1
z
4
2
z
5
3
z
20
6
+3456z
1
z
4
2
z
3
z
22
6
+
9216z
1
z
2
z
5
3
z
21
6
+ 27648z
1
z
2
z
3
z
23
6
+ 6912z
1
z
5
3
z
2
4
z
10
12
+
13824z
1
z
5
3
z
8
z
5
24
+ 20736z
1
z
3
z
2
4
z
2
6
z
10
12
+ 41472z
1
z
3
z
2
6
z
8
z
5
24
+
3174z
72
2
+ 2208z
36
2
z
18
4
+ 6624z
24
2
z
16
6
+ 4608z
12
2
z
6
4
z
8
6
z
4
12
+
3726z
8
2
z
32
4
+ 7452z
8
2
z
16
8
+ 2592z
4
2
z
34
4
+ 5184z
4
2
z
2
4
z
16
8
+ 7224z
48
3
+
1008z
24
3
z
12
6
+ 9288z
16
3
z
16
6
+ 25536z
12
3
z
18
6
+ 2688z
12
3
z
6
6
z
6
12
+
1296z
8
3
z
20
6
+ 10752z
6
3
z
3
6
z
9
12
+ 32832z
4
3
z
22
6
+ 3456z
4
3
z
10
6
z
6
12
+
13824z
2
3
z
5
6
z
9
12
+38400z
36
4
+36864z
12
4
z
8
12
+41472z
4
4
z
16
8
+8832z
24
6
+
6144z
12
6
z
6
12
+ 39936z
18
8
+ 18432z
6
8
z
4
24
+ 49152z
12
12
+ 24576z
6
24
).
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica
Modelando la Escala Musical
Accion de un Grupo en un Conjunto
Enumeracion Bajo Accion de grupos
La n-escala Z
n
.
Aplicacion a la Teora de la M usica
Motivos
Remplazando la indeterminante Z
i
in C(A
2
(Z
12
), Z
2
12
) por 1 + z
i
vemos que el coeciente de z
k
es el n umero de k-motivos en
Z
12
Z
12
. Para valores peque nos de k, los n umeros de k-motivos
son: 1 + z + 5z
2
+ 26z
3
+ 216z
4
+ 2024z
5
+ 27806z
6
+
417209z
7
+ 6345735z
8
+ 90590713z
9
+ 1190322956z
10
+. . .. Este
polinomio se debe leer de la siguiente manera: Hay exactamente un
1-motivo, cinco 2-motivos, veintiseis 3-motivos, etc.
Adan Martnez Martnez Enumeracion y Construccion en la Teora de la M usica