Related papers: On properties described by terms in commutator rel…

The purpose of this article is to introduce the concept of invariance and its properties. These properties can be used to check the primality of a number. Combining these properties with the Euler theorem, it is possible to generalize this…

Let $A$ be a noetherian connected graded algebra. We introduce and study homological invariants that are weighted sums of the homological and internal degrees of cochain complexes of graded $A$-modules, providing weighted versions of…

The commuting variety of a reductive Lie algebra ${\goth g}$ is the underlying variety of a well defined subscheme of $\gg g{}$. In this note, it is proved that this scheme is normal. In particular, its ideal of definition is a prime ideal.

Let $\mathfrak g$ be a simple Lie algebra over an algebraically closed field $\bf k$ of characteristic zero and $\bf G$ its adjoint group. Let $\mathfrak q$ be a biparabolic subalgebra of $\mathfrak g$. The algebra $Sy(\mathfrak q)$ of…

An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…

We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…

Let $F$ be a field of characteristic $\ne 2,3$ and let $A$ be a unital associative $F$-algebra. Define a left-normed commutator $[a_1, a_2, \dots , a_n]$ $(a_i \in A)$ recursively by $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{n-1},…

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once…

We show that a suitably chosen position-momentum commutator can elegantly describe many features of gravity, including the IR/UV correspondence and dimensional reduction (`holography'). Using the most simplistic example based on dimensional…

We study so called regular Lie algebras, i.e. Lie algebras in which each nonzero element is regular. We make a connection with an open problem whether any element of reduced trace zero in a simple associative algebra is a commutator.

We define the probability of an equation in a finite algebra as the proportion of tuples in its domain that satisfy it. We call the probabilistic spectrum of an algebra the set of probability values obtained when the equation varies. We…

We investigate the computational complexity for determining various properties of a finite transformation semigroup given by generators. We introduce a simple framework to describe transformation semigroup properties that are decidable in…

In this short note we define a new cohomology for a Lie algebroid $\mathcal{A}$, that we call the \emph{twisted cohomology} of $\mathcal{A}$ by an odd cocycle $\theta$ in the Lie algebroid cohomology of $\mathcal{A}$. We proof that this…

We give an explicit combinatorial description of the deformation theory of the Abelian category of (quasi)coherent sheaves on any separated Noetherian scheme $X$ via the deformation theory of path algebras of quivers with relations, by…

For commuting linear operators $P_0,P_1,..., P_\ell$ we describe a range of conditions which are weaker than invertibility. When any of these conditions hold we may study the composition $P=P_0P_1... P_\ell$ in terms of the component…

Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…

For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we…

Around 1980 commutator theory was generalized from groups to arbitrary algebras using the socalled term condition commutator. The semigroups that are abelian with respect to this commutator were classified by Warne (1994). We study what…

Axial algebras are commutative nonassociative algebras generated by a finite set of primitive idempotents which action on an algebra is semisimple, and the fusion laws on the products between eigenvectors for these idempotents are…

Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex…