Let A be an ultraprime Banach algebra. We prove that each approximately commuting continuous linear (or quadratic) map on A is near an actual commuting continuous linear (resp. quadratic) map on A. Furthermore, we use this analysis to study how close are approximate Lie isomorphisms and approximate Lie derivations to actual Lie isomorphisms and Lie derivations, respectively.

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.

We study unitary rings of characteristic 2 satisfying identity $x^p=x$ for some natural number p. We characterize several infinite families of these rings which are Boolean, i.e., every element is idempotent. For example, it is in the case if $p=2^n-2$ or $p=2^n-5$ or $p=2^n+1$ for a suitable natural number n. Some other (more general) cases are solved for p expressed in the form $2^q+2m+1$ or $2^q+2m$ where q is a natural number and $m\in 1,2,...,2^q-1$.