Os polinômios centrais de algumas álgebras associativas Lie nilpotentes

Abstract

Nesta tese estudamos os polinômios centrais de algumas álgebras associativas Lie nilpotentes universais. Elas são definidas por Qn = FhXi=T(n) (e também são conhecidas como álgebras associativas Lie nilpotentes relativamente livres) onde F _e um corpo, FhXi _e a álgebra associativa livre unitária, livremente gerada pelo conjunto enumerável X = fx0;x1;x2; : : :g e T(n) é o ideal bilateral de FhXi gerado pelos comutadores [a1; : : : ;an], ai 2 FhXi. O nosso primeiro resultado principal _e uma descrição dos polinômios centrais da álgebra Q4 quando char(F) = 3. Nosso segundo resultado principal _e uma descrição dos polinômios centrais da álgebra Q4 quando char(F)=2. Os polinômios centrais da F-álgebra Q4 quando char(F) 6= 2;3 foram descritos por Grishin (2012). Se char(F) 6= 3, então [x1;x2][x3;x4;x5] pertence a T(4) (Volichenko, 1978). Isso implica que a imagem de T(3) em Q4 _e central nessa álgebra, o que permite reduzir o problema da descrição dos polinômios centrais da álgebra Q4 para um problema sobre elementos da álgebra Q3. Porém, se char(F)=3, então [x1;x2][x3;x4;x5] não pertence a T(4) (Krasilnikov, 2013). Por essa razão, a descrição dos polinômios centrais da F-álgebra Q4 quando char(F) = 3 _e mais sofisticada do que quando char(F) 6= 3. Se char(F) = 2, então x2 0+T(4) não _e central em Q4. Isso implica que a descri_cão dos polinômios centrais de Q4 _e ligeiramente diferente do caso de char(F) 6= 2;3. O nosso terceiro resultado principal _e uma descrição dos geradores da álgebra Q4 como espaço vetorial quando char(F) > 3. Esse resultado _e uma generalização do resultado de Grishin. Também obtivemos uma descrição dos polinômios hipercentrais das álgebras Q4 e Q5. Um polinômio hipercentral _e uma generalização de polinômio central. Essa generalização foi introduzida por Laue (1984).