Related papers: Deciding absorption
We prove that for finite, finitely related algebras the concepts of an absorbing subuniverse and a J\'onsson absorbing subuniverse coincide. Consequently, it is decidable whether a given subset is an absorbing subuniverse of the…
Let G be a finite group acting on {1,...,n}. For any C*-algebra A, this defines an action of \alpha of G on A^{\otimes n}. We show that if A tensorially absorbs a UHF algebra of infinite type, the Jiang-Su algebra, or is approximately…
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 that every congruence distributive variety has directed J\'{o}nsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witness every case of absorption witnessed by the original…
An algebra $\mathcal{A}$ of $n\times n$ complex matrices is said to be \textit{idempotent compressible} if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. Analogously, $\mathcal{A}$ is said to be…
Let $A$ be a simple infinite dimensional stably finite unital C*-algebra, and let $B$ be a centrally large subalgebra of $A$. We prove that if $A$ is tracially ${\mathcal{Z}}$-absorbing if and only if $B$ is tracially…
Jacobson proved that if a Lie algebra admits an invertible derivation, it must be nilpotent. He also suspected, though incorrectly, that the converse might be true: that every nilpotent Lie algebra has an invertible derivation. We prove…
Consider an inclusion of diffuse von Neumann algebras A c M . We say that A c M has the absorbing amenability property if for any diffuse subalgebra B c A and any amenable intermediate algebra B c D c M we have that D is contained in A. We…
We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of…
A subalgebra $\mathcal{A}$ of $\mathbb{M}_n(\mathbb{C})$ is said to be projection compressible if $P\mathcal{A}P$ is an algebra for all orthogonal projections $P\in\mathbb{M}_n(\mathbb{C})$. Likewise, $\mathcal{A}$ is said to be idempotent…
In this paper we present a method for finding the absorbing radical of a finite-dimensional evolution algebra. Such a method consists of finding the acyclic vertices of an oriented graph associated with the algebra. The set of generators…
To each associative unitary finite-dimensional algebra over a normal base, we associative a canonical multiplicative function called its determinant. We give various properties of this construction, as well as applications to the topology…
We give a shorter proof of the fact that the Jiang-Su algebra is strongly self-absorbing. This is achieved by introducing and studying so-called unitarily suspended endomorphisms of generalized dimension drop algebras. Along the way we…
The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case…
The Algebraic Dichotomy Conjecture states that the Constraint Satisfaction Problem over a fixed template is solvable in polynomial time if the algebra of polymorphisms associated to the template lies in a Taylor variety, and is NP-complete…
We say that a countable discrete group action $\alpha$ on a C$^*$-algebra $A$ is \textit{$\mathcal{W}$-absorbing} if there exist a C$^*$-algebra $B$ and an action $\beta$ on $B$ such that $\alpha$ is cocycle conjugate to $\beta\otimes…
For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…
We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…
A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy…
We show that the Fra\"iss\'e limit of a category of unital separable $C^*$-algebras which is sufficiently closed under tensor products of its objects and morphisms is strongly self-absorbing, given that it has approximate inner half-flip.…