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.489Keywords:
PI-álgebras, Maple, Computação Algébrica, Identidades Polinomiais Fracas.Abstract
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).References
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
Published
How to Cite
Issue
Section
License
Copyright
Authors of articles published in the journal Trends in Computational and Applied Mathematics retain the copyright of their work. The journal uses Creative Commons Attribution (CC-BY) in published articles. The authors grant the TCAM journal the right to first publish the article.
Intellectual Property and Terms of Use
The content of the articles is the exclusive responsibility of the authors. The journal uses Creative Commons Attribution (CC-BY) in published articles. This license allows published articles to be reused without permission for any purpose as long as the original work is correctly cited.
The journal encourages Authors to self-archive their accepted manuscripts, publishing them on personal blogs, institutional repositories, and social media, as long as the full citation is included in the journal's website version.
