Related papers: Classification of non-free Kleinian groups generat…

We examine free orientation-reversing group actions on orientable handlebodies, and free actions on nonorientable handlebodies. A classification theorem is obtained, giving the equivalence classes and weak equivalence classes of free…

In this article we define the continuous Gabor transform for second countable, non-abelian, unimodular and type I groups and also we investigate a Plancherel formula and an inversion formula for our definition. As an example we show that…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

For a torsion free finitely generated nilpotent group G we naturally associate four finite dimensional nilpotent Lie algebras over a field of characteristic zero. We show that if G is a relatively free group of some variery of nilpotent…

We give a complete list of orbifolds uniformised by discrete non-elementary two-generator subgroups of PSL(2,C) without invariant plane whose generators and their commutator have real traces.

We refine Feighn--Handel's results on subgroups of mapping tori of free groups to the special case of free-by-cyclic groups. We use these refinements to show that any finitely generated free-by-cyclic group embeds in a {finitely generated…

An approach to a classification of groups generated by 3-state automata over a 2-letter alphabet and the current progress in this direction are presented. Several results related to the whole class are formulated. In particular, all finite,…

We show that if $G$ is a non-archimedean, Roelcke precompact, Polish group, then $G$ has Kazhdan's property (T). Moreover, if $G$ has a smallest open subgroup of finite index, then $G$ has a finite Kazhdan set. Examples of such $G$ include…

In this expository note we provide a proof of Artin's theorem which states that the commutator subgroup of a free group on two generators is not finitely generated. The proof employs the infinite grid as in two other proofs in the…

Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series…

We provide an elementary proof that subgroups of free groups are free via group actions.

We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show,…

We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…

Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the \'etale…

Consider a relatively hyperbolic group G. We prove that if G is finitely presented, so are its parabolic subgroups. Moreover, a presentation of the parabolic subgroups can be found algorithmically from a presentation of G, a solution of its…

Suppose G is a non-free finitely generated Kleinian group without parabolics which is not a lattice and let C(G) denote the commensurator in PSL(2,C). We prove that if the limit set of G is not a round circle, then C(G) is discrete.…

Given a Lie algebra $L$ graded by a group $G$, if $L$ is does not contain orthogonal graded ideals and $G$ is generated by the support of $L$, then $G$ is an abelian group.

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation…