On the residual solvability of generalized free products of solvable groups

In this paper, we study the residual solvability of the generalized free product of solvable groups.

💡 Research Summary

The paper investigates the residual solvability of generalized free products of solvable groups. After recalling Hall’s definition of a residually‑P group and the construction of a generalized free product (G = ∗_{λ∈Λ} G_λ ; H), the authors place their work in the context of earlier studies on residual finiteness of nilpotent free products (Baumslag) and on residual solvability, which is comparatively less explored.

The main contributions are five theorems.

Theorem 1 shows that the generalized free product of a nilpotent group A and a solvable group B amalgamated along proper subgroups C_A ≤ A and C_B ≤ B is not perfect. The proof uses the abelianizations A^{ab} and B^{ab}, Lemma 7 (which describes a natural epimorphism onto a product of quotients), and Hirsch’s theorem that δ₂A lies inside the Frattini subgroup Φ(A). Consequently A^{ab}/C_A is non‑trivial, so the whole product has non‑trivial abelianization, proving it cannot be perfect.

Theorem 2 deals with two solvable groups A and B amalgamated over a cyclic subgroup ⟨a⟩ = ⟨b⟩. By selecting derived‑series levels m and n such that a∈δ_mA\δ_{m+1}A and b∈δ_nB\δ_{n+1}B, the authors form the central product D of the quotients A/δ_{m+1}A and B/δ_{n+1}B, identifying the images of a and b. The natural homomorphism φ : G→D has kernel K with trivial intersection with the amalgamated cyclic subgroup. By Neumann’s theorem on subgroups of generalized free products, K is a free product of conjugates of subgroups of A and B, hence a free group. Since free groups are residually solvable, K is residually solvable, and G, being an extension of a solvable group by K, is residually solvable.

Theorem 3 generalizes the previous result to a finite family {A_i}_{i∈I} of solvable groups amalgamated along a common central subgroup C. The authors construct the generalized central product S of the A_i’s, which is solvable, and define a homomorphism μ : G→S that is injective on each factor. Its kernel K again satisfies the hypotheses of Neumann’s theorem, so K is free. Hence G is a solvable extension of a free group and therefore residually solvable.

Theorem 4 treats “doubles”: an indexed family of isomorphic solvable groups {A_i} with a common subgroup C that is identified in each factor. Choosing any index i and the natural epimorphism ψ : G→A_i, Lemma 11 guarantees that ψ’s kernel is a free group. Consequently G is a solvable extension of a free group and thus residually solvable.

Theorem 5 concerns the generalized free product of a finitely generated torsion‑free abelian group A and a solvable group B, amalgamated over a subgroup C. Because A is torsion‑free abelian, C has finite index in a direct factor A₁ of A, so A splits as A₁×H with