Authors: MURAT ALP
Abstract: In this paper we describe a share package XMOD of functions for computing with finite, permutation crossed modules, their morphisms and derivations; cat$^1$-groups, their morphisms and their sections, written using the GAP \cite{GAP} group theory programming language. We also give some mathematical results for derivations. These results are suggested by the output produced by the XMOD package.
Keywords: Crossed modules, derivation, whitehead multiplication.
Full Text: PDF