| products/Sources/formale Sprachen/GAP/pkg/xmod/doc/chap6.html |
 |
<?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 6: Actors of 2d-groups</ 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" />
< script src= "manual.js" type= "text/javascript"></ script>
< script type= "text/javascript">overwriteStyle();</ script>
</ head>
< body class= "chap6" onload= "jscontent()">
< 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="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</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#contents">[Contents]</a> <a href="chap5.html">[Previous Chapter]</a> <a href="chap7.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap6_mj.html">[MathJax on]</a></p>
<p><a id="X84C872BB7F1E5F25" name="X84C872BB7F1E5F25"></a></p>
<div class="ChapSects"><a href="chap6.html#X84C872BB7F1E5F25">6 <span class="Heading">Actors of 2d-groups</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7B853602873FC7AB">6.1 <span class="Heading">Actor of a crossed module</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X80F121357F06E72D">6.1-1 AutomorphismPermGroup</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X790EBC7C7D320C03">6.1-2 WhiteheadXMod</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X85CF21F57F0F1329">6.1-3 XModCentre</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X81BFAD86831097E3">6.2 <span class="Heading">Actor of a cat<span class="SimpleMath">^1</span>-group</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X82097EE1866D0C2B">6.2-1 ActorCat1Group</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap6.html#X7FE056707BB983B3">6.2-2 Actor</a></span>
</div></div>
</div>
<h3>6 <span class="Heading">Actors of 2d-groups</span></h3>
<p><a id="X7B853602873FC7AB" name="X7B853602873FC7AB"></a></p>
<h4>6.1 <span class="Heading">Actor of a crossed module</span></h4>
<p>The <em>actor</em> of <span class="SimpleMath">calX</span> is a crossed module <span class="SimpleMath">Act(calX) = (∆ : calW(calX) -> Aut(calX))</span> which was shown by Lue and Norrie, in <a href="chapBib.html#biBN2">[Nor87]</a> and <a href="chapBib.html#biBN1">[Nor90]</a> to give the automorphism object of a crossed module <span class="SimpleMath">calX</span>. In this implementation, the source of the actor is a permutation representation <span class="SimpleMath">W</span> of the Whitehead group of regular derivations, and the range of the actor is a permutation representation <span class="SimpleMath">A</span> of the automorphism group <span class="SimpleMath">Aut(calX)</span> of <span class="SimpleMath">calX</span>.</p>
<p><a id="X80F121357F06E72D" name="X80F121357F06E72D"></a></p>
<h5>6.1-1 AutomorphismPermGroup</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; AutomorphismPermGroup</code>( <var class="Arg">2d-gp</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">an style='color: green'>8227; GeneratingAutomorphisms</code>( <var class="Arg">2d-gp</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">an style='color: green'>8227; PermAutomorphismAs2dGroupMorphism</code>( <var class="Arg">2d-gp</var>, <var class="Arg">perm</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>The automorphisms <span class="SimpleMath">( σ, ρ )</span> of <span class="SimpleMath">calX</span> form a group <span class="SimpleMath">Aut(calX)</span> of crossed module isomorphisms. The function <code class="func">AutomorphismPermGroup</code> finds a set of <code class="func">GeneratingAutomorphisms</code> for <span class="SimpleMath">Aut(calX)</span>, and then constructs a permutation representation of this group, which is used as the range of the actor crossed module of <span class="SimpleMath">calX</span>. The individual automorphisms can be constructed from the permutation group using the function <code class="func">PermAutomorphismAs2dGroupMorphism</code>. The example below uses the crossed module <code class="code">X3=[c3->s3]</code> constructed in section <a href="chap5.html#X83EC6F7780F5636E"><span class="RefLink">5.1-1</span></a>.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">APX3 := AutomorphismPermGroup( X3 );</span>
Group([ (5,7,6), (1,2)(3,4)(6,7) ])
<span class="GAPprompt">gap></span> <span class="GAPinput">Size( APX3 );</span>
6
<span class="GAPprompt">gap></span> <span class="GAPinput">genX3 := GeneratingAutomorphisms( X3 ); </span>
[ [[c3->s3] => [c3->s3]], [[c3->s3] => [c3->s3]] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">e6 := Elements( APX3 )[6];</span>
(1,2)(3,4)(5,7)
<span class="GAPprompt">gap></span> <span class="GAPinput">m6 := PermAutomorphismAs2dGroupMorphism( X3, e6 );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( m6 );</span>
Morphism of crossed modules :-
: Source = [c3->s3] with generating sets:
[ (1,2,3)(4,6,5) ]
[ (4,5,6), (2,3)(5,6) ]
: Range = Source
: Source Homomorphism maps source generators to:
[ (1,3,2)(4,5,6) ]
: Range Homomorphism maps range generators to:
[ (4,6,5), (2,3)(4,5) ]
</pre></div>
<p>The automorphisms <span class="SimpleMath">( γ, ρ )</span> of a cat<span class="SimpleMath">^1</span>-group <span class="SimpleMath">calC</span> form a group <span class="SimpleMath">Aut(calC)</span> of cat<span class="SimpleMath">^1</span>-group isomorphisms. The function <code class="func">AutomorphismPermGroup</code> constructs a permutation representation of this group, which is used as the range of the actor crossed module of <span class="SimpleMath">calC</span>. The individual automorphisms can be constructed from the permutation group using the function <code class="func">PermAutomorphismAs2dGroupMorphism</code>. The example below uses the cat<span class="SimpleMath">^1</span>-group <code class="code">C3</code> constructed in section <code class="func">DerivationByImages</code> (<a href="chap5.html#X83EC6F7780F5636E"><span class="RefLink">5.1-1</span></a>).</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">APC3 := AutomorphismPermGroup( C3 );</span>
Group([ (1,3,2)(4,6,5)(7,9,8)(12,13,14), (2,3)(4,7)(5,9)(6,8)(10,11)(13,14) ])
<span class="GAPprompt">gap></span> <span class="GAPinput">IdGroup( APC3 );</span>
[ 6, 1 ]
<span class="GAPprompt">gap></span> <span class="GAPinput">a := GeneratorsOfGroup( APC3 )[1];;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">m := PermAutomorphismAs2dGroupMorphism( C3, a );</span>
[[g18 => s3] => [g18 => s3]]
</pre></div>
<p><a id="X790EBC7C7D320C03" name="X790EBC7C7D320C03"></a></p>
<h5>6.1-2 WhiteheadXMod</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; 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">an style='color: green'>8227; 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">an style='color: green'>8227; 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">an style='color: green'>8227; ActorXMod</code>( <var class="Arg">xmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>An automorphism <span class="SimpleMath">( σ, ρ )</span> of <span class="SimpleMath">calX</span> acts on the Whitehead monoid by <span class="SimpleMath">χ^(σ,ρ) = σ ∘ χ ∘ ρ^-1</span>, and this determines the action for the actor. In fact the four groups <span class="SimpleMath">S, W, R, A</span>, the homomorphisms between them, and the various actions, give five crossed modules forming a <em>crossed square</em> (see <code class="func">ActorCrossedSquare</code> (<a href="chap8.html#X833362FE87ED3C48"><span class="RefLink">8.2-5</span></a>)).</p>
<ul>
<li><p><span class="SimpleMath">calW(calX) = (η : S -> W),~</span> the Whitehead crossed module of <span class="SimpleMath">calX</span>, at the top,</p>
</li>
<li><p><span class="SimpleMath">calX = (∂ : S -> R),~</span> the initial crossed module, on the left,</p>
</li>
<li><p><span class="SimpleMath">Act(calX) = ( ∆ : W -> A),~</span> the actor crossed module of <span class="SimpleMath">calX</span>, on the right,</p>
</li>
<li><p><span class="SimpleMath">calN(X) = (α : R -> A),~</span> the Norrie crossed module of <span class="SimpleMath">calX</span>, on the bottom, and</p>
</li>
<li><p><span class="SimpleMath">calL(calX) = (∆∘η = α∘∂ : S -> A),~</span> the Lue crossed module of <span class="SimpleMath">calX</span>, along the top-left to bottom-right diagonal.</p>
</li>
</ul>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">WGX3 := WhiteheadPermGroup( X3 );</span>
Group([ (1,2,3), (1,2) ])
<span class="GAPprompt">gap></span> <span class="GAPinput">APX3 := AutomorphismPermGroup( X3 );</span>
Group([ (5,7,6), (1,2)(3,4)(6,7) ])
<span class="GAPprompt">gap></span> <span class="GAPinput">WX3 := WhiteheadXMod( X3 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( WX3 );</span>
Crossed module Whitehead[c3->s3] :-
: Source group has generators:
[ (1,2,3)(4,6,5) ]
: Range group has generators:
[ (1,2,3), (1,2) ]
: Boundary homomorphism maps source generators to:
[ (1,2,3) ]
: Action homomorphism maps range generators to automorphisms:
(1,2,3) --> { source gens --> [ (1,2,3)(4,6,5) ] }
(1,2) --> { source gens --> [ (1,3,2)(4,5,6) ] }
These 2 automorphisms generate the group of automorphisms.
<span class="GAPprompt">gap></span> <span class="GAPinput">LX3 := LueXMod( X3 );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( LX3 );</span>
Crossed module Lue[c3->s3] :-
: Source group has generators:
[ (1,2,3)(4,6,5) ]
: Range group has generators:
[ (5,7,6), (1,2)(3,4)(6,7) ]
: Boundary homomorphism maps source generators to:
[ (5,7,6) ]
: Action homomorphism maps range generators to automorphisms:
(5,7,6) --> { source gens --> [ (1,2,3)(4,6,5) ] }
(1,2)(3,4)(6,7) --> { source gens --> [ (1,3,2)(4,5,6) ] }
These 2 automorphisms generate the group of automorphisms.
<span class="GAPprompt">gap></span> <span class="GAPinput">NX3 := NorrieXMod( X3 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( NX3 );</span>
Crossed module Norrie[c3->s3] :-
: Source group has generators:
[ (4,5,6), (2,3)(5,6) ]
: Range group has generators:
[ (5,7,6), (1,2)(3,4)(6,7) ]
: Boundary homomorphism maps source generators to:
[ (5,6,7), (1,2)(3,4)(6,7) ]
: Action homomorphism maps range generators to automorphisms:
(5,7,6) --> { source gens --> [ (4,5,6), (2,3)(4,5) ] }
(1,2)(3,4)(6,7) --> { source gens --> [ (4,6,5), (2,3)(5,6) ] }
These 2 automorphisms generate the group of automorphisms.
<span class="GAPprompt">gap></span> <span class="GAPinput">AX3 := ActorXMod( X3 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( AX3);</span>
Crossed module Actor[c3->s3] :-
: Source group has generators:
[ (1,2,3), (1,2) ]
: Range group has generators:
[ (5,7,6), (1,2)(3,4)(6,7) ]
: Boundary homomorphism maps source generators to:
[ (5,7,6), (1,2)(3,4)(6,7) ]
: Action homomorphism maps range generators to automorphisms:
(5,7,6) --> { source gens --> [ (1,2,3), (2,3) ] }
(1,2)(3,4)(6,7) --> { source gens --> [ (1,3,2), (1,2) ] }
These 2 automorphisms generate the group of automorphisms.
</pre></div>
<p>The main methods for these operations are written for permutation crossed modules. For other crossed modules an isomorphism to a permutation crossed module is found first, and then the main method is applied to the image. In the example the crossed module <code class="code">XAq8</code> is the automorphism crossed module of the quaternion group.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">q8 := Group( (1,2,3,4)(5,8,7,6), (1,5,3,7)(2,6,4,8) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetName( q8, "q8" );</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">XAq8 := XModByAutomorphismGroup( q8 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( WhiteheadXMod( XAq8 ) ); </span>
[ "Q8", "C2 x C2 x C2" ]
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( LueXMod( XAq8 ) ); </span>
[ "Q8", "S4" ]
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( NorrieXMod( XAq8 ) );</span>
[ "S4", "S4" ]
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( ActorXMod( XAq8 ) ); </span>
[ "C2 x C2 x C2", "S4" ]
</pre></div>
<p><a id="X85CF21F57F0F1329" name="X85CF21F57F0F1329"></a></p>
<h5>6.1-3 XModCentre</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; XModCentre</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">an style='color: green'>8227; InnerActorXMod</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">an style='color: green'>8227; 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 <span class="SimpleMath">calW(calX)</span> and <span class="SimpleMath">calN(calX)</span> form the <em>inner morphism</em> of <span class="SimpleMath">calX</span>, mapping source elements to principal derivations and range elements to inner automorphisms. The image of <span class="SimpleMath">calX</span> under this morphism is the <em>inner actor</em> of <span class="SimpleMath">calX</span>, while the kernel is the <em>centre</em> of <span class="SimpleMath">calX</span>. In the example which follows, the inner morphism of <code class="code">X3=(c3->s3)</code>, from Chapter <a href="chap5.html#X85CD9A43847AE1B8"><span class="RefLink">5</span></a>, is an inclusion of crossed modules.</p>
<p>Note that we appear to have defined <em>two</em> sorts of <em>centre</em> for a crossed module: <code class="func">XModCentre</code> here, and <code class="func">CentreXMod</code> (<a href="chap4.html#X7B57446086BA1BF0"><span class="RefLink">4.1-7</span></a>) in the chapter on isoclinism. We suspect that these two definitions give the same answer, but this remains to be resolved.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IMX3 := InnerMorphism( X3 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( IMX3 );</span>
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), (1,2) ]
[ (5,7,6), (1,2)(3,4)(6,7) ]
: Source Homomorphism maps source generators to:
[ (1,2,3) ]
: Range Homomorphism maps range generators to:
[ (5,6,7), (1,2)(3,4)(6,7) ]
<span class="GAPprompt">gap></span> <span class="GAPinput">IsInjective( IMX3 );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">ZX3 := XModCentre( X3 ); </span>
[Group( () )->Group( () )]
<span class="GAPprompt">gap></span> <span class="GAPinput">IAX3 := InnerActorXMod( X3 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( IAX3 );</span>
Crossed module InnerActor[c3->s3] :-
: Source group has generators:
[ (1,2,3) ]
: Range group has generators:
[ (5,6,7), (1,2)(3,4)(6,7) ]
: Boundary homomorphism maps source generators to:
[ (5,7,6) ]
: Action homomorphism maps range generators to automorphisms:
(5,6,7) --> { source gens --> [ (1,2,3) ] }
(1,2)(3,4)(6,7) --> { source gens --> [ (1,3,2) ] }
These 2 automorphisms generate the group of automorphisms.
</pre></div>
<p><a id="X81BFAD86831097E3" name="X81BFAD86831097E3"></a></p>
<h4>6.2 <span class="Heading">Actor of a cat<span class="SimpleMath">^1</span>-group</span></h4>
<p><a id="X82097EE1866D0C2B" name="X82097EE1866D0C2B"></a></p>
<h5>6.2-1 ActorCat1Group</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; ActorCat1Group</code>( <var class="Arg">cat1</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">an style='color: green'>8227; InnerActorCat1Group</code>( <var class="Arg">cat1</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The actor of a cat<span class="SimpleMath">^1</span>-group <span class="SimpleMath">C</span> is obtained by converting <span class="SimpleMath">C</span> to a crossed module; forming the actor of that crossed module; and then converting that actor into a cat<span class="SimpleMath">^1</span>-group.</p>
<p>A similar procedure is followed for the inner actor.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">C3;</span>
[g18 => s3]
<span class="GAPprompt">gap></span> <span class="GAPinput">AC3 := ActorCat1Group( C3 );</span>
cat1(Actor[c3->s3])
<span class="GAPprompt">gap></span> <span class="GAPinput">Display( AC3 ); </span>
Cat1-group cat1(Actor[c3->s3]) :-
: Source group has generators:
[ ( 9,10), ( 8, 9,10), ( 5, 7, 6)( 8, 9,10), (1,2)(3,4)(6,7)(8,9) ]
: Range group has generators:
[ (5,7,6), (1,2)(3,4)(6,7) ]
: tail homomorphism maps source generators to:
[ (), (), (5,7,6), (1,2)(3,4)(6,7) ]
: head homomorphism maps source generators to:
[ (1,2)(3,4)(5,6), (5,7,6), (5,7,6), (1,2)(3,4)(6,7) ]
: range embedding maps range generators to:
[ ( 5, 7, 6)( 8, 9,10), (1,2)(3,4)(6,7)(8,9) ]
: kernel has generators:
[ ( 9,10), ( 8, 9,10) ]
: boundary homomorphism maps generators of kernel to:
[ (1,2)(3,4)(5,6), (5,7,6) ]
: kernel embedding maps generators of kernel to:
[ ( 9,10), ( 8, 9,10) ]
: associated crossed module is Actor[c3->s3]
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( AC3 );</span>
[ "S3 x S3", "S3" ]
<span class="GAPprompt">gap></span> <span class="GAPinput">IAC3 := InnerActorCat1Group( C3 );</span>
cat1(InnerActor[c3->s3])
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( IAC3 );</span>
[ "(C3 x C3) : C2", "S3" ]
</pre></div>
<p><a id="X7FE056707BB983B3" name="X7FE056707BB983B3"></a></p>
<h5>6.2-2 Actor</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; Actor</code>( <var class="Arg">args</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; InnerActor</code>( <var class="Arg">args</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The global functions <code class="code">Actor</code> and <code class="code">InnerActor</code> will call operations <code class="code">ActorXMod</code> and <code class="code">InnerActorXMod</code> or <code class="code">ActorCat1Group</code> and <code class="code">InnerActorCat1Group</code> as appropriate.</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">c4q := Subgroup( q8, [ (1,2,3,4)(5,8,7,6) ] );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetName( c4q, "c4q" ); </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Xc4q := XModByNormalSubgroup( q8, c4q );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">AXc4q := Actor( Xc4q );</span>
Actor[c4q->q8]
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( AXc4q );</span>
[ "D8", "D8" ]
<span class="GAPprompt">gap></span> <span class="GAPinput">IAXc4q := InnerActor( Xc4q );</span>
InnerActor[c4q->q8]
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( IAXc4q );</span>
[ "C2", "C2 x C2" ]
</pre></div>
<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap5.html">[Previous Chapter]</a> <a href="chap7.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="chap10.html">10</a> <a href="chap11.html">11</a> <a href="chap12.html">12</a> <a href="chap13.html">13</a> <a href="chap14.html">14</a> <a href="chap15.html">15</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland
|
|