Scott complexity and adjoining roots to finitely generated groups.

DOI10.4171/GGD/190MaRDI QIDQ355389zbMATH OpenOpenAlexFDO

Authors Larsen Louder

Publication date 24 July 2013

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

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

zbMATH Keywords

amalgamated productsfinitely generated groupsfree groupsfree productsgeometric group theorygraphs of groupsindivisible elementsprimitive elementsproper powers

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Algebraic geometry over groups; equations over groups (20F70) Topological methods in group theory (57M07)

Abstract: This is the third paper in a sequence on Krull dimension for limit groups, answering a question of Z. Sela. We give generalizations of the well known fact that a nontrivial commutator in a free group is not a proper power to both graphs of free groups over cyclic subgroups and freely decomposable groups. None of the paper is specifically about limit groups.

Review text

Let \(G\) be a finitely generated group with Grushko decomposition \(G_1*\cdots*G_p*F_q\). The Scott complexity of \(G\) is the ordered pair \(\chi_{\text{fd}}(G)=(q-1,p)\). An element of a group \(G\) is indivisible if it is not a proper power.NEWLINENEWLINE Several generalizations of the well-known fact that a commutator in a free group is not a proper power are given. In particular, an improved Shenitzer's theorem is proved: Let \(G=A*_{\langle t\rangle}B\) be a free product with amalgamation where \(A\) and \(B\) are free of rank \(n\) and \(m\), respectively. If \(t\) is indivisible in at least one of \(A\) or \(B\) and \(G\) maps onto a free group of rank \(n+m-1\), then \(G\) is free and \(t\) is primitive in at least one of \(A\) or \(B\). If \(t\) is not indivisible in either factor then \(G\) is a free product of a free group and an amalgamated product of two infinite cyclic groups.

Recommendations

• On abstract commensurators of groups.
• On Certain Finitely Generated Subgroups of Groups Which Split
• Amalgamated products and finitely presented groups
• The Grushko decomposition of a finite graph of finite rank free groups: an algorithm.
• Decomposing finitely generated groups into free products with amalgamation

Cites work

• A topological proof of Grushko's theorem on free products
• Decomposition of a Group with a Single Defining Relation into a Free Product
• Finitely Generated 3-Manifold Groups are Finitely Presented
• Graphs of subgroups of free groups.
• scientific article; zbMATH DE number 1221768 (Why is no real title available?)
• Residual nilpotence and relations in free groups
• The equation a^2b^2=c^2 in free groups
• The equation a^n b^n=c^n in a free group
• The equation \(a_ M=b^ Nc^ P\) in a free group
• Topology of finite graphs

Cited in

(9)

• Magnus pairs in, and free conjugacy separability of, limit groups
• The structure of limit groups over hyperbolic groups
• Negative immersions for one-relator groups
• On joins and intersections of subgroups in free groups
• A geometric proof of the structure theorem for cyclic splittings of free groups
• Krull dimension for limit groups.
• One-ended subgroups of graphs of free groups with cyclic edge groups.
• On Almost Primitive Elements of Free Groups With an Application to Fuchsian Groups
• Twisting out fully irreducible automorphisms.

This page was built for publication: Scott complexity and adjoining roots to finitely generated groups.

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