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

DOI10.1016/J.LAA.2013.01.032zbMATH Open1292.16014arXiv1208.2185OpenAlexW1630277017MaRDI QIDQ389727FDOQ389727

Plamen Koshlukov, Thiago Castilho de Mello

Publication date: 21 January 2014

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

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)$.

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)

Cites Work

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

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)