Related papers: Operations preserving equivalence relations

We know that coalgebra measurings behave like generalized maps between algebras. In this note, we show that coalgebra measurings between commutative algebras induce morphisms between higher order Hochschild homology groups of algebras. By…

In an attempt to propose more general conditions for decoherence to occur, we study spectral and ergodic properties of unital, completely positive maps on not necessarily unital $C^*$-algebras, with a particular focus on gapped maps for…

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

We generalize parts of the theory of associative geometries developed by Kinyon and the author in the framework of universal algebra: we prove that certain associoid structures, such as pregroupoids and principal equivalence relations, have…

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $\tau$ of $W$ such that $\tau_{\sigma\theta}\in \{\tau_{\theta},\ \sigma\tau_{\theta}\}$ for all $\theta\in W$ and all reflections $\sigma$…

Starting from a result of Stewart, Tijdeman and Ruzsa on iterated difference sequences, we introduce the notion of iterated compositions of linear operations. We prove a general result on the stability of such compositions (with bounded…

We investigate unitarisability of groups by looking at actions on the cone of positive invertible operators of a Hilbert space. This way, we give a geometric prove to a result by Gilles Pisier on the existence of some universal constants…

We introduce $n$-orthogonality (and completely orthogonality) preserving operators between C$^*$-algebras. Our main theorem states that every completely orthogonality preserving bounded linear mapping between C$^*$-algebras is a weighted…

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

In his recent research M. K. Tam (2018) considered a framework for the analysis of iterative algorithms which can be described in terms of a structured set-valued operator. At each point in the ambient space, the value of the operator can…

We take the first steps towards a better understanding of continuous orbit equivalence, i.e., topological orbit equivalence with continuous cocycles. First, we characterise continuous orbit equivalence in terms of isomorphisms of C*-crossed…

We show that every algebraic group scheme over a field with at least 8 elements can be realized as the group of automorphisms of a nonassociative algebra. This is only a modest improvement of the theorem of Gordeev and Popov (2003), but it…

We prove that if $\rho: A(H) \to B(G)$ is a homomorphism between the Fourier algebra of a locally compact group $H$ and the Fourier-Stieltjes algebra of a locally compact group $G$ induced by a mixed piecewise affine map $\alpha : G \to H$,…

The goal of the present paper is to provide a detailed study of irreducible representations of the algebra generated by the symmetries of the generic quantum superintegrable system on the $d$-sphere. Appropriately normalized, the symmetry…

Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…

Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra.…

We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…

For metric spaces $X$ and $Y$, normed spaces $E$ and $F$, and certain subspaces $A(X,E)$ and $A(Y,F)$ of vector-valued continuous functions, we obtain a complete characterization of linear and bijective maps $T:A(X,E)\to A(Y,F)$ preserving…

We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…

We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a proof assistant. By constituting a formal system for isolating…