Free Product

Oxymoron

It seems that I am having difficulty understanding some of the definitions given to me concerning Free Groups.

I just finished a thread on free groups where I learnt that a free group is one that is constructed from an underlying basis set that is enlarged so that one may form all finite words - then declare that two words are equivalent if and only if inverses and identity cancellation would make them so.

Then I discovered that all free groups have a universal mapping property - that is, any function from the basis set S into a group G has a unique extension to a homomorphism of the free group F(S) into G.

I've now come across the concept of a free product and as far as I can tell we adopt a similar approach to their construction as we do for free groups. Let me explain...

First, let S be a collection of groups

[tex]S = \{G_1,G_2,\dots\}[/tex]

as opposed to a set of generator elements as for free groups. Then we define the free product

[tex]\star_{i\in I} G_i = G_1\ast G_2\ast \dots[/tex]

as the most general group containing all the [itex]G_i[/itex]'s as subgroups. And likewise, the free product satisfies a universal mapping theorem: Given any collection of homomorphisms from each factor group into some common group W, there is a unique extension to a homomorphism of the free product into W.

Now I am not going to pretend that I am an expert at any of this, in fact, quite the opposite. I want to be able to "prove that [itex](G_1 \ast_A G_2) \ast_A G_3[/itex] is isomorphic to [itex]G_1 \ast_A (G_2 \ast_A G_3)[/itex] where A is a subgroup of the three groups [itex]G_i[/itex] and where amalgams are formed with respect to the respective inclusions of the group A are isomorphic."

In order to do so I will need a lot of help to understand:

What does it mean to be isomorphic in this sense?

What on Earth is an amalgam?

Is the free product of two groups A and B necessarily free? Is the free product free if and only if A and B are free?

I know this is a lot of stuff to do, but if anyone can help flatten out the learning curve with this, I will rest easy.

Thanks.

matt grime

The same as any other sense. Indeed, there is only one sense in which two groups are isomorphic. However, in this case you can appeal to the universal property to make life easier.




Ah, now this is interesting. The free product of G and H is the set of all words in the elements of G and H and with the only relations those in G and those in H. Thus the free product of the integers with the integers is the free group on two generators. Now, sometimes it is nice to use the fact that G and H may have a subgroup in common. Thus to create the amalgam of G and H along K, i.e. G*_KH we take the free group generated by G and H and add in the relataions that K imposes.


, of course not. Free groups have no torsion, free products will have at least as much torsion as A and B.

Is the free product free if and only if A and B are free?

Yes. You should prove this yourself. I know for a fact you know all that is required to show that F free and F=G*H implies G and H are free, and the converse is trivial.

Oxymoron

Ah, I had a feeling that property might come in handy, but I wasnt sure.

So basically, if I want to show that my two groups [itex](G_1 \ast_A G_2) \ast_A G_3[/itex] and [itex]G_1 \ast_A (G_2 \ast_A G_3)[/itex] are isomorphic I have to show that there exists a map between the two that sets up a one-to-one correspondence between the elements of each group in such a way that it respects the group operation.

Ok, so let me get this straight. The free product of groups has a universal mapping property - does this mean to say: "The free product of groups comes equipped with a family of homomorphisms:

[tex]j_i\,:\,G_i \rightarrow(\star_{i\in I} G_i)[/tex]

from each group into the free product."?

Oxymoron

I really, really like that explanation! Thank you.

Could you possibly remind me what torsion means? Is it a set of elements? Or is it another group? Or both?

Oxymoron

Step 1: Three groups G_1, G_2, and G_3 and a subgroup A of all three.
Step 2: There exist homo's from A into each group G_i

[tex]f_1\,:\,A \rightarrow G_1[/tex]
[tex]f_2\,:\,A \rightarrow G_2[/tex]
[tex]f_3\,:\,A \rightarrow G_3[/tex]

Step 3: Then there exist monomorphisms from each group G_i into the free product w.r.t. A:

[tex]j_1\,:\,G_1\rightarrow G_1\star_A G_2[/tex]
[tex]j_2\,:\,G_2\rightarrow G_1\star_A G_2[/tex]

[tex]j_3\,:\,G_2\rightarrow G_2\star_A G_3[/tex]
[tex]j_4\,:\,G_3\rightarrow G_2\star_A G_3[/tex]

Note: I believe these homomorphisms make the composition of homo's i and j commutative:

[tex]A \rightarrow_{i_1} G_1 \rightarrow_{j_1} G_1\star_A G_2 = G_1\star_A G_2 \rightarrow_{j_1^{-1}} G_1 \rightarrow_{i_1^{-1}} A[/tex]

Step 4: There exist homo's:

[tex]i_1\,:\,G_1 \rightarrow (G_1 \star_A G_2) \star_A G_3[/tex]
[tex]i_2\,:\,G_1\star_A G_2 \rightarrow (G_1 \star_A G_2) \star_A G_3[/tex]

[tex]i_3\,:\,G_3 \rightarrow (G_1 \star_A G_2) \star_A G_3[/tex]
[tex]i_4\,:\,G_2\star_A G_3 \rightarrow G_1 \star_A (G_2 \star_A G_3)[/tex]

I drew a picture of all this and it looked something like
......______________G_1 * (G_2 * G_3)
...../.......................|
...G_1--G_1 * G_2---|-|
../....../..................|..|
A-G_2 ...................|..|
..\......\.................|...|
...G_3--G_2 * G_3 -|....|
.....\________________(G_1 * G_2) * G_3

and I have to prove that there exists an isomorphism between the two free product on the right hand side of this diagram?

AKG

Regard G₁ and G₂ as disjoint. Let A₁ list the generators of A as a subgroup of G₁, and let A₂ list the generators of A as a subgropu of G₂ such that A₁ and A₂ have a 1-1 correspondence f : A₁ -> A₂. Then G₁*_AG₂ = < Gen(G₁) U Gen(G₂) | Rel(G₁) U Rel(G₂) U {af(a) : a in A₁} >, no? You can then take the free product w.r.t A of this with G₃, and associativity of the free products follows essentially from associativity of set union. I guess this should work.

matt grime

An element is (or has) torsion if its order is finite. Free groups have no torsion elements.

Just think in terms of presentations and relations. A free group has generators and no relations amongst the generators, a non-free group has some relations. In G*H, an relations on elements of G remain relations on those elements as considered elements in G*H.

I was just using 'torsion' as one example of a relation (x^n), I could have talked about commutation of elements: if x and y commute in G, they commute in G*H.

matt grime

An example of alagam product: the fundamental group of the torus is ZxZ.

This is more generally called the seifert van kampen theorem.

Given a topological space, T, and two (open?) subsets X and Y with XnY path connected, then the fundamental group of T is

[tex]\Pi_1(X)\star_{\Pi_1(X\cap Y)} \Pi_1(Y)[/tex]

Let T be the torus, X be T\{pt} and Y some small disc around the point. T\{pt} is homotopic to the bouquet of two circles (or two circles pinched together at a point like this oo) and its fundamental group is F_2 generated by two loops g and h. The fundamental group of Y is trivial, and the XnY is homotopic to a circle so its fundamental group is Z generated by z, which is a loop around {pt}. (Draw a picture; it helps to remember T is the unit square with opposite sides identified.)

Thus we need the amalgam of F_2 with {e} the trivial group along Z. We need to see what relations this imposes. Well, the homomorphism of Z to {e} sends z to e, and the homomoprhism from Z to F_2 sends z to fgf^-1g^-1, so in the amalgam the/a presentation is, since we must identity fgf^-1g-1 and e:

Pi_1(T)= < f,g | fg=gf>

which is a presentation of ZxZ, as required.

mathwonk

implicit in matts hints is the fact that if two groups both have the same universal mapping property then they are isomorphic.

Oxymoron

So I guess my little diagram is correct. I was hoping that it was because that is what I am visualising and aiming to show that there is an isomorphism between the two graphs on the right hand side of that diagram.

This presentation you have

[tex]G_1 \star_A G_2 = \langle \mbox{Gen}(G_1) \,\cup\, \mbox{Gen}(G_2) \,|\, \mbox{Rel}(G_1)\,\cup\,\mbox{Rel}{G_2}\,\cup\,\{af(a)\,:\,a \in A_1\}\rangle[/tex]

is a little strange to me. How did you manage to get the relations for the free product to be the union of the relations for G_1 and G_2? Same for the relators. I mean, this presentation tells me that the generators of the free product [itex]G_1\star_A G_2[/itex] is the set of all generators from G_1 and G_2 and the relators of the free product is the set of all relators from G_1 and G_2 and some more.

Are you using the fact that once you get a presentation for the free product [itex]G_1\star_A G_2[/itex] you can make the free product of it and the remaining group G_3 and get a new presentation for [itex](G_1 \star_A G_2)\star_A G_3[/itex]. Then all you have to work with are unions of generators and relators, switch them around a bit using union laws, get a new presentation for the free product and work backwards to show that this new presentation (now with the gens and rels moved around) is the same as [itex]G_1 \star_A (G_2\star_A G_3)[/itex]. I dont even know if this will work, but if it does, what you are essentially doing is showing the associative property using the associative property of unions. Hmm...interesting.

If it is the way to go then I have to prove that I can get that presentation you wrote for the free product.

What about relations on elements in H? Do they remain relations on elements in G * H?

matt grime

Well, obviously they do. I just picked G for the sake of it. The free product is totally symmetric. Just look at the defintion. G*H=H*G.

AKG

A correction to my post: in the relations, the third set in the union should be the set of a^-1f(a) for a in A₁. Anyways, I'm not sure exactly what you're asking me because it seems that you understand what I'm saying. If F = < S1 | R1 > and G = < S2 | R2 > are disjoint, then isn't it clear that F*G = < S1 U S2 | R1 U R2 >?

Oxymoron

Yes, but I have no way to ensure that my groups G_1, G_2, and G_3 are disjoint. All I know is that they are groups and A is a subgroup.

AKG

Like I said, regard them as disjoint. Adding the a^-1f(a) relations serves to simply identify the copy of A in G₁ with the copy of A in G₂. The free product is generally defined only on disjoint groups, but you can always regard any two groups as disjoint. Earlier, matt mentioned Z*Z. If you don't regard the elements of the first copy as distinct from those of the second, then you just get Z.

Oxymoron

Oh I see!! So if you have two groups that are not necessarily disjoint, you can always regard them as being disjoint if you have a subgroup of both groups present?

AKG

Well, you can always regard any two groups as disjoint. If there is no common subgroup of both present, however, then there must be no common element of both, so they already are disjoint. But the idea behind being able to regard two groups as disjoint has nothing to do with whether or not they share any subgroups.

mathwonk

If G1 and G2 are two groups, theirm free product would be some group such that group maps out of it correspond to pairs of group maps out of G1 and G2.

If G1 and G2 share a common subgroup H, then their free product amalgamated over H, would be a group such that group maps out of it correspond to apirs of groups maps out of G1 and G2 that agree on their common subgroup H.