PI-Expoente de Álgebras Associativas 2013 - RenataAlvesdaSilva

Universidade de Braslia
Instituto de Cincias Exatas

Departamento de Matemtica Dissertao apresentada ao Corpo Docente do Programa de Ps-Graduao em Matemtica-UnB como requisito parcial para a obteno do ttulo de Mestre em Matemtica Orientadora: Profa . Irina Sviridova
PI-expoente de lgebras Associativas
Renata Alves da Silva
Braslia, 24 de janeiro de 2013
Aos meus pais, Nivaldo e Natlia.
Agradecimentos
A Deus por mais esta conquista. Sem ele, nada disso seria possvel. minha famlia pelo amor incondicional. Especialmente aos meus pais, Natlia Alves de Souza Brito Pereira e Nivaldo Pereira da Silva, pelo carinho, pelo cuidado e pela conana depositada em mim. Vocs so o meu maior amor. Aos meus irmos, Tailinny Alves da Silva e Rodrigo Alves da Silva, pelo amor, pela conana e respeito. Aos meus sobrinhos, Joo Victor e Joo Pedro, pela alegria que trouxeram nossa famlia. minha cunhada, Tas, pela amizade e carinho. Aos meus tios e primos que tanto me incentivaram e me ajudaram. minha tia Josa, pela conana, pelo amor e pela amizade. Ao grupo de orao pelo apoio, pela fora e pelos momentos to agradveis que passamos juntos. minha orientadora, Irina Sviridova, exemplo de uma prossional ntegra e comprometida. Agradeo por respeitar as minhas limitaes, por todos os ensinamentos, pela compreenso, pelo comprometimento e dedicao a este trabalho. Muito obrigada! Aos professores da banca examinadora, Ana Cristina Vieira e Jos Antnio Oliveira de Freitas, pela ateno nas leituras e pelas contribuies feitas ao trabalho. Aos professores do Departamneto de Matemtica-UnB pelos ensinamentos e apoio. Em especial, aos professores Hemar e Marco Pellegrini. Aos meus professores da graduao pelo incentivo, pelo carinho e pelo apoio. Em especial, aos professores Eudes Antnio, Adriano Rodrigues, Kaled Sulaiman Khidir, Dirley, Gisele, Walria, Gilmar e Idemar Visolli. Ao meu namorado, Rmulo, meu companheiro nesta trajetria, que soube compreender como ningum esta fase to importante. Agradeo pelo amor, pelo carinho e pela presena nos bons e maus momentos da minha vida. Aos meus colegas e amigos da Ps-Graduao do Departamento de Matemtica-UnB pela amizade e por todos momentos vivenciados. Em especial, a Saieny, Lauro, Mayra, Fbio, Jos Carlos, Otto, Bruno Trindade, Ilana, Keidna, Tiago Lima, Luiz Mateus, Emerson, Mayer, Marina, Aristteles, Joaby, Thaynara, Kaliana, Kelem, Bruno Souza, Linniker Monteiro, Vincius Martins, Vincius Elias, Valdiego, Maria Leite, Raimundo e Edmilson. Aos meus amigos da graduao pelo companheirismo e pelo carinho. Em especial, a Maristela, Cleidiane, Jaelton e Fbio. s minhas amigas de moradia, Kaliana, Maria, Thaynara e Solange, pela amizade,
pela compreenso e pela convivncia agradvel. A Saieny, Mayra, Lauro, Fbio, Jos Carlos e Otto. A amizade de vocs foi essencial para esta conquista. A todos os funcionrios do Colina. Em especial, a Dona Raimunda, Rose e Marcelo, pelo carinho e pela prestatividade. A todos funcionrios do Departamento de Matemtica-UnB. Especialmente a Cladia, William, Dona Irene, Marta, Bruna, Vivian, Lus, Eveline, Fabiana e Thiago. Capes pelo apoio nanceiro. Enm, agradeo a todos os que contriburam direta ou indiretamente para a realizao deste trabalho.
Resumo
Sejam A uma P I -lgebra associativa sobre um corpo F de caracterstica zero e {cn (A)} a sequncia de codimenses de A. Neste trabalho vamos estudar o comportamento destas sequncias. Regev mostrou que a sequncia de codimenses exponencialmente limitada. O nosso objetivo principal apresentar os resultados obtidos por A. Giambruno e M. Zaicev em [4], onde demonstram que o PI-expoente de A, denotado por exp(A) = lim n cn (A), sempre existe e um inteiro. Daremos uma maneira explcita n de calcular este expoente. Usaremos a teoria de representaes do grupo simtrico para obtermos os resultados.
Abstract
Let A be an associative algebra over a eld F of characteristic zero satisfying a polynomial identity (PI-algebra), and {cn (A)} be the sequence of codimensions of the A. In this paper we study the behavior of these sequences. Regev showed that a sequence is exponentially codimensions limited. Our main goal is to show the results obtained by A. Giambruno and M. Zaicev in [4], where they prove that the PI-exponent of A, denoted by exp(A) = lim n cn (A), exists and is an integer. We will give an explicit way n to calculate this exponent. We use the representation theory of the symetric group to obtain the results.
Sumrio
Introduo 1 Identidades Polinomiais e PI-lgebra Identidades Polinomiais e PI-lgebra

1.1 lgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Identidades Polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 T-ideais e Variedades de lgebras . . . . . . . . . . . . . . . . . . . . . . 1.4 Polinmios Homogneos e Multilineares . . . . . . . . . . . . . . . . . . . 1.5 Tipos Especiais de Identidades Polinomiais . . . . . . . . . . . . . . . . . 1.6 Mdulos, Anis Semissimples e Radical de Jacobson . . . . . . . . . . . .
1 4 4
4 8 10 13 17 21
2 Sn -Representaes
Sn -Representaes
27 27
27 28 34
2.1 Representaes de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Representaes e FG-mdulos . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Sn -representaes e Tabelas de Young . . . . . . . . . . . . . . . . . . . .
2.4 Sn -ao em Polinmios Multilineares . . . . . . . . . . . . . . . . . . . . 2.5 Sn -Representaes e Ganchos . . . . . . . . . . . . . . . . . . . . . . . .
42 45
3 Sequncia de Codimenses de lgebras e lgebras Graduadas Sequncia de Codimenses de lgebras e lgebras Graduadas
3.1 Codimenses de uma lgebra . . . . . . . . . . . . . . . . . . . . . . . . 3.2 lgebras G-Graduadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3 Superalgebra e Envolvente de Grassmann . . . . . . . . . . . . . . . . . .
50 50
50 52 54
4 O PI-expoente de uma lgebra O PI-expoente de uma lgebra

4.1 PI-expoente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Um candidato para PI-expoente . . . . . . . . . . . . . . . . . . . . . . . 4.3 Identidades e Identidades Graduadas . . . . . . . . . . . . . . . . . . . . 4.4 superalgebras simples e suas envolventes de Grassmann . . . . . . . . . . 4.5 Colando tabelas de Young . . . . . . . . . . . . . . . . . . . . . . . . . . 4.6 Calculando o limite inferior da cn (G(A)). . . . . . . . . . . . . . . . . . . 4.7 Resultado principal. Existncia do PI-expoente. . . . . . . . . . . . . . .
60 60
60 62 68 73 78 81 85
Referncias Bibliogrcas
88
Introduo
Sejam F um corpo de caracterstica zero e F X a lgebra associativa livre de posto enumervel no conjunto X = {x1 , x2 , . . .}. Consideraremos F X no unitria e todas as lgebra do texto associativas e no comutativas (exceto meno contrria) . Diremos que uma F -lgebra A uma PI-lgebra se existe um polinmio no nulo f (x1 , . . . , xn ) F X tal que, f (a1 , . . . , an ) = 0, para quaisquer a1 , . . . , an A. Denotaremos por Id(A) o conjunto de todas identidades polinomiais de A. Chamaremos um ideal I de F X de T -ideal, se I invariante por EndF (F X ). Para cada T -ideal I , existe lgebra A tal que I = Id (A). Denotaremos por var (I ) ou var (A) o conjunto de todas as lgebras associativas que tem I como identidades polinomiais. Seja G um grupo qualquer. Uma lgebra A dita G-graduada, se A pode ser escrita . como soma direta de subespaos A =+gG A(g) tais que para todo g, h G, A(g) A(h) A(gh) . Dentre as lgebras G-graduadas consideradas no texto, enfatizaremos as lgebras Z2 -graduadas, tambm chamadas de superalgebras. Ento, uma lgebra A chamada de . superalgebra com graduao A(0) , A(1) , se A = A(0) + A(1) soma direta de subespaos . . A(0) , A(1) e satisfaz: A(0) A(1) + A(1) A(0) A(1) e A(0) A(0) + A(1) A(1) A(0) . Observe que toda lgebra admite uma graduao trivial, onde A(0) = A, A(1) = 0. Um exemplo . importante de superalgebra a lgebra de Grassmann G = G(0) + G(1) de dimenso innita gerada pelo conjunto {e1 , e2 , . . . | ei ej = ej ei , i, j = 1, 2, . . .}, onde G(0) e G(1) so os subespaos gerados pelos monmios em ei de comprimento par e os monmios de . comprimento mpar, respectivamente. A superalgebra G (A) = G(0) A(0) + G(1) A(1) chamada envolvente de Grassmann da lgebra A, em que A uma superalgebra. bem conhecido que, se A uma superalgebra simples de dimenso nita sobre um corpo algebricamente fechado de caracterstica zero , ento A isomorfa a uma das . seguintes superalgebras: Mk (F ), Mk (F + cF ) e Mk,l (F ), em que c2 = 1. E toda supe-
Introduo
ralgebra A de dimenso nita sobre um corpo algebricamente fechado de caracterstica . zero escrita como A = A1 . . . An + J (A), em que J = J (A) o radical de Jacobson de A e A1 , . . . , An so superalgebras simples. Uma lgebra A dita verbalmente prima se para quaisquer T -ideais I1 e I2 de F X tais que I1 I2 I implica que I1 I ou I2 I , onde I um T -ideal primo de F X . A. R. Kemer caracterizou todas as lgebras verbalmente primas sobre um corpo de . caracterstica zero: F , F X , Mk (F ), Mk (G), Mk,l (G) (k l), em que G = G0 + G1 a lgebra de Grassmann; Mk (F ) e Mk (G) so as lgebras de matrizes k k sobre F e G respectivamente e
Mk,l (G) = P Q R S P Mk (G0 ), Q Mkl (G1 ), R Mlk (G1 ) e S Ml (G0 ) .
Outro fato conhecido que, sobre corpos de caracterstica zero, todo polinmio no-nulo f F X equivalente a um conjunto nito de polinmios multilineares. Denotaremos por Pn o F -espao vetorial dos polinmios multilineares de grau n. Existe um isomorsmo de F Sn -mdulos esquerda entre Pn e a lgebra F Sn , em que Sn o grupo simtrico sobre o conjunto {1, . . . , n}. Assim, o quociente Pn /Pn Id (A) tem uma estrutura de F Sn -mdulo esquerda. Denimos a n-sima codimenso de A por cn (A) = dimF (Pn /Pn Id (A)). Se A for uma PI-lgebra, ento cn (A) < n! para algum n. Se A for nilpotente, ento cn (A) = 0, a partir de um certo n0 .. Em [6] A. Regev em 1972, provou que se A uma P I -lgebra, ento existem constantes , tais que cn (A) n , ou seja, a sequncia de codimenses de A exponencialmente limitada. Se A uma PI-lgebra, o seu PI-expoente denido como exp (A) = lim n cn (A). n Na dcada de 1980, S. A. Amitsur conjecturou que o PI-expoente de uma PI-lgebra existe e um inteiro no negativo. Este trabalho foi baseado em [3] e [4], tendo com objetivo principal apresentar resultados demonstrados por A. Giambruno e M. Zaicev, onde eles deram uma resposta positiva para a conjectura de Amitsur, provando que se A uma P I -lgebra sobre um corpo de caracterstica zero, o P I -expoente de A, sempre existe e um inteiro no negativo. Alm disso, eles do uma maneira explcita de calcular este expoente, mais precisamente, por um teorema bem conhecido de Kemer, dada qualquer P I -lgebra A existe uma superalgebra de dimenso nita B , cuja sua envolvente de Grassmann G(B ) satisfaz as mesmas identidades de A. Ento exp(A) = exp(G(B )) = dim(C (0) + C (1) ), onde C (0) + C (1) uma sublgebra Z2 -graduada semissimples maximal de B . Para demonstrar estes resultados recorremos a Teoria de Young de representaes do grupo
Introduo
simtrico e a P I -teoria.
O PI-expoente das lgebras verbalmente primas, tem os seguintes valores: exp (Mk (F )) = k , exp (Mk (G)) = 2k 2 e exp (Mk,l (G)) = (k + l)2 .
2
Este trabalho est estruturado em quatro Captulos. No Captulo 1 apresentaremos alguns conceitos, exemplos e resultados da teoria de PI-lgebras sobre um corpo de caracterstica zero e da teoria de mdulos e anis que serviro como base para os Captulos seguintes. Falaremos de anis, lgebras simples e semissimples. No Captulo 2 apresentaremos alguns resultados principais da teoria de representaes de grupos nitos. Falaremos da teoria de Young de representaes do grupo simtrico. No Captulo 3 estudaremos o comportamento exponencial da sequncia de codimenses cn (A) de uma PI-lgebra A sobre um corpo de caracterstica zero. Falaremos de lgebras graduadas, lgebras verbalmente primas, envolvente de Grassmann e daremos algumas propriedades importantes destas lgebras. No Captulo 4 deniremos o P I -expoente de uma P I -lgebra sobre um corpo F de caracterstica zero. Em seguida mostraremos os resultados demonstrados por A. Giambruno e M. Zaicev em [3] e [4], que nosso objetivo.
Identidades Polinomiais e PI-lgebra
Neste Captulo daremos alguns conceitos bsicos e resultados importantes da teoria de lgebras que satisfazem identidades polinomiais (PI-lgebras). Falaremos de T ideais, variedades de lgebras, polinmios homogneos e multilineares. Daremos alguns resultados importantes de identidades polinomiais de lgebras sobre um corpo base F . Apresentaremos conceitos e resultados de anis e lgebras simples e semissimples. Durante todo Captulo, vamos considerar lgebras associativas e no comutativas (exceto meno contrria) e F um corpo de caracterstica zero.
1.1
lgebras
Denio 1.1. Sejam F um corpo e A um F -espao vetorial no qual denido um

produto bilinear sobre F . Suponha que para todo c F e quaisquer x, y, z A, tem-se: 1. (x+y)z=xz + yz 2. z(x+y)=zx + zy 3. (cx)y= c(xy)= x(cy). Ento A uma F -lgebra.
Observao 1.2. Toda lgebra com relao soma e ao produto um anel.

A dimenso da F -lgebra a sua dimenso como F -espao. Se a dimenso nita, A chama-se lgebra de dimenso nita. A seguir daremos alguns exemplos de lgebras.
Exemplo 1.3. Seja Mn (F ) o espao vetorial das matrizes n n com entradas em F .

Munido do produto usual de matrizes Mn (F ) uma lgebra com unidade, que exatamente a matriz identidade Inn . Destacaremos nesta lgebra as matrizes unitrias Eij , com 1 i, j n, onde Eij a matriz cuja nica entrada no nula na i-sima linha e j-sima coluna. No difcil vericar que as matrizes unitrias formam uma base para Mn (F ), donde dimMn (F ) = n2 . Generalizando, se A uma F -lgebra e se considerarmos o espao vetorial Mn (A) de todas as matrizes n n com entradas em A, denindo um produto em Mn (A) anlogo ao produto usual em Mn (F ), obtemos assim uma estrutura de F -lgebra em Mn (A).
Exemplo 1.4. Seja V um F -espao vetorial. Ento EndF (V ), o conjunto das transformaes F -lineares de V munido da composio de funes, uma F -lgebra com unidade (operador identidade).
Exemplo 1.5. Um corpo F possui naturalmente uma estrutura de espao vetorial sobre
si mesmo. Seja K uma extenso do corpo F , ento K tambm possui uma estrutura de F -espao vetorial. No difcil ver que, visto desta forma, F e K so F -lgebras comutativas, com unidade, cujos produtos so exatamente os produtos dos corpos F e K , respectivamente.
Exemplo 1.6. Sejam G um grupo e F um corpo. Denotamos por F G = F [G] o conjunto

de todas as somas formais nitas respeito a
+:(
g G g G
g g, g F , F G possui a estrutura de anel com g g ) =

g G g G
g g ) + ( 0=
(g + g )g
0g
g G
.:(
g G
g g ).(
hG
h h) = g g ) =
g G g G
(g .h )gh =
g,hG l G
l l
(g )g.
Assim munido destas operaes temos que F G uma F -lgebra associativa, unitria com unidade 1F 1G , onde G (visto em F G) forma uma base para F G. Disto, segue que dimF F G = |G|. A lgebra F G dita de lgebra de grupo sobre F . A lgebra F G comutativa se, e somente se, G comutativo.
A lgebra F Sn construda partir de Sn , o grupo das permutaes de n elementos, ser bastante til para nosso trabalho.
Exemplo 1.7. O F-espao vetorial:

Mk,l (F ) = P Q R S
onde P, Q, R, S so matrizes k k, k l, l k e l l, respectivamente com k l > 0, uma F -lgebra associativa, unitria, no comutativa de dimenso (k + l)2 , com produto usual de matriz em bloco.
Exemplo 1.8. Seja G um grupo de ordem 2 gerado por c. O F -espao vetorial Mn (F +

cF ) com entradas na lgebra de grupo F + cF uma F -lgebra de dimenso 2n2 .
Denio 1.9. Um subespao B da lgebra A chamado sublgebra se fechado com

respeito a multiplicao, ou seja, b1 b2 B para quaisquer b1 , b2 B . Dizemos tambm que um subespao I de A um ideal esquerda ( direita) de A, se ax I (xa I ) para quaisquer x I e a A respectivamente. Se I um ideal esquerda e direita simultaneamente, dizemos que I um ideal bilateral de A.
Exemplo 1.10. (Centro de uma lgebra) Seja A uma lgebra. O conjunto Z (A) =
{a A | ax = xa, x A} uma sublgebra de A que chamamos de centro de A.
Sabemos da lgebra linear que, xado n N as nicas matrizes que comutam com todas as matrizes, so as matrizes escalares. Temos ento que Z (Mn (F )) = {Inn | F }.
Denio 1.11. Sejam A1 e A2 F-lgebras. Uma transformao linear : A1 A2 um homomorsmo de F -lgebras se:
(ab) = (a)(b), a, b A1 .
Diremos que um isomorsmo de F -lgebras se um homomorsmo bijetivo de F -lgebras, neste caso, tambm dizemos que A1 e A2 so lgebras isomorfas. Se : A1 A1 um homomorsmo, dizemos que um endomorsmo.
Exemplo 1.12. Seja A uma F -lgebra. Ento Mn (F ) A = Mn (A) como lgebras. De

fato, a transformao linear assim denida
: Mn (F ) A Mn (A) Eij a aEij
um isomorsmo de lgebras, onde {Eij , i, j = 1, . . . , n} so as matrizes elementares que formam uma base para o espao vetorial Mn (F ) e a A.
Observao 1.13. Assim como na teoria de grupos e de anis o teorema do homomorsmo tambm vlido para lgebras, ou seja, para um homomorsmo : A1 A2 temos
Ker() = {a1 A1 , (a1 ) = 0},
temos que o quociente
A1 Ker()
isomorfo a imagem Im() = {(a)| a A1 }.

A1 Ker()
Note que a lgebra quociente bilateral de A1 .
est bem denida, pois Ker() um ideal
Denio 1.14. Seja A uma lgebra sobre F . (i) A associativa se (ab)c = a(bc) para todo a, b e c A. (ii) A comutativa se ab = ba, para todo a, b A. (iii) A unitria se A tem unidade, ou seja, se existe 1 A tal que 1a = a1 = a,
a A.
Denio 1.15. Seja A uma F -lgebra. Dizemos que: (i) Um elemento a A chama-se nil (ou nilpotente) se existe n N tal que an = 0. Se todos elementos de A so nilpotentes, dizemos que A nil. Se existe n N tal que para
todo a A, tem-se an = 0, ento A chama-se nil de grau limitado. O menor natural n com esta propriedade chamado de nil expoente de A. (ii) Uma lgebra A chama-se nilpotente, se existe n N tal que a1 . . . an = 0 para todo a1 , . . . , an A. Neste caso, dizemos que o menor natural n com esta propriedade o ndice (ou grau) de nilpotncia de A.
Denio 1.16. Seja uma classe de F -lgebras e A uma F -lgebra gerada por um conjunto X . A F -lgebra A chamada uma F -lgebra livre na classe livremente
gerada pelo conjunto X , se para qualquer lgebra B , qualquer aplicao : X B pode ser estendida a um homomorsmo de lgebras : A B . A cardinalidade |X | do conjunto X chamado posto de A.
Exemplo 1.17. Para qualquer conjunto X a lgebra polinomial F [X ] livre na classe

de todas lgebras associativas, comutativas e unitrias.
Exemplo 1.18. Seja X = {x1 , . . . , xn , . . . } um conjunto innito enumervel. Chamaremos os elementos de X de variveis ou indeterminadas. Uma palavra de
X uma sequncia xi1 xin , com n N. A palavra xi1 xis , em que s = 0,
a palavra vazia que denotaremos por 1. Geralmente, iremos considerar s 1 (salvo meno contrria). Chamaremos de monmios o produto de um escalar por uma palavra em X, ou seja, xi1 xin onde F e xi1 , . . . , xin X . Diremos que dois monmios xi1 xin = xj1 xjm se, e somente se, = F , n = m e
it = jt , para todo t. O produto de dois monmios dado por justaposio denida por (xi1 xim )(xj1 xjn ) = xi1 xim xj1 xjn , xik , xjl X .
O F -espao vetorial F X = { (i) i xi1 . . . xin | i F, n 1} uma F -lgebra, no comutativa, associativa e sem unidade. Os elementos de F X so chamados de polinmios, ou seja, somas formais de monmios. Se f F X , escreveremos
n
f = f (x1 , . . . , xn ) =
i=1
i wi para indicar que x1 , . . . , xn X so as nicas inde-
terminadas que aparecem em f , em que i F e wi so palavras que dependem de x1 , . . . , x n .

De agora em diante vamos considerar a lgebra livre F X associativa, no comutativa, no unitria de posto enumervel no conjunto X = {x1 , x2 , . . . } (salvo meno contrria).
Observao 1.19. No caso em que considerarmos a palavra vazia, ento vamos obter
a lgebra livre associativa, no comutativa, unitria, cuja identidade a palavra vazia (monmio de comprimento nulo).
1.2
Identidades Polinomiais
Nesta seo daremos algumas denies e exemplos de lgebras que satisfazem identidades polinomiais.
Denio 1.20. Seja A uma F -lgebra e f = f (x1 , . . . , xn ) F X . Dizemos que f 0 uma identidade polinomial de A se f (a1 , . . . , an ) = 0 para todos a1 , . . . , an A.
Vamos denotar por Id(A) o conjunto de todas identidades polinomiais de uma F lgebra A.
Denio 1.21. Se A satisfaz uma identidade polinomial no trivial f 0, dizemos que A uma PI-lgebra. Denio 1.22. Duas PI-lgebras A e B so ditas PI-equivalentes se Id(A) = Id(B ).
Sejam A uma lgebra e a, b A denimos [a, b] = ab ba o comutador de Lie de a e b. De um modo geral, denimos o comutador de comprimento n [a1 , . . . , an1 , an ] = [[a1 , . . . , an1 ], an ] para ai A. A seguir daremos alguns exemplos de PI-lgebras.
Exemplo 1.23. Se A uma lgebra comutativa, ento A uma PI-lgebra que satisfaz
a identidade [x, y ] 0.
Exemplo 1.24. Qualquer lgebra nilpotente uma PI-lgebra. De fato temos que An =
0, para algum n 1, ento x1 . . . xn 0 uma identidade polinomial de A.
Exemplo 1.25. Seja A uma lgebra nil de grau limitado, ou seja, existe um inteiro
n 1 tal que an = 0, para todo a A. Ento o polinmio xn 0 uma identidade
polinomial de A.
Exemplo 1.26. Seja A uma lgebra associativa de dimenso nita e seja dimA < n. Ento A satisfaz a identidade Standard de posto n
Stn (x1 , . . . , xn ) =
Sn
(sign ) x(1) x(n) = 0
onde Sn o grupo simtrico de grau n. A lgebra A tambm satisfaz a identidade de Capelli de posto n
Capn (x1 , . . . , xn ; y1 , . . . , yn+1 ) =
Sn
(sign ) y1 x(1) y2 . . . yn x(n) yn+1 = 0.
A seguir daremos um exemplo de PI-lgebra que ser importante para os nossos estudos adiante.
Exemplo 1.27. Seja G a lgebra de Grassmann (ou lgebra exterior) no unitria em

um espao vetorial de dimenso enumervel sobre um corpo de charF = 2. A lgebra G pode ser construda da seguinte forma. Seja F X a lgebra livre associativa de posto enumervel em X = {x1 , x2 , . . . }. Se I um ideal bilateral de F X gerado pelo conjunto de polinmios {xi xj + xj xi |i, j 1}, ento G = F IX . E escrevemos ei = xi + I G para cada i = 1, 2, . . . . Como charF = 2 temos que e2 i = 0. Ento G gerado por:
G = e1 , e2 , . . . |ei ej = ej ei , i, j 1 .
No difcil vericar que o conjunto B = {ei1 . . . eik |1 i1 < < iik } uma F -base para a lgebra de Grassmann no unitria. conveniente escrever G como soma direta dos seguintes subespaos vetoriais:
G(0) = span{ei1 . . . ei2k |1 i1 < < i2k , k > 0} G(1) = span{ei1 . . . ei2k+1 |1 i1 < < i2k+1 , k 0}
10
onde G(0) o espao gerado por todos monmios de comprimento par e G(1) o espao gerado por todos os monmios de comprimento mpar. Segue de ei ej = ej ei que (ei1 . . . eim ).(ej1 . . . ejk ) = (1)mk (ej1 . . . ejk ).(ei1 . . . eim ) para quaisquer m, k N. Podemos concluir que ax = xa para quaisquer a G(0) e x G e bc = cb para quaisquer b, c G(1) . Agora faremos consideraes importantes acerca desta lgebra: 1. G(0) G(0) + G(1) G(1) G(0) 2. G(0) G(1) + G(1) G(0) G(1) 3. G(0) = Z (G) 4. O primeiro e terceiro item, nos do que G(0) uma sublgebra de G. 5. G satisfaz a identidade polinomial [x, y, z ] = [[x, y ], z ] 0. De fato como G(0) = Z (G), claro que qualquer comutador de dois elementos de G pertence a G(0) , ou seja, uma combinao linear de monmios ei s de comprimento par. Assim [[G, G], G] = 0.
Note que propriedades importantes de lgebras so expressas em linguagem de identidades polinomiais. Nos exemplos dados acima podemos perceber isto. De fato, vimos por exemplo que uma lgebra A nil de grau limitado, se existe um n N tal que xn 0 uma identidade para A.
1.3
T-ideais e Variedades de lgebras
Nesta seo introduzimos os conceitos de T-ideal e de variedade de lgebras. Vamos mostrar que o conjunto de identidades polinomiais Id(A) um T-ideal. Alm disso exibimos algumas propriedades importantes de lgebras que sero utilizadas ao longo do texto. Uma identidade de uma lgebra A pode ainda ser uma identidade para outras lgebras diferentes. Por isso, dado um conjunto de polinmios S , vamos considerar a classe de todas lgebras que satisfazem as identidades de S . Isto leva a noo de variedades de lgebras.
Proposio 1.28. Dada uma lgebra A, considere Id(A) = {f F X | f 0 em A}

o conjunto de identidades polinomiais de A. O conjunto Id(A) um ideal bilateral de F X e fechado sob todos endomorsmos de F X .
11
Demonstrao: No difcil ver que o conjunto Id(A) um ideal bilateral de F X .

Alm disso, Id(A) fechado sob endomorsmos de F X . De fato, sejam f = f (x1 , . . . , xn ) Id(A), g1 , . . . , gn F X e End(F X ), tal que
:F X xi F X gi .
Segue que
(f (x1 , . . . , xn )) = f ((x1 ), . . . , (xn )) = f (g1 , . . . , gn ) = = f (g1 (xi1 , . . . , xin ), . . . , gn (xi1 , . . . , xin )).
Note que f (g1 (xi1 , . . . , xim ), . . . , gn (xi1 , . . . , xim )) = 0 em A, pois para quaisquer a1 , . . . , am A, temos gi (a1 , . . . , am ) A, i = 1, . . . , m e como f Id(A), ento f (g1 , . . . , gn ) Id(A). Portanto (Id(A)) Id(A). Temos que um ideal com esta propriedade chamado de T-ideal.
Denio 1.29. Um ideal I de F X um T-ideal se (I ) I para todo endomorsmo

de F X .
Disto, segue que o conjunto Id(A) um T-ideal de F X . Por outro lado no difcil vericar que todo T-ideal de F X de fato deste tipo.
Lema 1. Seja I um T-ideal. Ento I = Id( F IX ). Demonstrao:() Seja f (x1 , . . . , xn ) I . Considere n elementos quaisquer g 1, g 2, . . . , g n
. Temos f (g 1, g 2, . . . , g n ) = f (g1 , . . . , gn ) = 0, pois f (g1 , . . . , gn ) I . Logo f ). F X 1 , . . . , x , temos 0 = f (x 1 , . . . , x () Seja f (x1 , . . . , xn ) Id( F IX ). Como x n n) = I f (x1 , . . . , xn ). Ento f (x1 , . . . , xn ) I .
F X I Id( F IX
Denio 1.30. Seja A uma lgebra e S A. O ideal gerado por S o menor ideal de
A que contm S .
Observe que o ideal gerado por S existe, pois a interseo de todos os ideais de A que contm S .
Denio 1.31. Seja S F X . O T-ideal gerado por S o menor T-ideal que contm
S . Denotaremos ele por S T .
12
Denio 1.32. Seja S um conjunto de polinmios em F X e f F X . Dizemos

que f uma consequncia dos polinmios em S , se f S T , ou seja, f pertence ao T-ideal gerado pelo conjunto S .
Exemplo 1.33. Se A uma F -lgebra comutativa e unitria, ento Id(A) = [x1 , x2 ] T . Exemplo 1.34. Seja G a lgebra de Grassmann sobre um corpo F de char = 2. Ento
Id(G) = [x1 , x2 , x3 ] T . Ver [7].
Denio 1.35. Dois conjuntos de polinmios so equivalentes se eles geram o mesmo

T-ideal.
Vimos que qualquer lgebra A determina um T-ideal de F X . Por outro lado vrias lgebras podem corresponder a um mesmo T-ideal, como o ideal de suas identidades.
Denio 1.36. Dado um conjunto no vazio S F X , a classe de todas as lgebras A tais que f 0 em A para todo f S chamada de variedade = (S ) determinada
por S .
Diremos que uma variedade trivial se Id( ) = (0). Uma variedade chamada no trivial se S = 0 e dita prpria se ela no trivial e contm uma lgebra nonula. Note que se a variedade determinada pelo conjunto S e S T o T-ideal de F X gerado por S , ento (S ) = ( S T ) e S T = A Id(A). Sendo assim escrevemos S T = Id( ). Quando existe uma lgebra A tal que Id(A) = Id( ), denotaremos por = var(A), e diremos que a variedade gerada pela lgebra A.
Denio 1.37. A variedade chamada de subvariedade de se . Exemplo 1.38. A classe de todas as lgebras comutativas formam uma variedade prpria, com S = {[x, y ]}.
Exemplo 1.39. A classe de todas as lgebras nil de grau limitado por n, formam uma
variedade prpria com S = {xn }.
Exemplo 1.40. A classe de todas as lgebras associativas tambm uma variedade

denida pelo polinmio nulo.
O teorema abaixo mostra que h uma correspondncia biunvoca entre T-ideais e variedades.
13
Teorema 1.41. Existe uma correspondncia bijetiva entre T-ideais de F X e variedades de lgebras. Para quaisquer dois T-ideais I1 , I2 a incluso I1 I2 equivalente a (I1 ) (I2 ).
Demonstrao: Para cada T-ideal I , seja V = (I ) a variedade determinada pelo

conjunto de polinmios I . bvio que sobrejetiva, pela prpria denio. Agora sejam I1 = I2 e (Ii ) = Vi , i = 1, 2. Ento existe um polinmio f = f (x1 , . . . , xn ) que est em I1 \I2 (ou em I2 \I1 ). Suponha que f I1 \I2 , ento f (x1 , . . . , xn ) 0 uma identidade polinomial para V1 e no uma identidade para a lgebra relativamente livre F X V2 , pois Id( F IX ) = I2 . segue que V1 = V2 . Logo injetiva. E assim mostramos I2 2 que bijetiva. Agora veja que, V1 V2 se, e somente se, toda identidade polinomial de V1 tambm uma identidade para V2 , isto , Id(V1 ) Id(V2 ).
1.4
Polinmios Homogneos e Multilineares
O estudo das identidades polinomiais de uma dada lgebra sobre um corpo base F innito, pode ser reduzido ao estudo de polinmios homogneos ou polinmios multilineares no caso em que o corpo base de caracterstica zero. Seja Fn = F x1 , . . . , xn uma lgebra livre de posto n 1 sobre F . Tal lgebra pode ser decomposta como:
(1) (2) Fn = Fn Fn ... (k ) onde, para todo k 1, Fn o subsespao gerado por todos monmios de grau k . (i) (j ) (i+j ) Desde de que Fn Fn Fn , para todo i, j 1, dizemos que Fn graduada pelo grau (i) ou que ela tem estrutura de lgebra graduada. As Fn so chamadas de componentes homogneas de Fn . Similarmente, introduzimos uma multigraduao em Fn , segue que para todo k 1 escrevemos: (k) (i1 ,...,in ) Fn = i1 ++in =k Fn (i1 ,...,in ) onde Fn o subespao gerado pelos polinmios de grau i1 em x1 , . . . , in em xn . (i1 ,...,in ) (j1 ,...,jn ) (i +j ,...,i +j ) Alm disso Fn Fn Fn 1 1 n n e dizemos que Fn multigraduada. (k) Denio 1.42. Um polinmio f pertencente a Fn para algum k 1, chamado (i1 ,...,in ) homogneo de grau k. Se f pertence algum Fn ele chamado multihomogneo
de multigrau (i1 , . . . , in ). Tambm dizemos que o polinmio f homogneo na varivel xi , se xi aparece com o mesmo grau em todo monmio de f .
14
Exemplo 1.43. O polinmio

2 2 f (x1 , x2 , x3 ) = x1 x2 2 x3 + x2 x1 x3 + x3 x1 x2
multihomogneo de multigrau (1,2,1).
Exemplo 1.44. O polinmio

f (x1 , x2 ) = x1 x2 2 + x2 x1
homogneo em x1 com degx1 = 1.

Se f F X , podemos sempre escrever
f=
i1 0,...,in 0
f (i1 ,...,in )
(i1 ,...,in ) onde f (i1 ,...,in ) Fn uma combinao linear de todos monmios em f onde x1 aparece com grau i1 , . . . , xn aparece com grau in . Os polinmios f (i1 ,...,in ) que so no nulos, so chamados de componentes multihomogneas de f com multigrau (i1 , . . . , in ).
Exemplo 1.45.
f (x1 , x2 ) = x1 x2 + x2 2 x1 + 5 x2 x 1 = x1 x2 + 5 x2 x1 + x2 2 x1 = f (1,1) + f (1,2) .
Observao 1.46. Uma propriedade importante de T-ideais que se F um corpo

innito, eles so homogneos com respeito a multigraduao acima.
Teorema 1.47. Seja F um corpo innito. Se f 0 um identidade polinomial para

uma lgebra A, ento toda componente multihomognea de f ainda uma identidade polinomial para A.
Demonstrao: Note que para toda varivel xt , 1 t n, podemos decompor f =

m i=0
fi , onde fi uma combinao linear de todos monmios de f em que x1 aparece
com grau i e m = degx1 f . Como F um corpo innito, existem m + 1 elementos distintos em F : 0 , . . . , m . Por outro lado, como fi homogneo em x1 , temos fi (x1 , . . . , xn ) = i fi (x1 , . . . , xn ),

m
15
F . Ento f (x1 , . . . , xn ) =
i=0
i fi (x1 , . . . , xn ).
Como f uma identidade para A, temos que

m
f (j x1 , . . . , xn ) =
i=0
i j f i ( x1 , . . . , x n ) 0
(1.1)
em A, para todo i = 0, . . . , m e j = 1, . . . , n + 1. Assim obtemos um sistema homogneo com m + 1 variveis f0 , . . . , fm . Agora vamos escrever a matriz de Vandermonde associada a este sistema
= 1 0 1... 1 . . . 1
. . .
. . .
m m 0 1 ...
m . . . . m n
i para todo a1 , . . . , an A, ento de 1.1 temos que Vamos denotar fi (a1 , . . . , an ) = f (f 0 . . . fm ) = 0.
Como o determinante det() = 0i<j m (j i ) diferente de zero, pois escolhemos todos s distintos, ento admite inversa. Segue que f0 0, . . . , fm 0 so identidades de A. Por um argumento de induo sobre t, mostramos que para toda varivel xt , fi 0 para todo i 0. Portanto toda componente multihomognea de f ainda uma identidade polinomial para A.
Corolrio 1.48. Sobre um corpo innito todo T-ideal gerado por seus polinmios
multihomogneos.
Denio 1.49. Se um polinmio f (x1 , . . . , xn ) multihomogneo com multigrau (1, . . . , 1) dizemos que f multilinear de grau n nas variveis x1 , . . . , xn . Exemplo 1.50. Os polinmios Standard e Capelli de posto n
Stn (x1 , . . . , xn ) =
Sn (1)
x(1) x(n)
Capn (x1 , . . . , xn ; y1 , . . . , yn+1 ) =

Sn
(1) y1 x(1) y2 yn x(n) yn+1
respectivamente, so multilineares de grau n.
16
Denote por Pn o espao de todos polinmios multilineares de grau n nas variveis x1 , . . . , xn . Uma base para Pn o conjunto das palavras
{x(1) x(2) . . . x(n) | Sn }.
Logo, a dimenso de Pn n!. Desde que em um polinmio multilinear f (x1 , . . . , xn ) Pn cada varivel aparece em cada monmio com grau 1, ca claro que tal polinmio sempre da forma
f (x1 , . . . , xn ) =
Sn
x(1) . . . x(n)
, onde F e Sn o grupo simtrico em {1, . . . , n}.
Observao 1.51. Se f (x1 , . . . , xn ) linear em uma varivel, digamos x1 , ento

k k
f(
i=1
i y1 , x2 , . . . , xn ) =
i=1
i f (yi , x2 , . . . , xn )
onde i F , yi , xi X .
Proposio 1.52. Seja A uma F -lgebra gerada como espao vetorial pelo conjunto B
sobre F , e seja f Pn . Ento, f uma identidade de A se, e somente se, f (b1 , . . . , bn ) = 0 para qualquer sequncia de elementos b1 , . . . , bn B .
Demonstrao:() Como f uma identidade de A, ento f (a1 , . . . , an ) = 0 para

quaisquer a1 , . . . , an A. Em particular, para os elementos de B . () Temos que qualquer elemento de A pode ser escrito como combinao linear nita (i) (i) i de elementos de B . Sejam ai = t ji =1 ji uji elementos de A, onde ji F , uji B com i = 1, . . . , n. Ento, desde que f = f (x1 , . . . , xn ) linear em cada varivel, pela Observao 1.51
t1 tn (1) j1 uj1 , . . . , j1 =1 t1 tn jn =1
f (a1 , . . . , an ) = f (
jn ujn )
(n)
=
j1 =1
j1
jn =1 t1 ,...,tn
(1)
jn f (uj1 , . . . , ujn )
(n)
=
j1 ,...,jn =1
j1 jn 0 = 0
Portanto, f uma identidade de A.
17
Teorema 1.53. Se charF = 0, todo polinmio no nulo f F X equivalente a um

conjunto nito de polinmios multilineares.
Demonstrao: Ver [2] seo 1.3, pgina 8. Corolrio 1.54. Se charF = 0, todo T-ideal gerado por polinmios multilineares.
1.5
Tipos Especiais de Identidades Polinomiais
Nesta seo vamos caracterizar, expor resultados e dar exemplos de polinmios e identidades polinomiais que nos daro suporte para provarmos resultados importantes nos Captulos adiante. Vamos considerar F um corpo de caracterstica zero. Sejam A uma F -lgebra e C uma F -lgebra comutativa e considere a F -lgebra A F C . Algumas das identidades polinomiais de A podem ainda ser identidades para A F C .
Proposio 1.55. Sejam A uma F -lgebra, C uma F -lgebra comutativa no nilpotente

e F um corpo de caracterstica zero. Ento Id(A F C ) = Id(A).
Demonstrao:() Seja f um polinmio multilinear em Id(A F C ). Como C uma

lgebra comutativa no nilpotente, existem c1 , . . . , cn C tais que c1 cn = 0. Ento, para quaisquer a1 , . . . , an A temos
0 = f (a1 c1 , . . . , an cn ) =
Sn
(a1 c1 ) (an cn )
=
Sn
(a1 an ) (c1 cn ) = f (a1 , . . . , an ) c1 cn .
Segue que f Id(A). Portanto Id(A F C ) Id(A). () Considere as bases BA e BC para A e C respectivamente. Ento B = {a c, a BA , c BC } uma base para A F C . Agora, seja f um polinmio multilinear em Id(A). Se a1 , . . . , an BA e c1 , . . . , cn BC , temos
f (a1 c1 , . . . , an cn ) = f (a1 , . . . , an ) c1 cn = 0 c1 cn = 0.
Segue que f Id(A C ). Portanto Id(A) Id(A F C )
18
Corolrio 1.56. Sejam F um corpo de caracterstica zero e K uma extenso do corpo

F . Ento as identidades polinomiais de A coincidem com as identidades da F -lgebra A F K consideradas sobre o corpo F .
Mas do que isso, tambm podemos assumir que em algum sentido que, as identidades polinomiais de A sobre F coincidem com as identidades de A F K consideradas sobre K. Sejam F um corpo de caracterstica zero, K uma extenso de F e A uma F -lgebra. Note que denindo o seguinte produto (a k ) := a (k ), K, a A e k K , = A F K uma estrutura de K -lgebra. podemos dar a A
Proposio 1.57. Sejam A uma PI-lgebra sobre um corpo F e F K uma extenso

do corpo. Ento
IdF (A) F K = IdK (A F K ),
onde IdF (A) o ideal das identidades de A consideradas sobre o corpo F e IdK (A F K ) o ideal das identidades de A F K consideradas sobre o corpo K .
Demonstrao: No difcil vericar que Id(A)F F K IdK (A F K ). Seja agora

f (x1 , . . . , xm ) =
r i=1
ki Mi Id(A F K ) onde os Mi s so monmios distintos no
alfabeto X e ki K . Seja b1 , . . . , bn , . . . uma base do espao vetorial K sobre F e seja ki = ij bj , ij F para todo i = 1, . . . , r. Ento
r n n r
f (x1 , . . . , xm ) =
i=1 j =1
ij bj Mi =
(
j =1 i=1
ij Mi ) bj .
Para quaisquer a1 , . . . , am A temos

n r
0 = f (a1 1, . . . , am 1) =
(
j =1 i=1
ij Mi (a1 , . . . , am )) bj .
Desde que os bj s so linearmente independentes sobre F , segue que r i=1 ij Mi uma identidade polinomial para A para todo j = 1, . . . , n. Consequentemente IdK (A F K ) IdF (A) K . Agora vamos denir polinmio alternado e descrever algumas de suas propriedades.
Denio 1.58. Seja f = f (x1 , . . . , xn , y1 , . . . , yt ) F X linear nas variveis x1 , . . . , xn . Dizemos que f alternado em x1 , . . . , xn , se para todos 1 i < j n,
f (x1 , . . . , xi , . . . , xj , . . . , xn , y1 , . . . , yt ) = f (x1 , . . . , xj , . . . , xi , . . . , xn , y1 , . . . , yt ).
19
Segue diretamente da denio que, se f = f (x1 , . . . , xn , y1 , . . . , yt ) um polinmio linear em cada uma das variveis x1 , . . . , xn e alternado nestas variveis, ento para quaisquer 1 i < j n, o polinmio f torna-se nulo quando substituirmos xi por xj .
Observao 1.59. Alm disso escrevendo qualquer permutao de Sn como o produto

de transposies temos que, se f (x1 , . . . , xn , y1 , . . . , yt ) alternado em x1 , . . . , xn , ento,
f (x(1) , . . . , x(n) , y1 , . . . , yt ) = (1) f (x1 , . . . , xn , y1 , . . . , yt ).
De fato, se f = f (x1 , . . . , xn , y1 , . . . , yt ) um polinmio linear em cada varivel x1 , . . . , xn e alternado nestas variveis, tomando um monmio xi1 . . . xik . . . xit . . . xin em f , ento o monmio xi1 . . . xit . . . xik . . . xin aparece em f com coeciente . Assim, por um processo de induo, para qualquer Sn o monmio u1 x(1) u2 x(2) un x(n) un+1 aparece em f com coeciente (1) , onde o coeciente do monmio u1 x1 u2 x2 un xn un+1 e ui F X so monmios em y1 , . . . , yt possivelmente vazios.
No caso em que f alternado em n variveis dizemos que f n-alternado, e se f alternado em todas variveis, dizemos simplesmente que f alternado.
Proposio 1.60. Seja f = f (x1 , . . . , xn , y1 , . . . , yt ) um polinmio alternado em x1 , . . . , xn

e seja A uma F -lgebra. Se a1 , . . . , an A so elementos linearmentes dependentes sobre F , ento f (a1 , . . . , an , b1 , . . . , bt ) = 0 para todos b1 , . . . , bt A.
Demonstrao: Pela hiptese, um dos ai s, digamos a1 pode ser escrito como combinao linear dos outros, a1 =
n i=2
i ai , i F . Ento,
n
f (a1 , . . . , an , b1 , . . . , bt ) = f (
i=2 n
i ai , a2 , . . . , an , b1 , . . . , bt ) i f (ai , a2 , . . . , an , b1 , . . . , bt ) = 0.
=
i=2
Desde que f alternado em x1 , . . . , xn e em cada termo f (ai , a2 , . . . , an , b1 , . . . , bt ) duas variveis coincidem, da segue o resultado.
Corolrio 1.61. Seja A uma F -lgebra com dimA < n e f um polinmio alternado em
x1 , . . . , xn . Ento f 0 uma identidade em A.
Exemplo 1.62. Os polinmios Capn (x1 , . . . , xn ; y1 , . . . , yn+1 ) e Stn (x1 , . . . , xn ) denidos

no Exemplo 1.26, so alternados em x1 , . . . , xn .
20
Vamos mostrar adiante que todo polinmio que alternado em x1 , . . . , xn , pode ser escrito como combinao linear de polinmios obtidos por substituies dos yi s no polinmio Capelli. Nas seguintes denio e proposio vamos considerar que a lgebra livre F X seja unitria, ou seja, vamos tambm considerar o monmio vazio.
Denio 1.63. Uma lgebra A satisfaz a identidade Capelli de posto n, se A satisfaz

todo polinmio obtido de
Capn (x1 , . . . , xn ; y1 , . . . , yn+1 )
substituindo as variveis yi por 1 de todas as maneiras possveis.

Assim, note que existem 2n+1 polinmios.
Proposio 1.64. Se f F X um polinmio alternado em x1 , . . . , xn , ento

f=
w1 ,...,wn+1
w1 ,...,wn+1 Capn (x1 , . . . , xn ; w1 , . . . , wn+1 )
uma combinao linear de polinmios Capelli, onde w1 , . . . , wn+1 so adequados monmios (possivelmente vazios) em F X .
Demonstrao: Tome um monmio qualquer w1 x1 w2 x2 . . . xn wn+1 de f , onde os wi s

so monmios obtidos das variveis restantes que aparecem em f . pela Observao 1.59, para toda permutao Sn , o monmio w1 x(1) w2 x(2) . . . x(n) wn+1 aparece em f com coeciente (1) . Segue que Capn (x1 , . . . , xn ; w1 , . . . , wn+1 ) um somando de f com coeciente e f uma combinao linear de tais polinmios. Pela proposio acima, se uma lgebra A satisfaz a identidade Capelli de posto n, ento ela satisfaz todo polinmio alternado em n variveis. O polinmio Capn (x1 , . . . , xn ; 1, . . . , 1) obtido substituindo todos os yi s por 1 nos d o polinmio Standard, e este tm algumas propriedades importantes. A seguir vamos dar algumas destas propriedades. Primeiro vamos denotar por f (x1 , . . . , x i , . . . , xn ) = f (x1 , . . . , xi1 , xi+1 , . . . , xn ).
Proposio 1.65.
1. Se f (x1 , . . . , xn ) um polinmio alternado de grau n, ento f = Stn (x1 , . . . , xn ) para algum F .
21
+1 i+1 2. Stn+1 (x1 , . . . , xn+1 ) = n xi Stn (x1 , . . . , x i , . . . , xn+1 ). Por isso se Stn i=1 (1) 0 uma identidade para uma lgebra A, Stn+1 0 tambm uma identidade para A.
Demonstrao: Ver [2], Seo 1.5, pgina 14.
1.6
Mdulos, Anis Semissimples e Radical de Jacobson
Nesta seo apresentaremos denies, exemplos e resultados importantes sobre Rmdulos (mdulo sobre um anel R), anis e lgebras simples e semissimples e radical de Jacobson. Vamos considerar em todo trabalho R-mdulos esquerda, lembrando que todos resultados so vlidos para R-mdulos direita.
Denio 1.66. Seja R um anel. Um conjunto (M, +) com operao binria + denida nele, chama-se R-mdulo esquerda (mdulo sobre R) se:
1. (M, +) um grupo abeliano; 2. para quaisquer m M e r R existe um nico rm M ; 3. (r1 + r2 )m = r1 m + r2 m para quaisquer m M e r1 , r2 R; 4. r(m1 + m2 ) = rm1 + rm2 para quaisquer m1 , m2 M e r R; 5. (r1 r2 )m = r1 (r2 m) para quaisquer m M e r1 , r2 R.
Se R um anel unitrio, ento um R- mdulo chama-se unitrio com unidade 1R , se 1R m = m para qualquer m M .
Exemplo 1.67. Se R = F um corpo, a denio de R-mdulo unitrio coincide com

a denio de espao vetorial. Assim uma F -lgebra um F -mdulo.
Exemplo 1.68. Sejam V = V (n, F ) (espao vetorial sobre o corpo F de dimenso n)

e R = M at(n, F ) (anel das matrizes quadradas n n sobre o corpo F ). Dena uma multiplicao R V V da seguinte maneira: B v V , para todo B R = M at(n, F ) e para todo v V . Assim, temos que V um M at(n, F )-mdulo esquerda.
Observao 1.69. Temos que M at(n, F ) = EndF (V (n, F )).
22
Denio 1.70. Seja M um R-mdulo. Um submdulo N de M um subgrupo de M

tal que r n N , para todo r R e n N .
Denio 1.71. Sejam R um anel e M , N R-mdulos esquerda. Ento a aplicao

: M N chama-se homomorsmo de R-mdulos esquerda se:
1. homomorsmo de grupos abelianos; 2. (r m) = r(m), para quaisquer m M e r R.
Exemplo 1.72. Sejam V e W F -espaos vetoriais. Temos que homomorsmos de F mdulos so transformaes lineares de V em W .
Note que todo anel (lgebra) R um R-mdulo sobre si mesmo. Chamaremos tal mdulo de mdulo regular esquerda, o qual denotaremos por R R-mdulo.
Denio 1.73. Um R-mdulo esquerda M = 0 diz-se simples se no possui submdulos prprios (submdulos diferentes de 0 e M ).
Exemplo 1.74. Seja R = M at(n, F ) o anel de matrizes. Note que M1 = Mn1 (F ) e

M2 = M1n (F ) so R-mdulos simples esquerda e direita, respectivamente.
Observao 1.75. Um subconjunto I R de um anel um R-mdulo regular esquerda

se, e somente se, I um ideal esquerda de R. Alm disso, um ideal esquerda minimal se, e somente se, ele simples como R-mdulo regular esquerda.
A partir de agora, vamos considerar somente R-mdulos esquerda. Portanto, omitiremos a palavra esquerda, cando assim subentendido.
Denio 1.76. Um R-mdulo semissimples se ele uma soma direta nita de

R-mdulos simples.
Exemplo 1.77. Seja V um espao vetorial (F -mdulo). Ento, para qualquer subespao
U de V , existe um subespao W de V tal que V = U W . Portanto, V um F -mdulo
semissimples.
Note que todo mdulo simples semissimples.
Denio 1.78. Um anel R chama-se simples se no possui ideais bilaterais prprios. Denio 1.79. Um anel R semissimples esquerda se ele semissimples como
R-mdulo regular esquerda.
23
Exemplo 1.80. Seja D = 0 um anel (lgebra) de diviso. Temos que D simples e

Mn (D) simples.
Proposio 1.81. Seja R um anel unitrio. R semissimples esquerda se, e somente

se, R semissimples direita.
Demonstrao:Ver [10], Seo 8.3, pgina 563. Denio 1.82. Sejam R um anel e M um R-mdulo. O anulador de M em R
dado por AnnR (M ) = {r R | rm = 0, m M }. Diremos que M um R-mdulo el se AnnR (M ) = (0).
No difcil vericar que AnnR (M ) um ideal bilateral de R.
Denio 1.83. O radical de Jacobson, o qual denotaremos por J , de um anel R

a interseo dos anuladores de todos os R-mdulos simples.
Sabemos que interseo de ideias um ideal. Logo o radical de Jacobson J um ideal bilateral de R. Se R for unitrio ento J (R) = R.
Observao 1.84. O radical de Jacobson de uma lgebra A coincide com o radical de

Jacobson de A como anel.
Teorema 1.85. Se A uma lgebra de dimenso nita, ento o radical de Jacobson de

A o maior ideal nilpotente de A.
Demonstrao: Ver [10], Seo 8.3, pgina 546. Teorema 1.86. Um anel R semissimples se, e somente se, ele artiniano esquerda
e J (R) = 0.
Demonstrao:Ver [10], Seo 8.3, pgina 555.

Agora, vamos expor alguns resultados importantes sobre mdulos e anis semissimples. A maioria das demonstraes ser omitida. O leitor interessado poder consultar [10].
Proposio 1.87.
1. Todo submdulo e todo mdulo quociente de um mdulo M semissimples semissimples.
24
2. Se R um anel semissimples, ento todo R-mdulo M um mdulo semissimples. 3. Se I um ideal bilateral em um anel semissimples R, ento o anel quociente R/I tambm um anel semissimples.
Demonstrao:Ver [10], Seo 8.3, pgina 553. Corolrio 1.88.

1. Um R-mdulo nitamente gerado semissimples uma soma direta nita de mdulos simples. Em particular, um anel semissimples R uma soma direta de um nmero nito de ideais minimais esquerda.
2. Uma soma direta R = R1 Rn de anis semissimples R1 , . . . , Rn tambm um anel semissimples.
Demonstrao:Ver [10], Seo 8.3,pgina 554.

Vimos que se R um anel semissimples, ento R uma soma direta de ideais minimais, ou seja, R = n j =1 Ij em que Ij so ideais esquerda minimais de R.
Teorema 1.89. (Wedderburn-Artin) Se R um anel semissimples ento R isomorfo uma soma direta de um nmero nito de anis de matrizes sobre anis de diviso, ou seja,
R k i=1 Mni (Di ),
i onde cada Di um anel de diviso. Alem disso, Mni (Di ) = n j =1 Mij onde Mij so ideais minimais esquerda de R. A coleo de pares (ni , Di ) e o nmero k so denidos unicamente por R (salvo permutao e isomorsmo). O anel R tem exatamente k ideais simples esquerda no isomorfos.

Pelo Teorema acima, segue que todo anel semissimples soma direta nita de ideais minimais bilaterais, onde estes so simples e semissimples como anis, pois so isomorfos Mni (Di ).
Denio 1.90. Uma lgebra A simples se no possui ideias bilaterais prprios e

A2 = 0.
Denio 1.91. Uma lgebra A semissimples esquerda se ela uma soma direta
de ideais esquerda minimais.
25
Exemplo 1.92. As lgebras Mn (F ) e Mk,l (F ) so simples, pois no possuem ideais

bilaterais prprios.
Denio 1.93. Seja R um anel, um elemento e = 0 em R diz-se idempotente se

e2 = e.
Exemplo 1.94. Se R um anel unitrio, ento 1R idempotente. Observao 1.95. Se R um anel semissimples ento todo ideal I esquerda de R
da forma I = Re, onde e idempotente.
Teorema 1.96. Seja M um R-mdulo semissimples e seja = {Mi | i I } um conjunto

completo de representantes das classes de isomorsmos dos submdulos simples de M . Seja M = j J Pj , onde Pj so submdulos simples. Ento denimos componente de
Wedderburn
Ai = Pj =Mi Pj ,
para todo i I . Assim, temos que: 1. M = iI Ai ; 2. i I, Ai um submdulo de M , onde Ai uma soma de todos os submdulos simples de M isomorfos a Mi .
Demonstrao:
1. Como M = j J Pj , ento M = iI Ai . 2. Pela forma que M foi denido, fcil ver que Ai um submdulo de M . Vamos provar que todo submdulo Q isomorfo a Mi est contido em Ai = Pj = Mi P j . , onde M = lI Al , com l = i. Ento todo Note que Q M = j J Pj = Ai M q Q pode ser escrito como q = j J pj , onde pj Pj . Vamos considerar a projeo
j : Q P j q pj
para todo j J tal que Pj Ai . Como Q = Mi e Pj = Mi , pois Pj Ai , ento Q = Pj . Temos que Q e Pj so mdulos simples, e j no um isomorsmo, ento

j = 0. Isso signica que pj = 0 para todo j J tal que Pj Ai .
26
Seja
: QM q
j J Pj Ai
pj .
Assim =
j J Pj Ai
j = 0. Logo Q Ai .
Portanto a soma de todos submdulos simples isomorfos a Mi est contido em

Ai .
Teorema 1.97. Seja R um anel semissimples e seja {Ai | i I } conjunto de componentes de Wedderburn de R R (mdulo regular esquerda), ento: 1. | I |= k < e R = k i=1 Ai . 2. Todo Ai um ideal bilateral de R. 3. Se i1 = i2 ento Ai1 Ai2 = {0}. 4. Todo Ai um anel artiniano simples.

Existe uma ligao entre o teorema acima e o Teorema 1.89. Note que, se considerarmos R R-mdulo regular esquerda, ento pelo Teorema 1.89, segue que Ai = Mni (Di ). O teorema a seguir fundamental para a teoria de representao de grupos que ser apresentada no prximo Captulo.
Teorema 1.98. Maschke Sejam G um grupo nito e F um corpo cuja caracterstica

no divide a ordem de G. Ento F G semissimples.
Demonstrao: Ver [9], Captulo 1, pgina 4.
Sn-Representaes
Neste Captulo vamos expor alguns resultados da teoria de representaes de grupo, no qual restringiremos ao grupo simtrico Sn . Na terceira seo vamos introduzir uma ao do grupo simtrico no espao dos polinmios multiliniares em n variveis, que ser denotado por Pn . Desta ao obtemos um isomorsmo de F Sn -mdulos esquerda entre a lgebra de grupo F Sn e Pn . Na ltima seo provaremos alguns resultados tcnicos sobre a estrutura de polinmios do tipo eT f , onde f Pn , uma partio de n e T uma tabela de Young do tipo . Em todo Captulo F ser um corpo de caracterstica zero, G um grupo nito e A uma lgebra unitria.
2.1
Representaes de Grupos
Iremos recordar nesta seo algumas denies bsicas e resultados da teoria de representaes de grupos nitos sobre um corpo F .
Denio 2.1. Sejam A uma F -lgebra unitria com unidade 1A e V um espao vetorial sobre F . Ento uma F -representao de A um homomorsmo de F -lgebras:
: A EndF (V )
1. (a + b) = (a) + (b) 2. (ab) = (a)(b) 3. (1A ) = id 4. (a) = (a), F, a A.
Sn -Representaes
28
Se dimF (V ) = n nita, dizemos que n o grau da F -representao .
Denio 2.2. Sejam G um grupo, V um F -espao vetorial. Vamos denotar por GL(V )
o grupo das transformaes lineares invertveis de V . Um homomorsmo de grupos : G GL(V ) chamado de uma F -representao de G com espao de representao V.
Se dimF (V ) = n < , dizemos que n o grau da F -representao .
Denio 2.3. Seja A uma F -lgebra. Duas representaes : A EndF (V ) e : A EndF (W ) em que V, W so F -espaos vetoriais, dizem-se equivalentes, se
existe um isomorsmo de F -espaos : V W tal que a A, temos (a) = (a). , ou seja, (a) = (a) 1 , para todo a A.
Denio 2.4. Sejam f : G GL(V ) e h : G GL(W ) duas representaes de um grupo G. Elas dizem-se equivalentes se existe um isomorsmo de F -espaos : V
W tal que g G, h(g ) = f (g ).
Como espaos de mesma dimenso so isomorfos, ento para um espao V com dimF (V ) = n < , vamos denotar GL(V ) = GL(n, F ). Vamos considerar a lgebra de grupo F G denida anteriormente. Existe uma bijeo natural entre as representaes do grupo G e as representaes da lgebra F G. Seja : G GL(V ) uma F -representao de G, podemos estender F G. Vamos obter
: F G EndF (V ),
pondo (
g G
g g ) =
g G
g (g ), ento uma F -representao de F G.
Reciprocamente, se : F G EndF (V ) uma F -representao de F G, podemos restringir a G pela aplicao : G GL(V ) de tal modo que (g ) = (1F g ), onde g
G.
2.2
Representaes e FG-mdulos
Seja M um F G-mdulo. Podemos ver M como F -mdulo, ou seja, um F -espao vetorial. Primeiro note que F, m M m = (1G )m, com 1G G. Agora para
Sn -Representaes
29
todo F G, denimos a aplicao

: M M m m.
Ento EndF (M ). De fato, para F temos (m) = ((1G )m) = (1G )m = (m) = (m), e a aplicao
: F G EndF (M )
um homomorsmo de F -lgebras, ou seja, uma representao de F G com espao de representao M . Portanto, cada F G-mdulo M associado a uma representao de F G. Por outro lado, dado : F G EndF (M ) uma representao de F G com espao de representao M , podemos dar a M uma estrutura de F G-mdulo, denindo para quaisquer m M , F G, m := (( ))(m).
Observao 2.5. Temos as seguintes correspondncias:

F G-mdulos representao de F G representao de G.
Assim quando o corpo F xo, vamos denotar F G-mdulos tambm por G-mdulos.
Observao 2.6. Seja G um grupo. Duas representaes f : G GL(V ) e h : G GL(W ) em que V, W so F -espaos vetoriais, so equivalentes, ou seja,
f g se, e somente se, V e W so isomorfos como F G-mdulos.
Exemplo 2.7. Sejam F G a lgebra de grupo e o F G-mdulo regular M = F G F G, a

F -representao de G (ou de F G) subordinado a M a seguinte: x G, (x)(
g G
g g ) = x(
g G
g g ) =
g G
g (xg ), ou seja,
(x) : M M x.
A aplicao chamada de F -representao regular ( esquerda).

Considerando a hiptese do teorema de Maschke, podemos aplicar todos os resultados que sabemos para a lgebra semissimples F G. Em particular, seguem as seguintes armaes:
Sn -Representaes
30
(1) Todo F G-mdulo semissimples, ou seja, uma soma direta de F G-mdulos simples, onde todo F G-mdulo simples isomorfo a um ideal esquerda minimal de F G. (2) Seja {M1 , . . . , Mk } um conjunto completo de representantes das classes de isomork
smo de F G-mdulos simples. Ento F G =

i=1
Ai , onde Ai s so as
componentes
de Wedderburn denidas no Captulo anterior, ou seja, Ai =

Pj =Mi
Pj , i = 1, . . . , k .
Denio 2.8. Seja M um F G-mdulo e seja f : G GL(M ) F -representao associada a M .

Se M semissimples, f diz-se Se M simples, f diz-se
completamente redutvel;
irredutvel; redutvel.
Se M no simples, f diz-se
Como consequncia do teorema de Wedderburn e sob a hiptese do teorema de Maschke, segue que
FG = Mn1 (D(1) ) Mnk (D(k) )
onde D(1) , . . . , D(k) so lgebras de diviso de dimenso nita sobre um corpo F . Acerca deste resultado, podemos classicar todas as representaes irredutveis de G: M um G- mdulo irredutvel se, e somente se, M um Mni (D(i) )-mdulo irredutvel, para algum i. Por outro lado Mni (D(i) ), a menos de isomorsmo, tem apenas um mdulo i (i) irredutvel isomorfo a n j =1 D ej 1 . Lembrando que Ai = Mni (Di ) para i = 1, . . . , k .
Observao 2.9. Visto isto, toda F -representao de G completamente redutvel e

o nmero de F -representaes irredutveis no equivalentes de G igual ao nmero de componentes simples na decomposio de Wedderburn da lgebra de grupo F G.
A decomposio de F G pode ser formulada em termos de representaes por meio da representao regular. Da decomposio de F G dada acima, segue que a representao regular tem a seguinte decomposio, que tambm uma decomposio da lgebra de grupo F G:
FG = n1 M1 . . . nk Mk
onde ni M i = Mi . . . Mi (ni vezes), ni chamado de multiplicidade de Mi em F G, e ni Mi D(i) ej 1 , um ideal esquerda minimal de Mni (D(i) ). Note que ni = dimMi = j =1 o grau da representao Mi .
Sn -Representaes
31
Observao 2.10. Vimos que todo ideal unilateral de F G gerado por um elemento
idempotente. Alm disso, todo ideal bilateral gerado por um idempotente central. Dizemos que um idempotente minimal (central) se ele gera um ideal minimal (bilateral), respectivamente.
Proposio 2.11. ( [2], proposio 2.1.7) Se M uma representao irredutvel de G,

ento M = Mi , um ideal minimal esquerda de Mni (D(i) ), para algum i = 1, . . . , k . Por isso, existe um elemento idempotente minimal e F G tal que M = F Ge.
Denio 2.12. Um corpo F um corpo de decomposio ou split de um grupo G

nito se a lgebra de grupo F G isomorfo uma soma direta de anis de matrizes sobre F , isto , F G = k i=1 Mni (F ) .
De agora em diante vamos considerar a lgebra de grupo F G split.
Teorema 2.13. Sejam G um grupo nito e F um corpo tal que F G seja semissimples
e split. Seja = {M1 , . . . , Mk } um conjunto completo das classes de isomorsmos de F G-mdulos simples. Ponha-se ni = dimF Mi . Ento:
k
1) |G| =
i=1
n2 i;
2) Todo Mi aparece como fator de decomposio do mdulo regular F G F G com multiplicidade ni ; 3) k = nmero das classes de conjugao de G.
Demonstrao: A demonstrao pode ser encontrada em [10].

Segue do teorema acima nas condies consideradas, que o nmero de representaes irredutveis no equivalentes de G igual ao nmero de classes de conjugao de G.
Denio 2.14. Seja : G GL(V ) uma representao de G de grau nito. A funo

: G F : g (g ) = tr(g )
chamada de caracter de e dim V = deg chamado o grau do caracter .

Se for uma representao irredutvel dizemos que um caracter irredutvel de
G.
Sn -Representaes
32
Exemplo 2.15. Se : G F uma representao linear (de grau 1). Ento (g) =
(g ), g G.
Lema 2.16. 1) Sejam f, g representaes equivalentes de G. Ento g = f .

2) Caracteres so constantes nas classes de conjugao do grupo.
Demonstrao:
1) Se , so representaes equivalentes de G, existe P GL(n, F ) tal que: (a) = P 1 (a)P , a G. Ento, usando o fato que tr(AB ) = tr(BA) e chamando A = P 1 , B = (a)P , temos que
tr((a)) = tr(P 1 (a)P ) = tr( (a)P P 1 ) = tr( (a)).
Portanto os caracteres so iguais. 2) Seja uma representao de G. Como um homomorsmo de grupo, segue que (h1 gh) = (h1 )(g )(h), g, h G. Logo por um raciocnio anlogo ao que zemos na demonstrao acima, temos
tr((h1 gh)) = tr((h1 )(g )(h)) = tr((g )(h)(h1 )) = tr((g )).
Portanto, caracteres so constantes nas classes de conjugao do grupo G.
Agora consideremos Irr(F G) = {1 , . . . , r } o conjunto dos caracteres irredutveis no equivalentes de um grupo G.
Corolrio 2.17.
1. Todo caracter de F G uma combinao linear de Irr(F G) com coecientes inteiros no-negativos.
2. Inversamente, toda combinao linear de Irr(F G) com coecientes inteiros nonegativos no todos nulos um caracter de F G.
Demonstrao: A demonstrao pode ser encontrada em [10].

Pelo Teorema 2.13, para um grupo G, a ordem do conjunto Irr(G) igual ao nmero das classes de conjugao de G e (1)2 =| G |, onde (1) o grau do caracter .
Irr(G)
Sn -Representaes
33
Exemplo 2.18. O grupo simtrico S3 tem exatamente trs classes de conjugao e

|S3 | = 6. Assim, temos trs caracteres irredutveis de graus 1, 1 e 2. Logo, 12 + 12 + 22 = 6 = |S3 |.
Denio 2.19. Uma funo de classe sobre um grupo G uma funo f : G F

que constante sobre as classes de conjugao de G, ou seja, g g1 f (g ) = f (g1 ). Denotamos por CF (G) o conjunto das funes de classes de G.
Vimos que os caracteres so constantes nas classes de conjugao de um grupo, ento pertencem CF (G). Podemos denir um produto em CF (G) do tipo, (, ) = 1 1 g G (g ) (g ) para , CF (G). Uma proporiedade bsica deste produto que |G | os caracteres irredutveis do grupo G formam uma base ortonormal de CF (G).
Teorema 2.20. Sejam M e M dois R-mdulos e e seus respectivos caracteres. Se

M = M ento = .
Demonstrao:Ver [9], pgina 17, Captulo 2.

Pelo teorema de Maschke temos que F G semissimples, ou seja, F G = k i=1 F Gei em que ei um idempotente minimal central ortogonal. O teorema seguinte nos mostra como determinar ei .
Teorema 2.21.
ei =
1 i (1G )i (g 1 )g |G| gG
em que i um caracter irredutvel.
Demonstrao:Ver [9], pgina 19, Captulo 2.

Na proposio seguinte daremos propriedades bsicas dos caracteres de um grupo G.
Proposio 2.22. Seja F um corpo algebricamente fechado tal que charF = 0 e seja =
{M1 . . . Mk } um conjunto completo de representaes irredutveis no-equivalentes de G
com caracteres 1 , . . . , k , respectivamente. Seja : G GL(M ) uma representao de G e escreva M = m1 M1 . . . mk Mk com mi 0. Ento:
k
(1) =
i=1
mi i ;
Sn -Representaes
34
(2) ( , i ) = mi , i = 1, . . . , k ;
k
(3) ( , ) =
i=1
m2 i;
(4) irredutvel se, e somente se, ( , ) = 1; (5) Se outra F -representao de G, ento = .
Demonstrao:A demonstrao pode ser encontrada em [9].
2.3
Sn-representaes
e Tabelas de Young
Nesta seo vamos descrever a teoria de representao do grupo simtrico Sn sobre um corpo F de caracterstica zero. Vamos tambm estabelecer alguns conceitos importantes da teoria de Young. Por um resultado clssico, temos que Q um corpo de decomposio para Sn , ento qualquer corpo de caracterstica zero corpo de decomposio para Sn , ver [8]. Assim, a lgebra de grupo F Sn tem uma decomposio em componentes simples, que so lgebras de matrizes sobre F . Em toda seo vamos considerar o corpo F sendo o corpo dos racionais Q.
Denio 2.23. Seja n 1 um inteiro. Uma partio de n uma sequncia nita

r
de inteiros = (1 , . . . , r ) tais que 1 . . . r > 0 e escrevemos

n e || = r.
i=1
i = n. Neste caso,
Antes de enunciar o prximo resultado, vamos relembrar alguns fatos bsicos sobre permutaes. Sabemos que as classes de conjugao de Sn so indexadas pelas parties de n. Se Sn , decompomos em produto de ciclos disjuntos, incluindo 1-ciclo. Esta decomposio nica se exigirmos que = 1 2 . . . r , onde 1 , . . . , r so ciclos de comprimentos 1 . . . r 1, respectivamente. Ento a partio = (1 , . . . , r ) determina unicamente a classe de conjugao de , pois duas permutaes so conjugadas em Sn se, e somente se, possuem a mesma estrutura ciclca. Desta maneira, os caracteres irredutveis de Sn so indexados pelas parties de n, j que so funes de classes. Sendo assim, denote por o Sn -caracter irredutvel correspondente partio n. Usamos a notao d = (1) para o grau de .
Denio 2.24. Dizemos que um elemento e idempotente essencial se ele satisfaz

e2 = e, para algum Q, = 0.
Sn -Representaes
35
No prximo resultado determinamos um elemento idempotente essencial central usando o Teorema 2.21.
Lema 2.25. O elemento e =

lgebra F Sn .
Sn
( ) um idempotente essencial central da
Demonstrao: Note que (1 ) = () para todo Sn e
n, pois e
d d 1 so conjugados em Sn . Considere e = d Sn ( ) = n! Sn ( ) = n! e , o n! elemento idempotente visto no teorema 2.21, em que d o grau do caracter irredutvel associado partio n. Logo
e2 = e (
d n! d 2 2 ) e = ( )e e2 e . = n! n! d
Portanto o elemento e um idempotente essencial. Agora resta mostrar que central. Para isto suciente vericar que e comuta com todos elementos de Sn . Seja Sn um elemento qualquer da base de F Sn ,
e =
Sn
( ) =
Sn 1
( ) =
Sn
( ) 1
=
Sn
) =
Sn
( ) = e ,
j que ( 1 ) = ( ). Portanto e idempotente essencial central.
Proposio 2.26. ( [2],proposio 2.2.2) Seja F um corpo de caracterstica zero e n 1.

Ento existe uma correspondncia bijetiva entre Sn -caracteres irredutveis e parties de n. Seja { | n} um conjunto completo de caracteres irredutveis de Sn e seja d o grau de , n. Ento
F Sn =
n
I =
n
Md (F ),
onde I = F Sn e , e =
Sn
( ) o elemento unidade de I = Md (F ) . n, o
Denio 2.27. Se = (1 , . . . , r )
diagrama de Young associado
subconjunto nito de Z Z denido como

D = {(i, j ) Z Z|i = 1, . . . , r; j = 1, . . . , i }.
Em outras palavras, o diagrama de Young D consiste de n boxes distribuidos em r linhas, de modo que a primeira coordenada i (linha indexada) aumenta de cima para
Sn -Representaes
36
baixo e a segunda coordenada j (coluna indexada) aumenta da esquerda para a direita e o nmero de boxes na i-sima linha exatamente i .
Exemplo 2.28. Seja = (4, 2, 2, 1) partio de n = 9. Ento
D(4,2,2,1) =
em que D(4,2,2,1) = D(4,22 ,1) .
Denio 2.29. Para uma partio n, vamos denotar por a partio conjugada
de . Ento = (1 , . . . , s ) a partio tal que 1 , . . . , s , so os comprimentos das colunas de D , com s = 1 .
Observe que o diagrama D obtido de D trocando as linhas pelas colunas.
Exemplo 2.30. Pelo exemplo anterior temos = (4, 3, 1, 1). Ento D seria:
D(4,3,1,1) =
em que D(4,3,1,1) = D(4,3,12 ) .
Denio 2.31. Seja
n. Uma
tabela de Young
T do diagrama D um pre-
enchimento dos boxes de D com os inteiros 1, . . ., n. Dizemos tambm que T uma tabela do tipo . Vamos escrever T = D (aij ) onde aij o inteiro no box (i, j ).
Note que existem n! tabelas distintas do tipo .
Denio 2.32. Uma tabela T do tipo standard, se os inteiros em cada linha

e em cada coluna de T aumentam da esquerda para a direita e de cima para baixo, respectivamente.
Sn -Representaes
37
Exemplo 2.33. Considere as seguintes tabelas

1 T(5,2,1) = 5 6 4 2 3 7 8
no uma tabela standard. Enquanto que a tabela

1 T(4,4,1) = 3 7 2 5 4 8 6 9
standard. Em que T(4,4,1) = T(42 ,1) .

Existe uma relao entre tabelas standard e o grau dos Sn -caracteres irredutveis.
Teorema 2.34. ( [2],teorema 2.2.6) Dada uma partio
n, o nmero de tabelas
standard do tipo igual a d , o grau de , o carter irredutvel correspondente .

O inteiro d pode ser calculado pela conhecida frmula do gancho. A m de explicit-la introduziremos mais algumas denies. Dado um diagrama D , n, identicamos um box de D com o correspondente ponto (i, j ).
Exemplo 2.35. O terceiro box da primeira linha tem coordenada (1, 3). Denio 2.36. Para qualquer box (i, j ) D , denimos o nmero de gancho com
extremidades em (i, j ) como
hi,j = i + j i j + 1
onde = (1 , . . . , s ) a partio conjugada de .

Note que hij conta com os nmeros dos boxes no "gancho"com extremidades em (i, j ), ou seja, os boxes direita e abaixo de (i, j ) junto com o box (i, j ). No exemplo seguinte temos uma tabela de Young com os boxes preenchidos com seus respectivos nmeros de gancho.
Sn -Representaes
38
Exemplo 2.37. Considere a seguinte tabela, cujo preenchimento dos boxes so os seus
respectivos nmeros de gancho.
6 T(4,3,1) = 4 1 4 2 3 1 1
Proposio 2.38. (Formla do Gancho)

d = n! hi,j
(i,j )D
onde o produto percorre todos os boxes de D .

Vale destacar que, conforme mencionamos anteriormente d exatamente o nmero de tabelas standard do tipo .
Denio 2.39. O estabilizador de linhas de T

RT = S1 (a11 , a12 , , a11 ) Sr (ar1 , ar2 , , arr ),
onde Si (ai1 , ai2 , . . . , aii ) denota o grupo simtrico agindo nos inteiros ai1 , ai2 , . . ., aii . Por isso, RT um subgrupo de Sn consistindo de todas as permutaes estabilizando as linhas de T .
Denio 2.40. O estabilizador de colunas de T

CT = S1 (a11 , a21 , , a1 1 ) Ss (a1s , a2s , , as s ),
onde = (1 , . . . , s ) uma partio conjugada de e 1 = s. Por isso, CT um subgrupo de Sn consistindo de todas as permutaes estabilizando as colunas de T .
Exemplo 2.41. Dada a seguinte tabela standard T(2,1)

T(2,1) = 1 3 2
Sn -Representaes
39
Obtemos os respectivos estabilizadores de linhas e colunas:

RT(2,1) = S2 (1, 2) S1 (3) = {(1)(2)(3), (12)(3)} CT(2,1) = S2 (1, 3) S1 (2) = {(1)(3)(2), (13)(2)}
Fixando uma partio n e uma tabela de Young T , podemos usar estes subgrupos para denir o seguinte elemento de F Sn .
Denio 2.42. Para qualquer T , denimos o elemento idempotente essencial correspondente por
eT =
RT CT
(1) ,
onde (1) o sinal da permutao .

Pode-se mostrar que e2 T = aeT , onde a =
n! d
Exemplo 2.43. Pelo Exemplo 2.41, temos

eT(2,1) =
RT(2,1) CT(2,1)
((1) )
= (1)(2)(3) + (12) (13) (12)(13) = (1)(2)(3) + (12) (13) (132).
Exemplo 2.44. Seja = (1n ) n. Para obtemos somente uma tabela standard. Pelo
Teorema 2.34, d = 1. Temos tambm que CT = Sn (1, 2, . . . , n) e RT = n , em que n a identidade de Sn . E isto implica que eT = ((1) ) = ((1) ) .
CT Sn
Dada uma partio n, o grupo simtrico Sn age no conjunto de tabelas de Young do tipo da seguinte maneira: se Sn e T = D (aij ), ento T = D ( (aij )).
Exemplo 2.45. Considere a seguinte tabela:

1 T(3,2,1) = 5 6 3 4 2
observe que T no standard. Tome = (23456) S6 , ento
Sn -Representaes 1 T(3,2,1) = 6 2 4 5 3
40
Esta ao tem algumas propriedades: 1. RT = RT 1 ; 2. CT = CT 1 ; 3. eT 1 = eT . Agora vamos apresentar alguns resultados importantes acerca deste elemento eT .
Proposio 2.46. ( [2], proposio 2.2.13) Para toda tabela de Young T do tipo n,
o elemento eT um idempotente essencial minimal de F Sn e F Sn eT um ideal esquerda minimal de F Sn com caracter . Se T e T so tabelas de Young de mesmo so conjugados em F Sn para algum Sn , ou seja, eT tipo , ento eT e eT = . eT 1 = eT
A proposio acima nos diz que para quaisquer duas tabelas T , T do mesmo tipo , ou seja, os F Sn -mdulos minimais gerados por eT , temos que F Sn eT e = F Sn eT so isomorfos. eT Observe que, se RT CT ento eT = eT e F Sn eT = F Sn eT . Alm disso, so duas cada tabela standard T corresponde ao F Sn -mdulo simples F Sn eT . Se T e T , tabelas standard distintas, ento os mdulos simples correspondentes F Sn eT = F Sn eT mas no coincidem. Agora, se = ento F Sn eT = F Sn eT . As tabelas standard fornecem uma lista completa de somandos diretos simples de componentes I . eT Note que se e2 um elemento idempotente que gera o mesmo T = aeT , ento
ideal esquerda F Sn eT = F Sn
eT . a
Proposio 2.47. ( [2], proposio 2.2.14) Se T1 , . . ., Td so todas tabelas standard

do tipo , ento I , o ideal bilateral de F Sn correspondente , tem a seguinte decomposio
d
I =
i=1
F Sn eTi .
Sn -Representaes
41
A seguir daremos dois resultados importantes, que serviro de ferramenta para a demonstrao de resultados que utilizaremos na prova do teorema principal, no Captulo 4. No prximo teorema, damos uma decomposio em Sn+1 -mdulos irredutveis de qualquer Sn -mdulo induzido at S(n+1) . Note que o grupo Sn pode ser imerso em Sn+1 , ou seja, ele pode ser visto como o subgrupo de todas as permutaes xando o inteiro n + 1. Sendo assim, denote por M um Sn -mdulo irredutvel correspondente partio n. Denotamos por M Sn+1 a induo de M em Sn+1 . Ento M considerado como Sn+1 -mdulo. Agora, seja M um Sn+1 -mdulo irredutvel correspondente partio n + 1, e seja Sn Sn+1 . Denotamos por M Sn a restrio de M a Sn . Ento M considerado como Sn -mdulo.
Teorema 2.48 (Branching rule). ( [2], teorema 2.3.1) Considere o grupo Sn imerso
em Sn+1 como o subgrupo xando o inteiro n + 1. Ento: 1) Se
n, ento M Sn+1 =
+
onde + o conjunto de todas as parties de n + 1 cujo diagrama obtido de D adicionando um box; 2) Se

n + 1, ento M Sn =
onde o conjunto de todas as parties de n cujo diagrama obtido de D retirando um box.
Observao 2.49. Note que podemos imergir o grupo Sn Sm em Sn+m denindo uma
ao de Sm em {n + 1, . . . , n + m}. Lembre-se que, se M um Sn -mdulo e N um Sm -mdulo, ento M F N tem uma estrutura de Sn Sm -mdulo.
Denio 2.50. Se M um Sn -mdulo e N um Sm -mdulo, ento o produto tensorial externo de M e N denido como
N = (M N ) Sn+m . M
Considere as seguintes parties n, m e n + m. Agora vamos exibir um algoritmo chamado de Regra de Littlewood-Richardson. O algoritmo mostra como
Sn -Representaes
42
obter o diagrama associado partio = . O diagrama da partio construdo partir dos diagramas correspondentes as parties e . A regra de LittlewoodRichardson a seguinte: considere T = D (aij ) em que os aij s so smbolos. Ento 1. Adicione para D todos os boxes com os smbolos a1j . Aps a adio, nenhuma linha da nova tabela pode ter mais boxes que a linha anterior. 2. Em seguida, adicione todos os boxes com os smbolos a2j , de acordo com a mesma regra, e assim por diante, at todos os boxes com os smbolos serem adicionados. 3. Esses acrscimos devem ser tais que para todos i, se y < j , ento aiy aparece em uma coluna posterior que aij , e para todo j , se x < i, ento axj aparece em uma linha anterior de aij .
2.4
Sn-ao
em Polinmios Multilineares
Nesta seo vamos dar alguns resultados importantes sobre Sn -mdulos irredutveis. Tambm introduzimos a ao do grupo simtrico Sn no espao dos polinmios multilineares Pn em n variveis xadas. Assim, obtemos um isomorsmo de F Sn -mdulos entre a lgebra de grupo F Sn e Pn .
Lema 2.51. Seja M um Sn -mdulo irredutvel com caracter (M ) = , n. Ento

M pode ser gerado como um Sn -mdulo por um elemento do tipo eT f para algum f M
e alguma tabela de Young T do tipo . Alm disso, para qualquer tabela de Young T f . do tipo , existe f M tal que M = F Sn eT
Demonstrao: Considere F Sn =
n
I , onde I = F Sn e um ideal bilateral de F Sn
correspondente partio , em que e um elemento idempotente central. Vimos pela Proposio 2.47 que I = F Sn e = d i=1 F Sn eTi , onde T1 , . . . , T so tabelas standard do tipo . Como os elementos idempotentes so ortogonais, temos e e = 0 para = . Assim, 0 = M = F Sn M = n I M . Por hiptese M irredutvel com caracter (M ) = , ento M = I M = d i=1 F Sn eTi M . Pela irredutibilidade de M , existe uma nica tabela standard T tal que M = F Sn eT M . Se 0 = eT f M , novamente pela irredutibilidade de M , segue que F Sn eT f = M . Agora suponha que T outra tabela de Young do mesmo tipo , vimos pela Pro1 posio 2.46, que eT = eT para algum Sn . Tomando f = 1 f , segue que 1 f = F Sn eT f . M = F Sn eT f = F Sn eT f = F Sn eT
Sn -Representaes
43
O lema anterior diz que, dada uma partio n e uma tabela de Young do tipo , qualquer Sn -mdulo irredutvel M tal que (M ) = pode ser gerado por um elemento do tipo eT f para algum f M . Pela denio de RT , para qualquer RT temos que eT f = eT f, ou seja, eT f invariante pela RT -ao. De fato, tome RT ento
eT f = (
RT CT
(1) )f = (
RT CT
(1) )f.
Como , RT ento RT , pois RT Sn . Tome = RT ,

eT f = (
RT CT
(1) )f = eT f.
Observao 2.52. O elemento idempotente essencial eT invariante por multiplicao

de qualquer RT .
A partir de agora vamos considerar A uma P I -lgebra e Id(A) seu T -ideal de identidades. Sabemos que se F um corpo de caracterstica zero, o conjunto Id(A) determinado por seus polinmios multilineares. Vimos na Seo 1.4 que Pn o espao de todos os polinmios multilineares de grau n nas variveis x1 , . . . , xn , cuja base dada pelo conjunto das palavras
{x(1) x(2) . . . x(n) | Sn }.
Observao 2.53. Pn um F Sn -mdulo esquerda ou simplesmente Sn -mdulo esquerda. Vamos considerar o seguinte produto bilinear
F Sn Pn Pn (, f ) f
onde f (x1 , . . . , xn ) = f (x(1) , . . . , x(n) ) para toda Sn e para todo f Pn . Assim, Pn munido deste produto um F Sn -mdulo.
Vamos considerar a seguinte aplicao:
: F Sn
Sn
Sn
Pn x(1) . . . x(n)
Sn -Representaes
44
tal que (a) = a(x1 xn ), para todo a F Sn . possvel vericar que um isomorsmo de F Sn -mdulo esquerda. Assim, temos uma correspondncia biunvoca entre F Sn e Pn . Diante deste isomorsmo podemos tratar os elementos de F Sn como polinmios em Pn e vice-versa. Alm disso, como T -ideais so invariantes por permutaes de variveis temos
f (x1 , x2 , . . . , xn ) = f (x(1) , x(2) , . . . , xn ) Pn Id(A),
Pn um Sn -mdulo esquerda. Pn Id(A) Se F X uma lgebra livre de posto enumervel em X = {x1 , x2 , . . .}, ento Pn (A)
para todo f Pn Id(A) e para toda Sn . Logo, Pn Id(A) um Sn -submdulo
esquerda de Pn . E assim o quociente Pn (A) =
o espao dos elementos multilineares nas n primeiras variveis da lgebra relativamente livre
F X . Neste caso para V = var(A) tambm escrevemos Pn (V ) = Pn (A). Id(A) Pn chamado de Pn Id(A)
Denio 2.54. O Sn -caracter de Pn (A) =

A, e denotado por n (A), para n 1 .
cocaracter de
Vamos decompor o cocaracter de A em caracteres irredutveis

n (A) =
n
m ,
onde o Sn -caracter irredutvel associado partio n e m 0 a correspondente multiplicidade. Escrevendo Pn (A) como soma direta de submdulos irredutveis, m exatamente o nmero de submdulos isomorfos M nesta decomposio.
Teorema 2.55. Seja A uma P I -lgebra com cocaracter n (A). Para uma partio
n, a multiplicidade m igual a zero se, e somente se, para qualquer tabela de
Young T do tipo e para qualquer polinmio f = f (x1 , . . . , xn ) Pn , a lgebra A satisfaz a identidade eT f 0.
Demonstrao: Considere a seguinte decomposio de F Sn ,

F Sn =
n
I ,
Pn . Fixe uma partio Pn Id(A) n. Seja M um F Sn -mdulo irredutvel correspondente partio . Segue que Pn m = 0 se, e somente se, M no aparece na decomposio de J . = Pn Id(A)
onde I = F Sn e um ideal bilateral de F Sn . Considere Pn = Q J , onde Q = Pn Id(A) e J =
Sn -Representaes
45
Para a decomposio do mdulo J temos a seguinte armao, J F Sn e 1 F Sn e , onde e i , com i = 1, . . . , , so elementos idempotentes minimais centrais correspondentes a algumas parties = , denidos no Lema 2.25. Seja I = F Sn e , onde e idempotente minimal central. Ento
I J F Sn e (F Sn e 1 F Sn e ) = F Sn e F Sn e 1 F Sn e F Sn e = 0,
pois os elementos idempotentes so ortogonais, ou seja, e e i = 0 para todo i = 1, . . . , . Logo m = 0 se, e somente se, I J = 0. Como I J = 0, ento I (
d d
Pn ) = (0), ou seja, I Pn Pn Id(A) = Q. Pela Pn Id(A) F Sn eTi, ), ento (

i=1 i=1
Proposio 2.47, temos I = (
F Sn eTi, )Pn Q. Portanto,
eT f Q para qualquer f Pn e para qualquer tabela T .
Teorema 2.56. Para qualquer polinmio multilinear f Pn , existe um conjunto nito

de polinmios g1 , . . . , gr Pn e parties 1 , . . . , r de n tais que
F Sn f = F Sn eT1 g1 + + F Sn eTr gr .
Demonstrao: Escreva M = F Sn f . Como pelo teorema de Maschke todo F Sn mdulo semissimples, vamos decompor M = M1 . . . Mr em uma soma de F Sn mdulos irredutveis. Pelo Lema 2.51 existe g1 M1 , . . . , gr Mr e tabelas de Young T1 , . . . , Tr tais que, F Sn f = F Sn eT1 g1 F Sn eTr gr .
2.5
Sn-Representaes
e Ganchos
Nesta seo mostraremos como obter polinmios simtricos e alternados atravs de tabelas de Young contidas em ganchos. Mas antes disto relembraremos algumas denies e daremos mais alguns resultados teis. Sejam n e D o correspondente diagrama de Young. Para = (1 , 2 , . . . , k ) n e = (1 , 2 , . . . , t ) m, dizemos que se, e somente se, k t e i i , i. Portanto se signica que D um subdiagrama de D . Temos que se = (1 , 2 , . . . , k ) n ento h() = k a altura de e l() = 1 o comprimento de .
Sn -Representaes
46
Sejam T uma tabela de Young e

eT =
RT CT

RT CT
(1)
(1) =
o correspondente elemento idempotente essencial de F Sn , onde RT um subgrupo de Sn que estabiliza as linhas de T e CT um subgrupo que estabiliza as colunas de T .
Lema 2.57. Sejam H um subgrupo de CT , M um F Sn -mdulo e eT u = 0 para algum

u M . Ento (1) eT u = 0.
H
Demonstrao: Escreva CT = a1 H a2 H am H , onde a1 = 1, a2 , . . . , am so representantes em um tranversal esquerda de H em CT . Denotaremos r = H (1) . Se reT u = 0 ento ai reT u = 0 em M para todo i = 1, . . . , m. Consequentemente,
e2 T u =
RT

CT
(1) eT u
=
RT
(a1 reT u am reT u) = 0,
uma contradio, desde que e2 T = eT para algum inteiro = 0 e eT u = 0. De modo anlogo e fazendo algumas modicaes do argumento anterior provamos o seguinte lema.
Lema 2.58. Sejam H um subgrupo de RT , M um F Sn -mdulo e eT u = 0 para algum

u M. Ento,
H CT
(1) eT u = 0.
De agora em diante vamos considerar
n e T uma tabela associada .
Denio 2.59. Dizemos que um polinmio multilinear f = f (x1 , . . . , xn ) corresponde

T , se f = eT f0 para algum polinmio multilinear f0 Pn .
Observao 2.60. Se f = 0 um polinmio correspondente tabela T ento F Sn f

um Sn -mdulo irredutvel. Temos que F Sn eT um F Sn -mdulo irredutvel.
Sn -Representaes
47
Denio 2.61. Dados os inteiros l, d, t 0 denimos a partio

h(d, l, t) = (l + t, . . . , l + t, l, . . . , l).
d t
O diagrama associado a partio h(d, l, t) dado pelo gancho abaixo
Denio 2.62. Denimos o gancho innito H (d, l) da seguinte forma:

H (d, l) =
t1
h(d, l, t)
Assim, o gancho innito pode ser dado como o conjunto de todos diagramas cuja forma encontra-se na regio em forma de gancho, dado na gura abaixo.
O inteiro d chamado de brao e l de p do gancho. Dizemos que uma partio = (1 , . . . , r ) encontra-se no gancho H (d, l) e escrevemos H (d, l), se o diagrama de Young D correspondente est contido em H (d, l), o que signica que d+1 l. Analogamente, para M um Sn -mdulo com caracter (M ) = m , escrevemos
(M ) H (d, l) quando H (d, l) para toda partio tal que m = 0.
n
Os dois lemas seguintes apresentam propriedades importantes dos ganchos. Eles nos mostram como obter polinmios simtricos e alternados em certas variveis a partir de tabelas de Young.
Sn -Representaes
48
Lema 2.63. Seja n tal que h(d, l, t) para alguns l, d, t, e seja f (x1 , . . . , xn ) um
polinmio multilinear correspondente uma tabela T . Ento existe r F Sn tal que rf = 0 e um subconjunto Y de {x1 , . . . , xn } tal que: 1. Y = Y1 Yd , rf simtrico em cada conjunto de variveis Yj , j = 1, . . . , d, e |Yj | = t + l; 2. rf pode ser decomposto em uma soma de polinmios multilineares rf = f1 + f2 + + fk tais que para todo fj existe uma partio Y = Y1 Yt+l com |Yi | = d, e fj alternado em cada conjunto de variveis Yi , i = 1, . . . , t + d.
Demonstrao: Por hiptese, a tabela T contm uma tabela retangular T0 com d

linhas e t + l colunas. Sejam Nj , (j = 1, . . . , d) o conjunto dos inteiros na j -sima linha de T0 , Ni , (i = 1, . . . , t + l), o conjunto dos inteiros na i-sima coluna de T0 e / N }, o conjunto que N = N1 Nd . Sejam H = { RT | (i) = i para todo i permuta somente os elementos das linhas de T0 , e
r0 =
CT
(1) ,
r=
H
r0 .
Sejam Yj = {xs | s Nj } e Zi = {xs | s Ni }. Pode se mostrar que o elemento g = rf simtrico nas variveis de Yj para cada j . De fato, tome H
g = rf =
H
r0 f =
H
r0 f =
H
r0 f = rf = g.
Denotamos por = H , para toda permutao H . Por outro lado, para cada CT temos
(r0 f ) =
CT
(1) f =
CT
(1) f = (1)
CT
= (1) (r0 f ) , (1) f
. Ento o polinmio r0 f alternado nas variveis de cada Zi . Logo para em que = todo H o elemento r0 f alternado nas variveis de cada Yi = (Zi ) para todo i = 1, . . . , t + l. Portanto, rf o polinmio desejado e pelo Lema 4.10, obtemos que rf no-nulo.
Sn -Representaes
49
Lema 2.64. Seja f (x1 , . . . , xn ) um polinmio multilinear correspondente tabela de

Young T e suponha que h(d, l, t). Ento para algum r F Sn , rf = 0 e existe um subconjunto Y de {x1 , . . . , xn } tal que: 1. Y = Y1 Yl , rf alternado em cada conjunto de variveis Yj , j = 1, . . . , l, e
|Yj | = t + d;
2. rf pode ser decomposto em uma soma de polinmios multilineares rf = f1 + + fk tal que para todo fj existe uma partio Y = Y1 Yt+d , com |Yi | = l e fj simtrico em cada conjunto de variveis Yi , i = 1, . . . , t + l.
Demonstrao: Como no lema anterior, T contm uma tabela retangular T0 com

d + t linhas e l colunas. Sejam Nj , (j = 1, . . . , l) um conjunto de inteiros na j -sima
coluna de T0 , Ni , (i = 1, . . . , t + d), o conjunto de inteiros na i-sima linha de T0 e N = N1 Nl . Denote por H = { CT | (i) = i, para todo i N }, o conjunto que permuta somente os elementos das colunas de T0 e
r=
H
(1) .
Sejam Yj = {xs | s Nj } e Zi = {xs |s Ni }. pela Observao 2.52, o elemento f = eT f0 com f0 Pn , simtrico nas variveis de Zi . consequentemente, para todo H o polinmio f simtrico nas variveis de Yi = (Zi ). Isto implica a segunda parte do lema. Alm disto, o polinmio rf no-nulo pelo Lema 4.9, alternado nas variveis de Yj para todo j = 1, . . . , l.
Observao 2.65. Seja Y = {y1 , . . . , yn } um conjunto de variveis. Observe que se f

um polinmio multilinear alternado nas variveis yi , i = 1, . . . , n, ento multiplicando f por , onde Sm age em pelo menos duas variveis do conjunto Y , obtemos que
Sm
(
Sm
)f nulo. De forma anloga, se f simtrico nas variveis do conjunto Y , e se (1) , ento (

Sm Sm
multiplicarmos f por
(1) )f nulo.
Sequncia de Codimenses de lgebras e lgebras Graduadas
Neste captulo falaremos de lgebras graduadas, lgebras verbalmente primas, envolvente de Grassmann e daremos algumas propriedades importantes destas lgebras. Vamos tambm estudar o comportamento da sequncia de codimenses cn (A) de A. Em todo Captulo F denotar um corpo de caracterstica zero e A uma P I -lgebra.
3.1
Codimenses de uma lgebra
Considere Pn o conjunto de todos os polinmios multilineares de F X nas variveis x1 , . . . , xn . Como vimos na Seo 2.4, o conjunto {x(1) x(2) x(n) | Sn } uma base de Pn como espao vetorial. Assim dimPn = n!. Se A uma lgebra sobre um corpo de caracterstica zero, vimos que o estudo de Id(A) equivalente ao estudo de Pn Id(A) n para todo n 1. Vimos ainda, como Pn e Pn Id(A) so F Sn -mdulos ento Pn P Id(A) tambm um F Sn -mdulo, a partir de agora o denotaremos por Pn (A).
Denio 3.1. O inteiro no-negativo

cn (A) = dimPn (A) = dim Pn Pn Id(A)
chamado a n-sima codimenso da lgebra A. Se uma variedade de lgebras e = var(A), ento denimos cn ( ) = cn (A).
Temos que cn (A) = n! dim(Pn Id(A)) n!.
Observao 3.2. A uma P I -lgebra se, e somente se, para algum n N , dim(Pn
Id(A)) 1.
51
Observe que se cm (A) < m!, para algum m N , ento existe 0 = f (x1 , . . . , xm ) Pm Id(A), e assim, f (x1 , . . . , xm )xm+1 xn Pn Id(A). Logo cn (A) < n! para todo n m.
Exemplo 3.3. Seja A uma lgebra nilpotente de grau m. Assim a1 am = 0 para

quaisquer a1 , . . . , am A. Segue que x1 xm Id(A), e assim x1 xn Id(A) para todo n m. Portanto Pn Id(A) = Pn e da cn (A) = 0 para todo n m.
Sejam F um corpo de caracterstica zero, K uma extenso de F e A uma F -lgebra. Na Seo 1.5 vimos que, denindo o seguinte produto (a k ) := a (k ), K, a = A F K uma estrutura de K -lgebra. Temos pela A e k K , podemos dar a A Proposio 1.57 que Id(A)F F K = IdK (A F K ), e assim podemos considerar lgebras sobre corpos algebricamente fechados, pois suciente tomar K o fecho algbrico de F e como vimos as identidades sero as mesmas. O teorema seguinte nos diz que a sequncia de codimenses de A sobre F coincide sobre K . com a sequncia de codimenses de A
Teorema 3.4. Se A uma F -lgebra e K uma extenso de F , ento

F cK n (A) = cn (A), n = 1, 2, . . .
Demonstrao: Ver [2], seo 4.1, pgina 93.

Para nalizar esta seo apresentaremos alguns conceitos e resultados fundamentais para demonstrar o teorema de Regev, que nos mostra que se A uma P I -lgebra ento sua sequncia de codimenses exponencialmente limitada.
Denio 3.5. Sejam d, n N tais que 2 d n. Uma permutao Sn d-ruim

se existe 1 i1 < < id n tal que (i1 ) > > (id ). No caso em que no d-ruim dizemos que d-boa. Chamamos um monmio x(1) x(2) x(n) de d-ruim (respectivamente de d-bom) se uma permutao d-ruim (respectivamente d-boa).
Exemplo 3.6. A permutao identidade d-boa para d = 2 e todo n 2. Lema 3.7. O nmero total de d-boas permutaes em Sn no excede (d 1)2n . Demonstrao: Ver [2], seo 4.2, pgina 94. Teorema 3.8. (Regev) Se uma lgebra A satisfaz uma identidade de grau d 1, ento
cn (A) (d 1)2n .
52
Demonstrao: Podemos assumir que A satisfaz uma identidade multilinear de grau d

da forma
x1 xd
Sd , =1
n gerado por monmios d-bons x(1) x(n) . Suponha Armamos que o espao Pn P Id(A) por absurdo, que existe um monmio x(1) x(n) = f multilinear d-ruim que no combinao linear mdulo (Pn Id(A)) de monmios d-bons em Pn , sendo este, minimal na ordem lexicogrca. Como uma permutao d-ruim, existem 1 j1 < < jd n tais que (j1 ) > > (jd ). Agora vamos denotar por a0 = x(1) x(j1 1) , a1 = x(j1 ) x(j2 1) , . . . , ad = x(jd ) x(n) . Ento a1 > > ad pela ordem lexicogrca de monmios, e assim,
x(1) x(d) 0.
(3.1)
a0 a(1) a(d) < a0 a1 ad = f
para qualquer Sd , = 1. Pela minimalidade de f , segue que qualquer monmio a0 a(1) a(d) com = 1 uma combinao linear mdulo (Pn Id(A)) de monmios d-bons x(1) x(n) . Mas ento, desde que
f = a0 a1 ad =
Sd , =1
a0 a(1) a(d)
(modPn Id(A)),
obtemos que f uma combinao linear mdulo (Pn Id(A)) de monmios d-bons, o n que uma contradio. Portanto temos que o espao Pn P gerado por monmios Id(A) 2n d-bons. Pelo Lema 3.7, cn (A) limitada por (d 1) .
3.2
lgebras
G-Graduadas
Nesta seo falaremos de lgebras graduadas por um grupo qualquer e daremos alguns exemplos. Vamos considerar A uma F -lgebra e G um grupo qualquer.
Denio 3.9. A lgebra A G-graduada se A pode ser escrita como soma direta de
subespaos A = gG A(g) , tais que para todo g, h G, A(g) A(h) A(gh) .
Pela denio claro que, qualquer a A pode ser escrito unicamente como uma soma nita a = gG ag com ag A(g) . Os subespaos A(g) so chamados de componentes homogneas de A. Um elemento a A homogneo se a A(g) para algum g G. Um subespao B A graduado ou homogneo se B = gG (B A(g) ). Por outro lado, B graduado se para qualquer b B, b = gG bg implica que bg B, g G.
53
Exemplo 3.10. Qualquer lgebra A pode ser graduada por um grupo G denindo A(e) =
A e A(g) = 0 para qualquer g = e, onde e denota o elemento neutro de G. Tal graduao
chamada graduao trivial.
Exemplo 3.11. Seja A = F X a lgebra associativa livre, no unitria gerada por X .

Dena A(n) = 0 se n 0 e A(n) = spanF {m F X ; m monmio de grau total n}, se n > 0. Ento A = nZ A(n) uma Z-graduao de F X .
Se Xk = {x1 , . . . , xk } um conjunto nito, ento A = F Xk , a lgebra associativa livre de posto k , pode ser graduada pelo grupo Z k = Z Z denindo A(n1 ,...,nk ) = {f F Xk | degxi f = ni , i = 1, . . . , k }. Assim f A(n1 ,...,nk ) multihomogneo.
Exemplo 3.12. A lgebra de grupo A = F G naturalmente graduada por G denindo

A(g) = span{g }.
Sejam G um grupo nito e X um conjunto innito e enumervel. Se X = gG Xg (g ) g) uma decomposio de X como uma unio disjunta, onde Xg = {x( 1 , x2 , . . . }, dizemos que as indeterminadas de Xg possuem grau homogneo g . O grau homogneo g1 ) (gt ) de um monmio x( F X denido por g1 . . . gt . Denote por F X (g) o i 1 . . . xi t subespao de F X gerado por todos monmios com grau homogneo g. Note que F X (g) F X (h) F X (gh) , g, h G. Assim, F X = gG F X (g) determina uma G-graduao em F X . Esta lgebra denotada por F X gr e denominada a lgebra livre G-graduada de posto enumervel sobre F . Temos tambm que os elementos de F X gr so chamados de polinmios G-graduados.
Denio 3.13. Sejam A = gG A(g) e B = gG B (g) lgebras G-graduadas. Dizemos

que a aplicao : A B homomorsmo de lgebras G-graduadas se (A(g) ) B (g) para todo g G.
Observao 3.14. Um isomorsmo de lgebras G-graduadas um homomormo de

lgebras G-graduadas bijetivo.
A lgebra F X gr tm a seguinte proporiedade universal: se A uma lgebra Ggraduada e : X A uma aplicao satisfazendo (Xg ) A(g) , para todo g G, ento pode ser extendida unicamente at um homomorsmo : F X gr A de lgebras G-graduadas.
Denio 3.15. Seja A = gG A(g) uma lgebra G-graduada.

g1 ) (gn ) gr 1. Dizemos que um polinmio G-graduado f (x( uma identi1 , . . . , xn ) F X (g1 ) (gn ) ( g1 ) gn ) dade G-graduada de A, se f (a1 , . . . , an ) = 0 para todo a1 A(g1 ) , . . . , a( n (gn ) A . Assim, escrevemos f 0 em A.
Sequncia de Codimenses de lgebras e lgebras Graduadas 2. O conjunto Id(gr) (A) = {f F X G-graduadas de A.

gr
54
|f 0 em A} dito o ideal
de identidades
Observao 3.16. As identidades polinomiais ordinrias no graduadas podem ser consideradas como graduadas. Assim Id(A) Idgr (A).
Agora vamos denotar por Endgr (F X ) o conjunto de todos endomorsmos Ggraduados de F X gr , ou seja, endomorsmos de F X gr tais que (F X (g) ) F X (g) para todo g G.
Denio 3.17. Dizemos que um ideal I da lgebra livre G-graduada F X

gr
um TG ideal, se (I ) I , para todo End (F X ), ou seja, I um ideal invariante sob todos os endomormos de F X gr que preservam a G-graduao.
gr
Note que, xada uma lgebra G-graduada A = gG A(g) , temos que Id(gr) (A) um TG -ideal de A.
3.3
Superalgebra e Envolvente de Grassmann
Dentre as lgebras G-graduadas se destacam as Z2 -graduadas, tambm denominadas superalgebras.
Denio 3.18. Uma F -lgebra A dita superalgebra (ou lgebra Z2 -graduada) se

A = A(0) + A(1) , uma soma direta de subespaos tais que, os subespaos A(0) e A(1)
.
satisfazem
A(0) A(0) + A(1) A(1) A(0)
A(0) A(1) + A(1) A(0) A(1) .
Note que A(0) uma F -sublgebra. Os subespaos A(0) e A(1) so chamados de componentes par e mpar, respectivamente. Os elementos de A(0) so homogneos de grau 0 e os elementos de A(1) so homogneos de grau 1.
Exemplo 3.19. Toda lgebra admite uma Z2 -graduao trivial. Exemplo 3.20. A lgebra de Grassmann denida no Exemplo 1.27 uma superalgebra . com graduao cannica, dada por G = G(0) + G(1) . Exemplo 3.21. A lgebra A = Mn (F ) Z2 -graduada, com graduao trivial A = A(0) =
Mn (F ), A(1) = 0.
55
Exemplo 3.22. Considere A = Mn (F ) e k l > 0 dois inteiros tais que k + l = n,

podemos denir em A uma Z2 -graduao A = A(0) + A(1) dada por
A(0) = P 0 , A(1) = 0 Q R 0 .
0 S
Onde P Mk (F ), Q Mkl (F ), R Mlk (F ), S Ml (F ). A lgebra de matrizes Mn (F ) dotada desta graduao chamada de lgebra de matrizes Mk,l (F ).
Exemplo 3.23. Considere G um grupo de ordem 2 e c o seu gerador, onde G = Z2 . A

lgebra de grupo F G uma superalgebra com a seguinte Z2 -graduao:
(F, cF ).
Exemplo 3.24. A lgebra A = Mn (F + cF ) Z2 -graduada com graduao A(0) =

Mn (F ), A(1) = cMn (F ).
As superalgebras Mn (F ), Mk,l (F ) e Mn (F cF ) so particularmente muito importantes para o nosso trabalho. No Captulo 4 vamos determinar o P I -expoente destas lgebras.
Denio 3.25. Uma superalgebra A dita simples se no possui ideais graduados no

triviais e A2 = 0.
Observao 3.26. Se A simples como lgebra, ento A simples como superalgebra. Exemplo 3.27. Como lgebras de matrizes so simples, ento as superalgebras Mn (F )
e Mk,l (F ) so simples.
Exemplo 3.28. A lgebra Mn (F + cF ) uma lgebra semissimples e uma superalgebra

simples.
Os teoremas seguintes nos do uma descrio das superalgebras simples de dimenso nita sobre um corpo algebricamente fechado F de caracteristica zero.
Teorema 3.29. Seja A uma superalgebra simples de dimenso nita sobre um corpo algebricamente fechado F de caracterstica zero. Ento A isomorfo a uma das superalgebras Mn (F ), Mk,l (F ), e Mn (F + cF ), c2 = 1.
56
Note que as superalgebras simples de dimenso nita so unitrias e a unidade pertence parte par da graduao. Consequentemente, as lgebras semissimples de dimenso nita so unitrias.
Teorema 3.30. Sejam A uma superalgebra de dimenso nita sobre um corpo algebricamente fechado F de caracterstica zero e J (A) seu radical de Jacobson. Ento existe uma F -sublgebra graduada semissimples maximal B A tal que A = B + J (A). Alm disso B uma soma direta nita de superalgebras simples isomorfas a uma das seguintes superalgebras: Mk (F ) ou Mk,l (F ) com k l > 0 ou Mn (F + cF ), c2 = 1.

A sublgebra graduada semissimples B da superalgebra A maximal quando no existe uma sublgebra graduada semissimples B de A tal que B maior que B , isto , B B . Assim, para alguma sublgebra graduada semissimples maximal B , temos que B + J (A) coincide com toda superalgebra A de dimenso nita. Vamos considerar a seguinte aplicao:
:A A
a0 + a1 a0 a1 ,
onde a0 A(0) e a1 A(1) . Observe que um homomorsmo de lgebras em que A = A(0) + A(1) uma lgebra Z2 -graduada, e 2 = . Ento um automorsmo da lgebra A de ordem 2. Vamos mostrar que o radical de Jacobson J (A) de uma superalgebra A de dimenso nita sobre um corpo de caracterstica zero Z2 -graduado. Para isso, vamos considerar o automorsmo denido acima.
.
Proposio 3.31. O radical de Jacobson J (A) Z2 -graduado se, e somente se, (J (A))
J (A).
Demonstrao: Suponha que J (A) Z2 -graduado. Ento para todo elemento a J (A)
temos a = a0 + a1 , onde os elementos homogneos a0 , a1 J (A). Logo a0 a1 = (a0 + a1 ) J (A) e, assim, temos que (J (A)) J (A). Suponha agora que (J (A)) J (A). Segue que (a) = a0 a1 J (A) e a = a0 + a1 (a) (a) J (A). Ento a0 = a+ J (A) e a1 = a J (A). 2 2
57
Proposio 3.32. O radical de Jacobson J (A) Z2 -graduado. Demonstrao: Como um automorsmo e J (A) um ideal bilateral de A, temos
que (J (A)) um ideal bilateral de A. Para uma superalgebra A de dimenso nita, o J (A) o maior ideal nilpotente. Logo, (J (A)) tambm nilpotente. Portanto (J (A)) J (A). Pela proposio 3.32, segue que J (A) Z2 -graduado. Seja X = Y Z a unio de dois conjuntos disjuntos enumerveis de indeterminadas Y = {y1 , y2 , . . . } e Z = {z1 , z2 , . . . }. A lgebra associativa livre F X = F Y, Z sobre F tem uma Z2 -graduao natural F Y, Z (0) F Y, Z (1) , onde F Y, Z (0) (resp. F Y, Z (1) ) o subespao de F Y, Z gerado por todos os monmios nas variveis X tendo um nmero par (resp. mpar) de variveis Z .
Denio 3.33. F Y, Z chamada superalgebra livre em Y e Z sobre F .

Lembremos que um polinmio f (y1 , . . . , yn , z1 , . . . , zm ) F Y, Z um identidade Z2 -graduada da superalgebra A se f (a1 , . . . , an , b1 , . . . , bm ) 0 para todo a1 , . . . , an A(0) , b1 , . . . , bm A(1) .
Denio 3.34. Um ideal graduado I = I (0) I (1) de F Y, Z chamado de T2 -ideal

se (I ) I para todo endomorsmo graduado de F Y, Z .
Note que Idgr (A) um T2 -ideal de F Y, Z , isto , um ideal fechado por todos endomorsmos de F Y, Z que preservam a Z2 -graduao. Agora vamos denotar Pn1 ,n2 o espao dos polinmios multilineares graduados em y1 , . . . , yn1 , z1 , . . . , zn2 . Os grupos simtricos Sn1 e Sn2 agem independentemente sobre Pn1 ,n2 , isto , Sn1 age sobre y1 , . . . , yn1 e Sn2 age sobre z1 , . . . , zn2 . Sejam M1 um Sn1 -mdulo irredutvel e M2 um Sn2 -mdulo irredutvel, pela Obseravao 2.49, temos que M1 M2 um Sn1 Sn2 -mdulo irredutvel. Pela denio de M2 = (M1 M2 ) Sn1 +n2 . Ento, considerando os produto externo 2.50, temos que M1 polinmios multilineares graduados que dependem das variveis y1 , . . . , yn1 , z1 , . . . , zn2 de grau n, temos que eles formam um subespao em Pn .
Denio 3.35. Dado um conjunto no vazio S = S (0) S (1) , S (0) F Y, Z

F Y, Z
(1)
(0)
, S (1)
, a classe de todas as superalgebras A(0) + A(1) tais que f 0 em A para todo f S chamado de supervariedade determinada por S .
Analogamente ao que ocorre com P I -lgebras, o estudo das identidades Z2 -graduadas de uma superalgebra A sobre um corpo de caracterstica zero se reduz ao estudo das identidades multilineares Z2 -graduadas. Da mesma forma podemos obter todos resultados
58
feitos no Captulo 1 sobre polinmios multilineares relativos lgebra associativa livre F X para a lgebra F Y, Z .
Observao 3.36. Dada qualquer superalgebra A pode-se formar uma nova superalgebra
com a ajuda da lgebra de Grassmann G denida no primeiro Captulo G = G(0) + G(1) .
Denio 3.37. Seja A = A(0) + A(1) uma superalgebra e G a lgebra de Grassmann. A lgebra G(A) = (A(0) G(0) ) + (A(1) G(1) ) chamada a envolvente de Grassmann
de A.
Observe que a envolvente de Grassamann C = G(A) tem uma Z2 -graduao natural, onde C (0) = A(0) G(0) e C (1) = A(1) G(1) . Se A possui uma graduao trivial, temos que G(A) = A G(0) . Neste caso, Id(A) = Id(A G(0) ), j que G(0) uma lgebra comutativa e no nilpotente.
Exemplo 3.38. Vimos que Mn (F ) possui graduao trivial, ento G(Mn (F )) = Mn (F )

G(0) = Mn (G(0) ).
Exemplo 3.39. G(Mn (F + cF )) = G(0) Mn (F ) + G(1) cMn (F ) = Mk (G) como

lgebras (onde c2 = 1).
Denio 3.40. A lgebra de matrizes Mk,l (G) denida por

k Mk,l (G) = k l G(0) G(1) l G(1) G(0)
Exemplo 3.41. G(Mk,l (F )) = G(0) Mk,l (F )(0) + G(1) Mk,l (F )(1) = Mk,l (G) como
lgebras.
Os resultados seguintes mostram a importncia da envolvente de Grassmann de superlgebras. Seja V uma variedade de lgebras. Denote por V a classe de todas superalgebras . A = A(0) + A(1) tal que G(A) V .
Teorema 3.42. Para qualquer variedade de lgebras V a classe V uma supervariedade.

O teorema seguinte fundamental para a teoria de PI-lgebras. Este resultado ser til para calcular o PI-expoente de uma P I -lgebra qualquer, como veremos no Captulo 4.
59
Teorema 3.43. (Kemer) Para qualquer variedade prpria existe uma superalgebra
de dimenso nita A = A(0) + A(1) tal que = var(G(A)).
.
Demonstrao: Ver [5].
O PI-expoente de uma lgebra
Neste Captulo vamos denir o P I -expoente de uma PI-lgebra A sobre um corpo de caracterstica zero. Provaremos a conjectura de Amitsur que diz, que para qualquer PI-lgebra o PI-expoente, o qual denotaremos por exp(A), existe e um inteiro no negativo. Este inteiro vai ser denido na Seo 4.2, pela estrutura de algumas superalgebras de dimenso nita relacionadas a A. Apresentaremos uma maneira explcita de calcular este expoente e calcularemos o PI-expoente de algumas lgebras. Em todo o Captulo vamos considerar G sendo a lgebra de Grassmann e G(B ) a envolvente de Grassmann de uma superalgebra B sobre um corpo F de caractertica zero. Todas dimenses e bases consideradas de agora em diante sero sobre um corpo base F .
4.1
PI-expoente
Seja A uma PI-lgebra sobre um corpo F de caracterstica zero e seja {cn (A)}n1 sua sequncia de codimenses. Vimos que se A uma lgebra nilpotente, ou seja, x1 xN 0 uma identidade polinomial de A para algum N 1, ento cn (A) = 0 para qualquer n N . Mas se A no uma lgebra nilpotente ento cn (A) = 0 para todo n 1 e pelo Teorema 3.8, temos que cn (A) exponencialmente limitada, ou seja, 1 cn (A) an para alguma constante a. Por isso a sequncia da n-sima raiz n cn (A), n = 1, 2, . . . , limitada e assim podemos considerar seus limites inferior e superior.
Denio 4.1. Seja A uma PI-lgebra. Ento

exp(A) = lim inf
n
n
cn (A)
61
chamado de expoente inferior de A, e

exp(A) = lim sup
n
n
cn (A)
chamado de expoente superior de A.

Para uma sequncia limitada arbitrria os seus limites inferior e superior podem no coincidir. No caso em que estes limites coincidem, podemos denir o expoente ou PI-expoente de A. A partir de agora diremos simplesmente o expoente de A.
Denio 4.2. Seja A uma PI-lgebra. Ento o expoente de A

exp(A) = lim
n
cn (A).
Se o expoente existe ento exp(A) = exp(A). No caso em que V = V ar(A) uma variedade de lgebras gerada por A, escrevemos exp(V ) = exp(A) e chamamos exp(A) o expoente da variedade V.
Teorema 4.3. Seja A uma lgebra de dimenso nita dimA = d. Ento cn (A) dn . Demonstrao: Ver [2], seo 6.1, pgina 145.
Como consequncia do Teorema 4.3 para uma lgebra associativa temos o seguinte corolrio.
Corolrio 4.4. Se dimA = d < , ento exp(A) d. Demonstrao: Pelo teorema acima
n
cn (A) d para todo n 1. Aplicando o lim sup
em ambos os lados desta desigualdade temos

lim sup
n
n
cn (A) lim sup d

n
exp(A) d.

4.2 Um candidato para PI-expoente
62
A partir de agora vamos considerar F um corpo algebricamente fechado de carac. terstica zero e A = A(0) + A(1) uma superalgebra, isto , uma lgebra Z2 -graduada de dimenso nita sobre F . Ao longo desta seo vamos denir um inteiro relacionado estrutura de A. Nas sees seguintes vamos provar que este inteiro coincide com o expoente de uma PI-lgebra A qualquer sobre um corpo de caracterstica zero. Seja A uma superalgebra de dimenso nita sobre F . Pelo Teorema 3.30, A = B + J onde B uma sublgebra maximal semissimples Z2 -graduada de A, ou seja, B = A1 Ar em que A1 , . . . , Ar so sublgebras simples homogneas Z2 -graduadas . (1) de A e para cada i = 1, . . . , r, Ai = A(0) i + Ai , e J = J (A) o radical de Jacobson de A que tambm Z2 -graduado, como vimos na Proposio 3.32. Vamos xar as seguintes notaes m = dimA e q o grau de nilpotncia de J , ou seja, J q = 0. Consideremos todos os produtos do tipo
B1 JB2 J . . . JBk = 0,
(4.1)
onde B1 , . . . , Bk so distintas sublgebras retiradas do conjunto {A1 , . . . , Ar }. E sejam

p(0) = dim(B1 Bk ), p(1) = dim(B1 Bk ).
(1) (1) (0) (0)
Agora denotaremos por p o valor mximo de p(0) + p(1) onde B1 , . . . , Bk satisfaz (4.1).
Lema 4.5. Sejam B1 , . . . , Bt sublgebras no necessariamente distintas do conjunto

{A1 , . . . , Ar }. Se B1 JB2 J . . . JBt = 0
(0) (0) (1) (1) ento a dim(B1 + + Bt ) + dim(B1 + + Bt ) p.
(4.2)
Demonstrao: Se no produto (4.2) alguma sublgebra Bi aparece mais do que uma

vez, e como JBi J J , pois J um ideal bilateral de A, ento podemos reduzir este produto at obter um produto no nulo do tipo (4.2) com todos Bi s distintos. Mas ento, como p o mximo das dimenses de todas somas diretas das sublgebras Bi s distintas retiradas do conjunto {A1 , . . . , Ar }, onde o produto (4.2) satisfeito, obtemos o resultado desejado. O lema seguinte nos d condies para que um polinmio multilinear associado
63
uma tabela de Young seja uma identidade para a envolvente de Grassmann G(A) = (G(0) A(0) ) (G(1) A(1) ) de uma superalgebra A.
Lema 4.6. Seja f um polinmio multilinear correspondente tabela T , e seja C uma

PI-lgebra. Ento f Id(C ) se, e somente se, af Id(C ) para um elemento arbitrrio a F Sn tal que af = 0.
Demonstrao: () imediato.
() Suponha que af Id(C ) para algum a F Sn com af = 0. Ento (0) = F Sn af F Sn f e F Sn af Id(C ). Como F Sn f F Sn -mdulo irredutvel ento F Sn af = F Sn f .
Logo f Id(C ).
Lema 4.7. Seja h(d, l, t) onde d + l > p e t > (d + l)m + q. Se f um polinmio

multilinear correspondente tabela T , ento f Id(G(A)).
Demonstrao: Vamos considerar uma superalgebra D1 = P1 + J de A, onde P1 =

B1 Bk tais que B1 , . . . , Bk {A1 , . . . , Ar }, e P1 = P1 P1
(0) (0) dimP1
uma superalgebra semissimples que satisfaz a seguinte condio: d 1. Pelo Lema 2.63, existe r1 F Sn e um conjunto de variveis Y = Y1 Yd , tal que o polinmio r1 f = 0 simtrico em cada conjunto Yj para qualquer j , e h tambm uma decomposio r1 f = f1 + f2 + . . . , onde f1 , f2 , . . . so polinmios alternados em subconjuntos disjuntos adequados de Y. Suponha que existe alguma substituio em r1 f dando um valor no nulo em G(A). Ento pelo menos um dos somandos fi deve ter uma avaliao no nula. Suponha que seja f1 , ento pelo Lema 2.63, o conjunto Y pode ser particionado como Y = Y1 Yt+l com |Yi | = d e f1 alternado nas variveis de cada conjunto Yi , i = 1, . . . , t + l. Segue que, se para duas variveis y1 , y2 de algum Yi denimos (0) y1 = c g1 e y2 = c g2 , onde c P1 , g1 , g2 G(0) . Como os elementos de G(0) comutam com todos os elementos de G, e f1 alternado em y1 e y2 , obtemos que f1 ser nulo nestas substituies. (0) Por outro lado, como a dimP1 d 1, a m de obter um valor no nulo em r1 f , (0) precisamos substituir no mximo d 1 elementos do tipo c g, c P1 , g G(0) em cada conjunto de variveis Yi . Isto signica que para obtermos um valor diferente de zero (1) precisamos substituir em r1 f ao menos t + l elementos do tipo c g, c P1 , g G(1) ou c J, g G nas variveis de Y , pois temos t + l conjuntos de ordem d, em que f1 alternado nas variveis de cada conjunto. Mas J q = 0. Por isso, devemos substituir (1) ao menos l + t (q 1) = l + t q + 1 > dm elementos do tipo c g com c P1 e g G(1) . A desigualdade acima obtida usando a hiptese do teorema. Logo, para algum 1 i d, vamos substituir mais que m variveis em Yj com elementos c g , onde
(1)

(1) (1) (1)
64
c um elemento da base de P1 , e g G1 . Desde que m dimD1 dimP1 , ento
existem ao menos duas variveis y1 , y2 Yj tomando valores c g1 e c g2 respectiva(1) mente, onde c P1 , g1 , g2 G(1) . Mas como r1 f simtrico em y1 , y2 , e os elementos de G(1) anticomutam entre si, obtemos que o valor correspondente a essas substituies deve ser nulo. Conclumos que r1 f Id(G(D1 )) e pelo Lema 4.6, f Id(G(D1 )). Agora vamos considerar outra sublgebra D2 = P2 + J de A, onde P2 = B1 Bk (0) (1) tais que B1 , . . . , Bk {A1 , . . . , Ar }, e P2 = P2 P2 uma superalgebra semissimples (1) que satisfaz a seguinte condio: dimP2 l 1. Pelo Lema 2.64, existe r2 F Sn e um conjunto de variveis Y para r2 f , tais que Y = Y1 Yl , r2 f alternado em cada Yj , j = 1, . . . , l, e r2 f = f1 + f2 + . . . , onde para qualquer fi existe uma partio Y = Y1 Yt+d em subconjuntos simtricos de ordem l. Por um raciocnio anlogo ao que zemos acima, se f1 = 0 para alguma substituio, ento devemos substituir no (0) menos que t + d q + 1 > lm variveis de Y por alguns c g, c P2 , g G(0) . (0) (O) Desde que m dimD2 dimP2 , ento existe ao menos duas variveis y1 , y2 do mesmo conjunto Yj que sero substitudas pelos elementos c g1 , c g2 respecti(0) . Como r2 f altervamente, onde g1 , g2 G(0) e c um elemento da base de P2 nado em Yj , segue que r2 f deve ser nulo nestas substituies. E assim conclumos que r2 f Id(G(D2 )) e novamente pelo Lema 4.6, temos f Id(G(D2 )). Assim, mostramos que f Id(G(D1 )) Id(G(D2 )). Queremos mostrar que f Id(G(A)). Para isso xe uma base homognea C = (0) C C (1) , que uma unio disjunta de bases homogneas de B e de J respectivamente, onde B = A1 Ar . Agora para mostrar que f uma identidade de G(A) suciente mostrar que f se anula em todos os elementos do tipo c g, c g , c C (0) , c C (1) , g G(0) , g G(1) . Sejam c1 , . . . , cs elementos distintos da base de C B e considere s > p. Ento, qualquer produto de elementos de A contendo todos os c1 , . . . , cs e talvez outros elementos de A igual a zero, como resulta do Lema 4.5. De fato, podemos tomar c1 , . . . , cs B1 , . . . , Bs respectivamente, onde B1 , . . . , Bs {A1 , . . . , Ar } no so necessariamente distintas. Assim dim(B1 + + Bs ) s > p, e com isso obtemos um produto do tipo (4.2) nulo. Por isso, se substituirmos c1 g1 , . . . , cs gs em vez de algumas variveis em f , o resultado da avaliao de f em G(A) ser nulo. Portanto, dada qualquer sublgebra Z2 -graduada semissimples P = P (0) + P (1) de A com dimP (0) + dimP (1) p, suciente provar que f se anula nos elementos do tipo c1 g1 , . . . , cs gs , e1 h1 , e2 h2 , . . . , onde c1 , . . . , cs so elementos da base de C P , e e1 , e2 J, gi , hj G, so todos elementos homogneos. Mas, por hiptese temos que dimP (0) + dimP (1) p < l + d ento dimP (0) d 1 ou dimP (1) l 1. Vamos analisar os dois casos. Note que se ocorre o primeiro caso, ou seja, que dimP (0) d 1, ento a sublgebra
65
= P + J de A do tipo D1 e pelo que vimos f nulo nestas substituies. Agora se P
ocorre que dimP (1) l 1, ento temos uma substituio de uma sublgebra do tipo D2 , que por sinal f tambm se anula nestas substituies. Portanto em todos os casos f Id(G(A)). Recordemos a decomposio Pn = F Sn = n I da lgebra de grupo F Sn em seus ideais bilaterais minimais I . Pelo lema acima temos o seguinte corolrio.
Corolrio 4.8. Sejam l + d = p + 1 e t = 2(m + 1)m + 1 onde m = dimA. Ento

h(d,l,t) I Id(G(A)).
Demonstrao: Seja h(d, l, t). Desde que 2m + 1 2p + 1 > p + 1 e q m onde

J q = 0, temos t = (2m +1)m + m +1 > (2m +1)m + q > (p +1)m + q = (l + d)m + q . Pelo
Lema 4.7, para qualquer tabela T , F Sn eT Id(G(A)). Segue que I = F Sn eT F Sn Id(G(A)). Portanto h(d,l,t) I Id(G(A)). A seguir daremos dois resultados importantes, que sero fundamentais para demonstrarmos adiante que cn (G(A)) limitada superiormente. Lembre-se que para toda partio n, d = (1) o grau do Sn -caracter irredutvel associado a . O prximo resultado segue da frmula do gancho para d e do Teorema 2.48.
Lema 4.9. Seja n, n , tal que . Se n n c ento d d nc d . Demonstrao: Primeiro note que suciente mostrarmos para c = 1, de fato, note
que se tivermos n = n 1, n = n 2 e n, n e n temos d d , d d ento d d d . Agora veja que d nd nd e d d nd . Da frmula do gancho temos
d = n! i,j hij
onde hij o comprimento do (i, j )-gancho de D . Como vimos suciente provar o lema para o caso c = 1, por isso podemos assumir que n = n 1 ento:
d = (n 1)! i,j hij
onde os hij s so os nmeros dos ganchos de D . Desde que segue que e 1 > 1 . Logo, hij h
ij
hij <
hij
d =
n! < hij
n! n(n 1)! = = nd hij hij
66
Portanto uma das desigualdades satisfeita. Para obtermos a outra desigualdade, vamos usar a segunda condio da regra de Branching do Teorema 2.48. Vamos mostrar que d d . Seja Sn1 Sn e tome o caracter irredutvel de Sn associado partio n. Considere a restrio de a Sn1 , ento Sn1 , onde so todos os = caracteres irredutveis associados as parties n 1, e o conjunto das parties de n 1 cujo diagrama obtido a partir de D retirando um box. Agora tome o grau destes caracteres, ento
Sn1 (1) =

(1)
d = d + . . . d =
d .
E assim obtemos que d d para toda partio , ou seja, para toda partio n 1, . Logo, a outra desigualdade satisfeita.
Lema 4.10. Para algumas constantes C, r > 0 vale a seguinte desigualdade

d Cnr (d + l)n .
n H (d,l)
Alm disso, para algumas constantes a, b temos a seguinte igualdade assinttica

dh(d,l,k)
n
anb (d + l)n
onde h(d, l, k )
n.
Demonstrao: Ver [2], seo 6.2, pgina 149. Proposio 4.11. Seja A uma superalgebra de dimenso nita e seja p = max(p(0) +p(1) )
como denido anteriormente em (4.2) no Lema 4.5. Ento existem constantes C1 , r1 > 0 dependendo apenas da dim A tais que cn (G(A)) C1 nr1 pn .
Demonstrao: Considere a decomposio do n-simo cocaracter

n (G(A)) =
n
m .
(4.3)
67
Suponha que n tal que h(d, l, t) com l + d = p + 1 e t = 2(m + 1)m + 1 onde m = dimA. Ento pelo Corolrio 4.8, m = 0 para este , ento I Id(G(A)). Segue que qualquer diagrama D com m = 0 em (4.3) encontra-se na unio de alguns ganchos innitos H (d, l), com l + d = p e um quadrado S S onde S = 2(m +1)m +1+ m = t + m uma constante que no depende de n, (veja a gura abaixo).
De fato, seja = (1 , 2 , . . . ) e suponha primeiro que i > t + m para algum i. Seja d o maior inteiro tal que d > t + m. Se d > p ento h(p + 1, 0, t) e temos uma contradio pelo Corolrio 4.8, pois d + l = p + 1 + 0 = p + 1 e t = 2(m + 1)m + 1 ento m = 0, o que um absurdo, pois estamos supondo m = 0. Portanto d p. Se t+m+1 p d + 1 ento o diagrama D contm um subdiagrama D , onde
= (t + m + 1, . . . , t + m + 1, p d + 1, . . . , p d + 1)
d t+m+1d
Desde que t + m + 1 (p d + 1) t e t + m + 1 d t no difcil vericar que h(d, p d + 1, t), ento D Dh(d,pd+1,t) , e pelo Corolrio 4.8 chegamos num absurdo, pois d + p d + 1 = p + 1 e t = 2(m + 1)m + 1 ento m = 0. Logo t+m+1 < p d + 1 < p d ento est contido em H (d, p d) (S S ) como desejado. Agora suponha que no existe maior inteiro d tal que d > t + m. Assim podemos assumir que 1 t + m. Agora observe que t+m+1 p, pois caso contrrio teramos h(0, p +1, t) e novamente pelo Corolrio 4.8 temos uma contradio, pois d + l = p +1 e t = 2(m + 1)m + 1 ento m = 0. Logo t+m+1 p, e isto nos diz que est contido no gancho H (0, p) S S e segue o desejado. A propriedade acima provada diz que se m = 0, ento o diagrama D contm um subdiagrama D tal que D H (d, p d) e, se n, n e temos que n n T = S 2 . Pelo Lema 4.9 d nT d . Denote por P o conjunto de todas parties n tais que m = 0 em (4.3). Temos ainda que A. Berele e A. Regev em [1] mostraram
68
que m polinomialmente limitado, ou seja, existe k > 0 tal que m nk para toda partio P , n. Usando os Lemas 4.9 e 4.10, obtemos
p n
cn (G(A)) =
n
m d n
p n
k
n P
d n n
k T i=0 n =0
n H (i,pi)
k+T i=0 n =1
C (n )r pn nk+T Cnr pn n(p + 1).
Ento cn (G(A)) C1 nr1 pn onde C1 = (p + 1)C, r1 = k + T + r + 1. Logo cn (G(A)) limitada superiormente.
4.3
Identidades e Identidades Graduadas
Nesta seo vamos explorar as relaes entre as identidades multilineares graduadas de uma superalgebra A e de sua envolvente de Grassmann G(A). Vamos considerar a lgebra livre Z2 -graduada F X denida no Captulo 3, onde o conjunto X = Y Z , em que Y = {y1 , y2 , . . . } e Z = {z1 , z2 , . . . } so conjuntos disjuntos enumerveis. Considere F Y, Z (0) o subespao de F Y, Z gerado por todos os monmios em X de grau par nas variveis de Z e F Y, Z (1) o subespao gerado por todos os . monmios de grau mpar nas variveis de Z . Ento F X = F Y, Z (0) + F Y, Z (1) . Seja Pn1 ,n2 , n1 , n2 0 o espao de todos os polinmios multilineares de F Y, Z nas variveis y1 , . . . , yn1 , z1 , . . . , zn2 . A interseo Pn1 ,n2 Id(gr) (A) consiste de todas identidades multilineares graduadas da superalgebra A, tendo grau n1 nas variveis pares e grau n2 nas variveis mpares. Denimos o seguinte isomorsmo de espaos vetoriais,
: Pn1 ,n2 Pn1 ,n2
pela regra: Seja f Pn1 ,n2 e escreva f como

f=
Sn2 W
,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2 ,
com W = (w0 , w1 , . . . , wn2 ), onde w0 , w1 , . . . , wn2 so monmios possivelmente vazios em

y1 , . . . , yn1 e ,W F . Ento f=
Sn2 W
69
(1) ,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2 .
Os grupos simtricos Sn1 e Sn2 agem de forma independente esquerda sobre o espao Pn1 ,n2 , onde Sn1 permuta as variveis y1 , . . . , yn1 e Sn2 permuta as variveis z1 , . . . , zn2 . Assim, sejam R1 = F Sn1 , R2 = F Sn2 as lgebras de grupos correspondentes. Consideremos M1 um Sn1 -mdulo irredutvel e M2 um Sn2 -mdulo irredutvel. Para b = Sn2 escrevemos b = Sn2 (1) .
Lema 4.12. Sejam a R1 , b R2 , f Pn1 ,n2 . Ento:

1. f 0 uma identidade graduada de G(A) se, e somente se, f 0 uma identidade graduada de A; 2. bf = bf , af = af , b = b, f = f ;
simtrico em 3. f alternado em algumas variveis z1 , . . . , zm se, e somente se, f z1 , . . . , zm .
Demonstrao:
1. Sejam u1 , . . . , un1 A(0) , v1 , . . . , vn2 A(1) , elementos arbitrrios homogneos de A e g1 , . . . , gn1 G(0) , h1 , . . . , hn2 G(1) elementos arbitrrios de G. Fixemos um monmio pertencente a Pn1 ,n2
w = w0 (y1 , . . . , yn1 )z(1) . . . zn2 wn2 (y1 , . . . , yn1 )
e calculemos seu valor nos elementos, u1 g1 , . . . , un1 gn1 , v1 h1 , . . . , vn2 hn2 de G(A). Desde que os elementos g1 , . . . , gn1 encontram-se no centro de G e h1 , . . . , hn2 G(1) anti-comutam entre si, obtemos
w(u1 g1 , . . . , vn2 hn2 ) = w0 (u1 , . . . , un1 )v(1) . . . v(n2 ) wm (u1 , . . . , un1 ) g1 . . . gn1 h(1) . . . h(n2 ) = (1) w0 (u1 , . . . , un1 )v(1) . . . v(n2 ) wm (u1 , . . . , un1 ) g1 . . . gn1 h1 . . . hn2 .
Desta igualdade e pelo isomorsmo visto acima, segue que

f (u1 g1 , . . . , un1 gn1 , v1 h1 , . . . , vn2 hn2 ) = f (u1 , . . . , un1 , v1 , . . . , vn2 ) g1 . . . gn1 h1 . . . hn2 = 0
70
se, e somente se, f (u1 , . . . , un1 , v1 , . . . , vn2 ) = 0, pois podemos escolher g1 , hj G tais que g1 . . . gn1 h1 . . . hn2 = 0. Portanto conclumos que f uma identidade de G(A) se, e somente se, f 0 em A. 2. Vamos considerar f = eb=
Sn2 W
,W w0 z(1) w1 wn2 1 z(n2 ) wn2
Sn2
R2 . Ento
Sn2 W
bf =
Sn2
,W w0 z(1) w1 wn2 1 z(n2 ) wn2
=
, Sn2 W
,W w0 z (1) w1 . . . wn2 1 z ( n2 ) wn2 ,
e
bf =
, Sn2 W
(1) ,W w0 z (1) w1 . . . wn2 1 z (n2 ) wn2 (1) (1) ,W w0 z (1) w1 . . . wn2 1 z (n2 ) wn2
, Sn2 W
=
, Sn2 W
(1) (1) ,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2

Sn2
Sn2 W
(1) ,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2 = bf .
(1)
Note ainda que

f =
Sn2 W
(1) (1) ,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2 ,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2 = f.
Sn2 W
As outras armaes no item (2) seguem de forma anloga. 3. Para demonstrar a ltima parte do lema observamos que, se f alternado nas variveis z1 , . . . , zm , temos (f (z1 , . . . , zm , . . . )) = (1) f (z1 , . . . , zm , . . . ), para toda Sm . Sejam Sm uma permutao que age nas variveis z1 , . . . , zm , e Sn2 tais que (zi ) = (zi ) para todo i = 1, . . . , m e (zj ) = zj para todo

j = m + 1, . . . , n2 . Assim, (1) = (1) . Note que
71
f (z1 , . . . , zm , zm+1 , . . . , zn2 , y1 , . . . , yn1 ) = f (z (1) , . . . , z (m) , zm+1 , . . . , zn2 , y1 , . . . , yn1 ) = f (z (1) , . . . , z (m) , z (m+1) , . . . , z (n2 ) , y1 , . . . , yn1 ) = f (z1 , . . . , zm , zm+1 , . . . , zn2 , y1 , . . . , yn1 ).
Considere f =
Sn2 W
,W w0 z(1) w1 wn2 1 z(n2 ) wn2 . Aplicando em f e
observando que f = f e f = (1) f , temos
f =
Sn2 W
,W w0 z (1) w1 wn2 1 z (n2 ) wn2 (1) w1 wn2 1 z (n2 ) wn2 1 ,W w0 z

1 Sn2 W
=
Sn2 W
(1) ,W w0 z (1) w1 wn2 1 z (n2 ) wn2 ,
tais que = e = 1 . Assim, obtemos que os coecientes 1 ,W = (1) Sn2 . ,W , para toda Seja f =
Sn2 W
(1) ,W w0 z(1) w1 . . . wn2 1 z(n2 ) wn2 . Ento
f =
Sn2 W
(1) ,W w0 z (1) w1 wn2 1 z (n2 ) wn2

(1)
Sn2 W 1
(1) w1 wn2 1 z (n2 ) wn2 1 ,W w0 z
=
Sn2 W
(1) (1) (1) ,W w0 z (1) w1 wn2 1 z (n2 ) wn2
=
Sn2 W
(1) ,W w0 z (1) w1 wn2 1 z (n2 ) wn2 = f .
Portanto f simtrico em z1 , . . . , zm . Analogamente, se f simtrico nas variveis z1 , . . . , zm , ento f alternado nas variveis z1 , . . . , zm .
72
No lema seguinte construmos polinmios multilineares associados a tabelas de Young que no so identidades para a envolvente de Grassmann de alguma superalgebra sobre um corpo F .
Lema 4.13. Seja B = B (0) + B (1) uma lgebra Z2 -graduada sobre F e d = dimB (0) ,
l = dimB (1) . Seja f (y1 , . . . , ydr , z1 , . . . , zls ) Pdr,ls um polinmio que alternado em r
i i } {y1 , . . . , ydr }, 1 i r, e simtrico , . . . , yd subconjuntos disjuntos de variveis {y1 i / em s subconjuntos disjuntos de variveis {z1 , . . . , zli } {z1 , . . . , yls }, 1 i s. Se f Idgr (G(B )), ento existem elementos idempotentes eT F Sdr e eT F Sls associados as parties = (rd ), = (ls ) respectivamente, tais que eT eT f / Idgr (G(B )), onde eT age sobre y1 , . . . , ydr e eT age sobre z1 , . . . , zls .
Demonstrao: Sejam n1 = dr e n2 = ls tais que f Pn1 ,n2 . Considere o F Sn1 mdulo esquerda gerado por f Pn1 ,n2 e sua decomposio em soma direta de F Sn1 submdulos irredutveis. Desde que f / Idgr (G(B )), existe uma tabela de Young T , n1 , tal que eT f 0 em G(B ). Vamos considerar a ao de eT sobre as variveis y1 , . . . , yn1 . Se 1 r + 1 ento eT f simtrico em pelo menos r + 1 variveis entre y1 , . . . , ydr . Mas f alternado em r subconjuntos disjuntos das variveis yi s. Ento
eT f =
RT

CT
RT
(1) f =
(1) f . Pelo Teorema 2.63 temos que o polinmio f = f1 + + fk ,
onde f =
CT
onde cada fi , i = 1, . . . , k alternado nas variveis y1 , . . . , yd em r conjuntos disjuntos, mas ento

=
RT
RT
(f1 + + fk )
f =
=
RT
f1 + +
RT
fk .
Note que pela Observao 2.65 cada parcela

RT
fi nula. Portanto o polinmio
eT f = 0 em F Y, Z . O que uma contradio, pois eT f 0 em G(B ).
Vamos assumir agora que h(T ) d + 1, onde h(T ) altura do diagrama de .
73
Neste caso escrevemos eT = e1 e2 , onde e1 = RT , e2 = CT (1) . Desde que o polinmio e2 f alternado em algumas d + 1 variveis yi s, ento tambm o polinmio alternado nas mesmas variveis. Visto que dimB (0) = d, segue que e2 f Idgr (B ). e2 f 0 tambm uma identidade graduada de B. Pelo Lema 4.12, Consequentemente eT f = eT f = eT f 0, uma indentidade graduada de G(B ). temos eT f Como n1 = dr, concluimos que eT f / Idgr (G(B )) apenas se D o diagrama correspondente um retngulo de d linhas e r colunas, isto , = (rd ). Agora, considere o F Sn2 -submdulo esquerda de Pn1 ,n2 gerado por f. De forma anloga ao que zemos acima, existe uma tabela de Young T com n2 tal que eT f 0 em G(B ). Vamos considerar a ao de eT em f sobre as variveis z1 , . . . , zn2 . Suponha primeiro que h(T ) s + 1 e escreva, como antes, eT = e1 e2 onde e1 = RT , e2 = CT (1) . Neste caso a ao de e2 em f Pn1 ,n2 nos d um polinmio alternado em pelo menos s + 1 variveis zi s. Mas todas as variveis {z1 , . . . , zn2 } em f so divididas em s subconjuntos simtricos disjuntos. Novamente pela Observao 2.65, temos que o polinmio e2 f = 0 em F Y, Z e eT f tambm nulo. Se por outro lado l(T ) l +1, ento g = eT f simtrico em l +1 variveis zi s. Pelo Lema 4.12, g alternado nas mesmas l + 1 variveis mpares. Desde que dimB (1) = l, temos que g Idgr (B ) ento g = g = eT f Idgr (G(B )), uma identidade graduada de G(B ). Logo, eT f / Idgr (G(B )) somente se D um retangulo com s linhas e l colunas, / Idgr (G(B )), onde isto , = (ls ). Provamos que se f / Idgr (G(B )) implica eT eT f D e D so dois retngulos de tamanho r d e l s respectivamente.
4.4
superalgebras simples e suas envolventes de Grassmann
Nesta seo vamos exibir condies para que a envolvente de Grassmann de uma superalgebra simples sobre um corpo algebricamente fechado no satisfaa identidades correspondentes tabelas de Young.
Lema 4.14. Seja B = B (0) + B (1) uma superalgebra simples sobre um corpo algebricamente fechado F, onde d = dimB (0) , l = dimB (1) . Ento para qualquer inteiro positivo t existe uma partio tal que h(d, l, 2t s) h(d, l, 2t), s = dimB, e uma tabela de Young T tal que G(B ) no satisfaz uma identidade f 0 correspondente T (isto :
I Id(G(B ))).
74
Demonstrao: Pelo Teorema 3.29, B isomorfa a Mn,m (F ) com n m 0 ou a

Mn (F + cF ) onde c2 = 1.
Suponha primeiro que B = Mn,m (F ). Por hiptese temos d = dimB (0) , l = dimB (1) , ento dimB = (n + m)2 = l + d. Desde que B a lgebra de (n + m) (n + m)-matrizes so2t 2t 1 bre F , para todo t 1 existe um polinmio multilinear f = f (x1 1 , . . . , xd+l , . . . , x1 , . . . , xd+l ) i em 2t(d + l) variveis tal que f alternado nas variveis xi 1 , . . . , xd+l para todo i = 1, . . . , 2t e f / Id(B ) (ver [2], teorema 5.7.4). Esta referncia nos mostra que existe um polinmio central de Mn,m (F ), que no uma identidade polinomial com 2(n + m)2 variveis. Seja E uma base homognea da lgebra Z2 -gradauada B . Ento |E | = d + l i e, para todo i, precisamos substituir todos os elementos de E nas variveis xi 1 , . . . , xd+l , a m de obter um valor no-nulo para f . As variveis xi j com j = 1, . . . , d + l , devem ser substitudas por elementos diferentes. Vamos considerar as variveis que sero substitudas por elementos pares (mpares) de E como variveis pares (mpares) respectivamente. Isto signica que aps reordenarmos e renomearmos todas as variveis de f , podemos dizer que
1 1 2t 2t 1 2t f = f (y1 , . . . , yd , . . . , y1 , . . . , yd , z1 , . . . , zl1 , . . . , z1 , . . . , zl2t )
no uma identidade graduada de B onde yij so variveis pares e zij so variveis no uma identidade graduada de G(B ). Alm disso para mpares. Pelo Lema 4.12, f i i i cada i = 1, . . . , 2t, desde que f alternado em y1 , . . . , yd e em z1 , . . . , zli , o polinmio f i i i , . . . , zli . , . . . , yd e simtrico nas variveis z1 alternado nas variveis y1 Pn ,n e pelo Lema 4.13 existem eT R1 = Sejam n1 = 2td, n2 = 2tl. Ento f 1 2 d 2t F Sn1 , eT R2 = F Sn2 , = ((2t) ), = (l ) tais que g = eT e f 0 em G(B ). T = eT f a no-identidade desejada, desde que = ((2t)d ) = Se l = 0 ento g = eT f h(d, 0, 2t). Portanto, podemos assumir que l > 0. Seja M o R1 R2 submdulo de Pn1 ,n2 gerado por g . Ento M isomorfo ao produto tensorial M1 M2 onde M1 = R1 eT , M2 = R2 eT . Se escrevermos n = n1 + n2 , ento o F Sn -submdulo de Pn gerado por M. Seja Pn1 ,n2 Pn . Vamos considerar M
=M 1 M k M sua decomposio em F Sn -mdulos irredutveis. Alm disso M = (M1 M2 ) F Sn = M2 . Usando anlise combinatria e aplicando a regra de Littlewood-Richardson M1 i associado ao diagrama de Young D , tal que (ver [1]), podemos obter que todo M h(d, l, 2t s) h(d, l, 2t), onde s = max(l, d). Portanto, h(d, l, 2t s) para no est contido no T -ideal de identidades ordinrias (no s = dimB. Uma vez que M e alguma tabela graduadas) de G(B ), segue que para algum polinmio multilinear u M T , devemos ter eT u 0 em G(B ). Assim completamos a prova do lema para o caso

B = Mn,m (F ).
75
O prximo caso vamos considerar B = Mn (F + cF ), B (0) = Mn (F ), B (1) = cMn (F ) onde c2 = 1. Ento l = d = n2 = dimMn (F ), e dimB = 2n2 = 2d. Como no caso anterior seja,
1 2t 2t f0 = f0 (x1 1 , . . . , xd , . . . , x1 , . . . , xd ) i / um polinmio multilinear que alternado nas variveis xi 1 , . . . , xd , i = 1, . . . , 2t e f0 Id(Mn (F )). Alm disso f0 um polinmio central. Se denirmos, 2t 1 2t 2t 1 1 , . . . , zl2t ), , . . . , zl1 , . . . , z1 )f0 (z1 , . . . , yd , . . . , y1 , . . . , yd f = f0 (y1
no uma identidade obtemos que f no uma identidade graduada de B. Portanto f de G(B ). Utilizando os mesmos argumentos para o polinmio f como no caso anterior completamos a prova.
Lema 4.15. Seja B = B (0) + B (1) uma superalgebra simples de dimenso nita sobre um corpo algebricamente fechado F. Se B = Mn,m (F ), ento para qualquer elemento homogneo no-nulo b B e para qualquer matriz unitria Eij , existem elementos homogneos a1 , d1 B tais que a1 bd1 = Eij . Se B = Mn (F + cF ), c2 = 1, podemos encontar elementos homogneos a1 , a2 , d1 , d2 B = Mn (F + cF ) tais que a1 bd1 = Eij B (0) e a2 bd2 = cEij B (1) .
Demonstrao: Primeiro suponha que B = Mn,m (F ), tome b B , b = 0, ento

b= a1 =
n , =1 E = 0 Ei , d1 = Ej B
, ou seja, existem , tais que = 0. Considere os elementos , veja que

a1 bd1 Ei =
n n
E
, =1
Ej
=
, =1
Ei E Ej = Eij .
Para o caso em que B = Mn (F + cF ), podemos determinar elementos a1 , d1 Mn (F + cF ) tais que a1 bd1 = Eij .
n
Tome b B , com b = 0, ento b =
( + c )E = 0. Observamos que se b
, =1
2 2 homogneo ento para alguns , temos = 0.

Considerando os seguintes elementos a1 =
a1 bd1 = = = =
, =1 Ei ( c ) 2 2 n
76 , d1 = Ej , obtemos
Ei ( c ) ( + c )E Ej 2 2 , =1 ( c ) ( + c )Ei E Ej 2 2 , =1
2 2 ( ) Ei E Ej 2 2 ) ( , =1 n n n
Ei E Ej = Eij .
E consequentemente, podemos determinar elementos a2 , d2 Mn (F + cF ) tais que a2 bd2 = cEij , onde a2 = a1 e d2 = cd1 .
Observao 4.16. Temos que o conjunto {Eij | i, j = 1, . . . , n + m} forma uma base

para a superalgebra B = Mn,m (F ) e o conjunto {Eij , cEij | i, j = 1, . . . , n} forma uma base para a superalgebra B = Mn (F + cF ).
Se A uma lgebra Z2 -graduada de dimenso nita sobre F , ento A = B + J, B = A1 Ar onde A1 , . . . , Ar so sublgebras Z2 -graduadas simples de A e J o radical de Jacobson de A. Como vimos antes, consideremos um produto no-nulo
B1 JB2 J . . . JBk = 0
(4.4)
onde B1 , . . . , Bk so sublgebras distintas do conjunto {A1 , . . . , Ar }.
Lema 4.17. Seja A uma lgebra Z2 -graduada de dimenso nita sobre um corpo algebricamente fechado F . Suponha que B1 JB2 J . . . JBk = 0. Sejam f1 , . . . , fk polinmios multilineares em conjuntos distintos de variveis tais que para todo i = 1, . . . , k, fi / Id(G(Bi )). Ento o polinmio multilinear
u1 f1 v1 w1 u2 f2 v2 w2 . . . wk1 uk fk vk
onde u1 , v1 , w1 , . . . , wk1 , uk , vk so novas variveis, no um identidade de G(A).
Demonstrao: Por (4.4) existem elementos homogneos b1 B1 , . . . , bk Bk , e1 , . . . , ek1

J tais que: b1 e1 b2 e2 . . . ek1 bk = 0.
(4.5)
77
em A. Como as lgebras Bi , i = 1, . . . , k so superalgebras simples de dimenso nita, ento pelo Teorema 3.29 estas lgebras so tais que Bi = Msi (F ), Bi = Msi ,ti (F ) ou Bi = Msi (F + cF ). Ento podemos escolher os elementos bi s como sendo as matrizes elementares Eij no caso em que B = Ms (F ) ou B = Ms,t (F ), e Eij ou cEij no caso em que B = Ms (F + cF ), que por sua vez formam uma base para estas lgei bras. Para todo i = 1, . . . , k , escreva fi = fi (xi 1 , . . . , xni ). Uma vez que fi no uma i i identidade de G(Bi ), existem elementos homogneos x i ni Bi , gj G tais que 1, . . . , x
i i fi ( xi i 1 g1 , . . . , x ni gni ) = 0. (0) Suponha que xi i e xi j seja uma varivel par no polinmio fi se x j Bi j seja uma (1) i varivel mpar no caso em que x j Bi . A partir do polinmio fi vamos obter assim o polinmio graduado correspondente a cada uma substituio. Recordando a denio de f i , temos i i i i xi , . . . , x i fi ( xi i 1 ni ) g1 . . . gni . 1 g1 , . . . , x ni gni ) = fi (
i Desde que fi Id(G(Bi )) segue que f xi i ( ni ) = bi = 0, para algum bi Bi . Temos 1, . . . , x que bi um elemento homogneo com respeito a Z2 -graduao. Pelo Lema 4.15, podemos escolher elementos homogneos ai , di Bi tais que ai bi di = bi . Assim o polinmio i i i i 1 , . . . , x ui f i vi assume o valor bi avaliando ui , x1 , . . . , xni , vi em ai , x ni , di , respectivamente. Sejam hi , hi , ti elementos de G de mesmo grau homogneo que ai , di , ei na Z2 -graduao, respectivamente. Ento para i = 1, . . . , k 1, obtemos
i i (ai hi )fi ( xi i 1 g1 , . . . , x ni gni )(di hi )(ei ti ) = i i i (ai hi )(f xi i ( ni ) g1 . . . gni )(di hi )(ei ti ) = 1, . . . , x i i i i ai f xi i i ( 1, . . . , x ni )di ei hi g1 . . . gni hi ti = bi ei hi g1 . . . gni hi ti . bi
De forma anloga para i = k obtemos

k k (ak hk )fk ( xk k 1 g1 , . . . , x nk gnk )(dk hk ) = k k k k ak f xk k k ( nk )dk hk g1 . . . gnk hk = bk hk g1 . . . gnk hk . 1, . . . , x bk
Como G a lgebra de Grassmann de posto innito, podemos escolher elementos homogneos hi , hi , ti , gij G tais que
1 1 2 k k . . . gn h = 0. h1 g1 . . . gn h t h g 2 . . . gn h t . . . tk1 hk g1 2 2 2 1 1 1 2 1 k k
(4.6)
Consequentemente, por (4.5) e (4.6) o polinmio u1 f1 v1 w1 u2 f2 v2 w2 . . . wk1 uk fk vk asj sume um valor no-nulo em ui = ai hi , vi = di hi , wi = ei ti , xj j i = x i gi , pois

depois da substituio obtemos o seguinte produto:
2 1 1 k k h . . . gn h t . . . tk1 hk g1 b1 e1 b2 e2 . . . ek1 bk h1 g1 . . . gn h t h g 2 . . . gn 2 2 2 1 1 1 2 1 k k
78
que no-nulo. E assim completamos a prova.
4.5
Colando tabelas de Young
Sejam 1 n1 , 2 as seguintes condies
n2 , . . . , k
nk parties dadas e suponha que elas satisfazem
h(di , li , ti si ) i h(di , li , ti ), i = 1, . . . , k,
(4.7)
e
ti si ti+1 + li+1 , ti+1 + di+1 , i = 1, . . . , k 1.
(4.8)
Sejam D1 = D1 , D2 = D2 , . . . , Dk = Dk os correspondentes diagramas de Young. Por (4.7), o comprimento das primeiras di linhas de Di maior que li + ti si e menor que li + ti . De modo anlogo, o comprimento das primeiras li colunas (se li > 0) maior que di + ti si e no maior que di + ti . A desigualdade (4.8) signica que se colarmos as primeiras linhas de Di+1 (di + 1)-sima linha de Di e a segunda linha de Di+1 (di + 2)-sima linha de Di e assim por diante, ento vamos obter como resultado um novo diagrama de Young Di Di+1 com ni + ni+1 boxes. Considere o diagrama D = D1 D2 . . . Dk obtido pela "colagem"dos D1 , D2 , . . . , Dk como segue abaixo (veja a gura). Note que, h(d, l, t) onde
l = l1 + + lk , d = d1 + + dk e t t1 + l1 l, t1 + d1 d. Por outro lado, h(d, l, tk sk ).
79
Seja agora T1 , . . . , Tk quaisquer tabelas de Young associadas 1 , . . . , k respectivamente. Se 1 , . . . , k satisfazem (4.7) e (4.8) acima, podemos colar as tabelas de uma forma semelhante: se uv a entrada aparecendo na posio (u, v ) de Ti , escrevemos Ti = Di (uv ). Para todo i = 2, . . . , k adicionamos agora n1 + + ni1 todas as entradas de Ti , obtendo desta maneira uma nova tabela Di (uv + n1 + + ni1 ). Se T1 = D1 (uv ), T2 = D2 (uv ), . . . , Tk = Dk (uv ), denimos ento
T = T1 T2 ... Tk ... Dk (uv + n1 + + nk1 ).
= D1 (uv ) D2 (uv + n1 )
evidente que a tabela assim obtida tem como entradas os nmeros distintos 1, 2, . . . , n, onde n = n1 + + nk . Dena N1 = {1, . . . , n1 } e para 2 i k, Ni = {n1 + . . . ni1 + 1, . . . , n1 + + ni }. Assim, N = {1, . . . , n} a unio disjunta N = N1 Nk . Para i = 1, . . . , k, tomamos Sni como o grupo de permutao agindo sobre o conjunto Ni , de modo que podemos considerar as lgebras de grupo F Sn1 , . . . , F Snk imersas em F Sn , F Sn1 F Snk F Sn . Precisamos relacionar o elemento idempotente essencial eT eT1 , . . . , eTk , isto ser feito no lema seguinte.
Lema 4.18. Suponha que 1 , . . . , k satisfazem as condies (4.7) e (4.8) e sejam

T1 , . . . , Tk as tabelas de Young correspondentes. Se T = T1 eT = eT1 eTk + b ... Tk , ento
onde b uma combinao linear de elementos Sn tais que (Ni ) Ni para algum
1 i k.
Demonstrao: Seja E = { Sn | (Ni ) Ni para todo i = 1, . . . , k}. Claro que

E = Sn1 Snk , Sni age sobre Ni para todo i = 1, . . . , nk . Precisamos vericar que eT eT1 . . . eTk =
Sn \E
para adequados F. Recordamos que
eT =
RT CT
(1) ,
(4.9)
onde RT um subgrupo de Sn das permutaes nas linhas de T e CT o subgrupo

das permutaes nas colunas de T . Denote por R = RT E, C = CT E e
Ri = { RT | (x) = x, x N \Ni }, Ci = { CT | (x) = x, x N \Ni }.
80
Podemos dividir a soma (4.9) em duas partes, eT = u + w, onde

u=
R C
(1) =
R
(1)
e w contm todos os termos restantes do lado direito de (4.9). Vamos mostrar que / E. u = eT1 . . . eTk e w uma combinao linear de Primeiramente note que qualquer R tem uma decomposio nica = 1 . . . k onde i Ri , i = 1, . . . , k. Por outro lado, se 1 , . . . , k so algumas permutaes de R1 , . . . , Rk respectivamente, ento = 1 . . . k encontra-se em R. De fato, i RT para todo i = 1, . . . , k , como RT um subgrupo, ento = 1 . . . k RT , e claro que E . Consequentemente,
=
R 1 R1 ,...,k Rk
1 . . . k =
1 R1
...
k Rk
De modo anlogo,
(1) =
C 1 C1 ,...,k Ck
(1)1 ...k 1 . . . k =
1 C1 ,...,k Ck
(1)1 . . . (1)k 1 . . . k
=
1 C1
(1)1 1 . . .
k Ck
(1)k k
Desde que, se ai F Sni e aj F Snj , ento ai aj = aj ai , para quaisquer 1 i, j k tais que i = j , segue que
u =
R
(1) (1)1 1
1 C1
=
1 R1
1 . . .
k Rk
k (1)1 1 ...
...
k Ck
(1)k k (1)k k = eT1 . . . eTk .
=
1 R1
1
1 C1
k
k Rk k Ck

Vamos considerar
w=
RT
81

CT \E
RT \E
(1) +
(1)
Tome CT \E e RT . Ento para este existe i tal que (x) Nj para algum x Ni , com j < i. Suponha que x encontra-se na m-sima linha de T . Ento como CT , (x) ca na mesma coluna que x, ento (x) encontra-se em uma linha superior (digamos n-sima linha) de T , desde que (x) Nj e j < i. Pela construo de T todas as entradas da q -sima linha pertencem N1 Nj . Assim (x) = ( (x)) N1 Nj , ento (x) / Ni para todo RT . Logo / E. Por outro lado, se CT E e RT \E, ento / E visto que E um subgrupo de Sn e E. Deste modo, temos w = e assim completamos a / E prova.
4.6
Calculando o limite inferior da
cn(G(A)).
Nesta seo vamos determinar um limite inferior para a sequncia de codimenses da envolvente de Grassmann G(A) de uma superalgebra A de dimenso nita sobre um corpo algebricamente fechado F de caracterstica zero. Como antes, vamos assumir sempre que quando o grupo simtrico Sn age sobre um polinmio multilinear em m n variveis, ele age apenas nas primeiras n variveis.
Lema 4.19. Seja A uma lgebra Z2 -graduada de dimenso nita sobre um corpo F
algebricamente fechado com radical de Jacobson J. Sejam B1 , . . . , Bk distintas sublgebras (0) (0) Z2 -graduadas simples de A tais que B1 JB2 . . . JBk = 0 e sejam d = dim(B1 Bk ), (1) (1) l = dim(B1 Bk ). Ento, para qualquer inteiro positivo t 2 dimA existe n tal que h(d, l, 2t s) h(d, l, 2t), s = 4 dimA, e para alguma tabela T , eT f / Id(G(A)) para algum polinmio multilinear f com n degf n + 3 dimA.
Demonstrao: Denotemos por di = dimBi(0) , li = dimBi(1) , para i = 1, . . . , k. Ento

d = d1 + + dk , l = l1 + + lk . Pelo Lema 4.14, temos que, para qualquer inteiro ti , existem uma partio i tal que h(di , li , 2ti si ) i h(di , li , 2ti ), onde di , li si = dimBi , e uma tabela Ti correspondente i , tal que gi / Id(G(Bi )) para algum
polinmio multilinear gi correspondente Ti , com i = 1, . . . , k . Escolhemos t1 , . . . , tk pela seguinte regra. Seja t1 = t 2 dimA arbitrrio. Denote
82
qi = si1 + max {li , di }, i = 2, . . . , k, e seja qi = qi se qi par e qi = qi + 1 se qi mpar.
Ento dena 2ti+1 = 2ti qi+1 , i = 1, . . . , k 1. Segue que

2ti si = 2ti+1 + qi+1 si 2ti+1 + max{li+1 , di+1 }.
Pelas escolhas feitas acima, vejamos que 1 , . . . , k satisfazem as desigualdades (4.7) e (4.8) com t1 , . . . , tk substitudos por 2t1 , . . . , 2tk , respectivamente. Agora colamos as tabelas T1 , . . . , Tk correspondentes as parties 1 , . . . , k respectivamente, como mostrado na seo anterior. Obtemos assim uma tabela T = T1 . . . Tk associada partico , satisfazendo h(d, l, 2tk sk ) h(d, l, u) para todo u 2t1 + l1 l, 2t1 + d1 d. Podemos agora calcular
k1 k1 k1 k1
2t1 2tk =
i=1
(2ti 2ti+1 ) =
i=1
(qi+1 ) k +
i=1
qi+1 k +
i=1
(si + si+1 )
k + 2dim(B1 Bk ) 3dimA.
Por isso, 2tk sk 2t 3 dimA sk 2t 4 dimA. Ento, satisfaz as desigualdades h(l, d, 2t 4 dimA) h(d, l, 2t), pois 2t 2t1 + l1 l e 2t 2t1 + d1 d, j que l1 l, d1 d e t = t1 . Para todo i = 1, . . . , k , seja Ti a tabela correspondente i tal que gi / Id(G(Bi )), para algum polinmio multilinear correspondente Ti (ver Lema 4.14) e seja ni = deg gi . Escreva n = n1 + + nk e seja {1, . . . , n} = N1 Nk , onde os Ni s so denidos como na seo anterior. Para todo i = 1, . . . , k, denotemos por fi o polinmio multilinear gi escrito nas novas variveis do conjunto {xj | j Ni }, ou seja, f1 = g1 (x1 , . . . , xn1 ), f2 = g2 (xn1 +1 , . . . , xn1 +n2 ), . . . , fk = gk (xn1 ++nr1+1 , . . . , xn1 ++nr1 +nk ). Agora construmos o seguinte polinmio multilinear
f = u1 f1 v1 w1 u2 f2 v2 w2 . . . wk1 uk fk vk ,
obtido pela colagem das tabelas Ti , onde ui , vi , wi so novas variveis. Pelo Lema 4.17 f / Id(G(A)), segue que f no-nulo em algumas substituies (wi ) = w i , (ui ) = u i , (vi ) = v i , (xi ) = x i onde w 1 , . . . , w k1 J G, u i , v i Bi G e x j Bi G se j Ni . Tal que (f ) = 0. Note que degf = n + 3k 1 n + 3 dimA, e assim obtemos o grau desejado. Para completar a prova do lema devemos mostrar que eT f / Id(G(A)). De fato, considere para o polinmio eT f a mesma substituio . Ento pelo Lema 4.18
eT f = (eT1 . . . eTk f ) + (bf )

e assim,
(eT f ) = (eT1 eTk f ) + (bf ),
83
onde b uma combinao linear de elementos Sn que "embaralham"os conjuntos N1 , . . . , Nk . Desde que eTi um elemento idempotente essencial, isto , e2 Ti = i eTi para algum i Q, i = 0 e como fi um polinmio multilinear correspondente Ti , ento fi = eTi fi para algum fi Pn . Assim obtemos eTi fi = e2 Ti fi = i eTi fi = i fi . Como cada eTi age independentemente em fi , segue que (eT1 . . . eTk f ) = 1 k (f ) = 0, pois i = 0 para todo i = 1, . . . , k e (f ) = 0. Por outro lado, precisamos mostrar que o elemento (bf ) igual a zero em G(A). Seja Sn tal que (Ni ) Ni para algum 1 i k . Ento (j ) Nq para algum j Ni , q = i. Isto signica que (fi ) pertence G(Bq ). Temos que
(f ) = u 1 (f1 ) v1 w 1 (fk ) vk = 0,
desde que u i (fi ) G(Bi )G(Bq ) Bi Bq G = 0, i = q. Portanto, (bf ) = 0 em G(A) e assim completamos a prova. Como resultado do lema anterior temos a seguinte proposio. Vamos mostrar que cn (G(A)) de uma lgebra A de dimenso nita sobre um corpo algebricamente fechado limitada inferiormente.
Proposio 4.20. Seja A uma lgebra de dimenso nita sobre um corpo algebricamente
fechado de caracterstica zero. Seja p = max (p(0) + p(1) ) como denido em (4.1). Ento existem constantes C2 , r2 > 0 dependendo somente da dimA tais que cn (G(A)) C2 nr2 pn , para n sucientemente grande.
Demonstrao: Recorde que A = A1 Ar + J onde A1 , . . . , Ar so superalgebras

simples, e p = max dimF (B1 Bk ), onde B1 , . . . , Bk so superalgebras distintas do conjunto {A1 , . . . , Ar } com B1 JB2 J . . . JBk = 0. Sejam
d = dim(B1 Bk ) , l = dim(B1 Bk )
(0) (0) (1) (1)
e m = dimA. Para qualquer N > 5m2 + 3m, ao dividir N dl 3m por 2p obtemos N = 2tp + dl + 3m + r, para algum t > 2m e 0 r < 2p, onde t o quociente e r o resto da diviso. Notemos que de fato ocorre t > 2m, pois N dl 3m N m2 3m > 4m2 2 3m e t = N dl > 42m = 2m, j que 2p < 2m ento 21p > 21 . 2p m m

Considere as parties
h(d, l, 2t) = (l + 2t, . . . , l + 2t, l, . . . , l),
d 2t
84
do nmero |h(d, l, 2t)| = d(l + 2t) + 2tl = dl + 2t(d + l) = dl + 2tp, e h(d, l, 2t 4m) do nmero |h(d, l, 2t 4m)| = 2tp + dl 4mp. Pelo Lema 4.19, existem n com 2tp + dl 4mp n 2tp + dl, e uma partio n com h(d, l, 2t 4m) h(d, l, 2t), tal que eT f / Id(G(A)), para alguma tabela T e um polinmio multilinear f com n degf = c n + 3m. Temos que c N , pois c n + 3m 2tp + dl + 3m = N r N , (r 0). Agora construmos o polinmio f = f xc+1 xN , onde xc+1 , . . . , xN so novas variveis distintas em f . Pelo prova do Lema 4.17 e pelo Lema 4.19, existe uma substituio em eT f tal que (eT f ) = a g , com a B1 JB2 J . . . JBk = 0 e 0 = g G. Vamos considerar as mesmas substituies para variveis x1 , . . . , xc do polinmio f , e para xc+1 = 1B gc+1 , . . . , xN = 1B gN , gi G(0) . Esta substituio para o polinmio eT f nos d o resultado
(eT f ) = (eT f )(xc+1 xN ) = (a g )(1B gc+1 ) (1B gN ) = a ggc+1 gN = 0,
pois podemos escolher gi de forma que ggc+1 gN = 0. Assim, temos que eT f Id(G(A)). Ento F Sn eT f Id(G(A)). Pelo Teorema 2.48 Branching rule, temos
F SN eT f
N
I f ,
onde I o ideal bilateral de F SN correspondente a . Por isso, existe e uma tabela T tal que F SN eT f Id(G(A)). Se d denota o grau do caracter , segue que
cN (G(A)) =
N
m d d dh(d,l,2t4m) ,
pois temos N , n e h(d, l, 2t 4m), consequentemente d dh(d,l,2t4m) . Note que, N | h(d, l, 2t 4m) |= 2tp + dl + 3m + r (2tp 4mp + dl) = 4mp + 3m + r < 4m2 + 3m + 2p < 4m2 + 3m + 2m = 4m2 + 5m. Como h(d, l, 2t 4m) e N |h(d, l, 2t 4m)| < 4m2 + 5m, pelo Lema 4.9
dh(d,l,2t4m) d N 4m
2 +5m
dh(d,l,2t4m) .

E pelo Lema 4.10 obtemos a seguinte igualdade assinttica,
dh(d,l,2t4m)
N
85
aN b (d + l)N = aN b pN
para algumas constantes a, b. Agora relacionando estes dois resultados, temos que a partir de um N sucientemente grande
cN (G(A)) =
N
m d d dh(d,l,2t4m) aN b pN .
Portanto cN (G(A)) C2 N r2 pN , para algumas constantes C2 , r2 dependendo de m, onde C2 = a, r2 = b.
Observao 4.21. No Lema 4.5 mostramos que cn (G(A)) limitada superiormente e

no Lema 4.20 que limitada inferiormente.
4.7
Resultado principal. Existncia do PI-expoente.
Nesta seo vamos provar o resultado principal do trabalho. Provaremos que o expoente de qualquer PI-gebra sobre um corpo de caracterstica zero coincide com o inteiro denido em (4.2), e vamos calcular o expoente de algumas lgebras importantes.
Teorema 4.22. Seja A uma PI-lgebra sobre qualquer corpo F de caracterstica zero.
Ento exp(A) existe e um inteiro.
Demonstrao: Se K uma extenso do corpo F , pelo Teorema 3.4 temos cn (A) =

cK n (A F K ). Portanto podemos assumir sem perda de generalidade que F um corpo algebricamente fechado, pois assim teremos cn (A) = cF n (A F F ), onde F o fecho
algbrico de F . pelo Teorema 3.43 existe uma superalgebra de dimenso nita B sobre F tal que Id(A) = Id(G(B )). Ento cn (A) = cn (G(B )) para todo n 1. pelas Proposies 4.11 e 4.20 temos que cn (G(B )) limitada inferiormente e superiormente, ou seja, existem constantes C1 , C2 , r1 , r2 que dependem somente da dimenso de B tais que C2 nr2 pn cn (G(B )) C1 nr1 pn . Agora, aplicando em ambos lados das desigualdade n n e depois calculando lim , obtemos lim cn (G(B )) = p. Mas isto corresponde ao n n PI-expoente de G(B ). Portanto o expoente de A existe e um inteiro.
86
Observe que expoente da envolvente de Grassmann de uma lgebra de dimenso nita sobre um corpo algebricamente fechado igual ao inteiro denido em 4.1. A seguir vamos calcular o expoente para algumas lgebras importantes. Uma lgebra A dita verbalmente prima, se ela gera uma variedade prima, isto , se Id(A) verbalmente primo, ou seja, para quaisquer T -ideais I1 , I2 o fato I1 I2 Id(A) implica que I1 Id(A) ou I2 Id(A). conhecido que as lgebras F X , Mk (F ), Mk (G) e Mk,l (G), l, k > 0 so verbalmentes primas. A.R.Kemer em [5], caracterizou os T -ideais verbalmente primos sobre um corpo de caracterstica zero, e provou que o estudo de T -ideais verbalmente primos pode ser reduzido a T -ideais de identidades das lgebras verbalmente primas denidas acima.
Observao 4.23.
1. Seja A uma lgebra de dimenso nita sobre F. Ento A pode ser considerada como uma lgebra com Z2 -graduao trivial. Neste caso
G(A) = A G(0) + 0 G(1) = A G(0) .
Ento Id(A) = Id(G(A)), uma vez que G(0) = Z (G) uma lgebra comutativa, no nilpotente sobre F . Segue que cn (A) = cn (G(A)) exp(A) = exp(G(A)). 2. Se A = A1 Ar uma superalgebra semissimples de dimenso nita ento J (A) = 0, onde A1 , . . . , Ar so superalgebras simples. Para que a equao (4.1) seja setisfeita, temos que r = 1. Assim exp(A) = max1ir {dimF Ai }. 3. Se A uma superalgebra simples de dimenso nita, o PI-expoente exp(G(A)) = dimF A.
Vamos calcular o PI-expoente das lgebras verbalmentes primas.
Exemplo 4.24. exp(Mk (F )) = exp(G(Mk (F ))) = exp(Mk (G(0) )) = dim(Mk (F )) = k2 ,

onde Mk (F ) uma superalgebra simples.
Exemplo 4.25. Mk (G) = Mk (F ) G(0) + Mk (F ) G(1) a envolvente de Grassmann da

superalgebra Mn (F + cF ), com c2 = 1. Assim, exp(Mk (G)) = dim(Mk (F ) + cMk (F )) = 2k 2 .
Exemplo 4.26. Particularmente no Exemplo 4.25, para o caso em que k = 1, temos

exp(M1 (G)) = exp(G) = 2.
(0) (1) Exemplo 4.27. Mk,l (G) = Mk,l (F ) G(0) + Mk,l (F ) G(1) a envolvente de Gras(0) (1) smann da superalgebra simples Mk,l (F ) com graduao (Mk,l (F ), Mk,l (F )). Assim, (0) (1) exp(Mk,l (G)) = dimMk,l (F ) + dimMk,l (F ) = (k + l)2 , pois Mk,l (F ) uma superalgebra simples.
87
Exemplo 4.28. Seja

U T (d1 , . . . , dm ) = Md1 (F ) 0 B12 B1m B2m ,
. . .
Md2 (F )
. . .
. . .
Mdm (F )
em que
a11 a12 a21 a22 Bij = . . . . . . a d i 1 ad i 2
a1dj a2dj
. . .
adi dj
em que akt F para qualquer k = 1, . . . , di , t = 1, . . . , dj e i < j . A lgebra U T (d1 , . . . , dm ) uma sublgebra de Md (F ) , em que d = d1 + . . . + dm . Observe ainda que
B = B12 + . . . + B1m + B23 + . . . + B2m + . . . + B(m1)m
. . . . . . .
um ideal bilateral e nilpotente de U T (d1 , . . . , dm ).

2 Corolrio 4.29. exp (U T (d1 , . . . , dm )) = d2 1 + . . . + dm .
Demonstrao: B = U T (d1 , . . . , dm ) = Md1 (F ) . . . Mdm (F ) + J (B ). Considere

qi = d1 + . . . + di e observe que o seguinte produto: eq1 ,q1 eq1 ,q1 +1 eq1 +1,q2 eq2 ,q2 +1 eqm1 ,qm1 +1 eqm1 +1,qm = 0
no nulo, em que eq1 ,q1 Mq1 (F ), eqi ,qi +1 J, i = 1, . . . , m 1, eqi1 +1,qi Mdi (F ), i = 1, . . . , m. Logo,
d1 2 + . . . + dm 2 = dimF (Md1 (F ) . . . Mdm (F )) = exp (B ) .
Referncias Bibliogrcas
[1] A. BERELE and A. REGEV. Applications of hook Young diagrams to P.I-algebra. Journal of Algebras 82 (1983), 559-567. [2] A. GIAMBRUNO and M. ZAICEV. Polynomial identities and asymptotic methods. AMS Mathematical Surveys and monographs, vol 122-Povidence R.I., (2005). [3] A. GIAMBRUNO and M. ZAICEV. On codimension growth of nitely generated associative algebras. Advances in Mathematics 140 (1998), 145-155. [4] A. GIAMBRUNO and M. ZAICEV. Exponential codimension growth of P I algebras: an exact estimate. Advances in Mathematics 142 (1999), 142, 221-243. [5] A. R. KEMER. Ideals of identities of associatives algebras. American Mathematical Society Translations of Mathematical Monographs 87, Providence, RI, (1988). [6] A. REGEV, Existence of Identities in A B , Israel J. Math. 11 (1972), 131-152. [7] D. KRAKOWSKI and A. REGEV. The polynomial identities of the Grassmann algebra, Trans. Amer. Math. Soc. 181 (1973), 429-438. [8] G. JAMES and A. KERBER. The representation theory of the symmetric group. In Encyclopedia of Mathematics and its Application, vol 16, Addison-Wesley, Londdon, (1981). [9] I. M. ISAACS. Character theory of nite groups. Pure and Applied Mathematics. A series of Monographs and Textbooks, Academic Press, (1970). [10] J. J. ROTMAN. Advanced modern algebra. Prentice Hall, (2002). [11] K. HOFFMAN. Linear Algebra. Prentice Hall, (1971).

Idioma

Bem-vindo(a) ao Scribd!

PI-Expoente de Álgebras Associativas 2013 - RenataAlvesdaSilva

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Descrição:

Direitos autorais:

Formatos disponíveis

PI-Expoente de Álgebras Associativas 2013 - RenataAlvesdaSilva

Título original:

Enviado por

Descrição:

Direitos autorais:

Formatos disponíveis

Títulos relacionados

Universidade de Braslia

Instituto de Cincias Exatas

PI-expoente de lgebras Associativas

Renata Alves da Silva

Braslia, 24 de janeiro de 2013

Aos meus pais, Nivaldo e Natlia.

Introduo 1 Identidades Polinomiais e PI-lgebra Identidades Polinomiais e PI-lgebra

2.4 Sn -ao em Polinmios Multilineares . . . . . . . . . . . . . . . . . . . . 2.5 Sn -Representaes e Ganchos . . . . . . . . . . . . . . . . . . . . . . . .

4 O PI-expoente de uma lgebra O PI-expoente de uma lgebra

Identidades Polinomiais e PI-lgebra

Denio 1.1. Sejam F um corpo e A um F -espao vetorial no qual denido um

Observao 1.2. Toda lgebra com relao soma e ao produto um anel.

Identidades Polinomiais e PI-lgebra

Exemplo 1.3. Seja Mn (F ) o espao vetorial das matrizes n n com entradas em F .

Exemplo 1.6. Sejam G um grupo e F um corpo. Denotamos por F G = F [G] o conjunto

g g, g F , F G possui a estrutura de anel com g g ) =

Identidades Polinomiais e PI-lgebra

Exemplo 1.7. O F-espao vetorial:

Exemplo 1.8. Seja G um grupo de ordem 2 gerado por c. O F -espao vetorial Mn (F +

Denio 1.9. Um subespao B da lgebra A chamado sublgebra se fechado com

Exemplo 1.12. Seja A uma F -lgebra. Ento Mn (F ) A = Mn (A) como lgebras. De

Identidades Polinomiais e PI-lgebra

temos que o quociente

isomorfo a imagem Im() = {(a)| a A1 }.

Note que a lgebra quociente bilateral de A1 .

est bem denida, pois Ker() um ideal

Exemplo 1.17. Para qualquer conjunto X a lgebra polinomial F [X ] livre na classe

Identidades Polinomiais e PI-lgebra

i wi para indicar que x1 , . . . , xn X so as nicas inde-

terminadas que aparecem em f , em que i F e wi so palavras que dependem de x1 , . . . , x n .

Identidades Polinomiais e PI-lgebra

(sign ) x(1) x(n) = 0

(sign ) y1 x(1) y2 . . . yn x(n) yn+1 = 0.

Exemplo 1.27. Seja G a lgebra de Grassmann (ou lgebra exterior) no unitria em

Identidades Polinomiais e PI-lgebra

T-ideais e Variedades de lgebras

Proposio 1.28. Dada uma lgebra A, considere Id(A) = {f F X | f 0 em A}

Identidades Polinomiais e PI-lgebra

Demonstrao: No difcil ver que o conjunto Id(A) um ideal bilateral de F X .

Denio 1.29. Um ideal I de F X um T-ideal se (I ) I para todo endomorsmo

Identidades Polinomiais e PI-lgebra

Denio 1.32. Seja S um conjunto de polinmios em F X e f F X . Dizemos

Denio 1.35. Dois conjuntos de polinmios so equivalentes se eles geram o mesmo

Exemplo 1.40. A classe de todas as lgebras associativas tambm uma variedade

Identidades Polinomiais e PI-lgebra

Demonstrao: Para cada T-ideal I , seja V = (I ) a variedade determinada pelo

Polinmios Homogneos e Multilineares

Identidades Polinomiais e PI-lgebra

Exemplo 1.43. O polinmio

multihomogneo de multigrau (1,2,1).

Exemplo 1.44. O polinmio

homogneo em x1 com degx1 = 1.

Observao 1.46. Uma propriedade importante de T-ideais que se F um corpo

Teorema 1.47. Seja F um corpo innito. Se f 0 um identidade polinomial para

Demonstrao: Note que para toda varivel xt , 1 t n, podemos decompor f =

fi , onde fi uma combinao linear de todos monmios de f em que x1 aparece

Identidades Polinomiais e PI-lgebra

Denio 1.1. Sejam F um corpo e A um F -espao vetorial no qual denido um

Denio 1.9. Um subespao B da lgebra A chamado sublgebra se fechado com

est bem denida, pois Ker() um ideal

Denio 1.29. Um ideal I de F X um T-ideal se (I ) I para todo endomorsmo

Denio 1.32. Seja S um conjunto de polinmios em F X e f F X . Dizemos

Denio 1.35. Dois conjuntos de polinmios so equivalentes se eles geram o mesmo

Teorema 1.47. Seja F um corpo innito. Se f 0 um identidade polinomial para

Demonstrao: No difcil vericar que Id(A)F F K IdK (A F K ). Seja agora

Exemplo 1.62. Os polinmios Capn (x1 , . . . , xn ; y1 , . . . , yn+1 ) e Stn (x1 , . . . , xn ) denidos

Denio 1.63. Uma lgebra A satisfaz a identidade Capelli de posto n, se A satisfaz

Exemplo 1.67. Se R = F um corpo, a denio de R-mdulo unitrio coincide com

Denio 1.70. Seja M um R-mdulo. Um submdulo N de M um subgrupo de M

Denio 1.71. Sejam R um anel e M , N R-mdulos esquerda. Ento a aplicao

1. homomorsmo de grupos abelianos; 2. (r m) = r(m), para quaisquer m M e r R.

Denio 1.76. Um R-mdulo semissimples se ele uma soma direta nita de

Denio 1.83. O radical de Jacobson, o qual denotaremos por J , de um anel R

Teorema 1.85. Se A uma lgebra de dimenso nita, ento o radical de Jacobson de

Denio 1.90. Uma lgebra A simples se no possui ideias bilaterais prprios e

Denio 1.93. Seja R um anel, um elemento e = 0 em R diz-se idempotente se

Teorema 1.98. Maschke Sejam G um grupo nito e F um corpo cuja caracterstica