Related papers: A note on Isomorphism theorems for semigroups of o…
We prove that a homomorphism between free groups of finite rank equipped with the bi-invariant word metrics is a quasi-isometry if and only if it is an isomorphism.
Let A = {rho_1,...,rho_n} be a given set of quantum states. We consider the problem of finding necessary and sufficient conditions on another set B = {sigma_1,...,sigma_n} that guarantee the existence of a physical transformation taking…
The structure of transformation semigroups on a finite set is analyzed by introducing a hierarchy of functions mapping subsets to subsets. The resulting hierarchy of semigroups has a corresponding hierarchy of minimal ideals, or kernels.…
We improve on earlier results on the closure under free products of the class of automaton semigroups. We consider partial automata and show that the free product of two self-similar semigroups (or automaton semigroups) is self-similar (an…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an…
An irreducible norm closed semigroup of complex matrices is simultaneously similar to a semigroup of partial isometries if and only if (a) the norms of all nonzero members of it are uniformly bounded above and below, and (b) its idempotents…
An involution over finite fields is a permutation polynomial whose inverse is itself. Owing to this property, involutions over finite fields have been widely used in applications such as cryptography and coding theory. As far as we know,…
In this paper, we characterize the monoid of endomorphisms of the semigroup of all oriented full transformations of a finite chain, as well as the monoid of endomorphisms of the semigroup of all oriented partial transformations and the…
Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…
Inspired by an analogous result of Arnautov about isomorphisms, we prove that all continuous surjective homomorphisms of topological groups f:G-->H can be obtained as restrictions of open continuous surjective homomorphisms f':G'-->H, where…
The conservativity of a minimal quantum dynamical semigroup is proved whenever there exists a ``reference'' subharmonic operator bounded from below by the dissipative part of the infinitesimal generator. We discuss applications of this…
In this article we study invariance properties of shift-invariant spaces in higher dimensions. We state and prove several necessary and sufficient conditions for a shift-invariant space to be invariant under a given closed subgroup of…
For each of the following conditions, we characterize the pseudovarieties of semigroups V that satisfy it: (i) every epimorphism to a member of V is onto; (ii) every epimorphism to a finite semigroup with domain a member of V is onto; (iii)…
We give a method of constructing maps between tubular groups inductively according to a set of strategies. This map will be a quasi-isometry exactly when the set of strategies is consistent. Conversely, if there exists a quasi-isometry…
The Myhill isomorphism is a variant of the Cantor-Bernstein theorem. It states that, from two injections that reduces two subsets of $\mathbb{N}$ to each other, there exists a bijection $\mathbb{N} \to \mathbb{N}$ that preserves them. This…
Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.
Let $(G,*)$ and $(G',\cdot)$ be groupoids. A bijection $f: G \rightarrow G'$ is called a half-isomorphism if $f(x*y)\in\{f(x)\cdot f(y),f(y)\cdot f(x)\}$, for any $ x, y \in G$. A half-isomorphism of a groupoid onto itself is a…
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…