particiones
gonzalocaolabora@yahoo.es
September 2017
1 Introduccion
Definicion 1.1. Sea G un grupo y sea V un espacio vectorial. Una aplicacion
: G GL(V ) es una representacion de G en V si se verifica
1 = id
a1 = 1
a
1
Si tenemos una representacion de G, tenemos una representacion para
cualquier subgrupo de G, simplemente restringiendola al subgrupo.
Si V es C-espacio de dimension 1, estamos enviando cada a G a una
funcion f (x) = ax de una variable. Como a es raz de la unidad (unico
autovalor), y las races de la unidad son isomorfas al grupo cclico, la
representacion se puede ver como un morfismo de grupos G C|G| .
El signo de una permutacion se puede ver como una representacion unidi-
mensional Sn C que asigna id a permutaciones pares y id a permuta-
ciones impares.
Definicion 1.5. Si tenemos dos representaciones 1 : G V1 , 2 : G V2
definimos su suma directa como : G V1 V2 dada por
2
g es un isomorfismo de espacios vectoriales.
g1a = 2a g para todo a G.
Dos representaciones equivalentes pueden ser consideradas como la misma salvo
por un cambio de coordenadas.
Teorema 1.10. Consideremos : G GL(V ), : G GL(W ) representa-
ciones irreducibles sobre C-espacios vectoriales, tales que existe g : V W con
ga = a g para todo a G. Entonces,
Si y no son equivalentes, g = 0
Si = , entonces g = c id, con c C
Proof. La primera observacion de la igualdad ga = a g es que ker(g) es in-
variante por y Im(g) es invariante por . Como ambas representaciones son
irreducibles, estos subespacios han de ser el vaco o el total. Ahora bien, si
ker(g) = V o si Im(g) = 0, tenemos g = 0, como queramos. El otro caso es
ker(g) = 0 y Im(g) = W . Pero en ese caso g es isomorfismo, y por tanto y
equivalentes, lo cual contradice el enunciado.
Si y no son equivalentes, f = 0.
T r(f )
Si = , entonces f = m id
T r(f )
y por lo tanto c = m .
3
2 Funcion caracterstica
Definicion 2.1. Sea una representacion sobre un C-espacio vectorial, defin-
imos su funcion caracterstica : G C como
(a) = T r(a )
Como f es una funcion cualquiera, cada termino que acompane a un fj,k debe ser
nulo, para que la expresion se anule en todas las posibles funciones f . Ademas,
recordemos que por 2.3, podemos intercambiar la matriz inversa por la simetrica
conjugada. As, obtenemos
1 X
(a,i,j )(a,k,l ) = 0i,l
n
aG
4
Proposicion 2.5. Si es una representacion irreducible y su funcion carac-
terstica, entonces (|) = 1.
La demostracion de esta proposicion es analoga a la anterior y se deja como
ejercicio.
5
i
Por hipotesis (i |) = 0. Consideremos f i =
P
aG (a) a , que por la
i
hipotesis, verifica T r(f ) = 0. Pero ademas, tenemos que
X X
b f i 1
b = (a) b a 1
b = (bab1 ) bab1 = f i
aG aG
6
Ejemplo 3.2. Si consideramos n = 4, tenemos P(n) = 5 que se corresponden
con 4, 3 + 1, 2 + 2, 2 + 1 + 1 y 1 + 1 + 1 + 1. En la primera clase encontraramos
permutaciones como (1234) o (3241), que son 4-ciclos. En la segunda clase,
permutaciones con un 3-ciclo y un 1-ciclo (punto fijo), como (413). En el tercer
grupo, habra permutaciones como (42)(31), en el cuarto grupo estaran las
trasposiciones y en el quinto unicamente estara la identidad.
Ahora lo que nos interesera es construir una representacion del grupo simetrico
para cada particion de n, = (1 , . . . k ). De este modo, es logico que con-
struyamos los objetos sobre los que actue Sn en funcion de . La manera
mas natural es, para cada , considerar las posibles particiones del conjunto
{1, 2, . . . n} que tengan la forma de . Dejaremos que cada a Sn actue direc-
tamente permutando los elementos en la particion.
7
Observacion 3.7. Sea T una tabla de Young, a = (i, j) Sn una trasposicion.
Tenemos que a (T ) = b (c (d (T ))), donde b y d son permutaciones sobre una
fila, y c es una trasposicion sobre una columna. Basta considerar un elemento
k en la fila de i y columna de j (o viceversa) y ver que (i, j) = (k, i)(i, j)(j, k).
Es importante ver que cuando decimos que c actua sobre una columna, no nos
referimos a una columna de T , sino a una columna de donde actua, es decir,
una columna de d (T ).
Definicion 3.8. Dada una tabla de Young T , definimos los subgrupos de Sn ,
F (T ) y C(T ), o estabilizadores de T por filas y columnas. Dichos subgrupos son
los subgrupos de permutaciones que actuan en T permutando solo elementos de
la misma fila, o de la misma columna, respectivamente
Lemma 3.9. Ahora podemos ver como se comportan estos estabilizadores re-
specto de nuestra representacion . Tenemos que C(a (T )) = aC(T )a1 y
F (a (T )) = aF (T )a1 .
Proof. Sea b C(a (T )), esto quiere decir que i, tenemos que b(i) esta en la
misma columna de i en a (T ). Por lo tanto, son la imagen por a de elementos
de la misma columna de T . Es decir, a1 (b(i)) y a1 (i) estan en la misma
columna de T . Haciendo un cambio de variable j = a1 esto es que (a1 ba)(j)
y j esten en la misma columna de T , j. Por tanto, esto es que a1 ba C(T ),
es decir, que b aC(T )a.
Nuestro objetivo ahora sera estudiar sobre W . Como en la teora general
(seccion 1), sera muy interesante definir estructuras que se correspondan con
sumatorios de acciones de nuestra representacion.
Definicion 3.10. Dada una tabla de Young T , definimos la aplicacion lineal
f que actua sobre una tabla y un tabloide como sigue
X
f ({T 0 }, [T ]) = sgn(a)a ([T ])
aC(T 0 )
8
donde hemos hecho el cambio de variable c = bab1 y hemos utilizado el lema
3.9 para bC(T )b1 = C(b (T )).
Proposicion 3.12. Por otro lado, estudiando f ({T 0 }, [T ]) podemos ver que
f ({T 0 }, [T ]) = f ({T 0 }, [T 0 ]).
Proof. Consideremos la permutacion que lleva T 0 a T , sea a Sn . Podemos
factorizar a como trasposiciones, y a su vez la observacion 3.7 nos dice que
podemos factorizar estas como trasposiciones que actuen en una fila o en una
columna. Por tanto, basta probarlo para estas. Si T = b (T 0 ) y b es trasposicion
por filas, es trivial, pues [T ] = [T 0 ]. Si T = c (T 0 ) y c es trasposicion por
columnas de T 0 , como T y T 0 tienen las mismas columnas, c C(T 0 y por tanto
X
f ({T 0 }, [T ]) = sgn(a)ac [T 0 ] =
aC(T 0 )
X
sgn(ac)ac [T 0 ] = f ({T 0 }, [T 0 ])
acC(T 0 )
En el caso general nos apareceran tantos signos menos como trasposiciones por
columnas, de ah el signo .
Una vez probadas estas dos proposiciones, queda justificada la construccion
de f . De hecho, ya tenemos suficiente para encontrar un subespacio V in-
variante, y ver que es irreducible, solo se trata de ordenar nuestros resultados
adecuadamente.
9
Teorema 3.16. Los modulos de Specht S admiten como base la de los politabloides
generados por tablas ordenadas por filas y columnas. A dichas tablas las llamare-
mos tablas estandard.
10