Álgebras associativas Lie nilpotentes de classe 4
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UnB |
Texto Completo: | http://repositorio.unb.br/handle/10482/14973 |
Resumo: | Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013. |
id |
UNB_91ba7e9d1ea64739fea61295a5a7ae03 |
---|---|
oai_identifier_str |
oai:repositorio.unb.br:10482/14973 |
network_acronym_str |
UNB |
network_name_str |
Repositório Institucional da UnB |
repository_id_str |
|
spelling |
Álgebras associativas Lie nilpotentes de classe 4Lie, Álgebra deAnéis (Álgebra)PolinômiosTese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013.Sejam K um anel associativo, comutativo e unitário e (K) X a K-álgebra associativa livre num conjunto não-vazio X de geradores livres. Defina um comutador normado à esquerda [x1;x2; : : : ;xn] por [a;b] = ab−ba e [a;b;c] = [ [a;b];c ] . Para n ≥ 2, seja T(n) o ideal bilateral em K(X) gerado pelos comutadores [a1;a2; : : : ;an] (ai ∈ K(X)). A álgebra quociente K(X)=T(n+1) pode ser vista como a K-álgebra universal associativa Lie nilpotente de classe n gerada por X. É fácil ver que o ideal T(2) é gerado, como um ideal bilateral em K(X), pelos comutadores [x1;x2] (xi ∈ X). É bem conhecido que o ideal T(3) é gerado pelos polinômios [x1;x2;x3] e [x1;x2][x3;x4]+[x1;x3][x2;x4] (xi ∈ X). Um conjunto similar de geradores para T(4) é também conhecido. O resultado principal do presente trabalho é exibir um conjunto semelhante de geradores para T(5). Nós provaremos que o ideal T(5) é gerado, como um ideal bilateral em K(X), pelos seguintes polinômios: [x1;x2;x3;x4;x5]; [x1;x2;x3][x4;x5;x6]; [x1;x2;x3][x4;x5;x6;x7]; [x1;x2][x3;x4;x5;x6]+[x6;x2][x3;x4;x5;x1]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] ) [x5;x6;x7]; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5;x6 ] ; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5 ] [x6;x7]+ [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x6 ] [x5;x7]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] )( [x5;x6][x7;x8]+[x5;x7][x6;x8] ) ; com xi ∈ X para todo i. Nós também descreveremos algumas componentes multilineares de Z(X)=L3 e Z(X)=L4, sendo Ln o n-ésimo termo da série central inferior de Z(X) visto como um anel de Lie . ______________________________________________________________________________ ABSTRACTLet K be a unital associative and commutative ring and let K(X) be the free associative K-algebra on a non-empty set X of free generators. Define a left-normed commutator [x1;x2; : : : ;xn] by [a;b] = ab−ba and [a;b;c] = [ [a;b];c ] . For n ≥ 2, let T(n) be the two-sided ideal in K(X) generated by all commutators [a1;a2; : : : ;an] (ai ∈ K(X)). The quotient algebra K(X)=T(n+1) can be viewed as the universal Lie nilpotent associative K-algebra of class n generated by X. It can be easily seen that the ideal T(2) is generated, as a two-sided ideal in K(X), by the commutators [x1;x2] (xi ∈ X). It is well-known that T(3) is generated by the polynomials [x1;x2;x3] and [x1;x2][x3;x4]+[x1;x3][x2;x4] (xi ∈ X). A similar generating set for T(4) is also known. The aim of the present work is to exhibit a similar generating set for T(5). We prove that the ideal T(5) is generated, as a two-sided ideal in K(X), by the following polynomials: [x1;x2;x3;x4;x5]; [x1;x2;x3][x4;x5;x6]; [x1;x2;x3][x4;x5;x6;x7]; [x1;x2][x3;x4;x5;x6]+[x6;x2][x3;x4;x5;x1]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] ) [x5;x6;x7]; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5;x6 ] ; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5 ] [x6;x7]+ [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x6 ] [x5;x7]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] )( [x5;x6][x7;x8]+[x5;x7][x6;x8] ) ; where xi ∈ X for all i. We also describe some multilinear components of Z(X)=L3 and Z(X)=L4 where Ln is the n-th term of the lower central series of Z(X) viewed as a Lie ring.Krassilnikov, AlexeiCosta, Eudes Antonio da2014-01-17T11:42:36Z2014-01-17T11:42:36Z2014-01-172013-08-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfCOSTA, Eudes Antonio da. Álgebras associativas Lie nilpotentes de classe 4. 2013. vii, 128 f., il. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2013.http://repositorio.unb.br/handle/10482/14973A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2023-07-10T13:04:56Zoai:repositorio.unb.br:10482/14973Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2023-07-10T13:04:56Repositório Institucional da UnB - Universidade de Brasília (UnB)false |
dc.title.none.fl_str_mv |
Álgebras associativas Lie nilpotentes de classe 4 |
title |
Álgebras associativas Lie nilpotentes de classe 4 |
spellingShingle |
Álgebras associativas Lie nilpotentes de classe 4 Costa, Eudes Antonio da Lie, Álgebra de Anéis (Álgebra) Polinômios |
title_short |
Álgebras associativas Lie nilpotentes de classe 4 |
title_full |
Álgebras associativas Lie nilpotentes de classe 4 |
title_fullStr |
Álgebras associativas Lie nilpotentes de classe 4 |
title_full_unstemmed |
Álgebras associativas Lie nilpotentes de classe 4 |
title_sort |
Álgebras associativas Lie nilpotentes de classe 4 |
author |
Costa, Eudes Antonio da |
author_facet |
Costa, Eudes Antonio da |
author_role |
author |
dc.contributor.none.fl_str_mv |
Krassilnikov, Alexei |
dc.contributor.author.fl_str_mv |
Costa, Eudes Antonio da |
dc.subject.por.fl_str_mv |
Lie, Álgebra de Anéis (Álgebra) Polinômios |
topic |
Lie, Álgebra de Anéis (Álgebra) Polinômios |
description |
Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2013. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-08-30 2014-01-17T11:42:36Z 2014-01-17T11:42:36Z 2014-01-17 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
COSTA, Eudes Antonio da. Álgebras associativas Lie nilpotentes de classe 4. 2013. vii, 128 f., il. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2013. http://repositorio.unb.br/handle/10482/14973 |
identifier_str_mv |
COSTA, Eudes Antonio da. Álgebras associativas Lie nilpotentes de classe 4. 2013. vii, 128 f., il. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2013. |
url |
http://repositorio.unb.br/handle/10482/14973 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UnB instname:Universidade de Brasília (UnB) instacron:UNB |
instname_str |
Universidade de Brasília (UnB) |
instacron_str |
UNB |
institution |
UNB |
reponame_str |
Repositório Institucional da UnB |
collection |
Repositório Institucional da UnB |
repository.name.fl_str_mv |
Repositório Institucional da UnB - Universidade de Brasília (UnB) |
repository.mail.fl_str_mv |
repositorio@unb.br |
_version_ |
1824043875185983488 |