Related papers: On dense free subgroups of Lie groups

It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.

Let $G$ be a real centre-free semisimple Lie group without compact factors. I prove that irreducible lattices in $G$ are rigid under two types of sublinear distortions. The first result is that the class of lattices in groups that do not…

A pseudomodular group is a discrete subgroup $\Gamma \leq PGL(2,\mathbb{Q})$ which is not commensurable with $PSL(2,\mathbb{Z})$ and has cusp set precisely $\mathbb{Q}\cup\{\infty\}$. The existence of such groups was proved by Long and…

We prove the pro-supersolvable closure of a finitely generated subgroup of the free group is finitely generated. It extends similar results for pro-$p$ closures proved by Ribes-Zalesskii and pro-Nilpotent closures proved by…

We prove that the semigroup generated by a reversible Mealy automaton contains a free subsemigroup of rank two if and only if it contains an element of infinite order.

A cocompact lattice in a semisimple Lie group $G$ is a discrete subgroup $\Gamma$ such that the quotient $G/\Gamma$ is compact. Does such a lattice always contain a surface group, i.e. a subgroup isomorphic to the fundamental group of a…

We prove that every finite simple group of Lie type $G$ can be generated by three regular unipotent elements. In certain cases we show that two regular unipotents are sufficient to generate $G$.

Let $A$ and $B$ be two Heisenberg translations of ${\rm Sp}(2,1)$ with distinct fixed points. We provide sufficient conditions that guarantee the subgroup $\langle A, B \rangle $ is discrete and free by using Klein's combination theorem.

We consider sequences of finitely generated discrete subgroups Gamma_i=rho_i(Gamma) of a rank 1 Lie group G, where the representations rho_i are not necessarily faithful. We show that, for algebraically convergent sequences (Gamma_i),…

Among compact Hausdorff groups G whose maximal profinite quotient is finitely generated, we characterize those that possess a proper dense normal subgroup. We also prove that the abstract commutator subgroup [H,G] is closed for every closed…

Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…

In this paper, we introduce the notion of $L^2$-subgroup rigid groups and demonstrate that free groups are $L^2$-subgroup rigid. As a consequence, we establish the equivalence between compressibility, inertness, strong inertness, and…

We prove that every virtually free group $G$ has property (LR) of Long and Reid: each finitely generated subgroup of $G$ is a retract of a finite index subgroup. The main ingredient in the proof is a new embedding result stating that every…

Let $G$ be the group of automorphisms of a free group $F_\infty$ of infinite order. Let $H$ be the stabilizer of first $m$ generators of $F_\infty$. We show that the double cosets of $\Gamma$ with respect to $H$ admit a natural semigroup…

A subgroup $H$ of a group $G$ is $commensurated$ in $G$ if for each $g\in G$, $gHg^{-1}\cap H$ has finite index in both $H$ and $gHg^{-1}$. If there is a sequence of subgroups $H=Q_0\prec Q_1\prec ...\prec Q_{k}\prec Q_{k+1}=G$ where $Q_i$…

For a locally compact group $G$, the first-named author considered the closed subspace $a_0(G)$ which is generated by the pure positive definite functions. In many cases $a_0(G)$ is itself an algebra. We illustrate using Heisenburg groups…

Let G be a group definable in an o-minimal structure M. We prove that the union of the Cartan subgroups of G is a dense subset of G. When M is an expansion of a real closed field we give a characterization of Cartan subgroups of G via their…

Let G be an abelian group and let lambda be the smallest rank of any group whose direct sum with a free group is isomorphic to G. If lambda is uncountable, then G has lambda pairwise disjoint, non-free subgroups. There is an example where…

Let $G$ be a noncompact semisimple Lie group, $\Gamma$ be an irreducible cocompact lattice in $G$, and $P<G$ be a minimal parabolic subgroup. We consider the dynamics of $P$ acting on $G/\Gamma$ by left translation. For any infinite subset…

We explore an elementary construction that produces finitely presented groups with diverse homological finiteness properties -- the {\em binary subgroups}, $B(\Sigma,\mu)<G_1\times\dots\times G_m$. These full subdirect products require…