Subgroups of direct products of elementarily free groups.

DOI10.1007/S00039-007-0600-4MaRDI QIDQ2370116zbMATH OpenOpenAlexWikidataFDO

Authors Martin R. Bridson, James Howie

Publication date 22 June 2007

Published in Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0506482

zbMATH Keywords

Bass-Serre theorydirect productselementarily free groupselementary theoriesfinitely generated subgroupshomological finiteness propertieslimit groupssubgroups of finite index

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Subgroup theorems; subgroup growth (20E07) Groups acting on trees (20E08) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67)

Abstract: We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if $G_1,\mathrm{...},G_n$ are in E then a subgroup $Gammasubset{G}_{1}imes\mathrm{...}imes{G}_n$ is of type $F{P}_n$ if and only if $Gamma$ is itself, up to finite index, the direct product of at most $n$ groups from $mathcalE$. This answers a question of Sela.

Review text

A group \(G\) is called `elementarily free' if it has the same elementary theory as a free (noncommutative) group. The authors use homology groups of the trivial coefficient module \(\mathbb{Q}\) with the natural finiteness conditions \(\text{FP}_n(\mathbb{Q})\) in the following description of subgroups of direct products of elementarily free groups. Theorem. Let \(G_1,\dots,G_n\) be (subgroups of) elementarily free groups and let \(\Gamma\subseteq G_1\times\cdots\times G_n\) be a subgroup. Then \(\Gamma\) is of the type \(\text{FP}_n(\mathbb{Q})\) if and only if there are finitely generated subgroups \(H_i\subseteq G_i\) for \(i=1,\dots,n\) such that \(\Gamma\) is isomorphic to a subgroup of finite index in \(H_1\times\cdots\times H_n\). This statement provides a partial answer to a question by Sela who asked if a similar result holds in which ``elementarily free is replaced by ``limit groups.

Recommendations

• Subgroups of direct products of limit groups.
• Elementarily free groups are subgroup separable
• On subdirect products of type \(\text{FP}_m\) of limit groups.
• Subgroups of direct products of two limit groups.
• scientific article; zbMATH DE number 6479060

Cited in

(16)

• Complexity volumes of splittable groups
• Subdirect products of finitely presented metabelian groups.
• Elementary subgroups of virtually free groups
• Cubulable Kähler groups
• A remark on double cosets.
• Automatic subsemigroups of free products.
• Subgroups of direct products of limit groups over droms RAAGs
• On Some Finiteness Properties in Infinite Groups
• A characterization of subgroup containment in direct products.
• Subdirect products of pro-p groups
• Coxeter groups and Kähler groups
• Krull dimension of solvable groups.
• Classification of aut-fixed subgroups in free-abelian times surface groups
• Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups
• Normalisers in limit groups.
• Subgroups of direct products of limit groups.

This page was built for publication: Subgroups of direct products of elementarily free groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2370116)