# On the residual solvability of generalized free products of solvable groups.

1 Introduction and MotivationIn his celebrated paper [4], Hall introduced the residual properties. Let P be a property of groups, and let G be a group. We say that G is residually P if for any non-identity element g [member of] G; there exists a homomorphism [psi] from G to a group having property P such that [psi](g) [not equal to] 1.

We recall the definition of the generalized free products of groups. Let there be given a non-empty set of groups {[G.sub.[lambda]]|[lambda][member of][LAMBDA]]} together with a group H which is isomorphic with a subgroup [H.sub.[lambda]] of [G.sub.[lambda]] by means of monomorphism [[phi].sub.[lambda]] : H [right arrow] [G.sub.[lambda]]([lambda] [member of] [LAMBDA]). There is an exceedingly useful object known as the free product of the [G.sub.[lambda]'s] with the amalgamated subgroup H. Roughly speaking this is the largest group generated by the [G.sub.[lambda]'s] in which the subgroups [H.sub.[lambda]] are identified by means of the [[phi].sub.[lambda]]. Generically such groups are known as generalized free products (see [8]).

In the literature, residual finiteness has attracted much attention. In [2], for example, Baumslag studies the residual finiteness of generalized free products of nilpotent groups. Another study pursued by M. Sapir [9] and D. Wise [10] focuses on the residual finiteness of one-relator groups.

On the other hand, the exploration of residually solvable groups is in its early stages. One classical work on the residual solvability of positive one-relator groups is due to Baumslag (see [3]). The first author studied doubles of residually solvable groups (see [5]), as well as the residual solvability of the generalized free products of finitely generated nilpotent groups (see [6]). In [1], Arzhantseva, de la Harpe, and the first author introduce the true prosolvable completion of a group and give several interesting open problems that motivate the importance of residually solvable groups.

In this paper, we generalize some of the results in [6] which carry over when nilpotent groups are replaced by solvable groups.

2 Results

In this section, we state our main results. Their proofs will be presented in Section 4.

We begin by proving that the generalized free product of a nilpotent group and a solvable group is not necessarily perfect.

Theorem 1 The generalized free product of a nilpotent group and a solvable group amalgamated by a proper subgroup of them is not perfect.

Next we consider the case where the amalgamated subgroup of the generalized free product of two solvable groups is cyclic. By choosing an appropriate solvable filtration of each factor so that the generator of the amalgamated subgroup does not lie in the nth term of the derived series, it follows that the resulting amalgam is residually solvable.

Theorem 2 The generalized free product of two solvable groups amalgamating a cyclic subgroup is residually solvable.

In [6], Kahrobaei proved the generalized free product of two finitely generated solvable groups amalgamated by central subgroups is a solvable extension of a residually solvable group and, hence, is residually solvable. We generalize this result for any finite number of solvable groups.

Theorem 3 The generalized free product of a finite number of solvable groups, amalgamating a central subgroup in each of the factors, is residually solvable.

Our next theorem deals with the generalization of doubles (recall that a double is the amalgamated product of two groups whose factors are isomorphic and the amalgamated subgroups are identified under the same isomorphism).

Theorem 4 Let {[A.sub.i] | i [member of] I} be an arbitrary indexed family of isomorphic solvable groups such that [[intersection].sub.i[member of] I] [A.sub.i] = C, and let G be the generalized free product of the [A.sub.i's] amalgamated by C. Then G is residually solvable.

Our final result pertains to generalized free products containing a finitely generated torsion-free abelian factor.

Theorem 5 The generalized free product of a finitely generated torsion-free abelian group and a solvable group is residually solvable.

Note that Theorem 5 is a special case where the amalgamated subgroup is central in only one of the factors.

3 Background and Preliminary Results

In this section, we present some preliminary material which will be needed for the proofs of our results. We begin with a theorem due to Neumann [7] which plays a crucial role in our work.

Theorem 6 (Neumann) If K is a subgroup of G = {A * B ; C}, then K is an HNN-extension of a tree product in which the vertex groups are conjugates of subgroups of either A or B and the edge groups are conjugates of subgroups of C. The associated subgroups involved in the HNN-extension are also conjugates of subgroups of C. If K [intersection] A = {1} = K [intersection] B, then K is free. If K [intersection] C = {1}, then K = [[PI].sub.i[member of]I] * [X.sub.i] * F, where the [X.sub.i] are conjugates of subgroups of A and B and F is free.

The next result is used in the proof of Theorem 1. If G is any group, let [G.sub.ab] denote the abelianization of G.

Lemma 7 (Kahrobaei [6]) Let G be the amalgamated product of A and B with [C.sub.A] and [C.sub.B] identified,

G = {A * B ; [C.sub.A] = [C.sub.B]}.

Then [G.sub.ab] maps onto

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

where [[bar.c].sub.a] and [[bar.c].sub.b] are the images of [c.sub.a] and [c.sub.b] in [A.sub.ab] and [B.sub.ab], respectively.

Theorem 1 also relies on the next well-known theorem about the Frattini subgroup [PHI](G) of a nilpotent group G: Let [[delta].sub.i]G denote the ith derived subgroup of a group G:

Theorem 8 (Hirsch) If G is a nilpotent group, then [[delta].sub.2]G [less than or equal to] [PHI](G).

The proof of Theorem 3 makes use of the generalized central product of a set of groups. Let Z(G) denote the center of a group G.

Definition 9 Suppose that

{[A.sub.i] = <[X.sub.i]; [R.sub.i]> | i [member of] I}

is an indexed family of presentations, and let C be a group equipped with monomorphisms

[[phi].sub.i] : C [right arrow] [A.sub.i] and C [less than or equal to] Z([A.sub.i]) (for all i [member of] I).

The group A defined by the presentation

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

where we assume that the [X.sub.i] are disjoint, is termed the generalized central product of the [A.sub.i] amalgamating the central subgroup C: Thus,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

It is not hard to show that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

By a theorem of von Dyck, there are canonical homomorphisms [[mu].sub.i] : [A.sub.i] [right arrow] A.

Lemma 10 Each homomorphism [[mu].sub.i] is a monomorphism.

We note that the generalized central product of finitely many solvable groups is solvable. For the case of abelian factors, the generalized central product of an arbitrary number of abelian groups is abelian.

A key ingredient for proving Theorem 6 is the following:

Lemma 11 (Kahrobaei [6]) Suppose [phi] : A [right arrow] B is an isomorphism between two groups A and B: Let C < A; and let D be the amalgamated product of A and B amalgamating C with C[phi]:

D = {A * B ; C = C[phi]}

There exists a homomorphism [psi] from D onto one of the factors with kernel

gp[(a(a[phi]).sup.-1] | a [member of] A),

and [psi] injects into each factor.

4 Proofs of Main Results

Proof of Theorem 1: Let A be a nilpotent group, and let B be a solvable group. Suppose [C.sub.A] and [C.sub.B] are proper subgroups of A and B; respectively. We want to show that G = {A * B ; [C.sub.A] = [C.sub.B]} is not perfect.

For any [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.] denote their images in [A.sub.ab] and [B.sub.ab]; respectively. Set [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.] By Lemma 7, Gab maps onto

D = [A.sub.ab]/[[bar.C].sub.A] x [B.sub.ab]/[[bar.C].sub.B].

We claim that [A.sub.ab]/[[bar.C].sub.A] [not equal to] {1}: By Theorem 8, gp([C.sub.A], [[delta].sub.2] A) is a proper subgroup of A since [C.sub.A] is. Thus,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

proving our claim. It follows that D [not equal to] {1} and, hence, [G.sub.ab] [not equal to] {1}. Therefore, G is not perfect.

Proof of Theorem 2: Suppose A = gp([a.sub.i] | i [member of] I) and B = gp([b.sub.j] | j [member of] J) are solvable groups, and let a [member of] A and b [member of] B be non-identity elements. There exists positive integers m and n such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.] Let G = {A * B ; a = b}, and let D be the central product of [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.] amalgamating [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

Let [phi] : G [right arrow] D be the homomorphism which maps [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.] let K be the kernel of [phi]. Then K [intersection] C = {1}, where C = gp(a) = gp(b). By Theorem 6, K is a free product of conjugates of subgroups of A and B, and a free group. Thus K is residually solvable and, hence, G is an extension of a residually solvable group by a solvable group. Therefore, G is residually solvable.

Proof of Theorem 3: Suppose that {[A.sub.i] | i [member of] I} is a finite indexed family of solvable groups, and let

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

Let S be the generalized central product of the [A.sub.i]:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

where the [[phi].sub.k's] are as in Definition 9. For each i [member of] I, let [[pi].sub.i] denote the canonical homomorphism from S to [A.sub.i], Since the [[pi].sub.i] coincide on C; they can be naturally extended to a homomorphism [mu] from G into S. Let K be the kernel of [mu], and observe that G/K is solvable since S is. Now, [mu] is one-to-one restricted to each factor; that is,

K [intersection] [A.sub.i] = {1} for all i [member of] I.

By Theorem 6, K is free and, consequently, G is a solvable extension of a free group. Therefore, G is residually solvable.

Proof of Theorem 4: Let {[A.sub.i] | i [member of] I} be an arbitrary indexed family of isomorphic solvable groups such that [[PI].sub.i[member of]I] [A.sub.i] = C, and let G be the generalized free product of the [A.sub.i's] amalgamated by C. Pick an i [member of] I; and let [phi] : G [right arrow] [A.sub.i] be an epimorphism with kernel K: Then K is free because [phi] restricted to each factor is injective by Lemma 11, and

[A.sub.i] [intersection] K = {1} for all i [member of] I.

Therefore, G is a solvable extension of a free group and is, thus, residually solvable.

Proof of Theorem 5: Let A be a finitely generated torsion-free abelian group, and let B be a solvable group. Suppose

G = {A * B ; C}.

Since A is finitely generated torsion-free abelian, C is a direct factor of a subgroup [A.sub.1] of A of finite index; that is, [A.sub.1] = C X H, where [A : [A.sub.1]] = n < [infinity]. Let {[a.sub.i]} be a distinct set of coset representatives of [A.sub.1] in A; that is, A/[A.sub.1] = [U.sup.n.sub.i=1][a.sub.i][A.sub.1]. There exists an epimorphism from G onto [U.sup.n.sub.i=1] [a.sub.i][A.sub.1] with kernel

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

Now let D be the normal closure of finitely many copies of B in K:

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII.]

By Theorem 4, D is residually solvable. Consequently, K is an extension of a residually solvable group by an abelian group. Therefore, G is (residually solvable)-by-abelian and, hence, residually solvable.

Dedicated to Laci Babai

received 27th September 2010, revised 29th October 2010, accepted 29th October 2010.

References

[1] G. Arzhantseva, P. de la Harpe, D. Kahrobaei, Z. Sunik. The true prosoluble completion of a group: Examples and open problems Journal of Geometriae Dedicata, Springer Netherlands Vol. 124 (2007) No.1, 5-26

[2] G. Baumslag. On the residual finiteness of generalised free products of nilpotent groups. Trans. Amer. Math. Soc. 106 (1963), 193-209.

[3] G. Baumslag. Positive one-relator groups. Trans. Amer. Math. Soc. 156 (1971), 165-183.

[4] P. Hall. The splitting properties of relatively free groups. Proc. London Math. Soc. 4 (1954), 343-356.

[5] D. Kahrobaei. Doubles of residually solvable groups. Aspects of Infinite Group Theory, Algebra and Discrete Mathematics, World Scientific Vol 1(2008)

[6] D. Kahrobaei. Residual Solvability of generalized free products of finitely generated nilpotent groups. Communications in Algebra, (to appear)(2010)

[7] H. Neumann. Generalized free producs with amalgamated subgroups. Amer. J. Math. 71 (1949), 491-540.

[8] D. J. S. Robinson. A course in the theory of groups, Springer-Verlag (1995)

[9] M. Sapir. Residual properties of one-relator groups, arXiv:1001.2829, (2010)

[10] D. Wise. The residual finiteness of quasipositive one-relator groups, J. London Math. Soc. 66, (2002), 334-350

Delaram Kahrobaei (1 2) ([dagger]) and Stephen Majewicz (3) ([double dagger])

(1) Doctoral Program in Computer Science, Graduate Center (CUNY), New York, USA

(2) Mathematics Department, New York City College of Technology (CUNY), New York, USA

(2) Mathematics Department, Kingsborough Community College (CUNY), New York, USA

([dagger]) Email: dkahrobaei@gc.cuny.edu. Supported by a PSC CUNY Research Foundation of City University of New York and City Tech Foundation.

([double dagger]) Email: smajewicz@kbcc.cuny.edu

Printer friendly Cite/link Email Feedback | |

Author: | Kahrobaei, Delaram; Majewicz, Stephen |
---|---|

Publication: | Discrete Mathematics and Theoretical Computer Science |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Dec 1, 2011 |

Words: | 2352 |

Previous Article: | On the minimal distance of a polynomial code. |

Next Article: | On the sensitivity of cyclically-invariant Boolean functions. |

Topics: |