No Arabic abstract
Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Grobner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial identities for the special commutator $[x,y,z] = xyz-yxz$ and special translator $langle x, y, z rangle = xyz-yzx$ in associative triple systems. In degree 3, the defining identities for comtrans algebras generate all identities. In degree 5, we simplify known identities for each operation and determine new identities relating the operations. In degree 7, we use representation theory of the symmetric group to show that each operation satisfies identities which do not follow from those of lower degree but there are no new identities relating the operations. We use noncommutative Grobner bases to construct the universal associative envelope for the special comtrans algebra of $2 times 2$ matrices.
We determine the Gerstenhaber structure on the Hochschild cohomology ring of a class of self-injective special biserial algebras. Each of these algebras is presented as a quotient of the path algebra of a certain quiver. In degree one, we show that the cohomology is isomorphic, as a Lie algebra, to a direct sum of copies of a subquotient of the Virasoro algebra. These copies share Virasoro degree 0 and commute otherwise. Finally, we describe the cohomology in degree $n$ as a module over this Lie algebra by providing its decomposition as a direct sum of indecomposable modules.
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 $B$. Then $A$ is isomorphic to $B$ as an $S$-graded algebra.
The purpose of this paper is to introduce and investigate the notion of derivation for quandle algebras. More precisely, we describe the symmetries on structure constants providing a characterization for a linear map to be a derivation. We obtain a complete characterization of derivations in the case of quandle algebras of emph{dihedral quandles} over fields of characteristic zero, and provide the dimensionality of the Lie algebra of derivations. Many explicit examples and computations are given over both zero and positive characteristic. Furthermore, we investigate inner derivations, in the sense of Schafer for non-associative structures. We obtain necessary conditions for the Lie transformation algebra of quandle algebras of Alexander quandles, with explicit computations in low dimensions.
We observe several facts and make conjectures about commutative algebras satisfying the Jacobi identity. The central question is which of those algebras admit a faithful representation (i.e., in Lie parlance, satisfy the Ado theorem, or, in Jordan parlance, are special).
We prove an analog of the Ado theorem - the existence of a finite-dimensional faithful representation - for a certain kind of finite-dimensional nilpotent Hom-Lie algebras.