Locally soluble cofinitary groups with few fixed points.
Let G be an infinite, locally soluble group which is isomorphic to all its nontrivial normal subgroups. If G/G' has finite p-rank for p = 0 and for all primes p, then G is cyclic.
A group has subnormal deviation at most if, for every descending chain of non-subnormal subgroups of , for all but finitely many there is no infinite descending chain of non-subnormal subgroups of that contain and are contained in . This property , say, was investigated in a previous paper by the authors, where soluble groups with and locally nilpotent groups with were effectively classified. The present article affirms a conjecture from that article by showing that locally soluble-by-finite...
Malnormal subgroups occur in various contexts. We review a large number of examples, and compare the general situation to that of finite Frobenius groups of permutations.In a companion paper [18], we analyse when peripheral subgroups of knot groups and -manifold groups are malnormal.
Let B be a 3-dimensional handlebody of genus g. Let ℳ be the group of the isotopy classes of orientation preserving homeomorphisms of B. We construct a 2-dimensional simplicial complex X, connected and simply-connected, on which ℳ acts by simplicial transformations and has only a finite number of orbits. From this action we derive an explicit finite presentation of ℳ.
We prove a Margulis’ Lemma à la Besson-Courtois-Gallot, for manifolds whose fundamental group is a nontrivial free product , without 2-torsion. Moreover, if is torsion-free we give a lower bound for the homotopy systole in terms of upper bounds on the diameter and the volume-entropy. We also provide examples and counterexamples showing the optimality of our assumption. Finally we give two applications of this result: a finiteness theorem and a volume estimate for reducible manifolds.
Let and for and when for , we obtain an effective archimedean counting result for a discrete orbit of in a homogeneous space where is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family of compact subsets, there exists such that for an explicit measure on which depends on . We also apply the affine sieve and describe the distribution of almost primes on orbits of in arithmetic settings....