Related papers: Implication Zroupoids and Identities of Associativ…
In this paper we study properties of left (right) division (cancellative) groupoids with associative-like identities, namely, with cyclic associative identity (x (y z) = (z x) y) and Tarki (x (z y) = (x y) z) identities.
A compatible associative algebra is a vector space endowed with two associative multiplication operations that satisfy a natural compatibility condition. In this paper, we investigate and classify compatible pairs of associative algebras of…
For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given…
We obtain a series of new results on the problem of irreducibility of commuting varieties associated with symmetric pairs or, in other words, $Z_2$-graded simple Lie algebras. In particular, we present many examples of reducible commuting…
A pseudo-Euclidean non-associative algebra $(\mathfrak{g}, \bullet)$ is a real algebra of finite dimension that has a metric, i.e., a bilinear, symmetric, and non-degenerate form $\langle\;\rangle$. The metric is considered…
A normalized holomorphic family (depending on $\boldsymbol \lambda \in \mathbb C^3$) of conformally invariant trilinear forms on the sphere is studied. Its zero set $Z$ is described. For $\boldsymbol \lambda\notin Z$, the multiplicity of…
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 give a complete description of the varieties of associative algebras over a field of characteristic zero which satisfy a polynomial identity of third degree.
If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the…
Every quasigroup $(S,\cdot)$ belongs to a set of 6 quasigroups, called parastrophes denoted by $(S,\pi_i)$, $i\in \{1,2,3,4,5,6\}$. It is shown that isotopy-isomorphy is a necessary and sufficient condition for any two distinct quasigroups…
This is a short survey of works on identical relations in group rings, enveloping algebras, Poisson symmetric algebras and other related algebraic structures. First, the classical work of Passman specified group rings that satisfy…
We define the notion of an almost polynomial identity of an associative algebra $R$, and show that its existence implies the existence of an actual polynomial identity of $R$. A similar result is also obtained for Lie algebras and Jordan…
An algebra $A$ with multiplication $A\times A \to A, (a,b)\mapsto a\circ b$, is called right-symmetric, if $a\circ(b\circ c)-(a\circ b)\circ a\circ (c\circ b)-(a\circ c)\circ b,$ for any $a,b,c\in A$. The multiplication of right-symmetric…
We study phylogenetic invariants of models of evolution whose group of symmetries is the cyclic group with 3 elements. We prove that projective schemes corresponding to the ideal I of phylogenetic invariants of such a model and to its…
The variety of bicommutative algebras is the class of all nonassociative algebras satisfying the polynomial identities $(x_1x_2)x_3=(x_1x_3)x_2$ and $x_1(x_2x_3)=x_2(x_1x_3)$. In this paper we provide a complete description of varieties of…
By definition the identities $[x_1, x_2] + [x_2, x_1] = 0$ and $[x_1, x_2, x_3] + [x_2, x_3, x_1] + [x_3, x_1, x_2] = 0$ hold in any Lie algebra. It is easy to check that the identity $[x_1, x_2, x_3, x_4] + [x_2, x_1, x_4, x_3] + [x_3,…
An association scheme is amorphous if it has as many fusion schemes as possible. Symmetric amorphous schemes were classified by A. V. Ivanov [A. V. Ivanov, Amorphous cellular rings II, in Investigations in algebraic theory of combinatorial…
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 algebras defined by identities in symmetric monoidal categories. Our focus is on Lie algebras. Besides usual Lie algebras, there are examples appearing in the study of knot invariants and Rozansky-Witten invariants. Our main result…
Let $so_3(K)$ be the Lie algebra of $3\times 3$ skew-symmetric matrices over a field $K$ of characteristic 0. The ideal $I(M_3(K),so_3(K))$ of the weak polynomial identities of the pair $(M_3(K),so_3(K))$ consists of the elements…