On the polynomial identities of the algebra M₁₁(E).

DOI10.1016/J.LAA.2013.01.032MaRDI QIDQ389727zbMATH OpenOpenAlexFDO

Authors Plamen Koshlukov, Thiago Castilho de Mello

Publication date 21 January 2014

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.2185

zbMATH Keywords

polynomial identitiesbases of identitiescentral elementsgeneric algebrasrelatively free algebrasT-idealsmatrices over Grassmann algebrasPI equivalenceverbally prime algebras

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Exterior algebra, Grassmann algebras (15A75) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20) Endomorphism rings; matrix rings (16S50)

Abstract: Verbally prime algebras are important in PI theory. They were described by Kemer over a field $K$ of characteristic zero: 0 and $K<T>$ (the trivial ones), $M_n(K)$, $M_n(E)$, $M_{ab}(E)$. Here $K<T>$ is the free associative algebra of infinite rank, with free generators $T$, $E$ denotes the infinite dimensional Grassmann algebra over $K$, $M_n(K)$ and $M_n(E)$ are the $nimesn$ matrices over $K$ and over $E$, respectively. The algebras $M_{ab}(E)$ are subalgebras of $M_{a+b}(E)$, see their definition below. The generic (also called relatively free) algebras of these algebras have been studied extensively. Procesi described the generic algebra of $M_n(K)$ and lots of its properties. Models for the generic algebras of $M_n(E)$ and $M_{ab}(E)$ are also known but their structure remains quite unclear. In this paper we study the generic algebra of $M_{11}(E)$ in two generators, over a field of characteristic 0. In an earlier paper we proved that its centre is a direct sum of the field and a nilpotent ideal (of the generic algebra), and we gave a detailed description of this centre. Those results were obtained assuming the base field infinite and of characteristic different from 2. In this paper we study the polynomial identities satisfied by this generic algebra. We exhibit a basis of its polynomial identities. It turns out that this algebra is PI equivalent to a 5-dimensional algebra of certain upper triangular matrices. The identities of the latter algebra have been studied; these were described by Gordienko. As an application of our results we describe the subvarieties of the variety of unitary algebras generated by the generic algebra in two generators of $M_{11}(E)$. Also we describe the polynomial identities in two variables of the algebra $M_{11}(E)$.

Recommendations

• The centre of generic algebras of small PI algebras.
• Generic verbally prime pi-algebras and their gk-dimensions
• Weak polynomial identities for \(M_{1,1}(E)\)
• A primeness property for central polynomials of verbally prime P.I. algebras.
• GRADED POLYNOMIAL IDENTITIES OF VERBALLY PRIME ALGEBRAS

Cites work

• scientific article; zbMATH DE number 4144191 (Why is no real title available?)
• scientific article; zbMATH DE number 3813843 (Why is no real title available?)
• scientific article; zbMATH DE number 3897148 (Why is no real title available?)
• scientific article; zbMATH DE number 694883 (Why is no real title available?)
• scientific article; zbMATH DE number 3412816 (Why is no real title available?)
• A basis for the identities of the algebra of second-order matrices over a finite field
• A basis of identities of the algebra of third-order matrices over a finite field
• A minimal basis of identities for a second-order matrix algebra over a field of characteristic 0
• A star-variety with almost polynomial growth
• Basis of the identities of the matrix algebra of order two over a field of characteristic \(p\neq 2\)
• Central polynomials in the matrix algebra of order two.
• Finite basing of the identities of a matrix algebra of second order over a field of characteristic zero
• Generic verbally prime pi-algebras and their gk-dimensions
• Identities of associative algebras
• Identities of the tensor square of a Grassmann algebra
• On the identities of the Grassmann algebras in characteristic \(p>0\)
• On the polynomial identities of the algebra \(M_{11}(E)\).
• Regev's conjecture and codimensions of P.I. algebras.
• Tensor product theorems in positive characteristic.
• The Polynomial Identities of the Grassman Algebra
• The centre of generic algebras of small PI algebras.
• The standard identity in characteristic p: A conjecture of I. B. Volichenko

Cited in

(3)

• Relatively free algebras of finite rank
• Minimal varieties and identities of relatively free algebras.
• On the polynomial identities of the algebra \(M_{11}(E)\).

This page was built for publication: On the polynomial identities of the algebra \(M_{11}(E)\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q389727)