Tricki
a repository of mathematical know-how

Revision of New groups from old from Sat, 25/04/2009 - 15:49

Quick description

This page lists various constructions of new examples of groups and subgroups from known examples, and gives some brief notes of what each construction is good for.

Note iconIncomplete This article is incomplete. The idea is to give an example of its use for each construction. I intend to finish this off eventually, but if anyone cares to step in in the meantime, feel free! Also, each construction probably needs its own article.

General discussion

This is a list of various standard constructions of groups and subgroups.

  • Direct products

  • Semidirect products

  • Extensions

    • Central extensions

  • Fibre products

  • Wreath products

  • Free products

  • Amalgamated free products

  • HNN extensions

  • Graphs of groups

Remark Tensor products are another form of product, defined in general not for groups but for modules. As abelian groups are \Z-modules, this construction can be seen as a way of constructing abelian groups.

Comments

Tensor products are not

Tensor products are not really defined for groups, but rather for modules
over rings. Abelian groups are \Z-modules, and so tensor products are defined for abelian groups, but this is a construction of a very different flavour
to all the other constructions listed on this page.

Perhaps it would be better to have a comment somewhere on the page to this effect
(i.e. that one can define the tensor product of two abelian groups), and then just
link to the How to use tensor products page for more details.

If there are no objections, I will do this some time soon.

I agree

Yes, I was thinking about the tensor product for abelian groups as a special case of a product construction (in Ring theory it is quite usual to think of everything as modules). Feel free to change it as you say, I added it just as a suggestion (I put it on the list because there really isn't any more on the stub at the moment!)

There could be a link

There could be a link somewhere among the later examples to Use topology to study your group, although I haven't thought very carefully about where it would sit best.