Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
Outros Autores: | , |
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 |