| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/xmod/doc/ (GAP Algebra Version 4.15.1©) Datei vom 10.6.2025 mit Größe 106 kB |
|
Quelle chap2_mj.htmlSprache: HTML |
||
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" http:/wwww./html1DTDxhtml1strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLor </script> <title>GAP (XMod) - Chapter 2: 2d-groups : crossed modules and cat\(^1\)-[-1,00,[-,][0,,-1]j <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" /> <script src="manual.js" type="text/javascript"></script> <script type="text/javascript">overwriteStyle();</script> </head> <body class="chap2" onload="jscontent()"> <div classrec(1:rec(:=[[-1,,00,0-,0,00java.lang.StringIndexOutOfBoundsException: I <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a1,0][0,0,,1], <p id="mathjaxlink" class="pcenter"><a href="chap2.html">[MathJax off]</a></p> <p><a id="X7EB8288E8424F39F" name="X7EB8288E8424F39F"></a></p> <iv class="">a href="chap2_mj.html#X7EB8288E8424F39F"2 < class="Heading"2d-roups:crosse <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span[/,12,1], <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X83050ED68677693 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X867B2D53832EF05 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X78B14FDA817CCEE <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7D0F6FAA7AF6984 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X84FA2B0A795B699 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html[[-1,0,0,0,[010,0 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X81704DFB795C0D2 <span class="[/2,/2121]java.lang.StringIndexOutOfBoundsException: Index 17 out of <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7AF6602C87845F1 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7846A7D37957B89 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X85516B19803C01C </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7E77E6B881B1CE5 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7884284383284A8 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7D8165F77B23BCF </div><div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8487BE427858C5C <span class="ContSS"><br /><panclass"nocss"> &bsp<span< href=chap2_mj.htmlX8527F4C07A8F359E">2 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7CF4C37F87D27EB <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7C4FFC408653115 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X79944C7B87F767F <span class="ContSS"</<span class"">nbsp&;/pan>ahref=chtml#79385660821E54A3>.- </a<span <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X87544FAD873672E :java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3 <span class=rgenerators:=[-,,00]0-,,][,1, </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html Properties of cat<span class="SimpleMath">\(^1\)</span>-groups and pre-cat<span class="Simp </span></a> </span> <div class="ContSSBlock"> <spanclass"ContSS"><br /><span class="nocss"> </span<a href="chap2_mj.html#X78E03FAB84A57D03 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7B7CF88F83B0129 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X82F10A59867C765 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7BDEBBF17CE6A6D <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7FBFC8C87FC1AC5 <span class="ContSS"><br /><span class="nocss"> [-00,,0,00,00,,]java.lang.StringIndexOutOf <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7C6346A17FEEDFA </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7B8E67D880E380C </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj[010] </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7831DB527CF9DD5 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X83BBC6818168C28 </div></div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html </span> <div class="ContSSBlock"> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X7AF5AF668331321 <span class="ContSS"><br /><span class="nocss"> </span><a href="chap2_mj.html#X8578AB6D7C1FC4F </div></div> </div> <h3>2 <span class="Heading">2d-groups : crossed modules and cat<span class="SimpleMath">\(^1\)< <p>The term <em>2d-group</em> refers to a set of equivalent categories of which the most common are th <><a idX7BAD9A7F7AFEEC89 XBAD9A7F7AFEEC89</a<> <h4>2.1 <span class="Heading">Constructions for crossed modules</span></h4> <p>A crossed module (of groups) <span class="SimpleMath">\(\calX = (\partial : S \to R )\)</span> co <p class="center">\[ {\bf XMod\ 1} : \partial(s^r) = r^{-1} (\partial s) r = (\partial s)^r, \qquad {\bf java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length = s_2^{-1}s_1 s_2 = {s_1}^{s_2}. \]</p> <p>When only the first of these axioms is satisfied, the resulting structure is a <em>pre-crossed m <p>(Much of the literature on crossed modules uses left actions, but we have chosen to use[[10,0] <p><a id="X7C8175AE7F76B586" name="X7C8175AE7F76B586"></a></p> <h5>2.1-1 XMod</h5> <div0001]java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for le <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>The global function <code class="code">XMod</code> calls one of the standard constructions des <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">c5 := Group( (5,6,7,8,9) );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( c5, "c5" );</span> <span class="GAPprompt">gap></span> <span class="GAPinput">id5 := IdentityMapping( c5 );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">ac5 := AutomorphismGroup( c5 );; </sp <span class="GAPprompt">gap></span> <span class="GAPinput">act := MappingToOne( c5, ac5 );;</spa <span class="GAPprompt">gap></span> <span class="GAPinput">XMod( id5, act ) = XModByBoundaryAnd true </pre></div> <p><a id="X83050ED686776933" name="X83050ED686776933"></a></p> <h5>2.1-2 XModByNormalSubgroup</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>A <em>conjugation crossed module</em> is the inclusion of a normal subgroup <span class="SimpleM <p><a id="X867B2D53832EF05E" name="X867B2D53832EF05E"></a></p> <h5>2.1-3 XModByTrivialAction</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>A <em>trivial action crossed module</em> <span class="SimpleMath">\((\partial : S \to R)\)</span> <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">q8 := QuaternionGroup( IsPermGroup Group([ (1,5,3,7)(2,8,4,6), (1,2,3,4)(5,6,7,8) ]) <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( q8, "q8" );</span> <span class="GAPprompt">gap></span> <span class="GAPinput">c2 := Centre( q8 ); </span> Group([ (1,3)(2,4)(5,7)(6,8) ]) <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( c2, "<-1>" );</span> <span class="GAPprompt">gap></span> <span class="GAPinput">bdy := InclusionMappingGroups( q8, <span class="GAPprompt">gap></span> <span class="GAPinput">X8a := XModByTrivialAction( bdy );</ [<-1>->q8] <span class="GAPprompt">gap></span> <span class="GAPinput">c4 := Subgroup( q8, [q8.1] );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( c4, "<i>" );</span> <span class="GAPprompt">gap></span> <span class="GAPinput">X8b := XModByNormalSubgroup( q8, c4 [<i>->q8] <span class="GAPprompt">gap></span> <span class="GAPinput">Display(X8b); </span> Crossed module [<i>->q8] :- : Source group has generators: [ (1,5,3,7)(2,8,4,6) ] :[0,0,,0,1], [ (1,5,3,7)(2,8,4,6), (1,2,3,4)(5,6,7,8) ] : Boundary homomorphism maps source generators to: [ (1,5,3,7)(2,8,4,6) ] : Action homomorphism maps range generators to automorphisms: (1,5,3,7)(2,8,4,6) --> { source gens --> [ (1,5,3,7)(2,8,4,6) ] } (1,2,3,4)(5,6,7,8) --> { source gens --> [ (1,7,3,5)(2,6,4,8) ] } hese2 automorphisms generatethe group ofautomorphisms. </pre></div> <p><a id="X78B14FDA817CCEEF" name="X78B14FDA817CCEEF"></a></p> <h5>2.1-4 XModByAutomorphismGroup</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table[[-1,,0,0,,0],00-1]java.lang.StringIndexOutOfBoundsException <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>An <em>automorphism crossed module</em> has as range a subgroup <span class="SimpleMath">\(R\)</ <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">X5 := XModByAutomorphismGroup( c5 ) [c5 -> Aut(c5)] <span class="GAPprompt">gap></span> <span class="GAPinput">Display( X5 );</span> Crossed module [c5->Aut(c5)] :- : Source group c5 has generators: [ (5,6,7,8,9) ] : Range group Aut(c5) has generators: [ GroupHomomorphismByImages( c5, c5, [ (5,6,7,8,9) ], [ (5,7,9,6,8) ] ) ] : Boundary homomorphism maps source generators to: [ IdentityMapping( c5 ) ] : Action homomorphism maps range generators to automorphisms: GroupHomomorphismByImages( c5, c5, [ (5,6,7,8,9) ], [ (5,7,9,6,8) ] ) --> { source gens --> [ (5,7,9,6,8) ] } This automorphism generates the group of automorphisms. </pre></div> <p><a id="X7D0F6FAA7AF69844" name="X7D0F6FAA7AF69844"></a></p> <h5>2.1-5 XModByCentralExtension</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>A <em>central extension crossed module</em> has as boundary a surjection <span class="SimpleMat <div class="example"><pre> <span class="GAPprompt">gap></<,0,1/21]java.lang.StringIndexOutOfBoundsException: Inde <span class="GAPprompt">gap></span> <span class="GAPinput">d12 := Group( gen12 );; </span> <span class"APprompt">gap&/span> <panclass"APinput">gen6 := [ (7,8,9) <span class="GAPprompt">gap></span> <span class="GAPinput">s3 := Group( gen6 );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( d12, "d12" ); SetName( s3, " <span class="GAPprompt">gap></span> <span class="GAPinput">pr12 := GroupHomomorphismByImages <span class="GAPprompt">gap></span> <span [,,/21], true <span class="GAPprompt">gap></span> <span class="GAPinput">X12 := XModByCentralExtension( pr1 <span class="GAPprompt">gap></span> <span class="GAPinput">Display( X12 ); </span> Crossed module [d12->s3] :- : Source group d12 has generators: [ (1,2,3,4,5,6), (2,6)(3,5) ] : Range group s3 has generators: [ (7,8,9), (8,9) ] : Boundary homomorphism maps source generators to: [ (7,8,9), (8,9) ] : Action homomorphism maps range generators to java.lang.StringIndexOutOfBoundsExceptio (7,8,9) --> { source gens --> [ (1,2,3,4,5,6), (1,3)(4,6) ] } (8,9) --> { source gens --> [ (1,6,5,4,3,2), (2,6)(3,5) ] } These 2 automorphisms generate the group of automorphisms. </pre></div> <p><a id="X84FA2B0A795B6997" name="X84FA2B0A795B6997"></a></p> <h5>2.1-6 XModByPullback</h5> <ivclass="unc><able class"func width="100%"><tr><td class="tdleft"><code class="func">&#le='color: green'>8227; XModByPullback</code>( <var class="Arg">xmod</var>, <var class="Arg">h <p>Let <span class="SimpleMath">\(\calX_0 = (\mu : M \to P)\)</span> be a crossed module. If <span cla <p>The example forms a pullback of the crossed module <code class="code">X12</code> of the previous <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">gens4 := [ (11,12), (12,13), (13,14) <span class"GAPprompt">gap></span> <span class="GAPinput">s4 := Group( gens4 );; </span> <span class="GAPprompt">gap></span> <span class="GAPinput">theta := GroupHomomorphismByImage <span class="GAPprompt">gap></span> <span class="GAPinput">X1 := XModByPullback( X12, theta );; < <1,0],0001]java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for "C2 x S4" <span class="GAPprompt">gap></span> <span class="GAPinput <span class="GAPprompt">gap></span> <span class="GAPinput">infoX1 := PullbackInfo( Source( X1 ) <span class="GAPprompt">gap></span> <span class="GAPinput">infoX1!.directProduct;</span> Group([ (1,2,3,4,5,6), (2,6)(3,5), (7,8), (8,9), (9,10) ]) <span class="GAPprompt">gap></span> <span class="GAPinput">infoX1!.projections[1];</span> [ (7,8)(9,10), (7,9)(8,10), (2,6)(3,5)(8,9), (1,5,3)(2,6,4)(8,10,9), (1,6,5,4,3,2)(8,9,10) ] -> [ (), (), (2,6)(3,5), (1,5,3)(2,6,4), (1,6,5,4,3,2) ] <span class="GAPprompt">gap></span> <span class="GAPinput">infoX1!.projections[2];</span> [ (7,8)(9,10), (7,9)(8,10), (2,6)(3,5)(8,9), (1,5,3)(2,6,4)(8,10,9), (1,6,5,4,3,2)(8,9,10) ] -> [ (11,12)(13,14), (11,13)(12,14), (12,13), (12,14,13), (12,13,14) ] </pre></div> <p><a id="X824631577864961E" name="X824631577864961E"></a></p> <h5>2.1-7 XModByAbelianModule</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>A <em>crossed abelian module</em> has an abelian module as source and the zero map as boundary. See <p><a id="X81704DFB795C0D29" name="X81704DFB795C0D29"></a></p> <h5>2.1-8 DirectProduct</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>The direct product <span class="SimpleMath">\(\calX_{1} \times \calX_{2}\)</span> of two cro <p>The example constructs the product of the two crossed modules formed in subsection <code class <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">X8ab := DirectProduct( X8a, X8b );</s [[&t1>->q8]x[<i>->q8]] <span class="GAPprompt">gap></span> <span class="GAPinput">infoX8ab := DirectProductInfo( X8a rec( embeddings := [ [[<-1>->q8] => [<-1>x<i>->q8xq8]], [[<i>->q8] => [<-1>x<i>->q8xq8]] ], objects := [ [<-1>->q8], [<i>->q8] ] ,java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6 projections := [ [[<-1>x<i>->q8xq8] => [<-1>->q8]], [[<-1>x<i>->q8xq8] => [<i>->q8]] ] ) <span class="GAPprompt">gap></span> <span class="GAPinput">DirectProduct( X8a, X8b, X12 );</spa [[[<-1>->q8]x[<i>->q8]]x[d12->s3]] </pre></div> <p><a id="X790248A67CB9C33A" name="X790248A67CB9C33A"></a></p> <h5>2.1-9 Source</h5> <div=[[1,0,,0-0,0,0,1]], <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>The following attributes are used in the construction of a crossed module <code class="code">X <ul> <li><[[0,1,],[-,,0]][0,0,], </li> <li><p><code class="code">XModAction(X0)</code> is a homomorphism from <span class="SimpleMath">\ </li> </ul> <p>(Up until version 2.63 there was an additional attribute <code class="code">AutoGroup</code>, <p>The example uses the crossed module <code class="code">X12</code> constructed in subsection <co <div class="example"><pre> <s"GAPprompt">gap></span> <span class="GAPinput">[ Source( X12 ), Range( X12 ) ]; </span> [ d12, s3 ] <span class="GAPprompt">gap></span> <span class="GAPinput">Boundary( X12 ); </span> [ (1,2,3,4,5,6), (2,6)(3,5) ] -> [ (7,8,9), (8,9) ] <span class="GAPprompt">gap></span> <span class="GAPinput">XModAction( X12 );</span> [ (7,8,9), (8,9) ] -> [ [ (1,2,3,4,5,6), (2,6)(3,5) ] -> [ (1,2,3,4,5,6), (1,3)(4,6) ], [ (1,2,3,4,5,6), (2,6)(3,5) ] -> [ (1,6,5,4,3,2), (2,6)(3,5) ] ] </pre></div> <p><a id="X7AF6602C87845F1D" name="X7AF6602C87845F1D"></a></p> <h5>2[00,01] <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>This function returns the element <span class="SimpleMath">\(s^r\)</span> given by <code class <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">ImageElmXModAction( X12, (1,2,3,4 (1,6,5,4,3,2) </pre></div> <p><a id="X7846A7D37957B89E" name="X7846A7D37957B89E"></a></p> <h5>2.1-11 Size2d</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"[-10,0,0,-1,0],[0, <p>The standard operation <code class="code">Size</code> cannot be used for crossed modules becau <p>In the simple example below, <code class="code">X5</code> is the automorphism crossed module co <div java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length <span class="GAPprompt">gap></span> <span class="GAPinput">Size2d( X5 ); </span> [ , 4 ] </pre></div> <p><a id="X85516B19803C01C0" name="X85516B19803C01C0"></a></p> <h5>2.1-12 Name</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div[0,,], <p>More familiar attributes are <code class="code">Name</code> and <code class="code">IdGroup</co hecodeclass"unc>ExternalSetXMod</codecrossed module isthe java.lang.StringIndexOutOfB <p>The <code class="code">Display</code> function is used to print details of 2d-groups.</p> <p>The <code class="code">Print</code> statements at the end of the example list the <strong class=" <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">IdGroup( X5 ); </span> [ [ 5, 1 ], [ 4, 1 ] ] <span class="GAPprompt">gap></span> <span class="GAPinput">ext := ExternalSetXMod( X5 ); </span> <xset:[ (), (5,6,7,8,9), (5,7,9,6,8), (5,8,6,9,7), ([0,10,[-1,0,0],[0,0,1]], <span class="GAPprompt">gap></span> <span class="GAPinput">Orbits( ext );</span> [ [ () ], [ (5,6,7,8,9), (5,7,9,6,8), (5,9,8,7,6), (5,8,6,9,7) ] ] <span class="GAPprompt">gap></span> ,][,0-]]java.lang.StringIndexOutOfBoundsException: [ (5,6,7,8,9) ] -> [ (5,9,8,7,6) ] <span class="GAPprompt">gap></span> <span class="GAPinput">ImageElmXModAction( X5, (5,7,9,6, (5,8,6,9[-1,,0],0,10,0,0,-]] <span class="GAPprompt">gap></span> <span class="GAPinput">Print( RepresentationsOfObject(X [ "IsComponentObjectRep", "IsAttributeStoringRep", "IsPreXModObj" ] <span class="GAPprompt">gap>[[0,0]-1,0,0],0,,1]java.lang.Str [ "Name", "Range", "Source", "IdGroup", "Boundary", "Size2d", "XModAction", "ExternalSetXMod", "HigherDimension" ] </pre></div> <p><a id="X7CF622538749FE73" name="X7CF622538749FE73"></a></p> <h4>2.2 <span class="Heading">Properties of crossed modules</span></h4> <p>The underlying category structures for the objects constructed in this chapter(generators <p>There are then a variety of properties associated with crossed modules, starting with <code cl <p><a id="X7E77E6B881B1CE50" name="X7E77E6B881B1CE50"></a></p> <h5>2.2-1 IsXMod</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <12012,], <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" widthbasis:=[[1,0,0][0,,][0,0,1]], <p>A structure which has <code class="code">Is2DimensionalGroup</code> is a precrossed module or <p>There are also properties corresponding to the various construction methods which are liste <div class="example"><pre> <span [[,,][10,],,0,1]]java.lang.StringIndexOutOfBoundsException: Index 27 out of [ false, true, true ] <span class="GAPprompt">gap<-,,][,,][,,]]normsize:=16)java.lang.StringIndexOutOfBoun <span class="GAPprompt">gap></span> <span class="GAPinput">ForAll <span class="GAPprompt">></span> <span class="GAPinput"> "CanEasilyCompareElements", "CanEas < class="APprompt"><span><span class="GAPinput"> "IsGeneratorsOfSemigroup", "IsPreXModDoma <span class="GAPprompt">></span> <span class="GAPinput"> "IsAutomorphismGroup2DimensionalGr <span class="GAPprompt">></span> <span class="GAPinput"> s -> s in kpoX5 ); </span> true <span class="GAPprompt">gap></span> <span class="GAPinput">Is2DimensionalGroup(X5);</span> true <span class="GAPprompt">gap></span> <span class="GAPinput">IsAutomorphismGroup2Dimensional true </pre></div> <p><a id="X7884284383284A87" name="X7884284383284A87"></a></p> <h5>2.2-2 SubXMod</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code java.lang.Stri <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <> the module above as building,sub-crossedmodules, normal sub- modules< class=S>\(calN\hd \\) <ul> <li><p><span [-1,0,0],[0,1,0[0,,-]], </li> <li><p><span class="SimpleMath">\(\delta\)</span> is the restriction of <span class="SimpleMath"> </li> <li><p><span class="SimpleMath">\(n^r \in N\)</span> for all <span class="SimpleMath">\(n \in N,~r \ </li> <li><p><span class="SimpleMath">\((s^{-1})^ms \in N\)</span> for all <span class="SimpleMath">\(m </li> </ul> <p>These conditions ensure that <span class="SimpleMath">\(M \ltimes N\)</span> is normal in the[ <p>A method for <code class="code">IsNormal</code> for precrossed modules is provided. See sectio <p>The five normal subcrossed modules of <code class="code">X4</code> found in the following examp <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">s4 := Group( (1,2), (2,3), (3,4) );; </ <span class="GAPprompt">gap></span> <span class="GAPinput">a4 := Subgroup( s4, [ (1,2,3), (2,3,4 <span class="GAPprompt">gap><[12,/,/2,1]java.lang.StringIndexOutOfBoundsException: In <span class="GAPprompt">gap&[-1,00][10,,[ <span class="GAPprompt">gap></span> <span class="GAPinput">X4 := XModByNormalSubgroup( s4, a4 ) [a4->s4] <span class="GAPprompt">gap></span> <span class="GAPinput">Y4 := SubXMod( X4, k4, a4 ); </span> [k4->a4] <span class="GAPprompt">gap></span> <span class="GAPinput">IsNormal( X4, Y4 );</span> true <span class="GAPprompt">gap></span> <span class="GAPinput">NX4 := NormalSubXMods( X4 );;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">Length( NX4 ); </span> 5 </pre></div> <p id="7D8165F77B23BCF6" name=X7D8165F77B23BCF6"></a></p> <h5>2.2-3 KernelCokernelXMod</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>Let <1,,],[,,,00,-1]], <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">d8d8 := Group( (1,2,3,4), (1,3), (5, <span class="GAPprompt">gap></span> <span class="GAPinput">X88 := XModByAutomorphismGroup( d8 <span class="GAPprompt">gap></span> <span class="GAPinput">Size2d( X88 );</span> [ 64, 2048 ] <span class="[-1,0,0],[0,-1,0,[00,-1]] <span class="GAPprompt">gap></span> <span class="GAPinput">IdGroup(Y88);</span> [ [ 4, 2 ], [ 128, 928 ] ] <span class="GAPprompt">gap></span> <span java.lang.StringIndexOutOfBoundsException: Rang [ "C2 x C2", "(D8 x D8) : C2" ] </pre></div> <p><a id="X7D435B6279032D4D" name="X7D435B6279032D4D"></a></p> <h4>2.3 <span class="Heading">Pre-crossed modules</span></h4> <p><a id="X8487BE427858C5C9" name="X8487BE427858C5C9"></a></p> <h5>2.3-1 PreXModByBoundaryAndAction</h5> <divrec(1:recgenerators:[[-,0,,][,100,0, <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class=[[0,,0,],-,0,00,[,,10, <p>If axiom <span class="SimpleMath">\({\bf XMod\ 2}\)</span> is <em>not</em> satisfied, the corresp <p>A special case of this operation is when the range is a trivial group (not necessarily a subgrou < class="example>pre <span class="GAPprompt">gap></span> <span class="GAPinput">b1 := (11,12,13,14,15,16,17,18);; <span class="GAPprompt">gap></span> <span class="GAPinput">d16 := Group( b1, b2 );;</span> <span class="java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( d16, "d16" ); SetName( sk4, <span class="GAPprompt">gap></span> <span class="GAPinput">bdy16 := GroupHomomorphismByImage <span class="GAPprompt">gap></span> <span class="GAPinput">aut1 := GroupHomomorphismByImages <span class="GAPprompt">gap></span> <span class="GAPinput">aut2 := GroupHomomorphismByImages <span class="GAPprompt">gap></span> <span class="GAPinput">aut16 := Group( [ aut1, aut2 ] );;</spa <span class="GAPprompt">gap></span> <span class="GAPinput">act16 := GroupHomomorphismByImage <span class="GAPprompt">gap></span> <span class="GAPinput">P16 := PreXModByBoundaryAndAction [d16->sk4] <span class="GAPprompt">gap></span> <span class="GAPinput">IsXMod( P16 );</span> [[-1,,[,1,][00-1]java.lang.StringIndexOutOfBoundsException: Index 29 out of boun <span class="GAPprompt">gap></span> <span class="GAPinput">Q16 := PreXModWithTrivialRange( d1 [d16->Group( [ () ] )] <span class="GAPprompt">gap></span> <span class="GAPinput">SQ16 := SubPreXMod( Q16, sk4, Group( <span class="GAPprompt">gap></span> <span class="GAPinput">Display(SQ16);</span> java.lang.StringIndexOutOfBoundsException: Range [40, 7) out of bounds for lengt : Source group has generators: [ (11,15)(12,16)(13,17)(14,18), (12,18)(13,17)(14,16) ] : Range group has generators: [ () ] : Boundary homomorphism maps source generators to: [ ),() ] The automorphism group is trivial </pre></div> <p><a id="X8527F4C07A8F359E" name="X8527F4C07A8F359E"></a></p> <h5>2.3-2 PeifferSubgroup</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#[ <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <pThe<em>Peiffer subgroup</em <span class"SimpleMath">\(P\)</span> of a pre-crossed module <span c <p class="center">\[ \lfloor s_1,s_2 \rfloor ~=~ (s_1^{-1})^{\partial s_2}~s_2^{-1}~s_1~s_2 ~=~ e\[_,]~. \]</p> <p>Then <span class="SimpleMath">\(\calP = (0 : P \to \{1_R\})\)</span> is a normal sub-pre-crosse <p>In the following example the Peifferbasis:=[1,00],[,1,0][0,0,1]], <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">normgens:=[[-10,][0,10]0,0,1], Group( [ (11,15)(12,16)(13,17)(14,18), (11,17,15,13)(12,18,16,14) ] ) <span class="GAPprompt">gap></span> <span class="GAPinput">X16 := XModByPeifferQuotient( P16 ) Peiffer([d16->sk4]) <span class="GAPprompt">gap></span> <span class="GAPinput">Display( X16 );</span> Crossed module Peiffer([d16->sk4]) :- : Source group has generators: [ f1, f2 ] : Range group has generators: [ (11,15)(12,16)(13,17)(14,18), (12,18)(13,17)(14,16) ] : Boundary homomorphism maps source generators to: [ (12,18)(13,17)(14,16), (11,15)(12,16)(13,17)(14,18) ] The automorphism group is trivial spanclass=""gap;<span> <span class="GAPinput">iso16:=IsomorphismPermGroup( Source( X16 ) ) <span class="GAPprompt">gap></span> <span class="GAPinput">S16 := Image( iso16 );</span> Group([ (1,2), (3,4) ]) <>/divjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length <p><a generators:=[-,,,][,1,][,, <h4>2.4 <span class="Heading">Cat<span class="SimpleMath">\(^1\)</span>-groups and pre-cat<spa <p>In <a href="chapBib_mj.html#biBL1">[Lod82]</a>, Loday reformulated the notion of a crossed mo < ="center">[ {\bf Cat\ 1} : ~t \circ e ~=~ h \circ e = {\rm id}_R, \qquad {\bf Cat\ 2} : ~[\ker t, \ker h] ~=~ \{ 1_G \}. \]</p> <p>It follows that <span class="SimpleMath">\(\;t \circ e \circ h = h,~ h \circ e \circ t = t,~ t \circ <p>See section <code class="func">IsPreCat1GroupWithIdentityEmbedding</code> (<a href="chap2 <p><a id="X7CF4C37F87D27EBA" name="X7CF4C37F87D27EBA"></a></p> <h5>2.4-1 Cat1Group</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# < class"unc>table class=""width=100"<java.lang.StringIndexOutOfBoundsException: Range <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func[[- <p>The global functions <code class="code">Cat1Group</code> and <code class="code">PreCat1Group< <ul> <li><p>as <code class="code">Cat1Group(t,h,e);</code> when <span class="SimpleMath">\(t,h,e\)</s </li> <li><p>as <code class="code">Cat1Group(t,h);</code> when <span class="SimpleMath">\(t,h\)</span> a </li> <li><p>as <code class=code>at1Groupt);code> when<span =SimpleMath>\(=h\)</> is endomorphism is equi </li> <li><p>as <code class="code">Cat1Group(t,e);</code> when <span class="SimpleMath">\(t=h\)</span> a </li> <li><p>as <code class="code">Cat1Group(i,j,k);</code> when <span class="SimpleMath">\(i,j,k\)</s </li> </ul> <1000][0-0]0,0,-,] <span class="GAPprompt">gap></span> <span class="GAPinput">g18gens := [ (1,2,3), (4,5,6), (2,3) <span class="GAPprompt">gap></span> <span class="GAPinput">s3agens := [ (7,8,9), (8,9) ];; </span> <span class="GAPprompt">gap></span> <span class="GAPinput">g18 := Group( g18gens );; SetName( g1 <span class="GAPprompt">gap></span> <span class="GAPinput">s3a := Group( s3agens );; SetName( s3 <span class="GAPprompt">gap></span> <span class="GAPinput">t1 := GroupHomomorphismByImages(g [ (1,2,3), (4,5,6), (2,3)(5,6) ] -> [ (7,8,9), (), (8,9) ] <span class="GAPprompt">gap></span> <span java.lang.StringIndexOutOfBoundsException: Inde [ (1,2,3), (4,5,6), (2,3)(5,6) ] -> [ (7,8,9), (7,8,9), (8,9) ] <span class="GAPprompt">gap></span> <span class="GAPinput">e1 := GroupHomomorphismByImages(s [ (7,8,9), (8,9) ] -> [ (1,2,3), (2,3)(5,6) ] <span class="GAPprompt">gap></span> <span class="GAPinput">C18 := Cat1Group([01,],-0,],[,0,] [,,0][,,]0,,1],16) </pre></div> <p><a id="X7C4FFC4086531157" name="X7C4FFC4086531157"></a></p> <h5>2.4-2 Source</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func[10][0,0][,,], <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>These are the attributes of a cat<span class="SimpleMath">\(^1\)</span>-group <span class="Si <[100],010,0,,1]]normsize:=16) <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">[ Source( C18 ), Range( C18 ) ];</span> [ g18, s3a ] <span class="GAPprompt">gap></span> <span class="GAPinput">TailMap( C18 );</span> [ (1,2,3), (4,5,6), (2,3)(5,6) ] -> [ (7,8,9), (), (8,9) ] <span class="GAPprompt">gap></span> <span class="GAPinput">HeadMap( C18 );</span> [(12,3), (4,5,6), (2,3)(5,6) ] -> [ (7,8,9), (7,8,9), (8,9) ] <span class="GAPprompt">java.lang.StringIndexOutOfBoundsException: Index 26 out of [ (7,8,9), (8,9) ] -> [ (1,2,3), (2,3)([-1000,0100,00-1,0]java.lang.StringIndexOutOfBoun <span class="GAPprompt">gap></span> <span class="GAPinput">Kernel( C18 );</span> Group([ 45, ) <span class="GAPprompt">gap></span> <span class="GAPinput">KernelEmbedding( C18 );</span> [ (4,5,6) ] -> [ (4,5,6) ] <span class="GAPprompt">gap></span> <span class="GAPinput">Name( C18 );</span> "[g18=>s3a]" <span class="GAPprompt">gap></span> <span class="GAPinput">Size2d( C18 );</span> [ 18, 6 ] <span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( C18 );</span> [ "(C3 x C3) : C2", "S3" ] </pre></div> <p>The next four subsections contain some more constructors for cat<span class="SimpleMath">\( <p><a id="X79944C7B87F767FD" name="X79944C7B87F767FD"></a></p> <h5>2.4-3 DiagonalCat1Group</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>This operation constructs examples of cat<span class="SimpleMath">\(^1\)</span>-groups of t <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">C4 := DiagonalCat1Group( [ (1,2,3), <span class="GAPprompt">gap></span> <span class="GAPinput">SetName( Source(C4), "a4a4" ); SetN <span class="GAPprompt">gap></span> <span class="GAPinput">Display( C4 );</span> Cat1-group [a4a4=>a4d] :- : Source group a4a4 has generators,][/,/,/,1] [ (1,2,3), (2,3,4), (5,6,7), (6,7,8) ] : Range group a4d has generators: [ ( 9,10,11), (10,11,12) ] : tail homomorphism maps source generators to: [ ( 9,10,11), (10,11,12), (), () ] head homomorphism maps source generators to: [ (), (), ( 9,10,11), (10,11,12) ] : range embedding maps range generators to: [ (1,2,3)(5,6,7), (2,3,4)(6,7,8) ] : kernel has generators: [ (5,6,7), (6,7,8) ] : boundary homomorphism maps generators of kernel to: [ ( 9,10,11), (10,11,12) ] : kernel embedding maps generators of kernel to: [ (5,6,7), (6,7,8) ] </pre></div> <p><a id="X79385660821E54A3" name="X79385660821E54A3"></a></p> <h5>2.4-4 TransposeCat1Group</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>The <em>transpose</em> of a cat<span class="SimpleMath">\(^1\)</span>-group <span class="Simple < class"xample><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">R4 := TransposeCat1Group( C4 );</spa [a4a4=>a4d] <span class="GAPprompt">gap></span> <span class="GAPinput">Boundary( R4 );</span> [ (2,3,4), (1,2,3) ] -> [ (10,11,12), (9,10,11) ] <span class="GAPprompt">=[[1000,0-,,,0010 false <span class="GAPprompt">gap></span> <span class="GAPinput">TailMap( R4],[12012,], true <span class="GAPprompt">gap></span> <span class="GAPinput">MappingGeneratorsImages( Transpo [ [ [ (1,2,3), (2,3,4), (5,6,7), (6,7,8) ], [ (5,6,7), (6,7,8), (1,2,3), (2,3,4) ] ], [ [ (9,10,11), (10,11,12) ], [ (9,10,11), (10,11,12) ] ] ] </pre></div> <p><a id="X87544FAD873672E1" name="X87544FAD873672E1"></a></p> <h5>2.4-5 Cat1GroupByPeifferQuotient</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>If <span class="SimpleMath">\(C = (e;t,h : G \to R)\)</span> is a pre-cat<span class="SimpleMath <div class="example"><pre> <:[[-1,00,0-1,][,,], <span class="GAPprompt">gap></span> <span class="GAPinput">h := GroupHomomorphismByImages( s4 <span class="GAPprompt">gap></span> <span class="GAPinput">c2 := Image( h );; SetName( c2, "c2" );< <span class="GAPprompt">>gapg</span> <span ="APinput>=PreCat1Group( h, h );</span> [s4=>c2] <span class="GAPprompt">gap></span> <span class="GAPinput">P := PeifferSubgroupPreCat1Group( Group([ (1,3)(2,4), (1,2)(3,4) ]) <span class="GAPprompt">gap></span> <span class="GAPinput">C2 := Cat1GroupByPeifferQuotient( [Group( [ f1, f2 ] )=>c2] <span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( C2 );</span> [ "S3", "C2" ] <span =">&;</span> <span class="APinput=( C ;<span <span class="GAPprompt">gap></span> <span class="GAPinput">XC := rec2.prexmod;;</span> <span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( XC ); </span> [ "A4", "C2" ] <span class="GAPprompt">gap></span> <span class="GAPinput">XC2 := XModByPeifferQuotient( XC ); <span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( XC2 );</span> [ "C3", "C2" ] <span class="GAPprompt">gap></span> <span class[[1,,0]0,10][001], <span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( CXC2 );</spa [","C2] <span class="GAPprompt">gap></span> <span class="GAPinput">IsomorphismCat1Groups( C2, CXC2 );< [[Group( [ f1,java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for </pre></div> <p><a id="X85D9C5F881DBA9FC" name="X85D9C5F881DBA9FC"></a></p> <h5>2.4-6 SubCat1Group</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func[01 <div class="func"><table class="func" width="100%"><tr><td class0,/2,1/,], <p><span class="SimpleMath">\(S_1 <[1,,00,0-100][,,1,0, <span class="GAPprompt">gap></span> <span class="GAPinput">s3 := Subgroup( s4, [(2,3),(3,4)] ); <span class="GAPprompt">gap></span> <span class="GAPinput">res := DoublyRestrictedMapping( h, <span class="GAPprompt">gap></span> <span class="GAPinput">S := PreCat1Group[0,1/2,1/4,1]]], [Group( [ (2,3), (3,4) ] )=>Group( [ (3,4), (3,4) ] )] </pre></div> <p><a id="X7CE4F14585F6D473" name="X7CE4F14585F6D473"></a></p> <h5>2.4-7 DirectProduct</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>The direct product <span class="SimpleMath">\(\calC_{1} \times \calC_{2}\)</span> of two cat< <p>The example constructs the product of two of the cat<span class="SimpleMath">\(^1\)</span>-gr <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">C418 := DirectProduct( C4, C18 );</sp [(4a4xg18))=&;(a4d x s3a] <span class="GAPprompt">gap></span> <span class="GAPinput">infoC418 := DirectProductInfo( C41 rec( embeddings := [ [[a4a4=>a4d] => [(a4a4xg18)=>(a4d x s3a)]], [[g18=>s3a] => [(a4a4xg18)=>0,-10,0,0,1], objects := [ [a4a4=>a4d], [g18=>s3a] ], projections := [ [[(a4a4xg18)=>(a4d x s3a)] => [a4a4=>a4d]], [[(a4a4xg18)=>(a4d x s3a)] => [g18=>s3a]] ] ) <span class="GAPprompt">gap></span> <span class="GAPinput">t418 := TailMap( C418 );</span> [ (1,2,3), (2,3,4), (5,6,7), (6,7,8), (9,10,11), (12,13,14), (10,11)(13,14) ] -> [ (1,2,3), (2,3,4), (), (), (5,6,7), (), (6,7) ] <span class="GAPprompt">gap></span> <span class="GAPinput">h418 := HeadMap( C418 );</span> [ (1,2,3), (2,3,4), (5,6,7), (6,7,8), (9,10,11), (12,13,14), (10,11)(13,14) ] -> [ (), (), (1,2,3), (2,3,4), (5,6,7), (5,6,7), (6,7) ] <span class="GAPprompt">gap></span> <span class="GAPinput">e418 := RangeEmbedding( C418 );</spa [ (1,2,3), (2,3,4), (5,6,7), (6,7) ] -> [ (1,2,3)(5,6,7), (2,3,4)(6,7,8), (9,10,11), (10,11)(13,14) ] </pre></div> <p><a id="X8317816A8361F88C" name="X8317816A8361F88C"></a></p> <h4>2.5 <span class="Heading"> Properties of cat<span class="SimpleMath">\(^1\)</span>-groups and pre-cat<span class="Simp </span></h4> <p>Many of the properties listed in section <a href="chap2_mj.html#X7CF622538749FE73"><span cl <p><a id=[[100,0,-,,0,-java.lang.StringIndexOutOfBoundsException: Index 29 out of bo <h5>2.5-1 IsCat1Group</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="java.la <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p><code class="code">IsIdentityCat1Group(C0)</code> is true when the head and tail maps of <code c <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">G8 := SmallGroup( 288, 956 ); SetName <pc group of size 288 with 7 generators> <span class="GAPprompt">gap></span> <span class="GAPinput">d12 := DihedralGroup( 12 ); SetName( <pc group of size 12 with 3 generators> <span class="GAPprompt">gap></span> <span class="GAPinput">a1 := d12.1;; a2 := d12.2;; a3 := d12.3 <span class="GAPprompt">gap></span> <span class="GAPinput">gensG8 := GeneratorsOfGroup( G8 );;< <span class="GAPprompt">gap></span> <span class="GAPinput">t8 := GroupHomomorphismByImages( G <spanclass="APprompt">><span> <span class="GAPinput"> [ a0, a1*a3, a2*a3, a0, a0, a3, a0 ] );;</s <span class="GAPprompt">gap></span> <span class="GAPinput">h8 := GroupHomomorphismByImages( G <span class="GAPprompt">></span> <span class="GAPinput"> [ a1*a2*a3, a0, a0, a2*a3, a0, a0, a3^2 ] ) <span class="GAPprompt">gap></span> <span class="GAPinput">e8 := GroupHomomorphismByImages( d <span class="GAPprompt">></span> <span class="GAPinput"> [ G8.1*G8.2*G8.4*G8.6^2, G8.3*G8.4*G ,f3*f4*f6^2**f7, ^ java.lang.StringIndexOutOfBoundsException: Index 62 out of boun <span class="GAPprompt">gap></span> <span java.lang.StringIndexOutOfBoundsException: Inde [G8=>d12] <span class="GAPprompt"gapgt;span <pan class="APinput">( C8)<span> true <span class="GAPprompt">gap></span> <span class="GAPinput">KnownPropertiesOfObject( C8 );</sp [ "CanEasilyCompareElements", "CanEasilySortElements", "IsDuplicateFree", "IsGeneratorsOfSemigroup", "IsPreCat1Domain", "IsPc2DimensionalGroup", "IsPreXMod", "IsPreCat1Group", "IsCat1Group", "IsIdentityPreCat1Group", "IsPreCat1GroupWithIdentityEmbedding" ] </pre></div> <p><a id="X7B7CF88F83B0129D" name="X7B7CF88F83B0129D"></a></p> <h5>2.5-2 IsPreCat1GroupWithIdentityEmbedding</h5> <div1,1,],,],001],ormsize:=24) <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p><code class="code">IsPreCat1GroupWithIdentityEmbedding(C0)</code> is true when the range e <div class="example"><pre> <span class="GAPprompt">gap></span> <span class="GAPinput">G5 := Group( (1,2,3,4,5) );; </span> <span java.lang.StringIndexOutOfBoundsException: Range [0, 11) out of bounds for l < class="">gap>/span < class="GAPinput">:=(t,t,t ;</span> [Group( [ (1,2,3,4,5) ] )=>Group( [ (1,2,3,4,5) ] )] <span class="GAPprompt">gap></span> <span class="GAPinput">IsPreCat1GroupWithIdentityEmbed false <span class="GAPprompt">gap></span> <span class="GAPinput">IPC5 := IsomorphicPreCat1GroupWit [Group( [ (1,2,3,4,5) ] )=>Group( [ (1,2,3,4,5) ] )] <span class="GAPprompt[1,00][10,,,1]java.lang.StringIndexOutOfBoundsException: Ind [ (1,2,3,4,5) ] -> [ (1,2,3,4,5) ] [ 123,5 -; [ 1,,,) </pre></div> <p><a id="X82F10A59867C765D" name="X82F10A59867C765D"></a></p> <h5>2.5-3 Cat1GroupOfXMod</h5> <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&# <p>The category of crossed modules is equivalent to the category of cat<span class="SimpleMath"> <p class="center">\[ (r_1,s_1)(r_2,s_2) ~=~ (r_1r_2,{s_1}^{r_2}s_2). \]</p> <p>The structural morphisms are given by</p> <p class="center">\[ t(r,s) = r, \quad h(r,s) = r (\partial s), \quad er = (r,1). \]</p> <p>On=rec(generators:[01,0,-,-,,][0, <p>As from version 21,0]],[0,,,], <ul> <li><p><code class="code">.precat1</code>, the pre-cat<span class="SimpleMath">\(^1\)</span>-gro |
