Modelos Computacionais para Verificação de Identidades Polinomiais em Álgebras de Matrizes com entradas na Álgebra de Grassmann
DOI:
https://doi.org/10.5540/tema.2018.019.03.489Palavras-chave:
PI-álgebras, Maple, Computação Algébrica, Identidades Polinomiais Fracas.Resumo
Nesse trabalho apresentamos uma abordagem computacional para tratar das álgebras que satisfazem identidades polinomiais. Mais precisamente, utilizamos o software Maple para verificar e identificar identidades polinomiais das álgebras de matrizes com entradas na álgebra de Grassmann E, em especial a álgebra Mk,l(E), a qual Di Vincenzo e La Scala apresentam 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. O software Maple apresenta algumas funções previamente implementadas que permitem trabalhar com tais propriedades, porém, o tempo de processamento é consideravelmente maior em comparação com algumas das funções que implementamos. Finalizamos com estudo da conjectura dada por Kemer a cerca do grau mínimo do polinômio standard para a álgebra Mn(E).Referências
M. Dehn, "Über die Grundlagen der Projektiven Geometrie und Allgemeine Zahlsysteme", Math. Ann.85, pp. 184-194, 1922.
W. Wagner, "Über die Grundlagen der Projektiven Geometrie und Allgemeine Zahlsysteme", Math. Ann.113, pp. 528-567, 1936.
S. A. Amitsur and J. Levitzki, "Minimal Identities for Algebras", Math. Soc.1, pp. 449-463, 1950.
I. Kaplansky, "Problems in the Teory of Rings", Report of a conference on linear algebras, no. 502, pp. 1-3, 1957.
I. Kaplansky, "Problems in the Theory of Rings, Revisited", The American Mathematical Monthly, vol. 77, no. 5, pp. 445-454, 1970.
E. Formanek, "The Polynomial Identities and Invariants of n x n Matrices", CBMS Regional Conf. Series in Math. 78, no. Math. 77, 1991.
Y. P. Razmyslov, "On a Problem of Kaplansky", pp. 479-496, 1973.
H. Zimmermann, PI-Algebras: An Introduction. No. 141, Berlin - New York: Lectures Notes in Math., Springer-Verlag, 1975.
L. H. Rowen, "Polynomial Identities of Rings Theory", Acad. Press., 1980.
P. Halpin, "Central and Wear Identities for Matrices", Commun. in Algebra, no. 11, pp. 2237-2248, 1983.
V. Drensky, "New Central Polynomials for the Matrix Algebra", J. Math.,
no. 92, pp. 235-248, 1995.
A. Giambruno and A. Valenti, "Central Polynomials and Matrix Invariants",Israel J. Math., no. 96, pp. 281-297, 1996.
Y. P. Razmyslov, "Identities of Algebras and Their Representations", 1994.
Y. P. Razmyslov, "Finite Basing of the Identities of Matrix Algebra Second Order Over a Field of Characteristc Zero", pp. 47-73, 1973.
E. Formanek, "Central Polynomials for Matrix Rings", J. Algebra, no. 23, pp. 129-132, 1972.
V. Drensky and G. P. Cattaneo, "A Central Polynomial of low Degree for 4x4 Matrices", J. Algebra, no. 168, pp. 469-478, 1995.
V. Drensky and T. G. Rashkova, "Wear Polynomial Identities for the Matrix Algebras", Commun. in Algebra, no. 21, pp. 3779-3795, 1993.
A. T. Galão, PI-Álgebras. Dissertação de mestrado, Universidade Estadual de Campinas, Campinas, SP, 2003.
R. Portugal, "Introdução ao Maple". Laboratório Nacional de Computação Científica (LNCC), 2002.
L. N. Andrade, Introdução à Computação Algébrica com o Maple. SBM, 2004.
S. M. Alves, K. K. Sartori, and V. A. Arakawa, "The Standard Identity on Mn(E) in Characteristic p > 2", Journal of Algebra, vol. 9, no. 4, pp. 155-158, 2015.
A. Kemer, "Matrix Type of Some Algebras over a Field of Characteristic p", Journal of Algebra, vol. 251, no. 2, pp. 849-863, 2002.
S. S. Azevedo, Identidades Graduadas para Álgebras de Matrizes. Tese de doutorado, Instituto de Matemática, Estatística e Computação Científica (UNICAMP), 2003.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Política para Periódicos de Acesso Livre
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
- Esta é uma revista de acesso aberto, o que significa que todo o conteúdo é livremente disponível gratuitamente para o usuário ou sua instituição. Os usuários estão autorizados a ler, baixar, copiar, distribuir, imprimir, pesquisar ou vincular os textos completos dos artigos, ou usá-los para qualquer outro propósito legal, sem pedir permissão prévia do editor ou do autor. Isso está de acordo com a definição de acesso aberto do BOAI.
Todo o conteúdo do periódico está licenciado sob uma Licença Creative Commons do tipo atribuição BY.