The Unapologetic Mathematician

Mathematics for the interested outsider

Amalgamated free products

I was thinking that one thing might have been unclear in my discussion of free products. The two groups in the product must be completely disjoint — there are no elements in common. Particularly, if we take the free product G*G we must use two different — but isomorphic — copies of G. For example, in S_3*S_3 we might take the first copy of S_3 to be permutations of \{1,2,3\}, and the second to be permutations of \{A, B, C\}.

So what if the groups aren’t disjoint? Say they share a subgroup. There’s a tool we can use to handle this and a few other situations: the amalgamated free product. Here’s the picture:

Universal Property of Pushouts

This diagram looks a lot like the one for free products, but it has the group H up at the top and homomorphisms from H into each of G_1 and G_2, and we insist that the square commutes. That is, we send an element of H into G_1 and on into G_1*_HG_2 or we can send it into G_2 and on into G_1*_HG_2, and the result will be the same either way. In many cases H will be a common subgroup of G_1 and G_2, and the homomorphisms from H are just the inclusions.

So how do we read this diagram? We start with three groups and two homomorphisms — G_1\leftarrow H\rightarrow G_2 — and we look for groups that “complete the square”. The amalgamated free product G_1*_HG_2 is the “universal” such group — given any other group X that completes the square there is a unique homomorphism from G_1*_HG_2 to X.

Just like for free products we’ve given a property, but we haven’t shown that such a thing actually exists. First of all there should be a homomorphism from G_1*G_2 to G_1*_HG_2 by the universal property of G_1*G_2. Then we have two ways of sending H into G_1*G_2: send H to G_1 sitting inside G_1*G_2 or send it to G_2 inside G_1*G_2. Let’s call the first way f_1:H\rightarrow G_1*G_2 and the second way f_2:H\rightarrow G_1*G_2. Now we want to add the relation f_1(h)=f_2(h) for each element of H. That is, f_1(h)f_2(h)^{-1} should be the identity. It isn’t the identity in G_1*G_2, but we can make it the identity by taking the smallest normal subgroup N of G_1*G_2 containing all these elements and moving to the quotient (G_1*G_2)/N. This is the group we’re looking for.

We’ve shown that (G_1*G_2)/N does complete the square. Now if X is any other group that completes the square it has homomorphisms into it from each of G_1 and G_2, so there’s a unique homomorphism f:G_1*G_2\rightarrow X. But now f sends every element of N to the identity in X because we assumed that X makes the outer square in the diagram commute. Since N is in the kernel of f we get a well-defined homomorphism from (G_1*G_2)/N to X, which is the one we need.

Amalgamated free products will become very important somewhere down the road, especially because they (and related concepts) figure very prominently in my own work.

About these ads

March 3, 2007 - Posted by | Algebra, Group theory, Structure of Groups, Universal Properties

8 Comments »

  1. [...] modules, more ideals The first construction I want to run through today is related to the amalgamated free product from group theory. Here’s the diagram in modules: Remember we read it as follows: If we have [...]

    Pingback by More modules, more ideals « The Unapologetic Mathematician | May 10, 2007 | Reply

  2. Hi, as a newbie to algebraic topology, I found your blog to be really helpful. I’m therefore trying to be unapologetic of asking obvious (to others) questions:

    When you say (G1*G2)/N completes the square, do you put (G1*G2)/N in place of G1*G2 or in place of X in the diagram?

    Also, I’m confused about your statement: The two groups in the product must be completely disjoint . Although you assumed G1 and G2 to be non-disjoint, the derivation of (G1*G2)/N still involves the universal property of G1*G2.

    Comment by tori | January 22, 2012 | Reply

  3. Sorry for the delay, Tori.

    In answer to your first question, imagine erasing everything below G_1 and G_2 so the square is incomplete. There may be many different ways of “completing the square” here — G_1*_HG_2 and X both complete the square, for example — but we’re looking for a “universal” one, which has a unique arrow into any other such completion that makes both triangles commute.

    As for the derivation of (G_1*G_2)/N, I may have glossed over the idea that when we construct this free product we pretend that the groups are completely disjoint. One way around it is to make an isomorphic copy of G_2 which is disjoint from G_1; it doesn’t matter if the arrows from N into G_1 and G_2 are “really” inclusions or just mappings.

    hth

    Comment by John Armstrong | February 1, 2012 | Reply

    • Thanks for the explanation!

      Comment by tori | February 1, 2012 | Reply

  4. One question about these push-outs. It is known that if both the morphisms $H\to G_i$ in your diagram are injective, then their corresponding mirror images morphisms $G_i\to G_1\star_H G_2$ are also injective. Is is true, as it happends in other categories, than just having one of them injective, say $H\to G_1$, then its mirror morphism $G_2\to G_1\star_H G_2$ is injective as well? Thanks for your time.

    Comment by Manuel | December 5, 2012 | Reply

  5. I’m sorry to say I don’t know offhand. I’d suggest you take the proof of that fact that you know in one category and try to replicate it without referring to the specifics of that category.

    Comment by John Armstrong | December 5, 2012 | Reply

  6. [...] The Unapologetic Mathematician. [...]

    Pingback by Notes on Algebraic Topology 5. | A Room for Imagination | March 31, 2013 | Reply

  7. Hello, first of all, very nice explanation of amalgamated product, it helped me to undersand it!

    When you are adding the relation f_1(h)=f_2(h), why are the functions f_1 and f_2 going from H to G_1*G_2, and not from H to respectively G_1 and G_2 (as I have seen in some definitions of amalgamated product)?

    Comment by Luka Boras | February 23, 2014 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 391 other followers

%d bloggers like this: