Related papers: Relation algebras containing Thompson groups
Using an approach to the Jacobian Conjecture by L.M. Dru\.zkowski and K. Rusek 12], G. Gorni and G. Zampieri [19], and A.V. Yagzhev[27], we describe a correspondence between finite dimensional symmetric algebras and homogeneous tuples of…
A Lie superalgebra is attached to any finite-dimensional J-ternary algebra over an algebraically closed field of characteristic 3, using a process of semisimplification via tensor categories. Some of the exceptional simple Lie algebras,…
Johnstone demonstrated that Heyting semilattices form a semi-abelian category via a specific triple of terms. Inspired by this work, we introduce \emph{Johnstone algebras} or J-algebras. The algebraic $(*,\to,e)$-theory $J$ of arities…
We study unitary multigraded non-associative algebras R generated by an ordered set X over a field K of characteristic 0 such that the mappings d_k: x_l->delta_{kl}, x_k,x_l in X, can be extended to derivations of R. The class of these…
The Tarskian classical relevant logic TR arises from Tarski's work on the foundations of the calculus of relations and on first-order logic restricted to finitely many variables, presented by Tarski and Givant their book, A Formalization of…
For a given partially ordered set (poset) and a given family of mappings of the poset into itself, we study the problem of the description of joint fixed points of this family. Well-known Tarski's theorem gives the structure of the set of…
One of the traditional applications of relation algebras is to provide a setting for infinite-domain constraint satisfaction problems. Complexity classification for these computational problems has been one of the major open research…
Generalizing results of J\'onsson and Tarski, Maddux introduced the notion of a pair-dense relation algebra and proved that every pair-dense relation algebra is representable. The notion of a pair below the identity element is readily…
By studying the variety of J\'{o}nsson-Tarski algebras, we demonstrate two obstacles to the existence of large J\'{o}nsson algebras in certain varieties. First, if an algebra $J$ in a language $L$ has cardinality greater than $|L|^+$ and a…
Following a procedure due to V. Jones, using suitably normalized elements in a Temperley-Lieb-Jones (planar) algebra we introduce a 3-parametric family of unitary representations of the Thompson's group $F$ equipped with canonical (vacuum)…
The class of finitely presented algebras over a field K with a set of generators a_1,...,a_n and defined by homogeneous relations of the form a_1a_2...a_n = a_{sigma(1)}a_{sigma(2)}...a_{sigma(n)}, where sigma runs through an abelian…
Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras…
Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…
A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have…
We show that the monoids totM_{k,1} introduced by Birget and their generalizations tot nM_{k,r} which extend the Brin-Higman-Thompson groups, can be realized as the endomorphism monoids of higher-dimensional J\'onsson-Tarski algebras. We…
We present a general relational semantics framework which, by varying the axiomatization and components of the relational structures, provides a uniform semantics for sentential logics, classical and non-classical alike. The approach we…
The article contains a survey of our results on weakly commensurable arithmetic and general Zariski-dense subgroups, length-commensurable and isospectral locally symmetric spaces and of related problems in the theory of semi-simple agebraic…
Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their…
In [3], Hanaki defined the Terwilliger algebras of association schemes over a commutative unital ring. In this paper, we call the Terwilliger algebras of association schemes over a field $\mathbb{F}$ the Terwilliger $\mathbb{F}$-algebras of…