Sophie: gap-system-4.4.12-5mdv2010.0 i586

gap-system-4.4.12-5mdv2010.0.i586.rpm

<html><head><title>[Nilmat] 1 Introduction</title></head>
<body text="#000000" bgcolor="#ffffff">
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<h1>1 Introduction</h1><p>
<p>
<a name = "I0"></a>

This package is for computing with nilpotent matrix groups over a
field <var><font face="helvetica,arial">F</font></var>, where <var><font face="helvetica,arial">F</font></var> is a finite field <var>GF(q)</var> or the rational
number field <var><font face="helvetica,arial">Q</font></var>.
<p>
<font face="Gill Sans,Helvetica,Arial">Nilmat</font> contains an implementation of algorithms
developed over the past few years, available in theoretical form
in the papers citeDF04,DF05b,DF06,DF07. The theory of nilpotent
matrix groups is an essential part of linear group theory. Many
structural and classification results for nilpotent linear groups
are known (see e.g. citeSup76,Weh73), and specialized methods
for handling these groups have been developed. The computational
advantages of nilpotent linear groups have been addressed in
<a href="biblio.htm#DF05a"><cite>DF05a</cite></a>. For a full description of most of the algorithms of
this package, further general information, and historical remarks,
see citeDF06,DF07.
<p>
One purpose of <font face="Gill Sans,Helvetica,Arial">Nilmat</font> is testing nilpotency of a
subgroup <var>G</var> of <var>GL(n,<font face="helvetica,arial">F</font>)</var>. If <var>G&lt; GL(n,<font face="helvetica,arial">Q</font>)</var> is found to be
nilpotent then the package provides a function for deciding
whether <var>G</var> is finite. If <var>G&lt; GL(n,q)</var> is found to be nilpotent
then the package provides a function that returns the Sylow
subgroups of <var>G</var>. Additional functions allow one to test whether a
nilpotent subgroup <var>G</var> of <var>GL(n,<font face="helvetica,arial">F</font>)</var> is completely reducible or
unipotent, and to compute the order of <var>G</var> if it is finite.
<p>
Another feature of <font face="Gill Sans,Helvetica,Arial">Nilmat</font> is a library of nilpotent
primitive matrix groups. Specifically, for each integer <var>n&gt;1</var> and
prime power <var>q</var>, this library returns a complete and irredundant
list of <var>GL(n,q)</var>-conjugacy class representatives of the
nilpotent primitive subgroups of <var>GL(n,q)</var>.
<p>
The problem of constructing nilpotent matrix groups is interesting
in its own right. We have included in the package functions
concerned with this problem. For example, one such function
constructs maximal absolutely irreducible nilpotent subgroups of
<var>GL(n,q)</var>.
<p>
Related research on solvable and polycyclic matrix groups was
carried out by Bj&ouml;rn Assmann and Bettina Eick in
citeAE05,AE07. Most of the algorithms in <a href="biblio.htm#AE05"><cite>AE05</cite></a> were
implemented in the <font face="Gill Sans,Helvetica,Arial">GAP</font> package <font face="Gill Sans,Helvetica,Arial">Polenta</font>, on which
<font face="Gill Sans,Helvetica,Arial">Nilmat</font> partially relies.
<p>
This work has emanated from research conducted with the financial
support of Science Foundation Ireland and the German Academic
Exchange Service (DAAD).
<p>
[<a href = "chapters.htm">Up</a>] [<a href ="CHAP002.htm">Next</a>] [<a href = "theindex.htm">Index</a>]
<P>
<address>Nilmat manual<br>June 2007
</address></body></html>