Binary subgroups of direct products

DOI10.4171/LEM/1057MaRDI QIDQ6113474zbMATH OpenOpenAlexFDO

Authors Martin R. Bridson

Publication date 9 August 2023

Published in L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)

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

zbMATH Keywords

binary subgroupsfiniteness propertiesresidually-free groupsVSP theorem

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Homological methods in group theory (20J05)

Abstract: We explore an elementary construction that produces finitely presented groups with diverse homological finiteness properties -- the {em binary subgroups}, $B(Sigma,mu)<G_{1}imesdotsimes{G}_m$. These full subdirect products require strikingly few generators. If each $G_i$ is finitely presented, $B(Sigma,mu)$ is finitely presented. When the $G_i$ are non-abelian limit groups (e.g. free or surface groups), the $B(Sigma,mu)$ provide new examples of finitely presented, residually-free groups that do not have finite classifying spaces and are not of Stallings-Bieri type. These examples settle a question of Minasyan relating different notions of rank for residually-free groups. Using binary subgroups, we prove that if $G_1,dots,G_m$ are perfect groups, each requiring at most $r$ generators, then $G_{1}imesdotsimes{G}_m$ requires at most $rlfloorlo{g}_{2}m+1floor$ generators.

Review text

Summary: We explore an elementary construction that produces finitely presented groups with diverse homological finiteness properties -- the \textit{binary subgroups}, \(B (\Sigma, \mu) < G_1 \times \cdots \times G_m\). These full subdirect products require strikingly few generators. If each \(G_i\) is finitely presented, \(B (\Sigma, \mu)\) is finitely presented. When the \(G_i\) are non-abelian limit groups (e.g. free or surface groups), the \(B (\Sigma, \mu)\) provide new examples of finitely presented, residually-free groups that do not have finite classifying spaces and are not of Stallings-Bieri-type. These examples settle a question of Minasyan relating different notions of rank for residually-free groups. Using binary subgroups, we prove that if \(G_1, \ldots, G_m\) are perfect groups, each requiring at most \(r\) generators, then \(G_1 \times \cdots \times G_m\) requires at most \(r \lfloor \log_2 m + 1 \rfloor\) generators.

Recommendations

• Subgroups of Direct Products of Free Groups
• Structure and finiteness properties of subdirect products of groups
• On the finite presentation of subdirect products and the nature of residually free groups.
• Subgroups of direct products of two limit groups.
• Subgroups of direct products of limit groups.

Cites work

• A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Concise presentations of direct products
• Cuts in Kähler groups
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Finite presentations for Kähler groups with arbitrary finiteness properties
• Growth sequences of finitely generated groups
• scientific article; zbMATH DE number 3137403 (Why is no real title available?)
• scientific article; zbMATH DE number 3618333 (Why is no real title available?)
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• On subdirect products of type \(\text{FP}_m\) of limit groups.
• On subgroups of right angled Artin groups with few generators
• On the difficulty of presenting finitely presentable groups.
• On the finite presentation of subdirect products and the nature of residually free groups.
• Selective families, superimposed codes, and broadcasting on unknown radio networks. (Extended abstract)
• Structure and finiteness properties of subdirect products of groups
• SUBDIRECT PRODUCTS OF GROUPS AND THE n-(n + 1)-(n + 2) CONJECTURE
• Subgroups of direct products of limit groups.
• THE EULERIAN FUNCTIONS OF A GROUP

Cited in

(2)

• Subgroups of Direct Products of Free Groups
• Classification of aut-fixed subgroups in free-abelian times surface groups

This page was built for publication: Binary subgroups of direct products

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