Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann

Detalhes bibliográficos
Autor(a) principal: SANTOS,R.M.
Data de Publicação: 2018
Outros Autores: ALVES,S.M., OLIVEIRA,F.B.S.
Tipo de documento: Artigo
Idioma: por
Título da fonte: TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512018000300489
Resumo: RESUMO Nesse trabalho apresentamos uma abordagem computacional para tratar de álgebras que satisfazem identidades polinomiais. Mais precisamente, utilizamos o programa Maple para verificar e identificar identidades polinomiais das álgebras de matrizes com entradas na álgebra de Grassmann E, em especial a álgebra M k,l (E), a qual Di Vincenzo e La Scala apresentaram resultados interessantes quando k = l = 1, usando a noção de identidades polinomiais fracas. Foram criados alguns procedimentos em Maple para adequar o produto das matrizes segundo as propriedades de E, sendo esta uma álgebra não comutativa. Além disso, implementamos algumas funções com menor tempo de processamento na solução de determinados problemas em comparação com funções análogas do Maple. Vale ressaltar que utilizamos o Maple na versão 18 em um computador com processador Intel@ Core™i7 e 8GB de memória RAM. Finalizamos com o estudo da conjectura dada por Kemer acerca do grau mínimo do polinômio standard para a álgebra M n (E).
id SBMAC-1_352e8bbb96ea6fc6a408c676f3eb0d74
oai_identifier_str oai:scielo:S2179-84512018000300489
network_acronym_str SBMAC-1
network_name_str TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
repository_id_str
spelling Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de GrassmannPI-álgebrasMapleComputação AlgébricaIdentidades Polinomiais FracasRESUMO Nesse trabalho apresentamos uma abordagem computacional para tratar de álgebras que satisfazem identidades polinomiais. Mais precisamente, utilizamos o programa Maple para verificar e identificar identidades polinomiais das álgebras de matrizes com entradas na álgebra de Grassmann E, em especial a álgebra M k,l (E), a qual Di Vincenzo e La Scala apresentaram resultados interessantes quando k = l = 1, usando a noção de identidades polinomiais fracas. Foram criados alguns procedimentos em Maple para adequar o produto das matrizes segundo as propriedades de E, sendo esta uma álgebra não comutativa. Além disso, implementamos algumas funções com menor tempo de processamento na solução de determinados problemas em comparação com funções análogas do Maple. Vale ressaltar que utilizamos o Maple na versão 18 em um computador com processador Intel@ Core™i7 e 8GB de memória RAM. Finalizamos com o estudo da conjectura dada por Kemer acerca do grau mínimo do polinômio standard para a álgebra M n (E).Sociedade Brasileira de Matemática Aplicada e Computacional2018-12-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512018000300489TEMA (São Carlos) v.19 n.3 2018reponame:TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)instname:Sociedade Brasileira de Matemática Aplicada e Computacionalinstacron:SBMAC10.5540/tema.2018.019.03.0489info:eu-repo/semantics/openAccessSANTOS,R.M.ALVES,S.M.OLIVEIRA,F.B.S.por2018-12-13T00:00:00Zoai:scielo:S2179-84512018000300489Revistahttp://www.scielo.br/temaPUBhttps://old.scielo.br/oai/scielo-oai.phpcastelo@icmc.usp.br2179-84511677-1966opendoar:2018-12-13T00:00TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online) - Sociedade Brasileira de Matemática Aplicada e Computacionalfalse
dc.title.none.fl_str_mv Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
title Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
spellingShingle Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
SANTOS,R.M.
PI-álgebras
Maple
Computação Algébrica
Identidades Polinomiais Fracas
title_short Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
title_full Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
title_fullStr Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
title_full_unstemmed Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
title_sort Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
author SANTOS,R.M.
author_facet SANTOS,R.M.
ALVES,S.M.
OLIVEIRA,F.B.S.
author_role author
author2 ALVES,S.M.
OLIVEIRA,F.B.S.
author2_role author
author
dc.contributor.author.fl_str_mv SANTOS,R.M.
ALVES,S.M.
OLIVEIRA,F.B.S.
dc.subject.por.fl_str_mv PI-álgebras
Maple
Computação Algébrica
Identidades Polinomiais Fracas
topic PI-álgebras
Maple
Computação Algébrica
Identidades Polinomiais Fracas
description RESUMO Nesse trabalho apresentamos uma abordagem computacional para tratar de álgebras que satisfazem identidades polinomiais. Mais precisamente, utilizamos o programa Maple para verificar e identificar identidades polinomiais das álgebras de matrizes com entradas na álgebra de Grassmann E, em especial a álgebra M k,l (E), a qual Di Vincenzo e La Scala apresentaram resultados interessantes quando k = l = 1, usando a noção de identidades polinomiais fracas. Foram criados alguns procedimentos em Maple para adequar o produto das matrizes segundo as propriedades de E, sendo esta uma álgebra não comutativa. Além disso, implementamos algumas funções com menor tempo de processamento na solução de determinados problemas em comparação com funções análogas do Maple. Vale ressaltar que utilizamos o Maple na versão 18 em um computador com processador Intel@ Core™i7 e 8GB de memória RAM. Finalizamos com o estudo da conjectura dada por Kemer acerca do grau mínimo do polinômio standard para a álgebra M n (E).
publishDate 2018
dc.date.none.fl_str_mv 2018-12-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512018000300489
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S2179-84512018000300489
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 10.5540/tema.2018.019.03.0489
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Matemática Aplicada e Computacional
publisher.none.fl_str_mv Sociedade Brasileira de Matemática Aplicada e Computacional
dc.source.none.fl_str_mv TEMA (São Carlos) v.19 n.3 2018
reponame:TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
instname:Sociedade Brasileira de Matemática Aplicada e Computacional
instacron:SBMAC
instname_str Sociedade Brasileira de Matemática Aplicada e Computacional
instacron_str SBMAC
institution SBMAC
reponame_str TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
collection TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online)
repository.name.fl_str_mv TEMA (Sociedade Brasileira de Matemática Aplicada e Computacional. Online) - Sociedade Brasileira de Matemática Aplicada e Computacional
repository.mail.fl_str_mv castelo@icmc.usp.br
_version_ 1752122220536135680