In mathematics, one frequently starts with some space and wishes to extend it to a larger space . Generally speaking, there are two ways in which one can extend a space :
- By embedding into a space that has (or at least an isomorphic copy of ) as a subspace.
- By covering by a space that has (or an isomorphic copy thereof) as a quotient.
and the latter type of extension be represented by the exact sequence
In some cases, can be both embedded in, and covered by, , in a consistent fashion; in such cases we sometimes say that the above exact sequences split.
An analogy would be to that of digital images. When a computer represents an image, it is limited both by the scope of the image (what it is picturing), and by the resolution of an image (how much physical space is represented by a given pixel). To make the image “larger”, one could either embed the image in an image of larger scope but equal resolution (e.g. embedding a picture of a pixel image of person’s face into a pixel image that covers a region of space that is four times larger in both dimensions, e.g. the person’s upper body) or cover the image with an image of higher resolution but of equal scope (e.g. enhancing a pixel picture of a face to a pixel of the same face). In the former case, the original image is a sub-image (or cropped image) of the extension, but in the latter case the original image is a quotient (or a pixelation) of the extension. In the former case, each pixel in the original image can be identified with a pixel in the extension, but not every pixel in the extension is covered. In the latter case, every pixel in the original image is covered by several pixels in the extension, but the pixel in the original image is not canonically identified with any particular pixel in the extension that covers it; it “loses its identity” by dispersing into higher resolution pixels.
(Note that “zooming in” the visual representation of an image by making each pixel occupy a larger region of the screen neither increases the scope or the resolution; in this language, a zoomed-in version of an image is merely an isomorphic copy of the original image; it carries the same amount of information as the original image, but has been represented in a new coordinate system which may make it easier to view, especially to the visually impaired.)
In the study of a given category of spaces (e.g. topological spaces, manifolds, groups, fields, etc.), embedding and coverings are both important; this is particularly true in the more topological areas of mathematics, such as manifold theory. But typically, the term extension is reserved for just one of these two operations. For instance, in the category of fields, coverings are quite trivial; if one covers a field by a field , the kernel of the covering map is necessarily trivial and so are in fact isomorphic. So in field theory, a field extension refers to an embedding of a field, rather than a covering of a field. Similarly, in the theory of metric spaces, there are no non-trivial isometric coverings of a metric space, and so the only useful notion of an extension of a metric space is the one given by embedding the original space in the extension.
On the other hand, in group theory (and in group-like theories, such as the theory of dynamical systems, which studies group actions), the term “extension” is reserved for coverings, rather than for embeddings. I think one of the main reasons for this is that coverings of groups automatically generate a special type of embedding (a normal embedding), whereas most embeddings don’t generate coverings. More precisely, given a group extension of a base group ,
On the other hand, an embedding of into ,
does not similarly extend to a short exact sequence unless the the embedding is normal.
Another reason for the notion of extension varying between embeddings and coverings from subject to subject is that there are various natural duality operations (and more generally, contravariant functors) which turn embeddings into coverings and vice versa. For instance, an embedding of one vector space into another induces a covering of the dual space by the dual space , and conversely; similarly, an embedding of a locally compact abelian group in another induces a covering of the Pontryagin dual by the Pontryagin dual . In the language of images, embedding an image in an image of larger scope is largely equivalent to covering the Fourier transform of that image by a transform of higher resolution, and conversely; this is ultimately a manifestation of the basic fact that frequency is inversely proportional to wavelength.
Similarly, a common duality operation arises in many areas of mathematics by starting with a space and then considering a space of functions on that space (e.g. continuous real-valued functions, if was a topological space, or in more algebraic settings one could consider homomorphisms from to some fixed space). Embedding into then induces a covering of by , and conversely, a covering of by induces an embedding of into . Returning again to the analogy with images, if one looks at the collection of all images of a fixed scope and resolution, rather than just a single image, then increasing the available resolution causes an embedding of the space of low-resolution images into the space of high-resolution images (since of course every low-resolution image is an example of a high-resolution image), whereas increasing the available scope causes a covering of the space of narrow-scope images by the space of wide-scope images (since every wide-scope image can be cropped into a narrow-scope image). Note in the case of images, that these extensions can be split: not only can a low-resolution image be viewed as a special case of a high-resolution image, but any high-resolution image can be pixelated into a low-resolution one. Similarly, not only can any wide-scope image be cropped into a narrow-scope one, a narrow-scope image can be extended to a wide-scope one simply by filling in all the new areas of scope with black (or by using more advanced image processing tools to create a more visually pleasing extension). (In the category of sets, the statement that every covering can be split is precisely the axiom of choice.)
I’ve recently found myself having to deal quite a bit with group extensions in my research, so I have decided to make some notes on the basic theory of such extensions here. This is utterly elementary material for a group theorist, but I found this task useful for organising my own thoughts on this topic, and also in pinning down some of the jargon in this field.
Definition 1 (Group extension) An extension of a group is a group , together with a surjective projection map (or covering map) . If the kernel of can be identified with (i.e. is isomorphic to) a group , we say that is an extension of by , and we have the short exact sequence
If the group has some property , we say that is a extension of . Thus for instance, if is abelian, is an abelian extension of ; if is central (in ), is a central extension of ; and so forth. (Note that all extensions are automatically normal extensions, so we will almost never use the latter term.) We refer to as the base of the extension, and as the fibre, and refer to and collectively as factors of .
If has some property , and has some property , then we say that is -by-. (I have no idea why the order is traditionally arranged in this way; I would have thought that extending a group by a group would give a -by- group, rather than the other way around; perhaps at one point the idea of a normal embedding was considered more important than a group extension. Nevertheless, the notation seems to be entrenched by now.) Thus, for instance, is abelian-by-finite if is abelian and is finite, but finite-by-abelian if is finite and is abelian.
One can think of a -by- group as a group that looks like “at large scales” and like “at small scales”; one can also view this group as a principal -bundle over .
There are several ways to generate a group extension . Firstly, given any homomorphism from one group to another, the homomorphism theorem tells us that is an extension of the image , with kernel :
Of course, every group extension arises in this manner.
A group extension splits if there is a homomorphism such that for all . In this case, acts on the kernel by conjugation (after identifying with ); denoting this action by (thus ), we can then canonically identify with the semi-direct product , defined as the set of pairs with , , with the group law , by identifying with . Conversely, every semi-direct product is a group extension of by which splits. If the conjugation action is trivial, then the semi-direct product simplifies to the direct product . In particular, any semi-direct product which is a central extension is of this form.
Note that, in general, an extension of by is a different concept from an extension of by , because one can have as a normal subgroup but not as a quotient, or vice versa. For instance, has as a normal subgroup, but not as a quotient; is an extension of by , but not vice versa. To put it another way, the operator “-by-” is not commutative: -by- is a different concept from -by-.
A subgroup of an -by- group is automatically an -by- group for some subgroups of respectively; this is essentially Goursat’s lemma. Furthermore, the index of the subgroup is the product of the index of in , and the index of in .
Some standard notions in group theory can be defined using group extensions.
- A metabelian group is the same thing as an abelian-by-abelian group, i.e. an abelian extension of an abelian group.
- A metacyclic group is the same thing as an cyclic-by-cyclic group, i.e. a cyclic extension of a cyclic group.
- A polycyclic group is defined recursively by declaring the trivial group to be polycyclic of length , and defining a polycyclic group of length to be an extension of a cyclic group by a polycyclic group of length . Thus polycyclic groups are polycyclic-by-cyclic, where the polycyclic factor has a shorter length.
- A supersolvable group is defined recursively by declaring the trivial group to be supersolvable of length , and defining a supersolvable group of length to be a cyclic extension supersolvable group of length . Thus supersolvable groups are cyclic-by-supersolvable, where the supersolvable factor has a shorter length. In other words, supersolvable groups are towers of cyclic extensions.
- A solvable group is defined recursively by declaring the trivial group to be solvable of length , and defining a solvable group of length to be an extension of an abelian group by a solvable group of length . Thus solvable groups are solvable-by-abelian, where the solvable factor has a shorter length. One can equivalently define solvable groups as abelian-by-solvable, where the solvable factor again has a shorter length (because the final term in the derived series is abelian and normal). In other words, a solvable group is a tower of abelian extensions.
- A nilpotent group is defined recursively by declaring the trivial group to be nilpotent of step , and defining a nilpotent group of step to be a central extension of a nilpotent group of step , thus nilpotent groups are central-by-nilpotent. In other words, a nilpotent group is a tower of central extensions.
(The inclusions here are: cyclic implies abelian implies metabelian implies solvable, cyclic implies metacyclic implies supersolvable implies polycyclic implies solvable, metacyclic implies metabelian, and abelian implies nilpotent implies solvable.)
The trivial group is the identity for the “-by-” operator: trivial-by- or -by-trivial is the same thing as .
Now we comment on the associativity of the “-by-” operator. If are groups, observe that an -by-(-by-) group (i.e. an extension of an -by- group by ) is automatically an (-by-)-by- group (i.e. an extension of by an -by- group), since if we denote by the -by-(-by-) group, and the quotient map from to the -by- group, then is a -by- normal subgroup of whose quotient is . Thus, for instance, every cyclic-by-metacyclic group is metacyclic-by-cyclic, and more generally every supersolvable group is polycyclic.
On the other hand, the converse is not true: not every (-by-)-by- group is an -by-(-by-) group. The problem is that is normal in the -by- group, but need not be normal in the (-by-)-by- group. For instance, the semi-direct product is (-by-)-by- but not -by-(-by-). So the “-by-” operation is not associative in general (for instance, there are polycyclic groups that are not supersolvable). However, if is not just normal in the -by- group, but is characteristic in that group, then it is automatically normal in the larger (-by-)-by- group, and then one can interpret the (-by-)-by- group as an -by-(-by-) group. So one recovers associativity when the first factor is characteristic. This explains why solvable groups can be recursively expressed both as abelian-by-solvable, and equivalently as solvable-by-abelian; this is ultimately because the commutator subgroup is a characteristic subgroup of . An easy but useful related observation is that solvable-by-solvable groups are again solvable (with the length of the product being bounded by the sum of the length of the factors).
Given a group property , a group is said to be virtually if it has a finite index subgroup with the property ; thus for instance a virtually abelian group is one with a finite index abelian subgroup, and so forth. (With this convention, “finite” is the same as “virtually trivial”.) This concept is not directly expressible in terms of group extensions for arbitrary properties ; however, if the group property is hereditary in the sense that subgroups of a group are also , then a virtually group is the same concept as a -by-finite group. This is because every finite index subgroup of a group automatically contains a finite index normal subgroup of . (Proof: acts on the finite quotient space by left multiplication, hence the stabiliser of has finite index in . But this stabliser is also normal in and contained in .)
One also observes that if , are hereditary properties, then the property of -by- is hereditary also; if is a -by- group, and is a subgroup of , then the short exact sequence
where is a projection map, demonstrates that is also a -by- group. Thus for instance the properties of being metabelian, metacyclic, polycyclic, supersolvable, solvable, or nilpotent, are hereditary. As a consequence, virtually nilpotent is the same as nilpotent-by-finite, etc.
We saw for hereditary properties that “-by-finite” was the same concept as “virtually “. It is natural to ask whether the same is true for “finite-by-“. The answer is no; for instance, one can extend the an infinite vector space over a finite field by (using some non-degenerate bilinear anti-symmetric form , and defining for and ) to create a nilpotent group which is finite-by-abelian, but not virtually abelian. Conversely, the semi-direct product (where acts on by reflection) is virtually abelian, but not finite-by-abelian. On the other hand, for hereditary , a finite-by- group is virtually (central finite)-by-. This is because if is an extension of a group by a finite group , then acts by conjugation on the finite group ; the stabiliser of this action is then a finite index subgroup, whose intersection of is then central in . The projection of onto is also a group by the hereditary nature of , and the claim follows.
Remark 1 There is a variant of the above result which is also useful. Suppose one has an -by- group in which the action of on is virtually trivial (i.e. there are only a finite number of distinct automorphisms of induces by . Then is virtually a central -by- group for some finite index subgroups of .
One can phrase various results in group theory in a succinct form using this notation. For instance, one of the results in my earlier blog post on amenability now states that amenable-by-amenable groups are amenable. Another example that I have been looking at recently is this paper of Larsen and Pink, the main result of which is a classification of finite linear groups over a field of characteristic , namely that such groups are virtually (-group by abelian) by (semisimple of Lie type), where one has bounds on the index of the “virtually” and on the type of the semisimple group.