Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 5e1854624d3bc613bdd0dd13d1ef9ac7 > files > 219

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

<html><head><title>The GAP 4 Reference Manual - References</title></head>
<body text="#000000" bgcolor="#ffffff">
<h1>The <font face="Gill Sans,Helvetica,Arial">GAP</font> 4 Reference Manual - References</h1><dl>

<dt><a name="AMW82"><b>[AMW82]</b></a><dd>
D[avid]&nbsp;G. Arrell, S[anjiv] Manrai, and M[ichael]&nbsp;F. Worboys.
<br> A procedure for obtaining simplified defining relations for a
  subgroup.
<br> In Campbell and Robertson <a href="#GrpsStAndrews81"><cite>GrpsStAndrews81</cite></a>, pages 155--159.

<dt><a name="AR84"><b>[AR84]</b></a><dd>
D[avid]&nbsp;G. Arrell and E[dmund]&nbsp;F. Robertson.
<br> A modified Todd-Coxeter algorithm.
<br> In Atkinson <a href="#Durham1982"><cite>Durham1982</cite></a>, pages 27--32.

<dt><a name="Art68"><b>[Art68]</b></a><dd>
E[mil] Artin.
<br> <em>Galoissche Theorie</em>.
<br> Verlag Harri Deutsch, Frankfurt/Main, 1968.

<dt><a name="Durham1982"><b>[Durham1982]</b></a><dd>
Michael&nbsp;D. Atkinson, editor.
<br> <em>Computational Group Theory, Proceedings LMS Symposium on
  Computational Group Theory, Durham 1982</em>. Academic Press, 1984.

<dt><a name="Baker84"><b>[Baker84]</b></a><dd>
Alan Baker.
<br> <em>A concise introduction to the theory of numbers</em>.
<br> Cambridge University Press, 1984.

<dt><a name="BC76"><b>[BC76]</b></a><dd>
M[ichael]&nbsp;J. Beetham and C[olin]&nbsp;M. Campbell.
<br> A note on the Todd-Coxeter coset enumeration algorithm.
<br> <em>Proc. Edinburgh Math. Soc. Edinburgh Math. Notes</em>, 20:73--79,
  1976.

<dt><a name="BC89"><b>[BC89]</b></a><dd>
Richard&nbsp;P. Brent and Graeme&nbsp;L. Cohen.
<br> A new lower bound for odd perfect numbers.
<br> <em>Math. Comp.</em>, 53:431--437, 1989.

<dt><a name="BC94"><b>[BC94]</b></a><dd>
Ulrich Baum and Michael Clausen.
<br> Computing irreducible representations of supersolvable groups.
<br> <em>Math. Comput.</em>, 207:351--359, 1994.

<dt><a name="BCFS91"><b>[BCFS91]</b></a><dd>
L[&aacute;szl&oacute;] Babai, G[ene] Cooperman, L[arry] Finkelstein, and &Aacute;[kos] Seress.
<br> Nearly linear time algorithms for permutation groups with a small
  base.
<br> In <em>Proceedings of the International Symposium on Symbolic and
  Algebraic Computation (ISSAC'91), Bonn 1991</em>, pages 200--209. ACM Press,
  1991.

<dt><a name="BescheEick98"><b>[BescheEick98]</b></a><dd>
Hans&nbsp;Ulrich Besche and Bettina Eick.
<br> Construction of finite groups.
<br> <em>J. Symbolic Comput.</em>, 27(4):387--404, 1999.

<dt><a name="BescheEick1000"><b>[BescheEick1000]</b></a><dd>
Hans&nbsp;Ulrich Besche and Bettina Eick.
<br> The groups of order at most 1000 except 512 and 768.
<br> <em>J. Symbolic Comput.</em>, 27(4):405--413, 1999.

<dt><a name="BescheEick768"><b>[BescheEick768]</b></a><dd>
Hans&nbsp;Ulrich Besche and Bettina Eick.
<br> The groups of order <i>q</i><sup><i>n</i></sup> &#183;<i>p</i>.
<br> <em>Comm. Alg.</em>, 29(4):1759--1772, 2001.

<dt><a name="BEO00"><b>[BEO00]</b></a><dd>
Hans&nbsp;Ulrich Besche, Bettina Eick, and E.&nbsp;A. O'Brien.
<br> The groups of order at most 2000.
<br> <em>Electronic Research Announcements of the AMS</em>, 7:1 -- 4, 2001.

<dt><a name="BEO01"><b>[BEO01]</b></a><dd>
Hans&nbsp;Ulrich Besche, Bettina Eick, and E.&nbsp;A. O'Brien.
<br> A millenium project: constructing small groups.
<br> <em>IJAC</em>, 12:623 -- 644, 2002.

<dt><a name="Ber76"><b>[Ber76]</b></a><dd>
T.&nbsp;R. Berger.
<br> Characters and derived length in groups of odd order.
<br> <em>J. Algebra</em>, 39:199--207, 1976.

<dt><a name="Besche92"><b>[Besche92]</b></a><dd>
Hans&nbsp;Ulrich Besche.
<br> Die Berechnung von Charaktergraden und Charakteren endlicher
  aufl&ouml;sbarer Gruppen im Computeralgebrasystem GAP.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, Aachen,
  Germany, 1992.

<dt><a name="BFS79"><b>[BFS79]</b></a><dd>
F.&nbsp;Rudolf Beyl, Ulrich Felgner, and Peter Schmid.
<br> On groups occurring as center factor groups.
<br> <em>J. Algebra</em>, 61(1):161--177, 1979.

<dt><a name="BJR87"><b>[BJR87]</b></a><dd>
R.&nbsp;Brown, D.&nbsp;L. Johnson, and E.&nbsp;F. Robertson.
<br> Some computations of nonabelian tensor products of groups.
<br> <em>J. Algebra</em>, 111(1):177--202, 1987.

<dt><a name="BreuerLinton98"><b>[BreuerLinton98]</b></a><dd>
Thomas Breuer and Steve Linton.
<br> The GAP&nbsp;4 type system. organizing algebraic algorithms.
<br> In Gloor <a href="#ISSAC98"><cite>ISSAC98</cite></a>, pages 38--45.

<dt><a name="BM83"><b>[BM83]</b></a><dd>
Gregory Butler and John McKay.
<br> The transitive groups of degree up to 11.
<br> <em>Comm. Algebra</em>, 11:863--911, 1983.

<dt><a name="Bourbaki70"><b>[Bourbaki70]</b></a><dd>
N.&nbsp;Bourbaki.
<br> <em>&Eacute;l&eacute;ments de Math&eacute;matique, Alg&egrave;bre I</em>, volume&nbsp;1.
<br> Hermann, Paris, 1970.

<dt><a name="BP98"><b>[BP98]</b></a><dd>
Thomas Breuer and G&ouml;tz Pfeiffer.
<br> Finding Possible Permutation Characters.
<br> <em>J. Symbolic Comput.</em>, 26:343--354, 1998.

<dt><a name="Bre91"><b>[Bre91]</b></a><dd>
Thomas Breuer.
<br> Potenzabbildungen, Untergruppenfusionen, Tafel-Automorphismen.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, Aachen,
  Germany, 1991.

<dt><a name="Bre97"><b>[Bre97]</b></a><dd>
Thomas Breuer.
<br> Integral bases for subfields of cyclotomic fields.
<br> <em>AAECC</em>, 8:279--289, 1997.

<dt><a name="Bre99"><b>[Bre99]</b></a><dd>
Thomas Breuer.
<br> Computing Possible Class Fusions from Character Tables.
<br> <em>Comm. Algebra</em>, 27(6):2733--2748, 1999.

<dt><a name="BTW93"><b>[BTW93]</b></a><dd>
Bernhard Beauzamy, Vilmar Trevisan, and Paul&nbsp;S. Wang.
<br> Polynomial factorization: Sharp bounds, Efficient algorithms.
<br> <em>J. Symbolic Comput.</em>, 15:393--413, 1993.

<dt><a name="Bur55"><b>[Bur55]</b></a><dd>
W[illiam&nbsp;S.] Burnside.
<br> <em>Theory of Groups of Finite Order</em>.
<br> Dover Publications, New York, 1955.
<br> Unabridged republication of the second edition, published in 1911.

<dt><a name="Butler93"><b>[Butler93]</b></a><dd>
Gregory Butler.
<br> The transitive groups of degree fourteen and fifteen.
<br> <em>J. Symbolic Comput.</em>, pages 413--422, 1993.

<dt><a name="Can73"><b>[Can73]</b></a><dd>
John&nbsp;J. Cannon.
<br> Construction of defining relators for finite groups.
<br> <em>Discrete Math.</em>, pages 105--129, 1973.

<dt><a name="Car72a"><b>[Car72a]</b></a><dd>
R.&nbsp;W. Carter.
<br> <em>Simple groups of Lie type</em>, volume&nbsp;28 of <em>Pure and Applied
  Mathematics</em>.
<br> John Wiley and Sons, 1972.

<dt><a name="CCN85"><b>[CCN85]</b></a><dd>
J[ohn]&nbsp;H. Conway, R[obert]&nbsp;T. Curtis, S[imon]&nbsp;P. Norton, R[ichard]&nbsp;A. Parker,
  and R[obert]&nbsp;A. Wilson.
<br> <em>Atlas of finite groups</em>.
<br> Oxford University Press, 1985.

<dt><a name="ConwayHulpkeMcKay98"><b>[ConwayHulpkeMcKay98]</b></a><dd>
John&nbsp;H. Conway, Alexander Hulpke, and John McKay.
<br> On transitive permutation groups.
<br> <em>LMS J. Comput. Math.</em>, 1:1--8, 1998.

<dt><a name="coxlittleoshea"><b>[coxlittleoshea]</b></a><dd>
David Cox, John Little, and Donal O'Shea.
<br> <em>Ideals, varieties, and algorithms</em>.
<br> Undergraduate Texts in Mathematics. Springer-Verlag, New York, second
  edition, 1997.
<br> An introduction to computational algebraic geometry and commutative
  algebra.

<dt><a name="Coh93"><b>[Coh93]</b></a><dd>
Henri Cohen.
<br> <em>A Course in Computational Algebraic Number Theory</em>, volume 138
  of <em>Graduate Texts in Mathematics</em>.
<br> Springer, Berlin, Heidelberg and New York, 1993.

<dt><a name="Con90a"><b>[Con90a]</b></a><dd>
S[am]&nbsp;B. Conlon.
<br> Calculating characters of <i>p</i>-groups.
<br> <em>J. Symbolic Comput.</em>, 9(5 &amp; 6):535--550, 1990.

<dt><a name="Con90b"><b>[Con90b]</b></a><dd>
S[am]&nbsp;B. Conlon.
<br> Computing modular and projective character degrees of soluble groups.
<br> <em>J. Symbolic Comput.</em>, 9(5 &amp; 6):551--570, 1990.

<dt><a name="GrpsStAndrews81"><b>[GrpsStAndrews81]</b></a><dd>
Colin&nbsp;M. Campbell and Edmund&nbsp;F. Robertson, editors.
<br> <em>Groups-St.Andrews 1981, Proceedings of a conference, St.Andrews
  1981</em>, volume&nbsp;71 of <em>London Math. Soc. Lecture Note Series</em>. Cambridge
  University Press, 1982.

<dt><a name="DEi05"><b>[DEi05]</b></a><dd>
Heiko Dietrich and Bettina Eick.
<br> Groups of cube-free order.
<br> <em>Accepted by J. Alg.</em>, 2005.

<dt><a name="Dix67"><b>[Dix67]</b></a><dd>
J[ohn]&nbsp;D. Dixon.
<br> High speed computations of group characters.
<br> <em>Numer. Math.</em>, 10:446--450, 1967.

<dt><a name="Dix93"><b>[Dix93]</b></a><dd>
John&nbsp;D. Dixon.
<br> Constructing representations of finite groups.
<br> In Larry Finkelstein and William&nbsp;M. Kantor, editors, <em>Proceedings
  of the 1991 DIMACS Workshop on Groups and Computation</em>, volume&nbsp;11 of <em>
  DIMACS Series in Discrete Mathematics and Theoretical Computer Science</em>,
  pages 105--112. American Mathematical Society, 1993.

<dt><a name="DixonMortimer88"><b>[DixonMortimer88]</b></a><dd>
John&nbsp;D. Dixon and Brian Mortimer.
<br> The primitive permutation groups of degree less than 1000.
<br> <em>Math. Proc. Cambridge Philos. Soc.</em>, 103:213--238, 1988.

<dt><a name="Dre69"><b>[Dre69]</b></a><dd>
Andreas [W.&nbsp;M.] Dress.
<br> A characterization of solvable groups.
<br> <em>Math. Z.</em>, 110:213--217, 1969.

<dt><a name="EickHoefling02"><b>[EickHoefling02]</b></a><dd>
Bettina Eich and Burkhard H"ofling.
<br> The solvable primitive permutation groups of degree at most 6560.
<br> submitted, 2002.

<dt><a name="Eick97"><b>[Eick97]</b></a><dd>
Bettina Eick.
<br> Special presentations for finite soluble groups and computing
  (pre-)Frattini subgroups.
<br> In Larry Finkelstein and William&nbsp;M. Kantor, editors, <em>Proceedings
  of the 2nd DIMACS Workshop held at Rutgers University, New Brunswick, NJ,
  June 7--10, 1995</em>, volume&nbsp;28 of <em>DIMACS Series in Discrete Mathematics
  and Theoretical Computer Science</em>, pages 101--112. American Mathematical
  Society, 1997.

<dt><a name="Ellis98"><b>[Ellis98]</b></a><dd>
Graham Ellis.
<br> On the capability of groups.
<br> <em>Proc. Edinburgh Math. Soc. (2)</em>, 41(3):487--495, 1998.

<dt><a name="EOB98"><b>[EOB98]</b></a><dd>
Bettina Eick and E.&nbsp;A. O'Brien.
<br> The groups of order 512.
<br> In Matzat Greuel, Hiss, editor, <em>Proceedings of `Abschlusstagung
  des DFG Schwerpunktes Algorithmische Algebra und Zahlentheorie in
  Heidelberg</em>. Springer, 1998.

<dt><a name="EOB99"><b>[EOB99]</b></a><dd>
Bettina Eick and E.&nbsp;A. O'Brien.
<br> Enumerating <i>p</i>-groups.
<br> <em>J. Austral. Math. Soc.</em>, 67:191 -- 205, 1999.

<dt><a name="FJNT95"><b>[FJNT95]</b></a><dd>
V[olkmar] Felsch, D[avid]&nbsp;L. Johnson, J[oachim] Neub&uuml;ser, and
  S[ergey]&nbsp;V. Tsaranov.
<br> The structure of certain Coxeter groups.
<br> In C[olin]&nbsp;M. Campbell, T[haddeus]&nbsp;C. Hurley, E[dmund]&nbsp;F. Robertson,
  S[ean]&nbsp;J. Tobin, and J[ames]&nbsp;J. Ward, editors, <em>Groups '93 Galway /
  St.Andrews, Galway 1993, Volume 1</em>, volume 211 of <em>London Math. Soc.
  Lecture Note Series</em>, pages 177--190. Cambridge University Press, 1995.

<dt><a name="FelschNeubueser79"><b>[FelschNeubueser79]</b></a><dd>
Volkmar Felsch and Joachim Neub&uuml;ser.
<br> An algorithm for the computation of conjugacy classes and
  centralizers in <i>p</i>-groups.
<br> In Edward&nbsp;W. Ng, editor, <em>Symbolic and Algebraic Computation
  (Proceedings of EUROSAM 79, An International Symposium on Symbolic and
  Algebraic Manipulation, Marseille, 1979)</em>, Lecture Notes in Computer Science,
  72, pages 452--465. Springer, Berlin, Heidelberg and New York, 1979.

<dt><a name="Fra82"><b>[Fra82]</b></a><dd>
J[ames]&nbsp;S. Frame.
<br> Recursive computation of tensor power components.
<br> <em>Bayreuther Math. Schr.</em>, 10:153--159, 1982.

<dt><a name="Gir03"><b>[Gir03]</b></a><dd>
Boris Girnat.
<br> Klassifikation der Gruppen bis zur Ordnung <i>p</i><sup>5</sup>.
<br> Staatsexamensarbeit, TU Braunschweig, 2003.

<dt><a name="ISSAC98"><b>[ISSAC98]</b></a><dd>
Oliver Gloor, editor.
<br> <em>Proceedings of the 1998 International Symposium on Symbolic and
  Algebraic Computation</em>. The Association for Computing Machinery, ACM Press,
  1998.

<dt><a name="Hall"><b>[Hall]</b></a><dd>
Marshall Hall, Jr.
<br> <em>The theory of Groups</em>.
<br> Macmillan, 1959.

<dt><a name="Hav69"><b>[Hav69]</b></a><dd>
George Havas.
<br> Symbolic and algebraic calculation.
<br> Basser Computing Dept., Technical Report&nbsp;89, Basser Department of
  Computer Science, University of Sydney, Sydney, Australia, 1969.

<dt><a name="Hav74b"><b>[Hav74b]</b></a><dd>
George Havas.
<br> A Reidemeister-Schreier program.
<br> In M[ichael]&nbsp;F. Newman, editor, <em>Proceedings of the Second
  International Conference on the Theory of Groups, Canberra, 1973</em>, volume 372
  of <em>Lecture Notes in Math.</em>, pages 347--356. Springer, Berlin, Heidelberg
  and New York, 1974.

<dt><a name="Hup82"><b>[Hup82]</b></a><dd>
B[ertram] Huppert and N[orman] Blackburn.
<br> <em>Endliche Gruppen II</em>, volume 1242 of <em>Grundlehren Math.
  Wiss.</em>
<br> Springer, Berlin, Heidelberg and New York, 1982.

<dt><a name="HIO89"><b>[HIO89]</b></a><dd>
Trevor&nbsp;[O.] Hawkes, I.&nbsp;M[artin] Isaacs, and M.&nbsp;&Ouml;zaydin.
<br> On the M&ouml;bius function of a finite group.
<br> <em>Rocky Mountain J. Math.</em>, 19:1003--1034, 1989.

<dt><a name="HJLP92"><b>[HJLP92]</b></a><dd>
Gerhard Hiss, Christoph Jansen, Klaus Lux, and Richard&nbsp;[A.] Parker.
<br> Computational modular character theory.
<br> <a href="http://www.math.rwth-aachen.de/LDFM/homes/MOC/CoMoChaT/">http://www.math.rwth-aachen.de/LDFM/homes/MOC/CoMoChaT/</a>.

<dt><a name="HKRR84"><b>[HKRR84]</b></a><dd>
George Havas, P[eter]&nbsp;E. Kenne, J[ames]&nbsp;S. Richardson, and E[dmund]&nbsp;F.
  Robertson.
<br> A Tietze transformation program.
<br> In Atkinson <a href="#Durham1982"><cite>Durham1982</cite></a>, pages 67--71.

<dt><a name="Howie76"><b>[Howie76]</b></a><dd>
J.&nbsp;M. Howie.
<br> <em>An introduction to semigroup theory</em>.
<br> Academic Press [Harcourt Brace Jovanovich Publishers], London, 1976.
<br> L.M.S. Monographs, No. 7.

<dt><a name="HP89"><b>[HP89]</b></a><dd>
Derek&nbsp;F. Holt and W[ilhelm] Plesken.
<br> <em>Perfect Groups</em>.
<br> Oxford Math. Monographs. Oxford University Press, 1989.

<dt><a name="HR94"><b>[HR94]</b></a><dd>
Derek&nbsp;[F.] Holt and Sarah Rees.
<br> Testing modules for irreducibility.
<br> <em>J. Austral. Math. Soc. Ser. A</em>, 57:1--16, 1994.

<dt><a name="Hulpke93"><b>[Hulpke93]</b></a><dd>
Alexander Hulpke.
<br> Zur Berechnung von Charaktertafeln.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, 1993.

<dt><a name="Hulpke96"><b>[Hulpke96]</b></a><dd>
Alexander Hulpke.
<br> <em>Konstruktion transitiver Permutationsgruppen</em>.
<br> Dissertation, Rheinisch Westf&auml;lische Technische
  Hochschule, Aachen, Germany, 1996.

<dt><a name="Hulpke98"><b>[Hulpke98]</b></a><dd>
Alexander Hulpke.
<br> Computing normal subgroups.
<br> In Gloor <a href="#ISSAC98"><cite>ISSAC98</cite></a>, pages 194--198.

<dt><a name="Hulpke99"><b>[Hulpke99]</b></a><dd>
Alexander Hulpke.
<br> Computing subgroups invariant under a set of automorphisms.
<br> <em>J. Symbolic Comput.</em>, 27(4):415--427, 1999.

<dt><a name="HulpkeClasses"><b>[HulpkeClasses]</b></a><dd>
Alexander Hulpke.
<br> Conjugacy classes in finite permutation groups via homomorphic
  images.
<br> <em>Math. Comp.</em>, 69(232):1633--1651, 2000.

<dt><a name="HulpkeQuot"><b>[HulpkeQuot]</b></a><dd>
Alexander Hulpke.
<br> Representing subgroups of finitely presented groups by quotient
  subgroups.
<br> <em>Experimental Mathematics</em>, 10(3):369--381, 2001.

<dt><a name="HulpkeTG"><b>[HulpkeTG]</b></a><dd>
Alexander Hulpke.
<br> Constructing transitive permutation groups.
<br> <em>J. Symbolic Comput.</em>, 39:1--30, 2005.

<dt><a name="Hum72"><b>[Hum72]</b></a><dd>
James&nbsp;E. Humphreys.
<br> <em>Introduction to Lie algebras and representation theory</em>.
<br> Springer-Verlag, New York, 1972.
<br> Graduate Texts in Mathematics, Vol. 9.

<dt><a name="Hum78"><b>[Hum78]</b></a><dd>
James&nbsp;E. Humphreys.
<br> <em>Introduction to Lie algebras and representation theory</em>.
<br> Springer-Verlag, New York, 1978.
<br> Second printing, revised.

<dt><a name="Hup67"><b>[Hup67]</b></a><dd>
B[ertram] Huppert.
<br> <em>Endliche Gruppen I</em>, volume 134 of <em>Grundlehren Math.
  Wiss.</em>
<br> Springer, Berlin, Heidelberg and New York, 1967.

<dt><a name="IshibashiEarnest94"><b>[IshibashiEarnest94]</b></a><dd>
Hiroyuki Ishibashi and A.&nbsp;G. Earnest.
<br> Two-element generation of orthogonal groups over finite fields.
<br> <em>J. Algebra</em>, 165(1):164--171, 1994.

<dt><a name="Isa76"><b>[Isa76]</b></a><dd>
I.&nbsp;M. Isaacs.
<br> <em>Character theory of finite groups</em>, volume&nbsp;69 of <em>Pure and
  applied mathematics</em>.
<br> Academic Press, New York, 1976.
<br> xii+303 pp., ISBN 0-12-374550-0.

<dt><a name="JLPW95"><b>[JLPW95]</b></a><dd>
Christoph Jansen, Klaus Lux, Richard&nbsp;[A.] Parker, and Robert&nbsp;[A.] Wilson.
<br> <em>An Atlas of Brauer Characters</em>, volume&nbsp;11 of <em>London
  Math. Soc. Monographs</em>.
<br> Oxford University Press, 1995.

<dt><a name="Joh97"><b>[Joh97]</b></a><dd>
D.&nbsp;L. Johnson.
<br> <em>Presentations of groups</em>.
<br> Cambridge University Press, Cambridge, second edition, 1997.

<dt><a name="Kaup92"><b>[Kaup92]</b></a><dd>
Ansgar Kaup.
<br> Gitterbasen und Charaktere endlicher Gruppen.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, Aachen,
  Germany, 1992.

<dt><a name="KleidmanLiebeck90"><b>[KleidmanLiebeck90]</b></a><dd>
Peter Kleidman and Martin Liebeck.
<br> <em>The subgroup structure of the finite classical groups</em>.
<br> Cambridge University Press, 1990.

<dt><a name="Klimyk66"><b>[Klimyk66]</b></a><dd>
A.&nbsp;U. Klimyk.
<br> Decomposition of the direct product of irreducible representations of
  semisimple Lie algebras into irreducible representations.
<br> <em>Ukrain. Mat. \vZ.</em>, 18(5):19--27, 1966.

<dt><a name="Klimyk68"><b>[Klimyk68]</b></a><dd>
A.&nbsp;U. Klimyk.
<br> Decomposition of a direct product of irreducible representations of a
  semisimple Lie algebra into irreducible representations.
<br> In <em>American Mathematical Society Translations. Series
  2</em>, volume&nbsp;76, pages 63--73. American Mathematical Society, Providence, R.I.,
  1968.

<dt><a name="KLM01"><b>[KLM01]</b></a><dd>
Gregor Kemper, Frank L"ubeck, and Kay Magaard.
<br> Matrix generators for the Ree groups \sp 2<i>G</i>\sb 2(<i>q</i>).
<br> <em>Comm. Algebra</em>, 29(1):407--413, 2001.

<dt><a name="TACP2"><b>[TACP2]</b></a><dd>
Donald&nbsp;E. Knuth.
<br> <em>The Art of Computer Programming, Volume 2: Seminumerical
  Algorithms</em>.
<br> Addison-Wesley, third edition, 1998.

<dt><a name="L03"><b>[L03]</b></a><dd>
Frank L&uuml;beck.
<br> Conway polynomials for finite fields.
<br>
  <a href="http://www.math.rwth-aachen.de:8001/~Frank.Luebeck/data/ConwayPol">http://www.math.rwth-aachen.de:8001/~Frank.Luebeck/data/ConwayPol</a>.

<dt><a name="Leon91"><b>[Leon91]</b></a><dd>
Jeffrey&nbsp;S. Leon.
<br> Permutation group algorithms based on partitions, I: theory and
  algorithms.
<br> <em>J. Symbolic Comput.</em>, 12:533--583, 1991.

<dt><a name="LLL82"><b>[LLL82]</b></a><dd>
A.&nbsp;K. Lenstra, H.&nbsp;W. Lenstra, and L.&nbsp;Lov&aacute;sz.
<br> Factoring polynomials with rational coefficients.
<br> <em>Math. Ann.</em>, 261:513--534, 1982.

<dt><a name="SOGOS"><b>[SOGOS]</b></a><dd>
R[einhard] Laue, J[oachim] Neub&uuml;ser, and U[lrich] Schoenwaelder.
<br> Algorithms for finite soluble groups and the SOGOS system.
<br> In Atkinson <a href="#Durham1982"><cite>Durham1982</cite></a>, pages 105--135.

<dt><a name="LP91"><b>[LP91]</b></a><dd>
Klaus Lux and Herbert Pahlings.
<br> Computational aspects of representation theory of finite groups.
<br> In G.&nbsp;O. Michler and C.&nbsp;R. Ringel, editors, <em>Representation
  theory of finite groups and finite-dimensional algebras</em>, volume&nbsp;95 of <em>
  Progress in Mathematics</em>, pages 37--64. Birkh&auml;user, Basel, 1991.

<dt><a name="Mac81"><b>[Mac81]</b></a><dd>
I.&nbsp;G. Macdonald.
<br> Numbers of conjugacy classes in some finite classical groups.
<br> <em>Bull. Austral. Math. Soc.</em>, 23(1):23--48, 1981.

<dt><a name="MeckyNeubueser89"><b>[MeckyNeubueser89]</b></a><dd>
M[atthias] Mecky and J[oachim] Neub&uuml;ser.
<br> Some remarks on the computation of conjugacy classes of soluble
  groups.
<br> <em>Bull. Austral. Math. Soc.</em>, 40(2):281--292, 1989.

<dt><a name="NOV04"><b>[NOV04]</b></a><dd>
E.A.&nbsp;O'Brien M.F.&nbsp;Newman and M.R. Vaughan-Lee.
<br> Groups and nilpotent lie rings whose order is the sixth of a prime.
<br> <em>J. Alg.</em>, 278:383 -- 401, 2003.

<dt><a name="MS85"><b>[MS85]</b></a><dd>
John McKay and Leonard&nbsp;H. Soicher.
<br> Computing Galois groups over the rationals.
<br> <em>J. Number Theory</em>, 20:273--281, 1985.

<dt><a name="Mur58"><b>[Mur58]</b></a><dd>
F[rancis]&nbsp;D. Murnaghan.
<br> The orthogonal and symplectic groups.
<br> Communications Series A&nbsp;13, Dublin Inst. Adv. Studies, 1958.

<dt><a name="MV97"><b>[MV97]</b></a><dd>
Meena Mahajan and V.&nbsp;Vinay.
<br> Determinant: combinatorics, algorithms, and complexity.
<br> <em>Chicago J. Theoret. Comput. Sci.</em>, pages Article 5, 26 pp.
  (electronic), 1997.

<dt><a name="Neb95"><b>[Neb95]</b></a><dd>
Gabriele Nebe.
<br> <em>Endliche rationale Matrixgruppen vom Grad 24</em>.
<br> Dissertation, Rheinisch Westf&auml;lische Technische
  Hochschule, Aachen, Germany, 1995.

<dt><a name="Neb96"><b>[Neb96]</b></a><dd>
Gabriele Nebe.
<br> Finite subgroups of <i>GL</i><sub><i>n</i></sub>(<b>Q</b>) for 25  &#8804; <i>n</i>  &#8804; 31.
<br> <em>Comm. Alg.</em>, 24 (7):2341--2397, 1996.

<dt><a name="Neu82"><b>[Neu82]</b></a><dd>
Joachim Neub&uuml;ser.
<br> An elementary introduction to coset table methods in computational
  group theory.
<br> In Campbell and Robertson <a href="#GrpsStAndrews81"><cite>GrpsStAndrews81</cite></a>, pages 1--45.

<dt><a name="neukirch"><b>[neukirch]</b></a><dd>
J&uuml;rgen Neukirch.
<br> <em>Algebraische Zahlentheorie</em>.
<br> Springer, Berlin, Heidelberg and New York, 1992.

<dt><a name="New77"><b>[New77]</b></a><dd>
M[ichael]&nbsp;F. Newman.
<br> Determination of groups of prime-power order.
<br> In R.&nbsp;A. Bryce, J.&nbsp;Cossey, and M[ichael]&nbsp;F. Newman, editors, <em>
  Group theory, Proc. Miniconf., Austral. Nat. Univ., Canberra, 1975</em>, volume
  573 of <em>Lecture Notes in Math.</em>, pages 73--84. Springer, Berlin,
  Heidelberg and New York, 1977.

<dt><a name="New90"><b>[New90]</b></a><dd>
M[ichael]&nbsp;F. Newman.
<br> Proving a group infinite.
<br> <em>Arch. Math. (Basel)</em>, 54(3):209--211, 1990.

<dt><a name="NPbook95"><b>[NPbook95]</b></a><dd>
G[abriele] Nebe and W[ilhelm] Plesken.
<br> <em>Finite rational matrix groups</em>, volume 556 of <em>AMS Memoirs</em>.
<br> American Mathematical Society, 1995.

<dt><a name="NP95"><b>[NP95]</b></a><dd>
G[abriele] Nebe and W[ilhelm] Plesken.
<br> <em>Finite rational matrix groups of degree 16</em>, pages 74--144.
<br> Volume 556 of <em>AMS Memoirs/</em> <a href="#NPbook95"><cite>NPbook95</cite></a>, 1995.

<dt><a name="NPP84"><b>[NPP84]</b></a><dd>
J[oachim] Neub&uuml;ser, H[erbert] Pahlings, and W[ilhelm] Plesken.
<br> CAS; design and use of a system for the handling of characters of
  finite groups.
<br> In Atkinson <a href="#Durham1982"><cite>Durham1982</cite></a>, pages 195--247.

<dt><a name="OBr90"><b>[OBr90]</b></a><dd>
E[amonn]&nbsp;A. O'Brien.
<br> The <i>p</i>-group generation algorithm.
<br> <em>J. Symbolic Comput.</em>, 9:677--698, 1990.

<dt><a name="OBr91"><b>[OBr91]</b></a><dd>
E[amonn]&nbsp;A. O'Brien.
<br> The groups of order 256.
<br> <em>J. Algebra</em>, 143:219--235, 1991.

<dt><a name="Pah93"><b>[Pah93]</b></a><dd>
Herbert Pahlings.
<br> On the M&ouml;bius function of a finite group.
<br> <em>Arch. Math. (Basel)</em>, 60:7--14, 1993.

<dt><a name="Par84"><b>[Par84]</b></a><dd>
Richard Parker.
<br> The Computer Calculation of Modular Characters (the <font face="Gill Sans,Helvetica,Arial">MeatAxe</font>).
<br> In Atkinson <a href="#Durham1982"><cite>Durham1982</cite></a>, pages 267--274.

<dt><a name="Pfe91"><b>[Pfe91]</b></a><dd>
G.&nbsp;Pfeiffer.
<br> Von Permutationscharakteren und Markentafeln.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, 1991.

<dt><a name="Pfe97"><b>[Pfe97]</b></a><dd>
G.&nbsp;Pfeiffer.
<br> The Subgroups of <i>M</i><sub>24</sub>, or How to Compute the Table of
  Marks of a Finite Group.
<br> <em>Experiment. Math.</em>, 6(3):247--270, 1997.

<dt><a name="Ple85"><b>[Ple85]</b></a><dd>
W[ilhelm] Plesken.
<br> Finite unimodular groups of prime degree and circulants.
<br> <em>J. Algebra</em>, 97:286--312, 1985.

<dt><a name="Ple90"><b>[Ple90]</b></a><dd>
W[ilhelm] Plesken.
<br> Additive decompositions of positive integral quadratic forms.
<br> The paper is available at Lehrstuhl B f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule Aachen, may be it
  will be published in the near future, 1990.

<dt><a name="PN95"><b>[PN95]</b></a><dd>
W[ilhelm] Plesken and G[abriele] Nebe.
<br> <em>Finite rational matrix groups</em>, pages 1--73.
<br> Volume 556 of <em>AMS Memoirs/</em> <a href="#NPbook95"><cite>NPbook95</cite></a>, 1995.

<dt><a name="Poh87"><b>[Poh87]</b></a><dd>
M[ichael] Pohst.
<br> A modification of the LLL reduction algorithm.
<br> <em>J. Symbolic Comput.</em>, 4:123--127, 1987.

<dt><a name="PP77"><b>[PP77]</b></a><dd>
Wilhelm Plesken and Michael Pohst.
<br> On maximal finite irreducible subgroups of GL(n,Z). I. the five
  and seven dimensional cases, II. the six dimensional case.
<br> <em>Math. Comp.</em>, 31:536--576, 1977.

<dt><a name="PP80"><b>[PP80]</b></a><dd>
Wilhelm Plesken and Michael Pohst.
<br> On maximal finite irreducible subgroups of GL(n,Z). III. the nine
  dimensional case, IV. remarks on even dimensions with application to n = 8,
  V. the eight dimensional case and a complete description of dimensions less
  than ten.
<br> <em>Math. Comp.</em>, 34:245--301, 1980.

<dt><a name="RoneyDougal05"><b>[RoneyDougal05]</b></a><dd>
Colva&nbsp;M. Roney-Dougal.
<br> The primitive permutation groups of degree less than 2500.
<br> <em>To appear in Journal of Algebra</em>, 2005.

<dt><a name="RoneyDougal02"><b>[RoneyDougal02]</b></a><dd>
Colva&nbsp;M. Roney-Dougal and William&nbsp;R. Unger.
<br> The affine primitive permutation groups of degree less than 1000.
<br> <em>Journal of Symbolic Computation</em>, 35:421--439, 2003.

<dt><a name="Rin93"><b>[Rin93]</b></a><dd>
Michael Ringe.
<br> <em>The C MeatAxe, Release 1.5</em>.
<br> Lehrstuhl D f&uuml;r Mathematik, Rheinisch
  Westf&auml;lische Technische Hochschule, Aachen, Germany,
  1993.

<dt><a name="Rob88"><b>[Rob88]</b></a><dd>
E[dmund]&nbsp;F. Robertson.
<br> Tietze transformations with weighted substring search.
<br> <em>J. Symbolic Comput.</em>, 6:59--64, 1988.

<dt><a name="Roy87"><b>[Roy87]</b></a><dd>
Gordon&nbsp;F. Royle.
<br> The transitive groups of degree twelve.
<br> <em>J. Symbolic Comput.</em>, pages 255--268, 1987.

<dt><a name="Sch90"><b>[Sch90]</b></a><dd>
Gerhard J.&nbsp;A. Schneider.
<br> Dixon's character table algorithm revisited.
<br> <em>J. Symbolic Comput.</em>, 9:601--606, 1990.

<dt><a name="Scherner92"><b>[Scherner92]</b></a><dd>
Michael Scherner.
<br> Erweiterung einer Arithmetik von Kreisteilungsk&accentuml;127
  orpern auf deren Teilk&ouml;rper und deren Implementation in
  GAP.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, Aachen,
  Germany, 1992.

<dt><a name="Schiffer94"><b>[Schiffer94]</b></a><dd>
Ute Schiffer.
<br> Cliffordmatrizen.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, Aachen,
  Germany, 1994.

<dt><a name="Sco73"><b>[Sco73]</b></a><dd>
L.&nbsp;L. Scott.
<br> Modular permutation representations.
<br> <em>Trans. Amer. Math. Soc.</em>, 175:101--121, 1973.

<dt><a name="Sho92"><b>[Sho92]</b></a><dd>
Mark&nbsp;W. Short.
<br> <em>The Primitive Soluble Permutation Groups of Degree less than
  256</em>, volume 1519 of <em>Lecture Notes in Math.</em>
<br> Springer, Berlin, Heidelberg and New York, 1992.

<dt><a name="Sim70"><b>[Sim70]</b></a><dd>
Charles&nbsp;C. Sims.
<br> Computational methods in the study of permutation groups.
<br> In John Leech, editor, <em>Computational Problems in Abstract
  Algebra, Proc. Conf. Oxford, 1967</em>, pages 169--183. Pergamon Press, Oxford,
  1970.

<dt><a name="Sims90b"><b>[Sims90b]</b></a><dd>
Charles&nbsp;C. Sims.
<br> Computing the order of a solvable permutation group.
<br> <em>J. Symbolic Comput.</em>, 9:699--705, 1990.

<dt><a name="Sims94"><b>[Sims94]</b></a><dd>
C.&nbsp;C. Sims.
<br> <em>Computation with Finitely Presented Groups</em>.
<br> Cambridge University Press, 1994.

<dt><a name="Sims97"><b>[Sims97]</b></a><dd>
Charles&nbsp;C. Sims.
<br> Computing with subgroups of automorphism groups of finite groups.
<br> In Wolfgang K&uuml;chlin, editor, <em>Proceedings of the 1997
  International Symposium on Symbolic and Algebraic Computation</em>, pages
  40--403. The Association for Computing Machinery, ACM Press, 1997.

<dt><a name="Sou94"><b>[Sou94]</b></a><dd>
Bernd Souvignier.
<br> Irreducible finite integral matrix groups of degree 8 and 10.
<br> <em>Math. Comp.</em>, 63:335--350, 1994.

<dt><a name="Spa89"><b>[Spa89]</b></a><dd>
Lehrstuhl D f&uuml;r Mathematik, Rheinisch
  Westf&auml;lische Technische Hochschule, Aachen, Germany.
<br> <em>SPAS - Subgroup Presentation Algorithms System,
  version 2.5, User's reference manual</em>, 1989.

<dt><a name="Tay87"><b>[Tay87]</b></a><dd>
D.&nbsp;E. Taylor.
<br> Pairs of generators for matrix groups. I.
<br> <em>The Cayley Bulletin</em>, 3, 1987.

<dt><a name="Theissen93"><b>[Theissen93]</b></a><dd>
Heiko Thei&szlig;en.
<br> Methoden zur Bestimmung der rationalen Konjugiertheit in endlichen
  Gruppen.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, 1993.

<dt><a name="Theissen97"><b>[Theissen97]</b></a><dd>
Heiko Thei&szlig;en.
<br> <em>Eine Methode zur Normalisatorberechnung in
  Permutationsgruppen mit Anwendungen in der Konstruktion
  primitiver Gruppen</em>.
<br> Dissertation, Rheinisch Westf&auml;lische Technische
  Hochschule, Aachen, Germany, 1997.

<dt><a name="vdW76"><b>[vdW76]</b></a><dd>
Robert&nbsp;W. van&nbsp;der Waall.
<br> On symplectic primitive modules and monomial groups.
<br> <em>Indagationes Math.</em>, 38:362--375, 1976.

<dt><a name="Wagon90"><b>[Wagon90]</b></a><dd>
Stan Wagon.
<br> Editor's corner: the Euclidean algorithm strikes again.
<br> <em>Amer. Math. Monthly</em>, 97(2):125--129, 1990.

<dt><a name="AGR"><b>[AGR]</b></a><dd>
Robert&nbsp;A. Wilson.
<br> ATLAS of Finite Group Representations.
<br> <a href="http://www.mat.bham.ac.uk/atlas/">http://www.mat.bham.ac.uk/atlas/</a>.

<dt><a name="Wil96"><b>[Wil96]</b></a><dd>
R[obert]&nbsp;A. Wilson.
<br> Standard generators for sporadic simple groups.
<br> <em>J. Algebra</em>, 184:505--515, 1996.

<dt><a name="Zagier90"><b>[Zagier90]</b></a><dd>
D.&nbsp;Zagier.
<br> A one-sentence proof that every prime <i>p</i> &#8801; 1 mod  4 is a sum of
  two squares.
<br> <em>Amer. Math. Monthly</em>, 97(2):144, 1990.

<dt><a name="Zum89"><b>[Zum89]</b></a><dd>
Matthias Zumbroich.
<br> Grundlagen einer Arithmetik in Kreisteilungsk&ouml;rpern
  und ihre Implementation in CAS.
<br> Diplomarbeit, Lehrstuhl D f&uuml;r Mathematik,
  Rheinisch Westf&auml;lische Technische Hochschule, Aachen,
  Germany, 1989.

</dl><p>
[<a href="../index.htm">Top</a>] [<a href="chapters.htm">Up</a>]<p>
<P>
<font face="Gill Sans,Helvetica,Arial">GAP 4 manual<br>December 2008
</font></body></html>