1) a normal subgroup of ;
2) a -module (cf. also Module);
3) the inner automorphism mapping ;
4) an epimorphism with central kernel. The two conditions are:
for all and , where is the action of on .
The notion is due to J.H.C. Whitehead [a9] and plays an important role in the theory of algebraic models of homotopy types of spaces.
In topology the structure arises from the second relative homotopy group and its boundary [a5], or as for a fibration . The second example has been used in relative algebraic -theory, to give a crossed module for an ideal in a ring .
From the first of these examples, crossed modules can be seen as -dimensional versions of groups, with , as, respectively, the - and -dimensional parts. This impression is confirmed by the existence of a functorial classifying space functor of such a crossed module whose homotopy groups are , in dimensions and and are otherwise . For any connected pointed CW-complex there are a crossed module and a mapping inducing an isomorphism in homotopy in dimensions and . This results from a homotopy classification of mappings . Thus, crossed modules capture all homotopy -types. These results are special cases of results on crossed complexes (cf. also Crossed complex).
It was proved in [a2] that the homotopy crossed module functor from pointed pairs of spaces to crossed modules satisfies a generalized Van Kampen theorem, in that it preserves certain colimits. This allows for the determination of certain second relative homotopy groups as crossed modules, thus giving non-trivial non-Abelian information and often determining the -type of a space. Some of the explicit calculations are conveniently done by computer [a8].
One consequence of the generalized Van Kampen theorem is a result of J.H.C. Whitehead [a9], giving a certain second relative homotopy group as a free crossed module : this is determined by a function from a set to the group and satisfies a universal property. A common situation is when is the free group on a set , and is an inclusion: then the free crossed module is determined by the presentation of the group , and is known as the -module of identities among relations [a4], [a5] for the presentation. This module should be thought of as giving a non-Abelian form of syzygies (cf. also Syzygy), and as the start of a free crossed resolution of the group . Free crossed modules are also conveniently seen as special cases of crossed modules induced from a crossed module by a morphism of groups [a2], [a8].
There are a number of other algebraically defined categories equivalent to the category of crossed modules, namely: group objects in groupoids; groupoid objects internal to the category of groups; group objects internal to the category of groupoids; cat-groups; simplicial groups whose Moore complex is of length (cf. also Simplicial complex); and certain kinds of double groupoids. This last fact is crucial in the proof of the generalized Van Kampen theorem in [a2], which uses a homotopy double groupoid of a pair of spaces. It is important to note that group objects internal to the category of groups are just Abelian groups: thus, the extension to groupoid objects in groups, or groupoid objects in groupoids, opens up the area of higher-dimensional non-Abelian structures for modeling geometry, and this has been exploited by a number of mathematicians. This seems to answer a dream of the topologists of the early part of the 20th century, of finding a higher-dimensional but still non-commutative analogue of the fundamental group.
Generalizing the above to the case where is a groupoid rather than group yields the notion of crossed module of groupoids. This is important for many applications, and is the convenient format also for the generalized Van Kampen theorem. Such crossed modules are equivalent to -groupoids [a3].
The notion of groupoid object internal to the category of groups generalizes to groupoid object in other categories, and in many cases (basically when quotients are determined by kernels) one obtains a corresponding notion of crossed module [a7]. Such a notion is at the root of the area of non-Abelian homological algebra, see for example [a1], [a6].
A crossed module of groupoids has a classifying space , and this gives a connection with homotopy -types (see [a10] for details and references).
|[a1]||L. Breen, "Bitorseurs et cohomologie non–Abélienne" P. Cartier (ed.) et al. (ed.) , The Grothendieck Festschrift: a Collection of Articles Written in Honour of the 60th Birthday of Alexander Grothendieck , I , Birkhäuser (1990) pp. 401–476 MR1086889 Zbl 0743.14034|
|[a2]||R. Brown, P.J. Higgins, "On the second relative homotopy groups of some related spaces" Proc. London Math. Soc. , 36 : 3 (1978) pp. 193–212 MR478150 Zbl 0405.55015|
|[a3]||R. Brown, P.J. Higgins, "The equivalence of -groupoids and crossed complexes" Cah. Topol. Géom. Diff. , 22 (1981) pp. 371–386 MR639048|
|[a4]||R. Brown, J. Huebschmann, "Identities among relations" R. Brown (ed.) T.L. Thickstun (ed.) , Low Dimensional Topology , London Math. Soc. Lecture Notes , 48 , Cambridge Univ. Press (1982) pp. 153–202 MR0662431 Zbl 0485.57001|
|[a5]||"Two-dimensional homotopy and combinatorial group theory" C. Hog-Angeloni (ed.) W. Metzler (ed.) A.J. Sieradski (ed.) , London Math. Soc. Lecture Notes , 197 , Cambridge Univ. Press (1993) MR1279174 Zbl 0788.00031|
|[a6]||A.S.-T. Lue, "Cohomology of groups relative to a variety" J. Algebra , 69 (1981) pp. 155–174 MR0613866 Zbl 0468.20044|
|[a7]||T. Porter, "Extensions, crossed modules and internal categories in categories of groups with operators" Proc. Edinburgh Math. Soc. , 30 (1987) pp. 373–381|
|[a8]||C.D. Wensley, M. Alp, "XMOD: a GAP share package" , Acad. Press Council (1997)|
|[a9]||J.H.C. Whitehead, "Combinatorial homotopy II" Bull. Amer. Math. Soc. , 55 (1949) pp. 453–496 MR0030760 Zbl 0040.38801|
|[a10]||R. Brown, "Groupoids and crossed objects in algebraic topology" Homology, Homotopy and Appl. , 1 (1999) pp. 1–78 MR1691707 Zbl 0920.55002|
Crossed module. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Crossed_module&oldid=16728