Related papers: Relatively free algebras with the identity x^3=0
Let $K$ be an infinite field and $K< X> =K< X_1,...,X_n>$ the free associative algebra generated by $X=\{X_1,...,X_n\}$ over $K$. It is proved that if $I$ is a two-sided ideal of $K< X>$ such that the $K$-algebra $A=K< X> /I$ is almost…
In this short communication we show how the Lie algebra $\mathfrak{g}_2$ can easily be described as a free Lie algebra on 3 generators, subject to some simple quadruple relations for these generators.
It is shown that the subalgebra of invariants of a free associative algebra of finite rank under a linear action of a semisimple Hopf algebra has a rational Hilbert series with respect to the usual degree function, whenever the ground field…
The trace algebra C_{nd} is generated by all traces of products of d generic n x n matrices. Minimal generating sets of C_{nd} and their defining relations are known for n < 3 and n = 3, d=2. This paper states a minimal generating set and…
The study of free Baxter algebras was started by Rota and Cartier thirty years ago. We continue this study by applying two recent constructions of free Baxter algebras. We investigate the basic structure of a free Baxter algebra, and…
This article is devoted to the classification of anti-dendriform algebras that are associated with associativity. They are characterized as algebras with two operations whose sum is associative. In particular, the paper is devoted to…
We prove that for every automata algebra of exponential growth, the associated Lie algebra contains a free subalgebra. For n\geq 1, let L_{n+2} be a Lie algebra with generator set x_1,..., x_{n+2} and the following relations: for k\leq n,…
Over an arbitrary field $\mathbb{F}$, let $p$ and $q$ be monic polynomials with degree $2$ in $\mathbb{F}[t]$. The free Hamilton algebra of the pair $(p,q)$ is the free noncommutative algebra in two generators $a$ and $b$ subject only to…
A Lie algebra L is known to be nilpotent if it admits a grading by (Zp, +) with support X not containing 0. It is also known that the class of L can be bounded by some explicit function of |X|. We generalise this and other classical results…
It is known that reflection coefficients for bulk fields of a rational conformal field theory in the presence of an elementary boundary condition can be obtained as representation matrices of irreducible representations of the classifying…
A free differential for an arbitrary associative algebra is defined as a differential with a uniqueness property. The existence problem for such a differential is posed. The notion of optimal calculi for given commutation rules is…
Tridendriform algebras are a type of associative algebras, introduced independently by F. Chapoton and by J.-L. Loday and the third author, in order to describe operads related to the Stasheff polytopes. The vector space $\st$ spanned by…
We prove that if, for a nontrivial variety of non-associative algebras, every subalgebra of every free algebra is free and $I^2$ is an ideal whenever $I$ is an ideal, then this variety coincides with the variety of all Lie algebras.
Metabelian algebras are introduced and it is shown that an algebra $A$ is metabelian if and only if $A$ is a nilpotent algebra having the index of nilpotency at most $3$, i.e. $x y z t = 0$, for all $x$, $y$, $z$, $t \in A$. We prove that…
As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…
A compatible associative algebra is a vector space equipped with two associative multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimension less than four, as…
We give an accessible introduction into the theory of lower central series of associative algebras, exhibiting the interplay between algebra, geometry and representation theory that is characteristic for this subject, and to discuss some…
A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a…
Denote by C_{n,d} the nilpotency degree of a relatively free algebra generated by d elements and satisfying the identity x^n=0. Under assumption that the characteristic p of the base field is greater than n/2, it is shown that…
A very first step to develop non-commutative algebraic geometry is the arithmetic of polynomials in non-commuting variables over a commutative field, that is, the study of elements in free associative algebras. This investigation is…