Related papers: Deciding absorption in relational structures

We show that any order isomorphism between ordered structures of associative unital JB-subalgebras of JBW algebras is implemented naturally by a Jordan isomorphism. Consequently, JBW algebras are determined by the structure of their…

Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution…

We describe all irreducible conformal subalgebras of Cend_N. The classification of simple and semisimple associative conformal algebras with finite faithful representation follows from this description.

We generalize the reciprocity theorem of G.R.~Robinson, D. Benson and P. Webb between a finite group and its subgroup to the case of finite-dimensional {\it symmetric} algebras over a field which are connected by a bimodule for the two…

Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

We provide an internal characterization of those finite algebras (i.e., algebraic structures) $\mathbf A$ such that the number of homomorphisms from any finite algebra $\mathbf X$ to $\mathbf A$ is bounded from above by a polynomial in the…

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 finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all…

We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…

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…

A relational structure is indivisible if for every partition of its set of elements into two parts there exists an embedding of the structure into one of the parts of the partition. A relational structure is homogeneous if every embedding…

We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A from a given variety V, the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the…

We consider the functions in two variables on an arbitrary poset, for which the convolution operation is defined. We obtain the generalization of incidence algebra and describe its properties: invertibility, the Jackobson radical,…

We prove a result about extension of a minimal AF-equivalence relation R on the Cantor set X, the extension being `small' in the sense that we modify R on a thin closed subset Y of X. We show that the resulting extended equivalence relation…

It is shown that the question raised in Section 5.7 of [1] has an affirmative answer.

We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some $\Z_2$-set. We further prove that this class is finitely axiomatizable in first-order logic in the language of…

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…