The hilbert series of the polynomial identities for the tensor square of the grassmann algebra

LetE be the Grassmann (or exterior) algebra of an infinite-dimensional vector space over a fieldK of characteristic 0. We compute the Hilbert series of the relatively free algebraF _m(varE?_K E)=K(x _l,...,x _m) /(T(E?_K E)∩K〈x _l,...,x _m〉) of the variety of algebrasvarE?_KE, whereT(E?_K E) is the set of all polynomial identities forE?_K EE from the free associative algebraK〈x ₁,x₂…〉.     

Remarks on the prime varieties

We study the prime varieties of associative algebras over infinite fields of characteristicp. We prove a few properties of the multilinear components ofT-primeT-ideals and describe the prime subvarieties of the variety of the algebras satisfying all the identities of the algebraM ₂(F) and the identityx ^p =0.     

Ideals of identities of representations of nilpotent lie algebras

Let L be a Lie algebra, nilpotent of class 2, over an infinite field K, and suppose that the centre C of L is one dimensional; such Lie algebras are called Heisenberg algebras. Let ρ:L→hom _KV be a finite dimensional representation of the Heisenberg algebra L such that ρ(C) contains non-singular linear transformations of V, and denote l(ρ) the ideal of identities for the representation ρ. We prove that the ideals of identities of representations containing I(ρ) and generated by multilinear polynomials satisfy the ACC. Let sl ₂(L) be the Lie algebra of the traceless 2×2 matrices over K, and suppose the characteristic of K equals 2. As a corollary we obtain that the ideals of identities of representations of Lie algebras containing that of the regular representation of sl ₂(K) and generated by multilinear polynomials, are finitely based. In addition we show that one cannot simply dispense with the condition of multilinearity. Namely, we show that the ACC is violated for the ideals of representations of Lie algebras (over an infinite field of characteristic 2) that contain the identities of the regular representation of sl ₂(K).     

Identities with involution for the matrix algebra of order two in characteristic<Emphasis Type="Italic">p</Emphasis>

LetM ₂ (K) be the matrix algebra of order two over an infinite fieldK of characteristicp≠2. IfK is algebraically closed then, up to isomorphism, there are two involutions of first kind onM ₂ (K), namely the transpose and the symplectic. IfK is not algebraically closed, studying *-identities it is still sufficient to consider only these two involutions. We describe bases of the polynomial identities with involution in each of these cases. Supported by PhD grant from CNPq. Partially supported by CNPq and by CAPES.     

Graded central polynomials for the matrix algebra of order two

Let K be an infinite integral domain, and let A = M ₂(K) be the matrix algebra of order two over K. The algebra A can be given a natural \mathbbZ₂{\mathbb{Z}_2} -grading by assuming that the diagonal matrices are the 0-component while the off-diagonal ones form the 1-component. In this paper we study the graded identities and the graded central polynomials of A. We exhibit finite bases for these graded identities and central polynomials. It turns out that the behavior of the graded identities and central polynomials in the case under consideration is much like that in the case when K is an infinite field of characteristic 0 or p > 2. Our proofs are characteristic-free so they work when K is an infinite field, char K = 2. Thus we describe finite bases of the graded identities and graded central polynomials for M ₂(K) in this case as well.     

Trace maps over M 3(K) associated with the substitutions

Let K be a field of characteristic zero and M ₃(K) the ring of matrices 3×3 over K. In this paper, we establish first the certain identities of traces of some algebras of Min3(K), then we define the trace mapping of 3 × 3 matrices associated with a substitution over a two-letter alphabet on some algebraic variety and study their properties.     

Graded central polynomials for the matrix algebra of order two

Let K be an infinite integral domain, and let A = M ₂(K) be the matrix algebra of order two over K. The algebra A can be given a natural -grading by assuming that the diagonal matrices are the 0-component while the off-diagonal ones form the 1-component. In this paper we study the graded identities and the graded central polynomials of A. We exhibit finite bases for these graded identities and central polynomials. It turns out that the behavior of the graded identities and central polynomials in the case under consideration is much like that in the case when K is an infinite field of characteristic 0 or p > 2. Our proofs are characteristic-free so they work when K is an infinite field, char K = 2. Thus we describe finite bases of the graded identities and graded central polynomials for M ₂(K) in this case as well. A. Krasilnikov has been partially supported by CNPq and FINATEC.     

On the codimensions of the verbally prime P.I. algebras

Razmyslov’s theory of trace identities for the prime P.I. algebrasM _{k, l} is applied to give bounds for the cocharacters and the codimensions of these algebrasM _{k, l}, as well as for the matrix algebrasM _k(E) over the Grassmann algebraE. These bounds are easier to obtain and are better (tighter) than earlier obtained bounds. Work supported by NSF grant DMS 9100258. Work supported by NSF grant DMS 9101488.     

A Basis for the Graded Identities of the Matrix Algebra of Order Two over a Finite Field of Characteristic p≠2

Let K be a finite field of characteristic p>2, and let M₂(K) be the matrix algebra of order two over K. We describe up to a graded isomorphism the 2-gradings of M₂(K). It turns out that there are only two nonisomorphic nontrivial such gradings. Furthermore, we exhibit finite bases of the graded polynomial identities for each one of these two gradings. One can distinguish these two gradings by means of the graded polynomial identities they satisfy.     

Identities of metabelian alternative algebras

We study metabelian alternative (in particular, associative) algebras over a field of characteristic 0. We construct additive bases of the free algebras of mentioned varieties, describe some centers of these algebras, compute the values of the sequence of codimensions of corresponding T-ideals, and find unitarily irreducible components of the decomposition of mentioned varieties into a union and their bases of identities. In particular, we find a basis of identities for the metabelian alternative Grassmann algebra. We prove that the free algebra of a variety that is generated by the metabelian alternative Grassmann algebra possesses the zero associative center.     

Growth for the Central Polynomials

We study the growth of the central polynomials for the infinite dimensional Grassmann algebra G, and for the algebra M_k(F) of the k × k matrices, both over a field F of characteristic zero.     

Identities of representations of nilpotent lie algebras

Lret N be a nilpotent of class 2 Lie algebra with one-dimensional centre C = Kc over an infinite field K and let p : N → End_k:(V) be a representation of N in a vector space V such that p(c) is invertible in End_k(V). We find a basis for the identities of the representation p. As consequences we obtain a basis for all the weak polynomial identities of the pair (M₂:(K), s1₂(K)) over an infinite field K of characteristic 2 and describe the identities of the regular representation of Lie algebras related with the Weyl algebra and its tensor powers.     

Trace maps over M3(K) associated with the substitutions

Let K be a field of characteristic zero and M ₃(K) the ring of matrices 3×3 over K. In this paper, we establish first the certain identities of traces of some algebras of Min3(K), then we define the trace mapping of 3 × 3 matrices associated with a substitution over a two-letter alphabet on some algebraic variety and study their properties.     

Identities of Group Algebras

We consider polynomial identities of group algebras over a field F of characteristic zero. We prove that any PI group algebra satisfies the same identities as a matrix algebra M _n (F ), where n is the maximal degree of finite dimensional representations of the group over algebraic extensions of F.     

Integral Schur algebras forGL 2

The structure of Schur algebrasS(2,r) over the integral domainZ is intensively studied from the quasi-hereditary algebra point of view. We introduce certain new bases forS(2,r) and show that the Schur algebraS(2,r) modulo any ideal in the defining sequence is still such a Schur algebra of lower degree inr. A Wedderburn-Artin decomposition ofS _K (2,r) over a fieldK of characteristic 0 is described. Finally, we investigate the extension groups between two Weyl modules and classify the indecomposable Weyl-filtered modules for the Schur algebrasS _Zp(2,r) withr<p ² . Research supported by ARC Large Grant L20.24210     

Example of Simple Finite Dimensional Algebra with No Finite Basis of Its Identities

In 1993, I. P. Shestakov formulated the following question: Are there finite dimensional central simple algebras over a field of characteristic 0 that do not have a finite basis of identities (Dniester notebook, question 3.103)? In this paper, the authors give the positive answer to Shestakov's question.     

On multilinear components of prime subvarieties in the variety Var(M 1,1)

Let M _1,1 be the matrix superalgebra over an infinite field of positive characteristic p ≠ 2. Multilinear identities of prime subvarieties in the variety Var M _1,1 are described. It is shown that the set of multilinear identities of any prime subvariety in the variety Var M _1,1 either coincides with the set of multilinear identities of the algebra M _1,1 or is generated by the identity [x, y, z] = 0 or is generated by the identity [x, y] = 0.     

PI non-equivalence in positive characteristic

The algebras A _a,b appeared in the study of the tensor products of verbally prime PI algebras. They are in-between the well known algebras M _n (E) and ${M_{a,b}(E)\otimes E}$ , see the definitions below. Here E is the Grassmann algebra. The main result of this note consists in showing that the algebras A _a,b and M _a+b (E) are not PI equivalent in characteristic p > 2.