Related papers: The Cantor-Bernstein-Schroder theorem in algebra

We compute the K-theory of a collection of C*-algebras, which we refer to as boundary C*-algebras, arising as the crossed product C*-algebras of lattice actions on the maximal Furstenberg boundaries of symmetric spaces of noncompact type.…

Contact algebra is one of the main tools in region-based theory of space. In \cite{dmvw1, dmvw2,iv,i1} it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the…

The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and…

The scattering equations relate massless scattering kinematics to marked points on a Riemann sphere, and underpin remarkable formulae for the full tree-level S-matrices of many interesting QFTs, including cubic biadjoint scalars, Yang-Mills…

The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are equivalent to constraints that are information-theoretic in nature: (1)…

Let $\Delta$ be an infinite, locally finite tree with more than two ends. Let $\Gamma<\aut(\Delta)$ be an acylindrical uniform lattice. Then the boundary algebra $\cl A_\Gamma = C(\partial\Delta)\rtimes \Gamma$ is a simple Cuntz-Krieger…

Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…

We define united KK-theory for real C*-algebras A and B such that A is separable and B is sigma-unital, extending united K-theory in the sense that KK\crt(\R, B) = K\crt(B). United KK-theory contains real, complex, and self-conjugate…

We generalize the Frobenius-Schur theorem to $C^*$-categories. From this category-theoretical point of view, we introduce the notions of real, complex and quaternionic representations of Hopf $C^*$-algebras. Based on these definitions, we…

We study through symmetry principles the form of the functions in the generalizated scalar-tensor theories under the self-similar hypothesis. The results obtained are absolutely general and valid for all the Bianchi models and the flat FRW…

A complete theory $T$ has the Schr\"oder-Bernstein property or simply the SB-property if any pair of elementarily bi-embeddable models are isomorphic. This property has been studied in the discrete first-order setting and can be seen as a…

The Bethe-Salpeter (BS) equation for scalar-scalar bound states in scalar theories without derivative coupling is formulated and solved in Minkowski space. This is achieved using the perturbation theory integral representation (PTIR), which…

We introduce a new class of C^*-algebras, which is a generalization of both graph algebras and homeomorphism C^*-algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the…

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…

We establish a general normal subgroup theorem for commensurators of lattices in locally compact groups. While the statement is completely elementary, its proof, which rests on the original strategy of Margulis in the case of higher rank…

The Morse-Sard theorem requires that a mapping $v:R^n \to R^m$ is of class $C^k$, $k>n-m$. In 1957 Dubovitski\u{\i} generalized this result by proving that almost all level sets for a $C^k$ mapping have $H^s$-negligible intersection with…

Mennicke--Newman lemma for unimodular rows was used by W. van der Kallen to give a group structure on the orbit set $\frac{Um_{n}(R)}{E_{n}(R)}$ for a commutative noetherian ring of dimension $d\leq 2n-4.$ In this paper, we generalise the…

In this work, we present a new formulation of the well known Bohr-Sommerfeld quantization rule (BS) of order 2 for a Schrodinger operator within the algebraic and microlocal framework of B. Helffer and J. Sjostrand; BS holds precisely when…

The Kasparov absorption (or stabilization) theorem states that any countably generated Hilbert C*-module is isomorphic to a direct summand in the standard module of square summable sequences in the base C*-algebra. In this paper, this…

Eight categorical soundness and completeness theorems are established within the framework of algebraic theories. Exactly six of the eight deduction systems exhibit complete semantics within the cartesian monoidal category of sets. The…