Related papers: Polynomial identities for tangent algebras of mono…
We introduce a new approach to the classification of operator identities, based on basic concepts from the theory of algebraic operads together with computational commutative algebra applied to determinantal ideals of matrices over…
We use computer algebra to study polynomial identities for the trilinear operation [a,b,c] = abc - acb - bac + bca + cab - cba in the free associative algebra. It is known that [a,b,c] satisfies the alternating property in degree 3, no new…
We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial…
We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…
We determine the multiplicity of the irreducible representation V(n) of the simple Lie algebra sl(2,C) as a direct summand of its fourth exterior power $\Lambda^4 V(n)$. The multiplicity is 1 (resp. 2) if and only if n = 4, 6 (resp. n = 8,…
We describe the general non-associative version of Lie theory that relates unital formal multiplications (formal loops), Sabinin algebras and non-associative bialgebras. Starting with a formal multiplication we construct a non-associative…
Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Gr\"obner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial…
We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $\Gamma$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$…
Let $A$ and $B$ be finite-dimensional simple algebras with arbitrary signature over an algebraically closed field. Suppose $A$ and $B$ are graded by a semigroup $S$ so that the graded identitical relations of $A$ are the same as those of…
In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have…
In quantum mechanics, associative algebras play an important role in understanding symmetries and operator algebras, providing new algebraic frameworks for describing physical systems. This work classifies associative algebras over a field…
In this paper we describe the polynomial identities of degree 4 for a certain subspace of the Weyl algebra A_1 over an infinite field of arbitrary characteristic.
Semispecial quasi-Jordan algebras (also called Jordan dialgebras) are defined by the polynomial identities $a(bc) = a(cb)$, $(ba)a^2 = (ba^2)a$, and $(b,a^2,c) = 2(b,a,c)a$. These identities are satisfied by the product $ab = a \dashv b + b…
The set of formal power series with coefficients in an associative but noncommutative algebra becomes a loop with the substitution product. We initiate the study of this loop by describing certain Lie and Sabinin algebras related to it.…
Let $K \langle X\rangle$ be the free associative algebra freely generated over the field $K$ by the countable set $X = \{x_1, x_2, \ldots\}$. If $A$ is an associative $K$-algebra, we say that a polynomial $f(x_1,\ldots, x_n) \in K \langle…
We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular…
We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of arbitrary associative algebra. One is a consequence of other (fundamental identity). From the fundamental identity,…
We extend the concepts of the associator and commutator from algebras with a binary multiplication law to algebras with a ternary multiplication law using cube roots of unity. By analogy with the Jacobi identity for the binary commutator,…
In his generalization of reductive homogeneous spaces, Lev Sabinin showed that Lie's fundamental theorems hold for local analytic hyporeductive and pseudoreductive loops. We derive Sabinin's results in an algebraic context in terms of…
We use computer algebra to demonstrate the existence of a multilinear polynomial identity of degree 8 satisfied by the bilinear operation in every Lie-Yamaguti algebra. This identity is a consequence of the defining identities for…