As álgebras associativas fortemente Lie nilpotentes

Detalhes bibliográficos
Autor(a) principal: Pereira, Cleber
Data de Publicação: 2019
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio.unb.br/handle/10482/35300
Resumo: Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2019.
id UNB_2db91734d96f9ef0078cea26f779fe67
oai_identifier_str oai:repositorio2.unb.br:10482/35300
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Pereira, CleberKrassilnikov, Alexei2019-08-15T20:06:22Z2019-08-15T20:06:22Z2019-08-152019-02-21PEREIRA, Cleber. As álgebras associativas fortemente Lie nilpotentes. 2019. vi, 96 f. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2019.http://repositorio.unb.br/handle/10482/35300Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2019.Sejam K um anel associativo comutativo unitário e A uma K -álgebra associativa unitária. Definimos a série {T(n )( A)}n≥1 de ideais bilaterais em A por T(1) (A)=L(1)( A)=A e T(n)( A)=A L(n)( A) A(n≥2) , onde L(n)( A) é o K - submódulo de A gerado por todos os comutadores [a1 ,…,an ] , onde ai ∈ A , para cada i . Definimos a série central inferior {R(m)( A)}m≥ 0 de ideais bilaterais de A indutivamente por R(0)( A)=A e R(m)( A)=A[R(m−1) (A), A] A(m≥ 1) . Dizemos que a álgebra A é Lie nilpotente de classe no máximo c, se L(c+1)( A)=\{0 \} e, dizemos que A é fortemente Lie nilpotente de classe no máximo c, se R(c)( A)=\{0 \} . Observamos que L(n+1)( A)⊆ R(n)( A) , logo cada álgebra A que é fortemente Lie nilpotente, também é Lie nilpotente. Porém, a recíproca, em geral, não é verdadeira. Sejam F um corpo e F⟨ X⟩ a F -álgebra associativa unitária livre, livremente gerada por um conjunto X. É conhecido que o subespaço dos polinômios centrais C(E) da álgebra de Grassmann de dimensão infinita E sobre um corpo de característica p>2 não é um T -subespaço finitamente gerado de F⟨ X⟩ . Como E é Lie nilpotente de classe 2, o T -subespaço dos polinômios centrais de uma álgebra Lie nilpotente pode não ser finitamente gerado. No presente trabalho demonstramos que isso não pode acontecer se a álgebra for fortemente Lie nilpotente. O nosso primeiro resultado principal é o seguinte: o T - subespaço C(B) dos polinômios centrais de uma F -álgebra associativa unitária fortemente Lie nilpotente B é sempre finitamente gerado (como T -subespaço de F⟨ X⟩ ). Sejam K um anel associativo comutativo unitário e K ⟨X⟩ a K -álgebra associativa unitária livre, livremente gerada por um conjunto X . Consideremos R(m)(K ⟨X⟩)(m≥0) e T(n )(K ⟨X ⟩)(n≥ 1) como definido anteriormente. Por conveniência de notação, quando X=X3=\{ x1 , x2 , x3 \} , então escrevemos R3 (m) e T3 (n) para representar R(m)(K ⟨ X3⟩) e T(n)(K ⟨ X3⟩) respectivamente. O segundo resultado principal do presente trabalho é o seguinte: R3 (n)=T3 (n+1) , para todos n≥0 . Essa igualdade permite dar uma demonstração mais simples de um resultado recente de Kuzmin e Pchelintsev.Let K be a unital associative comutative ring and let A be a unital associative K -algebra. Define the series \{T(n)( A) \}n≥1 of two-sided ideals in A by T(1) (A)=L(1)( A)=A and T(n)( A)=A L(n)( A) A(n≥2) , where L(n)( A) is the K - submodule in A generated by all commutators [a1 ,…,an ] , where ai ∈ A , for each i . Define the lower central series {R(m)( A)}m≥ 0 of two-sided ideals in A inductively by R(0)( A)=A and R(m)( A)=A[R(m−1) (A), A] A(m≥ 1) . We say that the algebra A is Lie nilpotent of class at most c, if L(c+1)( A)=\{0 \} and that A is strongly Lie nilpotent of class at most c, if R(c)( A)=\{ 0 \} . Note that L(n+1)( A)⊆ R(n)( A) so each strongly Lie nilpotent algebra A is Lie nilpotent. However, the converse, in general, is not true. Let F be a field and F⟨ X⟩ the free unital associative F -algebra freely generated by a set X . It is known that the vector subespace of central polynomials C(E) of infinitedimensional Grassmann algebra E over a field of characteristic p>2 is not a finitely generated T -subespace of F⟨ X⟩ . Since E is Lie nilpotent of class 2, the T - subespace of central polynomials of a Lie nilpotent algebra can be non-finitely generated. In this work we prove that this cannot happen if the algebra is strongly Lie nilpotent. Our first main result is as follows: the T -subespace C(B) of central polynomials of a strongly Lie nilpotent associative unital F -algebra B always is finitely generated (as a T -subespace of F⟨ X⟩ ). Let K be a unital associative comutative ring and let K ⟨X⟩ be the free unital associative K -algebra freely generated by a set X . We consider R(m)(K ⟨ X⟩)(m≥0) and T(n )(K ⟨X ⟩)(n≥ 1) as defined above. For convenience of notation, if X=X3=\{ x1 , x2 , x3 \} , then we write R3 (m) and T3 (n) for R(m)(K ⟨X3 ⟩) and T(n)(K ⟨ X3⟩) , respectively. The second main result of this work is as follows: R3 (n)=T3(n+1) , for all n≥0 . This equality allows to give a simpler proof of a recent result by Kuzmin and Pchelintsev.A 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/openAccessAs álgebras associativas fortemente Lie nilpotentesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisPolinômiosPolinômios centraisIdentidades polinomiaisÁlgebra comutativaLie, Álgebra deporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNBLICENSElicense.txtlicense.txttext/plain671http://repositorio2.unb.br/jspui/bitstream/10482/35300/2/license.txtbacfee268cc5d4f6aaa2e6e0066d38f5MD52open accessORIGINAL2019_CleberPereira.pdf2019_CleberPereira.pdfapplication/pdf976226http://repositorio2.unb.br/jspui/bitstream/10482/35300/1/2019_CleberPereira.pdfb10c4542e911ca7d924a983f6a3339a6MD51open access10482/353002023-07-10 10:04:55.168open accessoai:repositorio2.unb.br:10482/35300QSBjb25jZXNzw6NvIGRhIGxpY2Vuw6dhIGRlc3RlIGl0ZW0gcmVmZXJlLXNlIGFvIHRlcm1vIGRlIGF1dG9yaXphw6fDo28gaW1wcmVzc28gYXNzaW5hZG8gDQpwZWxvIGF1dG9yIGNvbSBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6DQoNCk5hIHF1YWxpZGFkZSBkZSB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvciBkYSBwdWJsaWNhw6fDo28sIGF1dG9yaXpvIGEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYQ0KIGUgbyBJQklDVCBhIGRpc3BvbmliaWxpemFyIHBvciBtZWlvIGRvcyBzaXRlcyB3d3cuYmNlLnVuYi5iciwgd3d3LmliaWN0LmJyLA0KIGh0dHA6Ly9oZXJjdWxlcy52dGxzLmNvbS9jZ2ktYmluL25kbHRkL2NoYW1lbGVvbj9sbmc9cHQmc2tpbj1uZGx0ZCBzZW0gcmVzc2FyY2ltZW50byBkb3MgDQpkaXJlaXRvcyBhdXRvcmFpcywgZGUgYWNvcmRvIGNvbSBhIExlaSBuwrogOTYxMC85OCwgbyB0ZXh0byBpbnRlZ3JhbCBkYSBvYnJhIGRpc3BvbmliaWxpemFkYSwNCiBjb25mb3JtZSBwZXJtaXNzw7VlcyBhc3NpbmFsYWRhcywgcGFyYSBmaW5zIGRlIGxlaXR1cmEsIGltcHJlc3PDo28gZS9vdSBkb3dubG9hZCwgYSB0w610dWxvIGRlIA0KZGl2dWxnYcOnw6NvIGRhIHByb2R1w6fDo28gY2llbnTDrWZpY2EgYnJhc2lsZWlyYSwgYSBwYXJ0aXIgZGVzdGEgZGF0YS4=Biblioteca Digital de Teses e DissertaçõesPUBhttps://repositorio.unb.br/oai/requestopendoar:2023-07-10T13:04:55Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.pt_BR.fl_str_mv As álgebras associativas fortemente Lie nilpotentes
title As álgebras associativas fortemente Lie nilpotentes
spellingShingle As álgebras associativas fortemente Lie nilpotentes
Pereira, Cleber
Polinômios
Polinômios centrais
Identidades polinomiais
Álgebra comutativa
Lie, Álgebra de
title_short As álgebras associativas fortemente Lie nilpotentes
title_full As álgebras associativas fortemente Lie nilpotentes
title_fullStr As álgebras associativas fortemente Lie nilpotentes
title_full_unstemmed As álgebras associativas fortemente Lie nilpotentes
title_sort As álgebras associativas fortemente Lie nilpotentes
author Pereira, Cleber
author_facet Pereira, Cleber
author_role author
dc.contributor.author.fl_str_mv Pereira, Cleber
dc.contributor.advisor1.fl_str_mv Krassilnikov, Alexei
contributor_str_mv Krassilnikov, Alexei
dc.subject.keyword.pt_BR.fl_str_mv Polinômios
Polinômios centrais
Identidades polinomiais
Álgebra comutativa
Lie, Álgebra de
topic Polinômios
Polinômios centrais
Identidades polinomiais
Álgebra comutativa
Lie, Álgebra de
description Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2019.
publishDate 2019
dc.date.submitted.none.fl_str_mv 2019-02-21
dc.date.accessioned.fl_str_mv 2019-08-15T20:06:22Z
dc.date.available.fl_str_mv 2019-08-15T20:06:22Z
dc.date.issued.fl_str_mv 2019-08-15
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.citation.fl_str_mv PEREIRA, Cleber. As álgebras associativas fortemente Lie nilpotentes. 2019. vi, 96 f. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2019.
dc.identifier.uri.fl_str_mv http://repositorio.unb.br/handle/10482/35300
identifier_str_mv PEREIRA, Cleber. As álgebras associativas fortemente Lie nilpotentes. 2019. vi, 96 f. Tese (Doutorado em Matemática)—Universidade de Brasília, Brasília, 2019.
url http://repositorio.unb.br/handle/10482/35300
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.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
bitstream.url.fl_str_mv http://repositorio2.unb.br/jspui/bitstream/10482/35300/2/license.txt
http://repositorio2.unb.br/jspui/bitstream/10482/35300/1/2019_CleberPereira.pdf
bitstream.checksum.fl_str_mv bacfee268cc5d4f6aaa2e6e0066d38f5
b10c4542e911ca7d924a983f6a3339a6
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv
_version_ 1801863945091284992