Related papers: The Cantor-Bernstein-Schroder theorem in algebra
The aim of this article is to obtain variations on the classical theorems of Schur and Baer on finiteness of commutator subgroups, valid in the contexts of Lie algebras and Leibniz algebras over a field. Using non-abelian tensor products…
Alexander's lemma is a version of Sperner's lemma published by Alexander two years earlier than Sperner's paper. The present paper is devoted to a modern but elementary exposition of lemmas of Alexander and Sperner and their main…
Given a graph of C*-algebras, we prove a long exact sequence in KK-theory for both the maximal and the vertex-reduced fundamental C*-algebras in the presence of possibly non GNS-faithful conditional expectations. We deduce from it the…
The Farrell-Jones and the Baum-Connes Conjecture say that one can compute the algebraic K- and L-theory of the group ring and the topological K-theory of the reduced group C^*-algebra of a group G in terms of these functors for the…
The classical Gelfand--Naimark theorems provide important insight into the structure of general and of commutative C*-algebras. It is shown that these can be generalized to certain ordered *-algebras. More precisely, for $\sigma$-bounded…
We prove a general criterion for a von Neumann algebra $M$ in order to be in standard form. It is formulated in terms of an everywhere defined, invertible, antilinear, a priori not necessarily bounded operator, intertwining $M$ with its…
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and…
Boij-S\"oderberg theory describes the Betti diagrams of graded modules over the polynomial ring up to multiplication by a rational number. Analog Eisenbud-Schreyer theory also describes the cohomology tables of vector bundles on projective…
In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott…
Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…
The classical Morse--Sard theorem claims that for a mapping $v:\mathbb R^n\to\mathbb R^{m+1}$ of class $C^k$ the measure of critical values $v(Z_{v,m})$ is zero under condition $k\ge n-m$. Here the critical set, or $m$-critical set is…
We initiate the mathematical study of the boundary Carrollian conformal algebra (BCCA), an infinite-dimensional Lie algebra recently discovered in the context of Carrollian physics. The BCCA is an intriguing object from both physical and…
We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…
It is well known that the presence of multiple constraints of non-Abelian relativisitic Chern--Simons--Higgs vortex equations makes it difficult to develop an existence theory when the underlying Cartan matrix $K$ of the equations is that…
We show an analogue of a theorem of An, Ghosh, Guan, and Ly on weighted badly approximable vectors for totally imaginary number fields. We show that for $G=\mathrm{SL}_2(\mathbb{C})\times\dots\times\mathrm{SL}_2(\mathbb{C})$ and $\Gamma<G$…
We study the celestial CFT dual to theories with bulk supersymmetry. The boundary theory realizes supersymmetry in the spirit of the Green-Schwarz superstring: there is manifest 4d super-Poincar\'e symmetry, but no 2d superconformal…
The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.…
Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic…
Hindman's theorem and van der Waerden's theorem are two classical Ramsey theoretic results, the first one deals with finite configurations and the second one deals with infinite configurations. The Central Sets Theorem due to Furstenberg is…
Answering a question of Carri\'on et al in their recent landmark paper on C*-algebra classification, we prove a general uniqueness theorem for $KK$-theory. Given arbitrary separable C*-algebras $A$ and $B$ and a Cuntz pair consisting of two…