<html><head><title>[ref] 47 Group Products</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href="../index.htm">Top</a>] [<a href = "chapters.htm">Up</a>] [<a href ="CHAP046.htm">Previous</a>] [<a href ="CHAP048.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>47 Group Products</h1><p>
<P>
<H3>Sections</H3>
<oL>
<li> <A HREF="CHAP047.htm#SECT001">Direct Products</a>
<li> <A HREF="CHAP047.htm#SECT002">Semidirect Products</a>
<li> <A HREF="CHAP047.htm#SECT003">Subdirect Products</a>
<li> <A HREF="CHAP047.htm#SECT004">Wreath Products</a>
<li> <A HREF="CHAP047.htm#SECT005">Free Products</a>
<li> <A HREF="CHAP047.htm#SECT006">Embeddings and Projections for Group Products</a>
</ol><p>
<p>
This chapter describes the various group product constructions that are
possible in <font face="Gill Sans,Helvetica,Arial">GAP</font>.
<p>
At the moment for some of the products methods are available only if both
factors are given in the same representation or only for certain types of
groups such as permutation groups and pc groups when the product can be
naturally represented as a group of the same kind.
<p>
<font face="Gill Sans,Helvetica,Arial">GAP</font> does not guarantee that a product of two groups will be in a
particular representation. (Exceptions are <code>WreathProductImprimitiveAction</code>
and <code>WreathProductProductAction</code> which are construction that makes sense
only for permutation groups, see <a href="CHAP047.htm#SSEC004.1">WreathProduct</a>).
<p>
<font face="Gill Sans,Helvetica,Arial">GAP</font> however will try to choose an efficient representation, so products
of permutation groups or pc groups often will be represented as a group of
the same kind again.
<p>
Therefore the only guaranteed way to relate a product to its factors is via
the embedding and projection homomorphisms (see <a href="CHAP047.htm#SECT006">Embeddings and Projections for Group Products</a>);
<p>
<p>
<h2><a name="SECT001">47.1 Direct Products</a></h2>
<p><p>
The direct product of groups is the cartesian product of the groups
(considered as element sets) with component-wise multiplication.
<p>
<a name = "SSEC001.1"></a>
<li><code>DirectProduct( </code><var>G</var><code>, </code><var>H</var><code> ) F</code>
<a name = "SSEC001.1"></a>
<li><code>DirectProductOp( </code><var>list</var><code>, </code><var>expl</var><code> ) O</code>
<p>
These functions construct the direct product of the groups given as
arguments.
<code>DirectProduct</code> takes an arbitrary positive number of arguments
and calls the operation <code>DirectProductOp</code>, which takes exactly two
arguments, namely a nonempty list of groups and one of these groups.
(This somewhat strange syntax allows the method selection to choose
a reasonable method for special cases, e.g., if all groups are
permutation groups or pc groups.)
<p>
<font face="Gill Sans,Helvetica,Arial">GAP</font> will try to choose an efficient representation for the direct
product. For example the direct product of permutation groups will be a
permutation group again and the direct product of pc groups will be a pc
group.
<p>
If the groups are in different representations a generic direct product will
be formed which may not be particularly efficient for many calculations.
Instead it may be worth to convert all factors to a common representation
first, before forming the product.
<p>
<a name = "I0"></a>
<a name = "I1"></a>
For a product <var>P</var> the operation <code>Embedding(</code><var>P</var><code>,</code><var>nr</var><code>)</code> returns the
homomorphism embedding the <var>nr</var>-th factor into <var>P</var>. The operation
<code>Projection(</code><var>P</var><code>,</code><var>nr</var><code>)</code> gives the projection of <var>P</var> onto the <var>nr</var>-th factor
(see <a href="CHAP047.htm#SECT006">Embeddings and Projections for Group Products</a>).
<p>
<pre>
gap> g:=Group((1,2,3),(1,2));;
gap> d:=DirectProduct(g,g,g);
Group([ (1,2,3), (1,2), (4,5,6), (4,5), (7,8,9), (7,8) ])
gap> Size(d);
216
gap> e:=Embedding(d,2);
2nd embedding into Group([ (1,2,3), (1,2), (4,5,6), (4,5), (7,8,9), (7,8) ])
gap> Image(e,(1,2));
(4,5)
gap> Image(Projection(d,2),(1,2,3)(4,5)(8,9));
(1,2)
</pre>
<p>
<p>
<h2><a name="SECT002">47.2 Semidirect Products</a></h2>
<p><p>
The semidirect product of a group <var>N</var> with a group <var>G</var> acting on <var>N</var> via a
homomorphism α from <var>G</var> into the automorphism group of <var>N</var> is the
cartesian product <i>G</i> ×<i>N</i> with the multiplication
(<i>g</i>,<i>n</i>)·(<i>h</i>,<i>m</i>)=(<i>gh</i>,<i>n</i><sup>(<i>h</i>α)</sup><i>m</i>).
<p>
<a name = "SSEC002.1"></a>
<li><code>SemidirectProduct( </code><var>G</var><code>, </code><var>alpha</var><code>, </code><var>N</var><code> ) O</code>
<li><code>SemidirectProduct( </code><var>autgp</var><code>, </code><var>N</var><code> ) O</code>
<p>
constructs the semidirect product of <var>N</var> with <var>G</var> acting via <var>alpha</var>.
<var>alpha</var> must be a homomorphism from <var>G</var> into a group of automorphisms of
<var>N</var>.
<p>
If <var>N</var> is a group, <var>alpha</var> must be a homomorphism from <var>G</var> into a group
of automorphisms of <var>N</var>.
<p>
If <var>N</var> is a full row space over a field <var>F</var>, <var>alpha</var> must be a
homomorphism from <var>G</var> into a matrix group of the right dimension over a
subfield of <var>F</var>, or into a permutation group (in this case permutation
matrices are taken).
<p>
In the second variant, <var>autgp</var> must be a group of automorphism of <var>N</var>,
it is a shorthand for
<code>SemidirectProduct(</code><var>autgp</var><code>,IdentityMapping(</code><var>autgp</var><code>),</code><var>N</var><code>)</code>. Note that
(unless <var>autgrp</var> has been obtained by the operation <code>AutomorphismGroup</code>)
you have to test <code>IsGroupOfAutomorphisms(</code><var>autgrp</var><code>)</code> to ensure that <font face="Gill Sans,Helvetica,Arial">GAP</font>
knows that <var>autgrp</var> consists of group automorphisms.
<p>
<pre>
gap> n:=AbelianGroup(IsPcGroup,[5,5]);
<pc group of size 25 with 2 generators>
gap> au:=DerivedSubgroup(AutomorphismGroup(n));;
gap> Size(au);
120
gap> p:=SemidirectProduct(au,n);
<permutation group with 5 generators>
gap> Size(p);
3000
</pre>
<p>
<pre>
gap> n:=Group((1,2),(3,4));;
gap> au:=AutomorphismGroup(n);;
gap> au:=First(Elements(au),i->Order(i)=3);;
gap> au:=Group(au);
<group with 1 generators>
gap> SemidirectProduct(au,n);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 2nd choice method found for `IsomorphismPcGroup' on 1 arguments
gap> IsGroupOfAutomorphisms(au);
true
gap> SemidirectProduct(au,n);
<pc group with 3 generators>
</pre>
<p>
<pre>
gap> n:=AbelianGroup(IsPcGroup,[2,2]);
<pc group of size 4 with 2 generators>
gap> au:=AutomorphismGroup(n);
<group of size 6 with 2 generators>
gap> apc:=IsomorphismPcGroup(au);
CompositionMapping( Pcgs([ (2,3), (1,2,3) ]) ->
[ f1, f2 ], <action isomorphism> )
gap> g:=Image(apc);
Group([ f1, f2 ])
gap> apci:=InverseGeneralMapping(apc);
[ f1*f2^2, f1*f2 ] -> [ Pcgs([ f1, f2 ]) -> [ f1*f2, f2 ],
Pcgs([ f1, f2 ]) -> [ f2, f1 ] ]
gap> IsGroupHomomorphism(apci);
true
gap> p:=SemidirectProduct(g,apci,n);
<pc group of size 24 with 4 generators>
gap> IsomorphismGroups(p,Group((1,2,3,4),(1,2)));
[ f1, f2, f3, f4 ] -> [ (2,3), (2,3,4), (1,4)(2,3), (1,2)(3,4) ]
</pre>
<p>
<pre>
gap> SemidirectProduct(SU(3,3),GF(9)^3);
<matrix group of size 4408992 with 3 generators>
gap> SemidirectProduct(Group((1,2,3),(2,3,4)),GF(5)^4);
<matrix group of size 7500 with 3 generators>
</pre>
<p>
<pre>
gap> g:=Group((3,4,5),(1,2,3));;
gap> mats:=[[[Z(2^2),0*Z(2)],[0*Z(2),Z(2^2)^2]],
> [[Z(2)^0,Z(2)^0], [Z(2)^0,0*Z(2)]]];;
gap> hom:=GroupHomomorphismByImages(g,Group(mats),[g.1,g.2],mats);;
gap> SemidirectProduct(g,hom,GF(4)^2);
<matrix group of size 960 with 3 generators>
gap> SemidirectProduct(g,hom,GF(16)^2);
<matrix group of size 15360 with 4 generators>
</pre>
<p>
<a name = "I2"></a>
<a name = "I3"></a>
For the semidirect product <var>P</var> of <var>G</var> with <var>N</var>, <code>Embedding(</code><var>P</var><code>,1)</code> embeds
<var>G</var>, <code>Embedding(</code><var>P</var><code>,2)</code> embeds <var>N</var>. The operation <code>Projection(</code><var>P</var><code>)</code> returns
the projection of <var>P</var> onto <var>G</var>
(see <a href="CHAP047.htm#SECT006">Embeddings and Projections for Group Products</a>).
<pre>
gap> Size(Image(Embedding(p,1)));
6
gap> Embedding(p,2);
[ f1, f2 ] -> [ f3, f4 ]
gap> Projection(p);
[ f1, f2, f3, f4 ] -> [ f1, f2, <identity> of ..., <identity> of ... ]
</pre>
<p>
<p>
<h2><a name="SECT003">47.3 Subdirect Products</a></h2>
<p><p>
The subdirect product of the groups <i>G</i> and <i>H</i> with respect to the
epimorphisms ϕ:<i>G</i>→ <i>A</i> and ψ:<i>H</i>→ <i>A</i> (for a common
group <i>A</i>) is the subgroup of the direct product <i>G</i>×<i>H</i> consisting of
the elements (<i>g</i>,<i>h</i>) for which <i>g</i>ϕ = <i>h</i>ψ. It is the pull-back of the
diagram:
<PRE>
G
| phi
psi V
H ---> A
</PRE>
<p>
<a name = "SSEC003.1"></a>
<li><code>SubdirectProduct( </code><var>G</var><code> , </code><var>H</var><code>, </code><var>Ghom</var><code>, </code><var>Hhom</var><code> ) O</code>
<p>
constructs the subdirect product of <var>G</var> and <var>H</var> with respect to the
epimorphisms <var>Ghom</var> from <var>G</var> onto a group <var>A</var> and <var>Hhom</var> from <var>H</var> onto
the same group <var>A</var>.
<p>
<a name = "I4"></a>
For a subdirect product <var>P</var>, the operation <code>Projection(</code><var>P</var><code>,</code><var>nr</var><code></code> returns
the projections on the <var>nr</var>-th factor. (In general the factors do not embed
in a subdirect product.)
<pre>
gap> g:=Group((1,2,3),(1,2));
Group([ (1,2,3), (1,2) ])
gap> hom:=GroupHomomorphismByImagesNC(g,g,[(1,2,3),(1,2)],[(),(1,2)]);
[ (1,2,3), (1,2) ] -> [ (), (1,2) ]
gap> s:=SubdirectProduct(g,g,hom,hom);
Group([ (1,2,3), (1,2)(4,5), (4,5,6) ])
gap> Size(s);
18
gap> p:=Projection(s,2);
2nd projection of Group([ (1,2,3), (1,2)(4,5), (4,5,6) ])
gap> Image(p,(1,3,2)(4,5,6));
(1,2,3)
</pre>
<p>
<a name = "SSEC003.2"></a>
<li><code>SubdirectProducts( </code><var>G</var><code>, </code><var>H</var><code> ) F</code>
<p>
this function computes all subdirect products of <var>G</var> and <var>H</var> up to
conjugacy in Parent(<var>G</var>) x Parent(<var>H</var>). The subdirect products are
returned as subgroups of this direct product.
<p>
<p>
<h2><a name="SECT004">47.4 Wreath Products</a></h2>
<p><p>
The wreath product of a group <var>G</var> with a permutation group <var>P</var> acting on <var>n</var>
points is the semidirect product of the normal subgroup <i>G</i> <sup><i>n</i></sup> with the
group <var>P</var> which acts on <i>G</i> <sup><i>n</i></sup> by permuting the components.
<p>
<a name = "SSEC004.1"></a>
<li><code>WreathProduct( </code><var>G</var><code>, </code><var>P</var><code> ) O</code>
<li><code>WreathProduct( </code><var>G</var><code>, </code><var>H</var><code> [, </code><var>hom</var><code>] ) O</code>
<p>
constructs the wreath product of the group <var>G</var> with the permutation
group <var>P</var> (acting on its <code>MovedPoints</code>).
<p>
The second usage constructs the
wreath product of the group <var>G</var> with the image of the group <var>H</var> under
<var>hom</var> where <var>hom</var> must be a homomorphism from <var>H</var> into a permutation
group. (If <var>hom</var> is not given, and <var>P</var> is not a permutation group the
result of <code>IsomorphismPermGroup(P)</code> -- whose degree may be dependent on
the method and thus is not well-defined! -- is taken for <var>hom</var>).
<p>
<a name = "I5"></a>
<a name = "I6"></a>
For a wreath product <var>W</var> of <var>G</var> with a permutation group <var>P</var> of degree <var>n</var>
and 1 ≤ <i>nr</i> ≤ <i>n</i> the operation <code>Embedding(</code><var>W</var><code>,</code><var>nr</var><code>)</code> provides the
embedding of <var>G</var> in the <var>nr</var>-th component of the direct product of the base
group <i>G</i> <sup><i>n</i></sup> of <var>W</var>.
<code>Embedding(</code><var>W</var><code>,</code><var>n</var><code>+1)</code> is the embedding of <var>P</var> into <var>W</var>. The operation
<code>Projection(</code><var>W</var><code>)</code> provides the projection onto the acting group <var>P</var>
(see <a href="CHAP047.htm#SECT006">Embeddings and Projections for Group Products</a>).
<pre>
gap> g:=Group((1,2,3),(1,2));
Group([ (1,2,3), (1,2) ])
gap> p:=Group((1,2,3));
Group([ (1,2,3) ])
gap> w:=WreathProduct(g,p);
Group([ (1,2,3), (1,2), (4,5,6), (4,5), (7,8,9), (7,8), (1,4,7)(2,5,8)(3,6,9)
])
gap> Size(w);
648
gap> Embedding(w,1);
1st embedding into Group( [ (1,2,3), (1,2), (4,5,6), (4,5), (7,8,9), (7,8),
(1,4,7)(2,5,8)(3,6,9) ] )
gap> Image(Embedding(w,3));
Group([ (7,8,9), (7,8) ])
gap> Image(Embedding(w,4));
Group([ (1,4,7)(2,5,8)(3,6,9) ])
gap> Image(Projection(w),(1,4,8,2,6,7,3,5,9));
(1,2,3)
</pre>
<p>
<a name = "SSEC004.2"></a>
<li><code>WreathProductImprimitiveAction( </code><var>G</var><code>, </code><var>H</var><code> ) F</code>
<p>
for two permutation groups <var>G</var> and <var>H</var> this function constructs the
wreath product of <var>G</var> and <var>H</var> in the imprimitive action. If <var>G</var> acts on
<i>l</i> points and <var>H</var> on <i>m</i> points this action will be on <i>l</i>·<i>m</i>
points, it will be imprimitive with <i>m</i> blocks of size <i>l</i> each.
<p>
The operations <code>Embedding</code> and <code>Projection</code> operate on this product as
described for general wreath products.
<p>
<pre>
gap> w:=WreathProductImprimitiveAction(g,p);;
gap> LargestMovedPoint(w);
9
</pre>
<p>
<a name = "SSEC004.3"></a>
<li><code>WreathProductProductAction( </code><var>G</var><code>, </code><var>H</var><code> ) F</code>
<p>
for two permutation groups <var>G</var> and <var>H</var> this function constructs the
wreath product in product action. If <var>G</var> acts on <i>l</i> points and <var>H</var> on
<i>m</i> points this action will be on <i>l</i><sup><i>m</i></sup> points.
<p>
The operations <code>Embedding</code> and <code>Projection</code> operate on this product as
described for general wreath products.
<p>
<pre>
gap> w:=WreathProductProductAction(g,p);
<permutation group of size 648 with 7 generators>
gap> LargestMovedPoint(w);
27
</pre>
<p>
<a name = "SSEC004.4"></a>
<li><code>KuKGenerators( </code><var>G</var><code>, </code><var>beta</var><code>, </code><var>alpha</var><code> ) F</code>
<p>
<a name = "I7"></a>
<a name = "I8"></a>
If <var>beta</var> is a homomorphism from <var>G</var> in a transitive permutation group,
<var>U</var> the full preimage of the point stabilizer and
and <var>alpha</var> a homomorphism defined on (a superset) of <var>U</var>, this function
returns images of the generators of <var>G</var> when mapping to the wreath
product (<i>U</i> <i>alpha</i>) wr (<i>G</i> <i>beta</i>). (This is the Krasner-Kaloujnine
embedding theorem.)
<p>
<pre>
gap> g:=Group((1,2,3,4),(1,2));;
gap> hom:=GroupHomomorphismByImages(g,Group((1,2)),
> GeneratorsOfGroup(g),[(1,2),(1,2)]);;
gap> u:=PreImage(hom,Stabilizer(Image(hom),1));
Group([ (2,3,4), (1,2,4) ])
gap> hom2:=GroupHomomorphismByImages(u,Group((1,2,3)),
> GeneratorsOfGroup(u),[ (1,2,3), (1,2,3) ]);;
gap> KuKGenerators(g,hom,hom2);
[ (1,4)(2,5)(3,6), (1,6)(2,4)(3,5) ]
</pre>
<p>
<p>
<h2><a name="SECT005">47.5 Free Products</a></h2>
<p><p>
Let <i>G</i> and <i>H</i> be groups with presentations 〈<i>X</i> | <i>R</i>〉 and
〈<i>Y</i> | <i>S</i>〉 respectively. Then the free product <i>G</i>*<i>H</i> is
the group with presentation 〈<i>X</i>∪<i>Y</i> | <i>R</i>∪<i>S</i>〉. This
construction can be generalized to an arbitrary number of groups.
<p>
<a name = "SSEC005.1"></a>
<li><code>FreeProduct( </code><var>G</var><code> {, </code><var>H</var><code>} ) F</code>
<li><code>FreeProduct( list ) F</code>
<p>
constructs a finitely presented group which is the free product of
the groups given as arguments. If the group arguments are not finitely
presented groups, then <code>IsomorphismFpGroup</code> must be defined for them.
<p>
The operation <code>Embedding</code> operates on this product.
<p>
<pre>
gap> g := DihedralGroup(8);;
gap> h := CyclicGroup(5);;
gap> fp := FreeProduct(g,h,h);
<fp group on the generators [ f1, f2, f3, f4, f5 ]>
gap> fp := FreeProduct([g,h,h]);
<fp group on the generators [ f1, f2, f3, f4, f5 ]>
gap> Embedding(fp,2);
[ f1 ] -> [ f4 ]
</pre>
<p>
<p>
<h2><a name="SECT006">47.6 Embeddings and Projections for Group Products</a></h2>
<p><p>
The relation between a group product and its factors is provided via
homomorphisms, the embeddings in the product and the projections from the
product. Depending on the kind of product only some of these are defined.
<p>
<a name = "SSEC006.1"></a>
<li><code>Embedding(</code><var>P</var><code>,</code><var>nr</var><code>) O</code>
<p>
returns the <var>nr</var>-th embedding in the group product <var>P</var>. The actual meaning
of this embedding is described in the section for the appropriate product.
<p>
<a name = "SSEC006.2"></a>
<li><code>Projection(</code><var>P</var><code>[,</code><var>nr</var><code>]) O</code>
<p>
returns the (<var>nr</var>-th) projection of the group product <var>P</var>. The actual meaning
of the projection returned is described in the section for the appropriate
product.
<p>
<p>
[<a href="../index.htm">Top</a>] [<a href = "chapters.htm">Up</a>] [<a href ="CHAP046.htm">Previous</a>] [<a href ="CHAP048.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<P>
<font face="Gill Sans,Helvetica,Arial">GAP 4 manual<br>December 2008
</font></body></html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
189
