Related papers: Special Identities for Comtrans Algebras

We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…

We construct L$_{\infty}$ algebras for general `initial data' given by a vector space equipped with an antisymmetric bracket not necessarily satisfying the Jacobi identity. We prove that any such bracket can be extended to a 2-term…

Commutative complex numbers of the form u=x+\alpha y+\beta z+\gamma t in 4 dimensions are studied, the variables x, y, z and t being real numbers. Four distinct types of multiplication rules for the complex bases \alpha, \beta and \gamma…

We work to find a basis of graded identities for the octonion algebra. We do so for the $\mathbb{Z}_2^2$ and $\mathbb{Z}_2^3$ gradings, both of them derived of the Cayley-Dickson process, the later grading being possible only when the…

The commutator $[a,b] = ab - ba$ in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation $T(a,b,c,d)$ which he called the tortkara…

Let $UT_2$ be the algebra of $2\times 2$ upper triangular matrices over a field $F$ of characteristic zero. Here we study the generalized polynomial identities of $UT_2$, i.e., identical relations holding for $UT_2$ regarded as…

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…

This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…

Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…

In this paper we study self-adjoint commuting ordinary differential operators. We find sufficient conditions when an operator of fourth order commuting with an operator of order $4g+2$ is self-adjoint. We introduce an equation on…

We investigate the Grassmann envelope (of finite rank) of a finite-dimensional $\mathbb{Z}_2$-graded algebra. As a result, we describe the polynomial identities of $G_1(\mathcal{A})$, where $G_1$ stands for the Grassmann algebra with $1$…

We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies, and the higher operations on the Yoneda algebra. We…

We study non-associative twisted group algebras over $(\Z_2)^n$ with cubic twisting functions. We construct a series of algebras that extend the classical algebra of octonions in the same way as the Clifford algebras extend the algebra of…

Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full…

Dotsenko and Vallette discovered an extension to nonsymmetric operads of Buchberger's algorithm for Gr\"obner bases of polynomial ideals. In the free nonsymmetric operad with one ternary operation $({\ast}{\ast}{\ast})$, we compute a…

The representation dimension was defined by M. Auslander in 1970 and is, due to spectacular recent progress, one of the most interesting homological invariants in representation theory. The precise value is not known in general, and is very…

While every matrix admits a singular value decomposition, in which the terms are pairwise orthogonal in a strong sense, higher-order tensors typically do not admit such an orthogonal decomposition. Those that do have attracted attention…

The matrix normed structure of the unitization of a (non-selfadjoint) operator algebra is determined by that of the original operator algebra. This yields a classification up to completely isometric isomorphism of two-dimensional unital…

We analyze the decomposition of the enveloping algebra of the conformal algebra in arbitrary dimension with respect to the mass-squared operator. It emerges that the subalgebra that commutes with the mass-squared is generated by its…

This paper focuses on the derivations and automorphism groups of certain finite-dimensional associative algebras over the field of complex numbers. Using classification results for algebras of dimensions two, three, and four, along with…