<?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 5: Actors of 2d-objects</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="chap4.html">Previous Chapter</a> <a href="chap6.html">Next Chapter</a> </div>
<p><a id="X815CE6AF7EF49FB5" name="X815CE6AF7EF49FB5"></a></p>
<div class="ChapSects"><a href="chap5.html#X815CE6AF7EF49FB5">5 <span class="Heading">Actors of 2d-objects</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap5.html#X7B853602873FC7AB">5.1 <span class="Heading">Actor of a crossed module</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5.html#X790EBC7C7D320C03">5.1-1 WhiteheadXMod</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap5.html#X847ABE6F781C7FE8">5.1-2 Centre</a></span>
</div>
</div>
<h3>5 <span class="Heading">Actors of 2d-objects</span></h3>
<p><a id="X7B853602873FC7AB" name="X7B853602873FC7AB"></a></p>
<h4>5.1 <span class="Heading">Actor of a crossed module</span></h4>
<p>The <em>actor</em> of cal X is a crossed module (Delta ~:~ cal W(cal X) -> Aut(cal X)) which was shown by Lue and Norrie, in \cite{N2} and \cite{N1} to give the automorphism object of a crossed module cal X. In this implementation, the source of the actor is a permutation representation W of the Whitehead group of regular derivations, and the range is a permutation representation A of the automorphism group Aut(cal X) of cal X.</p>
<p><a id="X790EBC7C7D320C03" name="X790EBC7C7D320C03"></a></p>
<h5>5.1-1 WhiteheadXMod</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> WhiteheadXMod</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> LueXMod</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NorrieXMod</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> ActorXMod</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> AutomorphismPermGroup</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>An automorphism ( sigma, rho ) of <code class="code">X</code> acts on the Whitehead monoid by chi^(sigma,rho) = sigma circ chi circ rho^-1, and this action determines the action for the actor. In fact the four groups R, S, W, A, the homomorphisms between them, and the various actions, give five crossed modules forming a <em>crossed square</em>:</p>
<ul>
<li><p>cal X = (partial : S -> R),~ the initial crossed module, on the left,</p>
</li>
<li><p>cal W(X) = (eta : S -> W),~ the Whitehead crossed module of cal X, at the top,</p>
</li>
<li><p>cal L(X) = (Deltacirceta = alphacircpartial : S -> A),~ the Lue crossed module of cal X, along the top-left to bottom-right diagonal,</p>
</li>
<li><p>cal N(X) = (alpha : R -> A),~ the Norrie crossed module of cal X, at the bottom, and</p>
</li>
<li><p>Act(cal X) = ( Delta : W -> A),~ the actor crossed module of cal X, on the right.</p>
</li>
</ul>
<p><a id="X847ABE6F781C7FE8" name="X847ABE6F781C7FE8"></a></p>
<h5>5.1-2 Centre</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> Centre</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> InnerActor</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> InnerMorphism</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>Pairs of boundaries or identity mappings provide six morphisms of crossed modules. In particular, the boundaries of mathcalW(mathcalX) and mathcalN(mathcalX) form the <em>inner morphism</em> of mathcalX, mapping source elements to principal derivations and range elements to inner automorphisms. The image of mathcalX under this morphism is the <em>inner actor</em> of mathcalX, while the kernel is the <em>centre</em> of mathcalX. In the example which follows, using the crossed module <code class="code">(X3 : c3 -> s3)</code> from Chapter <a href="chap4.html#X7C01AE7783898705"><b>4</b></a>, the inner morphism is an inclusion of crossed modules.</p>
<table class="example">
<tr><td><pre>
gap> X3;
[c3->s3]]
gap> WGX3 := WhiteheadPermGroup( X3 );
Group( [ (1,2,3)(4,5,6), (1,4)(2,6)(3,5) ] )
gap> APX3 := AutomorphismPermGroup( X3 );
Group( [ (3,4,5), (1,2)(4,5) ] )
gap> WX3 := WhiteheadXMod( X3 );; Display( WX3 );
Crossed module Whitehead[c3->s3] :-
: Source group has generators:
[ ( 1, 2, 3)( 4, 6, 5) ]
: Range group has generators:
[ (1,2,3)(4,5,6), (1,4)(2,6)(3,5) ]
: Boundary homomorphism maps source generators to:
[ (1,3,2)(4,6,5) ]
: Action homomorphism maps range generators to automorphisms:
(1,2,3)(4,5,6) --> { source gens --> [ (1,2,3)(4,6,5) ] }
(1,4)(2,6)(3,5) --> { source gens --> [ (1,3,2)(4,5,6) ] }
These 2 automorphisms generate the group of automorphisms.
gap> LX3 := LueXMod( X3 );
Lue[c3->s3]
gap> NX3 := NorrieXMod( X3 );
Norrie[c3->s3]
gap> AX3 := ActorXMod( X3 );; Display( AX3);
Crossed module Actor[c3->s3] :-
: Source group has generators:
[ (1,2,3)(4,5,6), (1,4)(2,6)(3,5) ]
: Range group has generators:
[ (3,4,5), (1,2)(4,5) ]
: Boundary homomorphism maps source generators to:
[ (3,5,4), (1,2)(4,5) ]
: Action homomorphism maps range generators to automorphisms:
(3,4,5) --> { source gens --> [ (1,2,3)(4,5,6), (1,5)(2,4)(3,6) ] }
(1,2)(4,5) --> { source gens --> [ (1,3,2)(4,6,5), (1,4)(2,6)(3,5) ] }
These 2 automorphisms generate the group of automorphisms.
gap> IAX3 := InnerActorXMod( X3 );; Display( IAX3 );
Crossed module InnerActor[c3->s3] :-
: Source group has generators:
[ (1,3,2)(4,6,5) ]
: Range group has generators:
[ (3,5,4), (1,2)(4,5) ]
: Boundary homomorphism maps source generators to:
[ (3,4,5) ]
: Action homomorphism maps range generators to automorphisms:
(3,5,4) --> { source gens --> [ (1,3,2)(4,6,5) ] }
(1,2)(4,5) --> { source gens --> [ (1,2,3)(4,5,6) ] }
These 2 automorphisms generate the group of automorphisms.
gap> IMX3 := InnerMorphism( X3 );; Display( IMX3 );
Morphism of crossed modules :-
: Source = [c3->s3] with generating sets:
[ ( 1, 2, 3)( 4, 6, 5) ]
[ (4,5,6), (2,3)(5,6) ]
: Range = Actor[c3->s3] with generating sets:
[ (1,2,3)(4,5,6), (1,4)(2,6)(3,5) ]
[ (3,4,5), (1,2)(4,5) ]
: Source Homomorphism maps source generators to:
[ (1,3,2)(4,6,5) ]
: Range Homomorphism maps range generators to:
[ (3,5,4), (1,2)(4,5) ]
gap> Centre( X3 );
[Group( () )->Group( () )]
</pre></td></tr></table>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap4.html">Previous Chapter</a> <a href="chap6.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
>
3103
