We will show that all inverse limits of finite rank free groups index by the natural numbers are isomorphic either to a finite rank free group or to a fixed universal group. In other words, any inverse system of finite rank free groups which is not equivalent to an eventually constant system has the universal group as its limit. This universal inverse limit is naturally isomorphic to the first shape group of the Hawaiian earring. We also give an example of a homomorphic image of a Hawaiian earring group which lies in the inverse limit of free groups but is neither a free group nor a Hawaiian earring group.
This paper considers the word problem for free inverse monoids of finite rank from a language theory perspective. It is shown that no free inverse monoid has context-free word problem; that the word problem of the free inverse monoid of rank $1$ is both $2$-context-free (an intersection of two context-free languages) and ET0L; that the co-word problem of the free inverse monoid of rank $1$ is context-free; and that the word problem of a free inverse monoid of rank greater than $1$ is not poly-context-free.
The inverse problem associated to the Erdős-Ginzburg-Ziv constant and the $η$-constant is solved for finite abelian groups of the form $C_2 \oplus C_2 \oplus C_{2n}$ where $n \ge 2$ is an integer.
We study the semigroup extension $\mathscr{I}_λ^n(S)$ of a semigroup $S$ by symmetric inverse semigroups of a bounded finite rank. We describe idempotents and regular elements of the semigroups $\mathscr{I}_λ^n(S)$ and $\overline{\mathscr{I}_λ^n}(S)$ show that the semigroup $\mathscr{I}_λ^n(S)$ ($\overline{\mathscr{I}_λ^n}(S)$) is regular, orthodox, inverse or stable if and only if so is $S$. Green's relations are described on the semigroup $\mathscr{I}_λ^n(S)$ for an arbitrary monoid $S$. We introduce the conception of a semigroup with strongly tight ideal series, and proved that for any infi…
We study feebly compact shift-continuous $T_1$-topologies on the symmetric inverse semigroup $\mathscr{I}_λ^n$ of finite transformations of the rank $\leqslant n$. For any positive integer $n\geqslant2$ and any infinite cardinal $λ$ a Hausdorff countably pracompact non-compact shift-continuous topology on $\mathscr{I}_λ^n$ is constructed. We show that for an arbitrary positive integer $n$ and an arbitrary infinite cardinal $λ$ for a $T_1$-topology $τ$ on $\mathscr{I}_λ^n$ the following conditions are equivalent: $(i)$ $τ$ is countably pracompact; $(ii)$ $τ$ is feebly compact; $(iii)$ $τ$ is $d…
We prove that the equality problem is decidable for rational subsets of the monogenic free inverse monoid $F$. It is also decidable whether or not a rational subset of $F$ is recognizable. We prove that a submonoid of $F$ is rational if and only if it is finitely generated. We also prove that the membership problem for rational subsets of a finite $\mathcal{J}$-above monoid is decidable, covering the case of free inverse monoids.
We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.
