A note on maximal subgroups of countable groups
We show that for any countable group, the set of maximal subgroups is either countable or has cardinality $2^{\aleph _0}$.
arXiv subjects
Publications and source records attributed to Azer Akhmedov.
We show that for any countable group, the set of maximal subgroups is either countable or has cardinality $2^{\aleph _0}$.
We establish the Margulis-Soifer dichotomy for one-relator groups: every one-relator group is either virtually solvable or has a maximal subgroup of infinite index. We also present examples of one-relator groups with and without free maximal subgroups of infinite index, as well as examples that possess both free and non-free infinite index maximal subgroups. Triviality of the Frattini subgroup is also shown for all non-solvable one-relator groups. We close the paper with a short list of questions.
We study torus-exterior replacement in four-manifolds, with the construction controlled by the peripheral homomorphism. Using torus exteriors arising from the work of Boyle and Kanenobu-Kazama, with explicitly controlled fundamental groups and peripheral systems, we construct smooth homotopy 4-spheres and manifolds homeomorphic to S^2 x S^2 and \#_3(S^2 x S^2). We also study direct gluings of two torus exteriors. A swap gluing of two one-null exteriors kills both meridians and gives a simply connected manifold with Euler characteristic \(4\) and signature \(0\), while a meridian-preserving gluing of doubly-null exteriors retains the complement groups as an amalgam over the meridian subgroup. Twisted peripheral gluings give cyclic and explicit finite nonabelian fundamental groups. We also consider the full Kanenobu-Kazama \(1\)-handle family and Litherland tori with full-rank peripheral subgroup; the latter have no null primitive boundary slope and lead naturally to amalgamated-product fundamental groups.
We produce an example of an irreducible discrete subgroup in the product $SL(2,\R)\times SL(2,\R)$ which is not a lattice. This answers a question asked in [15].
We prove that an HNN extension of a torsion-free nilpotent group is left-orderable. We also construct examples of non-left-orderable HNN extensions of left-orderable groups
We construct examples of non-bi-orderable one-relator groups without generalized torsion. This answers a question asked in [2].
We prove that a dense subgroup of $\mathrm{Homeo}_{+}(I)$ is not elementary amenable. We also show that the topological group $\mathrm{Homeo}_{+}(I)$ does not satisfy the Stability of the Generators Property, moreover, any finitely generated subgroup of $\mathrm{Homeo}_{+}(I)$ admits a faithful discrete representation in it. In the last section, we demonstrate that finitely generated dense subgroups have infinite girth.
In this paper we discuss the problem of interpolation on straight lines by linear combinations of ridge functions with fixed directions. By using some geometry and/or systems of linear equations, we constructively prove that it is impossible to interpolate arbitrary data on any three or more straight lines by sums of ridge functions with two fixed directions. The general case with more straight lines and more directions is reduced to the problem of existence of certain sets in the union of these lines.
In [13], it is proved that any subgroup of $\mathrm{Diff}_{+}^{ω}(I)$ (the group of orientation preserving analytic diffeomorphisms of the interval) is either metaabelian or does not satisfy a law. A stronger question is asked whether or not the Girth Alternative holds for subgroups of $\mathrm{Diff}_{+}^{ω}(I)$. In this paper, we answer this question affirmatively for even a larger class of groups of orientation preserving diffeomorphisms of the interval where every non-identity element has finitely many fixed points. We show that every such (irreducible) group is either affine (in particular, metaabelian) or has infinite girth. The proof is based on our study of discrete subgroups of the diffeomorphism group $\mathrm{Diff}_{+}(I)$ which we initiated in [9] and later developed in [1] and [2]; more specifically, our results are obtained by sharpening the tools from the earlier works [1] and [2]. One of the major tools (local transitivity) is heavily exploited in [2] to get an extension of Holders theorem which is crucially used in this paper. We show that local transitivity can be proved for any (up to a conjugacy) non-affine group of irreducible diffeomorphisms with every non-identity element having finitely many fixed points.
We prove that if $Γ$ is a word hyperbolic group and $K$ is a finite subset of $Γ$, then $Γ$ admits a tile containing $K$.
We prove the Girth Alternative for a sub-class of the HNN extensions of finitely generated groups. We also produce counterexamples to show that beyond our class, the alternative fails in general.
We strengthen the results of \cite{A1}, consequently, we improve the claims of \cite{A2} obtaining the best possible results. Namely, we prove that if a subgroup $Γ$ of $\mathrm{Diff}_{+}(I)$ contains a free semigroup on two generators then $Γ$ is not $C_0$-discrete. Using this, we extend the Hölder's Theorem in $\mathrm{Diff}_{+}(I)$ classifying all subgroups where every non-identity element has at most $N$ fixed points. In addition, we obtain a non-discreteness result in a subclass of homeomorghisms which allows to extend the classification result to all subgroups of $\mathrm{Homeo}_{+}(I)$ where every non-identity element has at most $N$ fixed points.
We present a proof of non-amenability of R.Thompson's group F.
We construct a finitely generated solvable subgroup of Homeo(R) with a non-metaabelian characterizing quotient.
We prove that the knot groups of $6_2$ and $7_6$ are not bi-orderable. These are the only two knot groups up to 7 crossings whose bi-orderability was not known. Our method applies to a very broad class of knots.
We show that the direct sum of uncountably many non-Abelian groups does not embed into the group of homeomorphisms of a compact metric space.
For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of dim M = k = 1.
We show that the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$-diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite topological generating sets in related groups. We show that the generic pair of elements in the homeomorphism group $Homeo_+(I)$ generate a dense subgroup of $Homeo_+(I)$. By contrast, if $M$ is any compact connected manifold with boundary other than the interval, we observe that an open dense set of pairs from the associated boundary-fixing homeomorphism group $Homeo(M,\partial M)$ will generate a discrete subgroup. We make similar observations for homeomorphism groups of manifolds without boundary including $\mathbb{S}^1$.