Related papers: Kadison's antilattice theorem for a synaptic algeb…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
Convex semilattices are algebras that are at the same time a convex algebra and a semilattice, together with a distributivity axiom. These algebras have attracted some attention in the last years as suitable algebras for probability and…
As a special case of Bass' theory of perfect rings, one obtains the assertion that, over a finite-dimensional associative algebra over a field, all flat modules are projective. In this paper we prove the following relative version of this…
Since their introduction, torsion theories have played a key role in the study of abelian and pointed categories. In representation theory, torsion theories and lattices of torsion classes of mod$ A$, for $A$ a finite-dimensional algebra,…
A synaptic algebra is a common generalization of several ordered algebraic structures based on algebras of self-adjoint operators, including the self-adjoint part of an AW*-algebra. In this paper we prove that a synaptic algebra A has the…
We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of `peak projections', and in the…
We study the multiplication operation of square matrices over lattices. If the underlying lattice is distributive, then matrices form a semigroup; we investigate idempotent and nilpotent elements and the maximal subgroups of this matrix…
We investigate the set-theoretic properties of the lattice of projections in the Calkin algebra of a separable infinite-dimensional Hilbert space in relation to those of the Boolean algebra $P(\omega)/{\rm fin}$, which is isomorphic to the…
We prove Zimmer's conjecture for co-compact lattices in ${\rm SL}(n, \mathbb C)$: for any co-compact lattice in ${\rm SL}(n, \mathbb C)$, $n \geq 3$, any $\Gamma$-action on a compact manifold $M$ with dimension: (I) less than $2n-2$ if $n…
If $\Gamma$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $\Lambda$ is a finitely generated group that is elementarily equivalent to $\Gamma$, then…
The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}}…
The notion of a capped tensor product, introduced by G. Gr\"{a}tzer and the author, provides a convenient framework for the study of tensor products of lattices that makes it possible to extend many results from the finite case to the…
We consider module categories of path algebras of connected acyclic quivers. It is shown in this paper that the set of functorially finite torsion classes form a lattice if and only if the quiver is either Dynkin quiver of type A, D, E, or…
We prove a noncommutative Bader-Shalom factor theorem for lattices with dense projections in product groups. As an application of this result and our previous works, we obtain a noncommutative Margulis factor theorem for all irreducible…
A lattice L is called opc if every monotone function f : L^n -> L is induced by a polynomial. We show here: If L is a lattice with the interpolation property whose cardinality is a strong limit cardinal of uncountable cofinality, then some…
A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial…
We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic…
For finite semidistributive lattices the map $\kappa$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $\kappa$-map in the context of torsion classes. It…
Built upon the proposal of Kaplan et.al. [hep-lat/0206109], we construct noncommutative lattice gauge theory with manifest supersymmetry. We show that such theory is naturally implementable via orbifold conditions generalizing those used by…
It is shown that each positive map between matrix algebras is the sum of a maximal decomposable map and an atomic map which is both optimal and co-optimal. The result is analyzed in detail for the positive projection onto a spin factor.