<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (XMod) - Chapter 1: Introduction</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
</head>
<body>
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">Top of Book</a> <a href="chap0.html">Previous Chapter</a> <a href="chap2.html">Next Chapter</a> </div>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<div class="ChapSects"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
</div>
<h3>1 <span class="Heading">Introduction</span></h3>
<p>The <strong class="pkg">XMod</strong> package provides functions for computation with</p>
<ul>
<li><p>finite crossed modules and cat1-groups, and morphisms of these structures;</p>
</li>
<li><p>finite pre-crossed modules, pre-cat1-groups, and their Peiffer quotients;</p>
</li>
<li><p>derivations of crossed modules and sections of cat1-groups;</p>
</li>
<li><p>the actor crossed square of a crossed module; and</p>
</li>
<li><p>crossed squares and their morphisms (experimental version).</p>
</li>
</ul>
<p>It is loaded with the command</p>
<table class="example">
<tr><td><pre>
gap> LoadPackage( "xmod" );
</pre></td></tr></table>
<p>The term crossed module was introduced by J. H. C. Whitehead in <a href="chapBib.html#biBW2">[Whi48]</a>, <a href="chapBib.html#biBW1">[Whi49]</a>. Loday, in <a href="chapBib.html#biBL1">[Lod82]</a>, reformulated the notion of a crossed module as a cat1-group. Norrie <a href="chapBib.html#biBN1">[Nor90]</a>, <a href="chapBib.html#biBN2">[Nor87]</a> and Gilbert <a href="chapBib.html#biBG1">[Gil90]</a> have studied derivations, automorphisms of crossed modules and the actor of a crossed module, while Ellis <a href="chapBib.html#biBE1">[Ell84]</a> has investigated higher dimensional analogues. Properties of induced crossed modules have been determined by Brown, Higgins and Wensley in <a href="chapBib.html#biBBH1">[BH78]</a>, <a href="chapBib.html#biBBW1">[BW95]</a> and <a href="chapBib.html#biBBW2">[BW96]</a>. For further references see <a href="chapBib.html#biBAW1">[AW00]</a>, where we discuss some of the data structures and algorithms used in this package, and also tabulate isomorphism classes of cat1-groups up to size 30.</p>
<p><strong class="pkg">XMod</strong> was originally implemented in 1997 using the <strong class="pkg">GAP</strong> 3 language. In April 2002 the first and third parts were converted to <strong class="pkg">GAP</strong> 4, the pre-structures were added, and version 2.001 was released. The final two parts, covering derivations, sections and actors, were included in the January 2004 release 2.002 for <strong class="pkg">GAP</strong> 4.4. The current version is 2.12, released on 24th November 2008.</p>
<p>Many of the function names have been changed during the conversion, for example <code class="code">ConjugationXMod</code> has become <code class="code">XModByNormalSubgroup</code>. For a list of name changes see the file <code class="file">names.pdf</code> in the <code class="file">doc</code> directory.</p>
<p>Crossed modules and cat1-groups are special types of <em>2-dimensional groups</em> <a href="chapBib.html#biBB82">[Bro82]</a> and are implemented as <code class="code">2dObjects</code> having a <code class="code">Source</code> and a <code class="code">Range</code>. See the file <code class="file">notes.pdf</code> in the <code class="file">doc</code> directory for an introductory account of these algebraic gadgets.</p>
<p>The package divides into four parts, all converted from <strong class="pkg">GAP</strong> 3 to the <strong class="pkg">GAP</strong> 4.4 release.</p>
<p>The first part is concerned with the standard constructions for pre-crossed modules and crossed modules; together with direct products; normal sub-crossed modules; and quotients. Operations for constructing pre-cat1-groups and cat1-groups, and for converting between cat1-groups and crossed modules, are also included.</p>
<p>The second part is concerned with <em>morphisms</em> of (pre-)crossed modules and (pre-)cat1-groups, together with standard operations for morphisms, such as composition, image and kernel.</p>
<p>The third part deals with the equivalent notions of <em>derivation</em> for a crossed module and <em>section</em> for a cat1-group, and the monoids which they form under the Whitehead multiplication.</p>
<p>The fourth part deals with actor crossed modules and actor cat1-groups. For the actor crossed module Act(mathcalX) of a crossed module mathcalX we require representations for the Whitehead group of regular derivations of mathcalX and for the group of automorphisms of mathcalX. The construction also provides an inner morphism from mathcalX to Act(mathcalX) whose kernel is the centre of mathcalX.</p>
<p>From version 2.007 there are experimental functions for <em>crossed squares</em> and their morphisms, structures which arise as 3-dimensional groups. Examples of these are inclusions of normal sub-crossed modules, and the inner morphism from a crossed module to its actor.</p>
<p>The package may be obtained as a compressed tar file <code class="file">xmod.2.11.tar.gz</code> by ftp from one of the sites with a <strong class="pkg">GAP</strong> 4 archive, or from the Bangor Mathematics web site whose URL is: <span class="URL"><a href="http://www.informatics.bangor.ac.uk/public/mathematics/chda/">http://www.informatics.bangor.ac.uk/public/mathematics/chda/</a></span></p>
<p>The following constructions were not in the <strong class="pkg">GAP</strong> 3 version of the package: sub-2d-object functions, functions for pre-crossed modules and the Peiffer subgroup of a pre-crossed module, and the associated crossed modules. The source and range groups in these constructions are no longer required to be permutation groups.</p>
<p>Future plans include the implementation of <em>group-graphs</em> which will provide examples of pre-crossed modules (their implementation will require interaction with graph-theoretic functions in <strong class="pkg">GAP</strong> 4). Cat2-groups, and conversion betwen these and crossed squares, are also planned.</p>
<p>The equivalent categories <code class="code">XMod</code> (crossed modules) and <code class="code">Cat1</code> (cat1-groups) are also equivalent to <code class="code">GpGpd</code>, the subcategory of group objects in the category <code class="code">Gpd</code> of groupoids. Finite groupoids have been implemented in Emma Moore's package <strong class="pkg">Gpd</strong> <a href="chapBib.html#biBM1">[Moo01]</a> for groupoids and crossed resolutions.</p>
<p>In order that the user has some control of the verbosity of the <strong class="pkg">XMod</strong> package's functions, an <code class="code">InfoClass</code> <code class="code">InfoXMod</code> is provided (see Chapter <code class="code">ref:Info Functions</code> in the <strong class="pkg">GAP</strong> Reference Manual for a description of the <code class="code">Info</code> mechanism). By default, the <code class="code">InfoLevel</code> of <code class="code">InfoXMod</code> is <code class="code">0</code>; progressively more information is supplied by raising the <code class="code">InfoLevel</code> to <code class="code">1</code>, <code class="code">2</code> and <code class="code">3</code>.</p>
<table class="example">
<tr><td><pre>
gap> SetInfoLevel( InfoXMod, 1); #sets the InfoXMod level to 1
</pre></td></tr></table>
<p>Once the package is loaded, it is possible to check the correct installation by running the test suite of the package with the following command. (The test file itself is <code class="file">tst/xmod_manual.tst</code>.)</p>
<table class="example">
<tr><td><pre>
gap> ReadPackage( "xmod", "tst/testall.g" );
+ Testing all example commands in the XMod manual
+ GAP4stones: 0
true
</pre></td></tr></table>
<p>Additional information can be found on the <em>Computational Higher-dimensional Discrete Algebra</em> web site at <span class="URL"><a href="http://www.informatics.bangor.ac.uk/public/mathematics/chda/">http://www.informatics.bangor.ac.uk/public/mathematics/chda/</a></span></p>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap0.html">Previous Chapter</a> <a href="chap2.html">Next Chapter</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
91213ddcfbe7f54821d42c2d9e091326
>
files
>
3095
