The Gelfand-Kirillov dimension of the universal algebras of M_a,b(E) E in positive characteristic.

DOI10.1007/S12215-011-0079-6MaRDI QIDQ693215zbMATH OpenOpenAlexFDO

Authors Sérgio M. Alves, Fernanda G. de Paula, Marcello Fidelis

Publication date 7 December 2012

Published in Rendiconti del Circolo Matematico di Palermo (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s12215-011-0079-6

Gelfand-Kirillov dimension graded identities Grassmann algebras relatively free algebras T-prime algebras T-prime T-ideals verbally prime algebras

Mathematics Subject Classification ID

Exterior algebra, Grassmann algebras (15A75) Growth rate, Gelfand-Kirillov dimension (16P90) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20) Identities other than those of matrices over commutative rings (16R40) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)

Review text

The description of the verbally prime algebras is known only over a field of characteristic 0. Recall that an algebra \(A\) is verbally prime (or T-prime) if its T-ideal is prime inside the class of all T-ideals in the free associative algebra. If the base field is of characteristic 0 then the T-ideals of the following algebras are the only non-trivial T-prime T-ideals: \(M_n(K)\), \(M_n(E)\), \(M_{ab}(E)\). Here \(K\) is the base field, \(E\) is the infinite dimensional Grassmann algebra over \(K\), \(n,a,b\geq 1\). The algebra \(M_{ab}(E)\) is a subalgebra of \(M_{a+b}(E)\), it consists of all matrices divided into blocks \(a\times a\) and \(b\times b\) on the main diagonal whose entries come from \(E_0\), the centre of \(E\), and the entries in the off-diagonal blocks come from \(E_1\), the anti-commuting part of \(E\). We recall that if \(K\) is infinite and of characteristic \(p>2\) then the above T-ideals are T-prime as well but there exist other T-prime T-ideals, and their complete description seems to be quite far. It is known that the class of the T-prime algebras is closed under tensor products (in the sense of PI equivalence). Thus for example, in characteristic 0, \(E\otimes E\) is PI equivalent to \(M_{11}(E)\), \(M_{ab}(E)\otimes E\) is PI equivalent to \(M_{a+b}(E)\), and \(M_{ab}(E)\otimes M_{cd}(E)\) is PI equivalent to \(M_{ac+bd,ad+bc}(E)\). All of these equivalences fail in positive characteristic (but are valid if one considers the multilinear parts of the corresponding T-ideals). The main result of the paper under review is the computation of the Gelfand-Kirillov dimension of the relatively free algebra of rank \(m\) in the variety determined by \(M_{ab}(E)\otimes E\), over an infinite field of characteristic \(p\neq 2\). It turns out that it differs from the GK dimension of the relatively free algebra of rank \(m\) in the variety determined by \(M_{a+b}(E)\); the latter is one less than the former. Thus the authors obtain a new proof of the fact that these two algebras are not PI equivalent in positive characteristic.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: The Gelfand-Kirillov dimension of the universal algebras of \(M_{a,b}(E)\otimes E\) in positive characteristic.

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