×

Central polynomials in the matrix algebra of order two. (English) Zbl 1044.16016

The authors exhibit a minimal basis of the polynomial identities for \(M_2(K)\), the algebra of \(2\times 2\) matrices over an infinite field \(K\), whose characteristic \(p\) is positive and is different from \(2\). When \(p>3\), the standard identity of degree \(4\) and the Hall identity generate the T-ideal of \(M_2(K)\), just like in characteristic zero; when \(p=3\), one needs an additional identity. Furthermore, using this result, a minimal set of generators of the T-space of central polynomials for \(M_2(K)\) is given.

MSC:

16R10 \(T\)-ideals, identities, varieties of associative rings and algebras
16R20 Semiprime p.i. rings, rings embeddable in matrices over commutative rings
16S50 Endomorphism rings; matrix rings
Full Text: DOI

References:

[1] Chiripov, P. Zh.; Siderov, P. N., On bases for identities of some varieties of associative algebras, (Russian) Pliska Stud. Math. Bulgar., 2, 103-115 (1981) · Zbl 0483.16014
[2] De Concini, C.; Procesi, C., A characteristic free approach to invariant theory, Adv. Math., 21, 3, 330-354 (1976) · Zbl 0347.20025
[3] Doubilet, P.; Rota, G.-C.; Stein, J., On the foundations of combinatorial theory, Stud. Appl. Math., 3, 9, 185-216 (1974) · Zbl 0426.05009
[4] Drensky, V., A minimal basis for the identities of a second-order matrix algebra over a field of characteristic 0, Algebra and Logic, 20, 3, 188-194 (1980) · Zbl 0496.16017
[5] V. Drensky, Free algebras and PI algebras, Graduate Course in Algebra, Springer, Singapore, 1999; V. Drensky, Free algebras and PI algebras, Graduate Course in Algebra, Springer, Singapore, 1999 · Zbl 0936.16001
[6] Giambruno, A.; Koshlukov, P., On the identities of the Grassmann algebras in characteristic \(p>0\), Israel J. Math., 122, 305-316 (2001) · Zbl 0990.16022
[7] Filippov, V. T., Varieties of Mal’tsev algebras, Algebra and Logic, 20, 3, 200-210 (1981) · Zbl 0496.17012
[8] Formanek, E., Invariants and the ring of generic matrices, J. Algebra, 89, 178-223 (1984) · Zbl 0549.16008
[9] Kemer, A., Ideals of identities of associative algebras, Transl. Math. Monogr., 87 (1991), AMS: AMS Providence, RI · Zbl 0736.16013
[10] Koshlukov, P., Weak polynomial identities for the matrix algebra of order two, J. Algebra, 28, 7, 610-625 (2001) · Zbl 0915.16019
[11] Koshlukov, P., Basis of the identities of the matrix algebra of order two over a field of characteristic \(p\)≠2, J. Algebra, 241, 410-434 (2001) · Zbl 0988.16015
[12] Krakowski, D.; Regev, A., The polynomial identities of the Grassmann algebra, Trans. AMS, 181, 429-438 (1973) · Zbl 0289.16015
[13] Okhitin, S., Central polynomials of the algebra of second order matrices, Moscow Univ. Math. Bull., 43, 4, 49-51 (1988) · Zbl 0665.16012
[14] Popov, A., Identities of the tensor square of a Grassmann algebra, Algebra and Logic, 21, 296-316 (1982) · Zbl 0521.16014
[15] Razmyslov, Y., Identities of algebras and their representations, Transl. Math. Monogr., 138 (1994), AMS · Zbl 0827.17001
[16] Vasilovsky, S., The basis of identities of a three-dimensional simple Lie algebra over an infinite field, Algebra and Logic, 28, 5, 355-368 (1989) · Zbl 0707.17003
[17] Stojanova-Venkova, A. H., Bases of identities of Grassmann algebras, (Russian) Serdica, 6, 1, 63-72 (1980) · Zbl 0463.15020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.