Related papers: On the isomorphism problem for power semigroups

Let $H$ be an additively written monoid and let $\mathcal{P}_{0}(H)$ denote the reduced power monoid of $H$, that is, the monoid consisting of all subsets of $H$ containing $0$ with set addition as operation. Following work of Tringali, Wen…

We give a survey of some recent results on the fusion semirings of compact quantum groups (computations of and applications to discrete quantum groups) by using the following simplifying terminology: we say that a compact quantum group G is…

We show that a field $K$ is model complete (in the language of rings) if and only if the Heisenberg group $H(K)$ is model complete (in the language of groups). To show that, we extend Levchuk's result about automorphisms of $H(K)$ to the…

Motivated by a problem on the dynamics of compositions of plane hyperbolic isometries, we prove several fundamental results on semigroups of isometries, thought of as real M\"obius transformations. We define a semigroup $S$ of M\"obius…

In this note we prove a selection of commutativity theorems for various classes of semigroups. For instance, if in a separative or completely regular semigroup $S$ we have $x^p y^p = y^p x^p$ and $x^q y^q = y^q x^q$ for all $x,y\in S$ where…

We detect topological semigroups that are topological paragroups, i.e., are isomorphic to a Rees product of a topological group over topological spaces with a continuous sandwich function. We prove that a simple topological semigroup $S$ is…

Given a submonoid $H$ of $\mathbb N^k$, we give some characterizations of the minimum $r\in \mathbb N^+$ such that $H$ is isomorphic to a submonoid of $\mathbb N^r$. In the context of submonoids of $\mathbb N$, we prove that if two…

Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for…

A finite connected 2-complex K whose fundamental group is of cohomological dimension 2 is aspherical iff the subgroup \Sigma_K of H_2(K) consisting of spherical 2-cycles is zero. A finite connected subcomplex of an aspherical 2-complex is…

Let $\{\phi_s\}_{s\in S}$ be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra $N$. Assume there exists a semigroup $\{\alpha_s\}_{s\in S}$ of weak*-continuous…

Given a monoid $S$ with $E$ any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left $E$-completion. In general, the construction yields a one-sided variant of a small category…

Let $G$ be a simple algebraic group of type $E_n (n=6,7,8)$ defined over an algebraically closed field $k$ of characteristic $2$. We present examples of triples of closed reductive groups $H<M<G$ such that $H$ is $G$-completely reducible,…

Let H be a complex infinite dimensional Hilbert space. We describe the form of all *-semigroup endomorphisms $\phi$ of B(H) which are uniformly continuous on every commutative C*-subalgebra. In particular, we obtain that if $\phi$ satisfies…

Let $T(X)$ (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set $X$ (resp. vector space $V$). For a subset $Y$ of $X$ and a subsemigroup $\mathbb{S}(Y)$ of $T(Y)$, consider the subsemigroup…

Let $S \subset \mathbb{Z}^{d}$ be a finitely generated subsemigroup. Let $E$ be a product system over $S$. We show that there exists an infinite dimensional separable Hilbert space $\mathcal{H}$ and a semigroup $\alpha:=\{\alpha_x\}_{x \in…

Denote by $\mathcal T_n$ and $\mathcal S_n$ the full transformation semigroup and the symmetric group on the set $\{1,\ldots,n\}$, and $\mathcal E_n=\{1\}\cup(\mathcal T_n\setminus \mathcal S_n)$. Let $\mathcal T(X,\mathcal P)$ denote the…

The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist…

We give a general construction leading to different non-isomorphic families $\Gamma_{n,q}(\K)$ of connected $q$-regular semisymmetric graphs of order $2q^{n+1}$ embedded in $\PG(n+1,q)$, for a prime power $q=p^h$, using the linear…

Commability is the finest equivalence relation between locally compact groups such that $G$ and $H$ are equivalent whenever there is a continuous proper homomorphism $G \to H$ with cocompact image. Answering a question of Cornulier, we show…

Let $X$ be a set and $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P}$ of $X$, we consider semigroups $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X| (\forall X_i\in \mathcal{P}) (\exists X_j \in…