Left selfdistributive rings (i.e., $xyz=xyxz$) which are semidirect sums of boolean rings and rings nilpotent of index at most 3 are studied.

Lo scopo di questo lavoro è di dare una nuova descrizione del $T$-ideale generato dalla nil-identità $x^n=0$ come immagine omeomorfa della $n$-esima potenza tensoriale simmetrica dell'algebra associativa libera $K〈X〉$ su un campo $K$ di caratteristica $0$. Come applicazione calcoliamo il carattere delle conseguenze multilineari di grado $\le n+2$ dell'identità $x^n=0$.

This is a survey paper on applications of the representation theory of the symmetric group to the theory of polynomial identities for associative and nonassociative algebras. In §1, we present a detailed review (with complete proofs) of the classical structure theory of the group algebra $𝔽S_n$ of the symmetric group $S_n$ over a field $𝔽$ of characteristic 0 (or $p>n$). The goal is to obtain a constructive version of the isomorphism $\psi :{⨁}_{\lambda }{M}_{d_{\lambda }}\left(𝔽\right)⟶𝔽S_n$ where $\lambda$ is a partition of $n$ and $d_{\lambda }$ counts the standard tableaux of shape $\lambda$....

Let $G$ be a finite abelian group with identity element $1_G$ and $L={⨁}_{g\in G}{L}^g$ be an infinite dimensional $G$-homogeneous vector space over a field of characteristic $0$. Let $E=E\left(L\right)$ be the Grassmann algebra generated by $L$. It follows that $E$ is a $G$-graded algebra. Let $\left|G\right|$ be odd, then we prove that in order to describe any ideal of $G$-graded identities of $E$ it is sufficient to deal with $G^{\text{'}}$-grading, where $|G^{\text{'}}|\le |G|$, ${dim}_F{L}^{1_{G^{\text{'}}}}=\infty$ and ${dim}_F{L}^{g^{\text{'}}}<\infty$ if $g^{\text{'}}\ne 1_{G^{\text{'}}}$. In the same spirit of the case $\left|G\right|$ odd, if $\left|G\right|$ is even it is sufficient to study only those $G$-gradings such that...

We describe the images of multilinear polynomials of arbitrary degree evaluated on the $3\times 3$ upper triangular matrix algebra over an infinite field.

The aim of this work is to describe the irreducible components of the nilpotent complex associative algebras varieties of dimension 2 to 5 and to give a lower bound of the number of these components in any dimension.

2000 Mathematics Subject Classification: Primary: 17A32; Secondary: 16R10, 16P99, 17B01, 17B30, 20C30Let F be a field of characteristic zero. In this paper we study the variety of Leibniz algebras 3N determined by the identity x(y(zt)) ≡ 0. The algebras of this variety are left nilpotent of class not more than 3. We give a complete description of the vector space of multilinear identities in the language of representation theory of the symmetric group Sn and Young diagrams. We also show that the...

Let $R$ be an associative algebra over a field $K$ generated by a vector subspace $V$. The polynomial $f(x_1,...,x_n)$ of the free associative algebra $K\langle x_1,x_2,...\rangle$ is a weak polynomial identity for the pair $(R,V)$ if it vanishes in $R$ when evaluated on $V$. We survey results on weak polynomial identities and on their applications to polynomial identities and central polynomials of associative and close to them nonassociative algebras and on the finite basis problem. We also present results on weak polynomial identities of degree three....

* Partially supported by Universita` di Bari: progetto “Strutture algebriche, geometriche e descrizione degli invarianti ad esse associate”.We compute the cocharacter sequence and generators of the ideal of the weak polynomial identities of the superalgebra M1,1 (E).

000 Mathematics Subject Classification: Primary 16R50, Secondary 16W55.We present some results about the Z2-graded polynomial identities of block-triangular matrix superalgebras R[[A M],[0 B]]. In particular, we describe conditions for the T2-ideal of a such superalgebra to be factorable as the product T2(A)T2(B). Moreover, we give formulas for computing the sequence of the graded cocharacters of R in some interesting case.Partially supported by MURST COFIN 2003 and Università di Bari.