English
Related papers

Related papers: Finite left-distributive algebras and embedding al…

200 papers

A semi-Peano algebra is an algebra for which each operation is injective, and the images of the operations are pairwise disjoint. The most straightforward non-trivial kind of finitely presented semi-Peano algebra are algebras with a single…

Rings and Algebras · Mathematics 2023-06-23 Carles Cardó

If one wishes to define a complete Leibniz algebra in such a way as to extend the notion of a complete Lie algebra, two distinct definitions can be found in the current literature. Since biderivations on complete Lie algebras have already…

Rings and Algebras · Mathematics 2025-10-21 Alfonso Di Bartolo , Francesco Paolo Di Fatta , Gianmarco La Rosa

The cogrowth of a subgroup is defined as the growth of a set of coset representatives which are of minimal length. A subgroup is essential if it intersects non-trivially every non-trivial subgroup. The main result of this paper is that…

Group Theory · Mathematics 2008-02-03 Amnon Rosenmann

Let $A$ be a basic finite-dimensional algebra and denote by $\operatorname{tors} A$ the collection of all all torsion classes of $A$. It has been proved in \cite{Demonet} that $\operatorname{tors} A$ is always a completely semidistributive…

Representation Theory · Mathematics 2025-09-25 Yongle Luo , Jiaqun Wei

Operator algebras generated by partial isometries and their adjoints form the basis for some of the most well studied classes of C*-algebras. The primary object of this paper is the norm-closed operator algebra generated by a left…

Operator Algebras · Mathematics 2020-09-15 Derek DeSantis

A correspondence between a monogenic function in an arbitrary finite-dimensional commutative associative algebra and a finite set of monogenic functions in a special commutative associative algebra is established.

Commutative Algebra · Mathematics 2018-03-13 Vitalii Shpakivskyi

Let $\mathcal{A}$ be a separable nuclear C*-algebra, and $\mathcal{B}$ be a nonunital separable simple $\mathcal{Z}$-stable C*-algebra. Continuing the work from Gabe-Lin-Ng, we classify all essential extensions, with large complement, of…

Operator Algebras · Mathematics 2026-02-25 Ping Wong Ng , Cangyuan Wang

We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The…

Operator Algebras · Mathematics 2014-08-15 Greg W. Anderson

Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…

Rings and Algebras · Mathematics 2012-10-22 Joe Chuang , Alastair King

Let $C$ be a coalgebra. We investigate the problem of when the rational part of every finitely generated $C^*$-module $M$ is a direct summand $M$. We show that such a coalgebra must have at most countable dimension, $C$ must be artinian as…

Rings and Algebras · Mathematics 2011-09-15 Miodrag Cristian Iovanov

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Logic · Mathematics 2011-05-16 Alexandra Shlapentokh , Carlos Videla

It was recently shown that gl^(1|1) admits an infinite family of simple current extensions. Here, these findings are reviewed and explicit free field realisations of the extended algebras are constructed. The leading contributions to the…

High Energy Physics - Theory · Physics 2011-11-23 Thomas Creutzig , David Ridout

Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of…

Logic · Mathematics 2026-04-28 Yifan Jia , Heer Tern Koh , Bakh Khoussainov

K\"onig's lemma is a fundamental result about trees with countless applications in mathematics and computer science. In contrapositive form, it states that if a tree is finitely branching and well-founded (i.e. has no infinite paths), then…

Logic in Computer Science · Computer Science 2026-02-20 Henning Urbat , Thorsten Wißmann

In this article we study algebraic structures of function spaces defined by graphs and state spaces equipped with Gibbs measures by associating evolution algebras. We give a constructive description of associating evolution algebras to the…

Commutative Algebra · Mathematics 2009-03-11 Utkir A. Rozikov , Jianjun Paul Tian

We realize any submultiplicative increasing function which is equivalent to a polynomial proportion of itself as the growth function of a finitely generated simple Lie algebra. As an application, we resolve two open problems posed by…

Rings and Algebras · Mathematics 2020-07-07 Be'eri Greenfeld

We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…

Rings and Algebras · Mathematics 2016-05-16 Catarina Carvalho , Andrei Krokhin

In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…

Logic · Mathematics 2026-01-21 Ivo Düntsch , Rafał Gruszczyński , Paula Menchón

We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized union. We further demonstrate that this set of operators is relationally complete and honors lattice axioms.

Databases · Computer Science 2007-05-23 Vadim Tropashko

We show that if one selects uniformly independently and identically distributed matrices $A_1, \ldots, A_s \in \mathrm{SL}_2(\mathbb{Z})$ from a ball of large radius $X$ then with probability at least $1 - X^{-1 + o(1)}$ the matrices $A_1,…

Number Theory · Mathematics 2023-04-24 Kamil Bulinski , Alina Ostafe , Igor E. Shparlinski