A proof of Higgins's conjecture

DOI10.1017/S0004972700034420MaRDI QIDQ3158794zbMATH OpenOpenAlexWikidataFDO

Authors Gábor Braun

Publication date 31 January 2005

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

free decompositionsfree products of groupsKurosh subgroup theorem

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Subgroup theorems; subgroup growth (20E07)

Abstract: Let f: G=* G(i) -> B=* B(i) be a group homomorphism between free products of groups. Suppose that G(i)f=B(i) of all i. Let H be a subgroup of G such that Hf=B. Then H decomposes into a free product H=*H(i) with H(i)f=B(i). Furthermore, H(i) decomposes into a free product of a free group and the intersection of H(i) with some conjugate of G(i). Higgins conjectured this in 1971 and now we prove it.

Recommendations

• On a conjecture of Higgins
• scientific article; zbMATH DE number 88886
• scientific article; zbMATH DE number 4097635
• ON THE INTERSECTION OF FINITELY GENERATED SUBGROUPS IN FREE PRODUCTS OF GROUPS
• Subgroups of Direct Products of Free Groups

Cites work

• Grushko's theorem

Cited in

(7)

• Free -products and noncommutatively slender groups
• The proof of Hermann's conjecture.
• On a conjecture of Higgins
• Weak commutativity and finiteness properties of groups
• scientific article; zbMATH DE number 7144827 (Why is no real title available?)
• The Strong Anick Conjecture
• A proof of the strong no loop conjecture.

This page was built for publication: A proof of Higgins's conjecture

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