Related papers: Euler class and free generation

A palindrome in a free group F_n is a word on some fixed free basis of F_n that reads the same backwards as forwards. The palindromic automorphism group \Pi A_n of the free group F_n consists of automorphisms that take each member of some…

We construct a commutative version of the group ring and show that it allows one to translate questions about the normal generation of groups into questions about the generation of ideals in commutative rings. We demonstrate this with an…

We show how to efficiently count and generate uniformly at random finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$ of a given isomorphism type. The method to achieve these results relies on a natural map of…

We show that the conjugacy problem is solvable in [finitely generated free]-by-cyclic groups, by using a result of O. Maslakova that one can algorithmically find generating sets for the fixed subgroups of free group automorphisms, and one…

Let $w$ be a word in the free group on $r$ generators. The expected value of the trace of the word in $r$ independent Haar elements of $\mathrm{O}(n)$ gives a function ${\cal T}r_{w}^{\mathrm{O}}(n)$ of $n$. We show that ${\cal…

We investigate a construction which associates a finite von Neumann algebra $M(\Gamma,\mu)$ to a finite weighted graph $(\Gamma,\mu)$. Pleasantly, but not surprisingly, the von Neumann algebra associated to to a `flower with $n$ petals' is…

We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…

We present obstruction results for self-similar groups regarding the generation of free groups. As a main consequence of our main results, we solve an open problem posed by Grigorchuk by showing that in an automaton group where a…

Factors $\frac{X}{Y}$ in a free group $F$ with $Y$ normal in $X$ are considered. Precise results on the free structure of ${Y}$ relative to the free structure of ${X}$ when $\frac{X}{Y}$ is abelian are obtained. Some extensions and…

Let G be a group of the form G_1* ... *G_n, the free product of n subgroups, and let M be a ZG-module of the form $\bigoplus_{i=1}^n M_i \otimes_{\mathbb{Z}G_i} \mathbb{Z}G$. We shall give formulae in various situations for $d_{ZG}(M)$, the…

It is well known that the proportion of pairs of elements of $\operatorname{SL}(n,q)$ which generate the group tends to $1$ as $q^n\to \infty$. This was proved by Kantor and Lubotzky using the classification of finite simple groups. We give…

We study graphs of (generalized) joins and intersections of finitely generated subgroups of a free group. We show how to disprove a lemma of Imrich and M\"uller on these graphs and how to repair this lemma.

Let $R$ be a commutative Noetherian ring and $D$ be a discrete Hodge algebra over $R$ of dimension $d>\text{dim}(R)$. Then we show that (i) the top Euler class group $E^d(D)$ of $D$ is trivial. (ii) if $d>\text{dim}(R)+1$, then $(d-1)$-st…

Gruenberg and Linnell showed that the standard relation module of a free product of $n$ groups of the form $C_r \times \mathbb{Z}$ could be generated by just $n+1$ generators, raising the possibility of a relation gap. We explicitly give…

McCarthy's Theorem for the mapping class group of a closed hyperbolic surface states that for any two mapping classes $\sigma,\tau \in \mathrm{Mod}(S)$ there is some power $N$ such that the group $\langle \sigma^N,\tau^N\rangle$ is either…

We adapt Safin's result on powers of sets in free groups to obtain Helfgott type growth in free products: if A is any finite subset of a free product of two arbitrary groups then either A is conjugate into one of the factors, or the size of…

Suppose $G$ is a $\mathcal{T}$-group (finitely generated torsion-free nilpotent) with centralizers outside of the derived subgroup being abelian of rank equal to $\text{rank}(Z_1)+1$. This includes the class of free nilpotent groups…

Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $\phi \in Aut(N)$ defines the Reidemeister number $R(\phi).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$…

We give a formulation of the Nielsen-Schreier theorem (subgroups of free groups are free) in homotopy type theory using the presentation of groups as pointed connected 1-truncated types. We show the special case of finite index subgroups…

The paper is devoted to the study of free objects in the variety of Steiner loops and of the combinatorial structures behind them, focusing on their automorphism groups. We prove that all automorphisms are tame and the automorphism group is…