Related papers: The Cantor-Bernstein-Schroder theorem in algebra
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
C*-algebras are widely used in mathematical physics to represent the observables of physical systems, and are sometimes taken as the starting point for rigorous formulations of quantum mechanics and classical statistical mechanics.…
This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--G\"odel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a…
Using dynamics, Furstenberg defined the concept of a central subset of positive integers and proved several powerful combinatorial properties of central sets. Later using the algebraic structure of the Stone-\v{C}ech compactification,…
A $C^*$-algebra satisfies the Universal Coefficient Theorem (UCT) of Rosenberg and Schochet if it is equivalent in Kasparov's $KK$-theory to a commutative $C^*$-algebra. This paper is motivated by the problem of establishing the range of…
The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithms for the finite-domain Constraint Satisfaction Problems…
Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to…
We generalize the Arzel\`a-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C*-algebras. This gives an affirmative answer to a question of Antonescu and Christensen.
To a large class of graphs of groups we associate a C*-algebra universal for generators and relations. We show that this C*-algebra is stably isomorphic to the crossed product induced from the action of the fundamental group of the graph of…
The concepts of a conditional set, a conditional inclusion relation and a conditional Cartesian product are introduced. The resulting conditional set theory is sufficiently rich in order to construct a conditional topology, a conditional…
Using the Baum-Connes conjecture with coefficients, we develop a K-theory formula for reduced C*-algebras of strongly $0$-$E$-unitary inverse semigroups, or equivalently, for certain reduced partial crossed products. In the case of…
We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…
Countable Similarity Structure (CSS) groups are a class of generalized Thompson groups essentially introduced by Hughes. In this paper, we study CSS$^*$ groups, a subclass that includes the Higman-Thompson groups $V_{d,r}$, the countable…
Certain $*$-semigroups are associated with the universal $C^*$-algebra generated by a partial isometry, which is itself the universal $C^*$-algebra of a $*$-semigroup. A fundamental role for a $*$-structure on a semigroup is emphasized, and…
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large…
In this article, we study bounded-below locally finite $\mathbb{Z}$-graded algebras, which are referred to as commonly graded algebras in literature. Commonly graded algebras have almost similar theory as that of connected graded algebras,…
H. Furstenberg introduced the notion of central set in terms of topological dynamics and established the central set theorem. The essence of central set theorem is that it is the simultaneous extension of van der Waerden's theorem and…
We sketch a geometric proof of the classical theorem of Atiyah, Bott, and Shapiro \cite{ABS} which relates Clifford modules to vector bundles over spheres. Every module of the Clifford algebra $Cl_k$ defines a particular vector bundle over…
We revisit a well-known "surjectivity onto quotient" type lemma of Kirchberg on the central sequence algebra of a separable unital ${\rm C}^*$-algebra, and use it to prove a "surjectivity onto quotient" result on approximately inner…
A topological version of Levinson's theorem is presented. Its proof relies on a C*-algebraic framework which is introduced in detail. Various scattering systems are considered in this framework, and more coherent explanations for the…