Related papers: Finite left-distributive algebras and embedding al…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…
A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…
In this paper, we introduce the notion of bigraft algebra, generalizing the notions of left and right graft algebras. We give a combinatorial description of the free bigraft algebra generated by one generator and we endow this algebra with…
We prove how the universal enveloping algebra constructions for Lie-Rinehart algebras and anchored Lie algebras are naturally left adjoint functors. This provides a conceptual motivation for the universal properties these constructions…
We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its…
In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. An algebra is said to be affine complete if every congruence preserving function is a polynomial…
Let $L$ be a free Lie algebra over a field $k$, $I$ a non-trivial proper ideal of $L$, $n>1$ an integer. The multiplicator $H_2(L/I^n,k)$ of $L/I^n$ is not finitely generated, and so in particular, $L/I^n$ is not finitely presented, even…
We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory has no finite axiomatisation, and show this also holds if…
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…
We study the structure and properties of free skew Boolean algebras. For finite generating sets, these free algebras are finite and we give their representation as a product of primitive algebras and provide formulas for calculating their…
Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $*:R\rightarrow R$ then the space of the…
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First,…
In 1964, Golod and Shafarevich found that, provided that the number of relations of each degree satisfy some bounds, there exist infinitely dimensional algebras satisfying the relations. These algebras are called Golod-Shafarevich algebras.…
We study evolution algebras of arbitrary dimension. We analyze in deep the notions of evolution subalgebras, ideals and non-degeneracy and describe the ideals generated by one element and characterize the simple evolution algebras. We also…
We construct finitely generated simple algebras with prescribed growth types, which can be arbitrarily taken from a large variety of (super-polynomial) growth types. This (partially) answers a question raised by the author in a recent…
We show that every AF-algebra is generated by a single operator. This was previously unclear, since the invariant that assigns to a C*-algebra its minimal number of generators lacks natural permanence properties. In particular, it may…
We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.
Distributive laws are important for algebraic reasoning in arithmetic and logic. They are equally important for algebraic reasoning about concurrent programs. In existing theories such as Concurrent Kleene Algebra, only partial correctness…