Related papers: One-relator quotients of Partially Commutative Gro…

Let $M$ be pseudo-Riemannian homogeneous Einstein manifold of finite volume, and suppose a connected Lie group $G$ acts transitively and isometrically on $M$. In this situation, the metric on $M$ induces a bilinear form…

A generalization of the double commutator lemma for normal subgroups is shown for invariant random subgroups of a countable group acting faithfully on a Hausdorff space. As an application, we classify ergodic invariant random subgroups of…

Let w be a group-word. Suppose that the set of all w-values in a profinite group G is contained in a union of countably many cosets of subgroups. We are concerned with the question to what extent the structure of the verbal subgroup w(G)…

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Let $w$ be a group-word. Suppose that the set of all $w$-values in a profinite group $G$ is contained in a union of countably many subgroups. It is natural to ask in what way the structure of the verbal subgroup $w(G)$ depends on the…

We consider membership problems for rational subsets of the semigroup of $2\times 2$ matrices over $\mathbb{Q}$. For a semigroup $M$, the rational subsets $\mathrm{Rat}(M)$ are defined as the sets accepted by NFAs whose transitions are…

The statements of Main~Theorem~1.1 and Theorem~2.1 of the author's paper [\emph{Trans.\ Amer.\ Math.\ Soc.}\ {\bf 345} (1994) 577--594] should assume that $\Gamma $~is discrete and $G$~is connected. (Cors.~1.3, 5.6, and~5.8 are affected…

We describe generators and defining relations for the commutator subgroup of topological full groups of minimal subshifts. We show that the word problem in a topological full group is solvable if and only if the language of the underlying…

Let $\Gamma$ be a discrete subgroup of a unimodular locally compact group $G$. In Math. Ann. 388, 4251-4305 (2024), it was shown that the $L_p$ norm of a Fourier multiplier $m$ on $\Gamma$ can be bounded locally by its $L_p$-norm on $G$,…

We show that the membership problem in a finitely generated submonoid of a graph group (also called a right-angled Artin group or a free partially commutative group) is decidable if and only if the independence graph (commutation graph) is…

A group $G$ possesses the Magnus property if for every two elements $u$, $v \in G$ with the same normal closure, $u$ is conjugate to $v$ or $v^{-1}$. O. Bogopolski and J. Howie proved independently that the fundamental groups of all closed…

Magnus proved that, given two elements $x$ and $y$ of a finitely generated free group $F$ with equal normal closures $\langle x\rangle^F=\langle y\rangle^F$, then $x$ is conjugated either to $y$ or $y^{-1}$. More recently, this property,…

We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. This result was proved previously by Robert Chamberlain, and we also prove that,if G is transitive,…

Given a group G and positive integers k,n, we let B_n=B_n(G) denote the set of all elements x in G such that |x^G|\leq n, and we say that G satisfies the (k,n)-covering condition for commutators if there is a subset S in G such that |S|\leq…

Let N be a normal subgroup of a finite group G. We prove that under certain (unavoidable) conditions the subgroup [N,G] is a product of commutators [N,y] (with prescribed values of y from a given set Y) of length bounded by a function of…

Consider a compact prequantizable symplectic manifold M on which a compact Lie group G acts in a Hamiltonian fashion. The ``quantization commutes with reduction'' theorem asserts that the G-invariant part of the equivariant index of M is…

We prove that one-relator groups with negative immersions are hyperbolic and virtually special; this resolves a recent conjecture of Louder and Wilton. As a consequence, one-relator groups with negative immersions are residually finite,…

Let $K$ be a subgroup of a finite group $G$. The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$. Assume that $Pr(K,G)\geq\epsilon$ for some fixed $\epsilon>0$. We show that there is a normal…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit…

In this paper we prove the theorem on freedom for relatively free groups with a single relation (analogous with the well-known result of Magnus) and a generalized Freiheitssatz for relatively free groups (analogous with the well-known…