Related papers: Subgroups of categorically closed semigroups

A (generalized) topological space is called an iso-dense space if the set of all its isolated points is dense in the space. The main aim of the article is to show in $\mathbf{ZF}$ a new characterization of iso-dense spaces in terms of…

For a discrete group $G$, we use the natural correspondence between ideals in the Boolean algebra $ \mathcal{P}_G$ of subsets of $G$ and closed subsets in the Stone-$\check{C}$ech compactifi-cation $\beta G$ as a right topological semigroup…

Assume that $X$ and $Y$ are arithmetic schemes, i.e., integral schemes of finite types over $Spec(\mathbb{Z})$. Then $X$ is said to be quasi-galois closed over $Y$ if $X$ has a unique conjugate over $Y$ in some certain algebraically closed…

We study the semigroup $\textbf{{ID}}_{\infty}$ of all partial isometries of the set of integers $\mathbb{Z}$. It is proved that the quotient semigroup $\textbf{{ID}}_{\infty}/\mathfrak{C}_{\textsf{mg}}$, where $\mathfrak{C}_{\textsf{mg}}$…

We introduce the notion of a ``sofic $\mathcal{C}$-action'' of one group on another by automorphisms, for $\mathcal{C}$ a class of groups. We show that if $\mathcal{C}$ is the class of (i) sofic, (ii) hyperlinear, (iii) linear sofic or (iv)…

Let $S$ and $\mathcal{C}$ be affine semigroups in $\mathbb{N}^d$ such that $S\subseteq \mathcal{C}$. We provide a characterization for the set $\mathcal{C}\setminus S$ to be finite, together with a procedure and computational tools to check…

A class of groups C is root in a sense of K. W. Gruenberg if it is closed under taking subgroups and satisfies the Gruenberg condition: for any group X and for any subnormal sequence Z \leqslant Y \leqslant X with factors in C, there exists…

In this paper we introduce perfectly supportable semigroups and prove that they are \sigma-discrete in each Hausdorff shift-invariant topology. The class of perfectly supportable semigroups includes each subsemigroup S of the semigroup…

A topological space $X$ is called submaximal if every dense subset of $X$ is open. In this paper, we show that if $\beta X$, the Stone-\v{C}ech compactification of $X$, is a submaximal space, then $X$ is a compact space and hence $\beta…

We show that every Hausdorff Baire topology $\tau$ on $\mathcal{C}=\langle a,b\mid a^2b=a, ab^2=b\rangle$ such that $(\mathcal{C},\tau)$ is a semitopological semigroup is discrete and we construct a nondiscrete Hausdorff semigroup topology…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

Let $T$ be a tree and $e$ an edge in $T$. If $C$ is a component of $T\setminus e$ and both $C$ and its complement are infinite we say that $C$ is a half-tree. The main result of this paper is that if $G$ is a closed subgroup of the…

Suppose $G$ is finitely generated group and $\mathcal{C}(G)$ consists of all $\rho:G\to\operatorname{PGL}(n+1,\mathbb{R})$ for which there exists a properly convex set in $\mathbb{R}\mathbb{P}^n$ that is preserved by $\rho(G)$. Then the…

A semigroup is \emph{amiable} if there is exactly one idempotent in each $\mathcal{R}^*$-class and in each $\mathcal{L}^*$-class. A semigroup is \emph{adequate} if it is amiable and if its idempotents commute. We characterize adequate…

Let $C\subset\mathbb{N}^p$ be an integer polyhedral cone. An affine semigroup $S\subset C$ is a $ C$-semigroup if $| C\setminus S|<+\infty$. This structure has always been studied using a monomial order. The main issue is that the choice of…

It is shown that a topological group G is topologically isomorphic to the isometry group of a (complete) metric space iff G coincides with its G-delta-closure in the Rajkov completion of G (resp. if G is Rajkov-complete). It is also shown…

Let $\mathcal G$ denote the space of finitely generated marked groups. For any finitely generated group $G$, we construct a continuous, injective map $f$ from the space of subgroups $Sub(G)$ to $\mathcal G$ that sends conjugate subgroups to…

For a linearly ordered group $G$ let us define a subset $A\subseteq G$ to be a \emph{shift-set} if for any $x,y,z\in A$ with $y < x$ we get $x\cdot y^{-1}\cdot z\in A$. We describe the natural partial order and solutions of equations on the…

In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…

Non-discrete semigroup $T_1$-topologies on the extended bicyclic semigroup $\mathscr{C}_\mathbb{Z}$ are constructed. Also, we present topological conditions, when a semigroup (shift-continuous) $T_1$-topology on $\mathscr{C}_\mathbb{Z}$ is…