@string{aachen = {RWTH, Aachen}} @string{aams = {Abstracts Amer.\ Math.\ Soc.}} @string{abhhamburg = {Abh.\ Math.\ Sem.\ Univ.\ Hamburg}} @string{abstractalgebra = {Computational Problems in Abstract Algebra}} @string{academic = {Academic Press}} @string{ACM = {Association for Computing Machinery}} @string{actamath = {Acta Math.}} @string{addison = {Addison-Wesley}} @string{ams = {Amer.\ Math.\ Soc.}} @string{ANU = {Australian National University}} @string{anu = {Australian National University}} @string{archiv = {Arch.\ Math.\ $($Basel$)$}} @string{bams = {Bull.\ Amer.\ Math.\ Soc.\ (N.S.)}} @string{berlin = {Berlin, Heidelberg, New York}} @string{blms = {Bull.\ London Math.\ Soc.}} @string{boz = {Bull.\ Austral.\ Math.\ Soc.}} @string{cgt = {Computational Group Theory}} @string{cup = {Cambridge University Press}} @string{commalg = {Comm.\ Algebra}}, @string{cr = {C.~R.\ Acad.\ Sci.\ Paris S{\'e}r.\ I Math.}} 9string{DiscMath = {Discrete Math.}} @string{discmath = {Discrete Math.}} @string{duke = {Duke Math.\ J.}} @string{durham = {(Durham, 1982)}} @string{edinburgh = {Proc.\ Edinburgh Math.\ Soc.}} @string{edinburgh2 = {Proc.\ Edinburgh Math.\ Soc.\ $(2)$}} @string{ergeb = {Ergeb.\ Math.\ Grenzgeb.}} @string{ergeb2 = {Ergeb.\ Math.\ Grenzgeb.\ $(2)$}} @string{ergeb3 = {Ergeb.\ Math.\ Grenzgeb.\ $(3)$}} @string{gazette = {Austral.\ Math.\ Soc.\ Gaz.}} @string{glasgow = {Glasgow Math.\ J.}} @string{grund = {Grundlehren Math.\ Wiss.}} @string{gtm = {Graduate Texts in Math.}} @string{illinois = {Illinois J.\ Math.}} @string{ijac = {Internat.\ J.\ Algebra Comput.}} @string{invent = {Invent.\ Math.}} @string{israel = {Israel J.\ Math.}} @string{jalg = {J.\ Algebra}} @string{JAlgor = {J.\ Algorithms}} @string{jalgor = {J.\ Algorithms}} @string{jamsj = {J.\ Amer.\ Math.\ Soc.}} @string{jlms = {J.\ London Math.\ Soc.}} @string{jlms2 = {J.\ London Math.\ Soc.\ $(2)$}} @string{jnumth = {J.\ Number Theory}}, @string{joz = {J.\ Austral.\ Math.\ Soc.\ Ser.\ A}} @string{jpaa = {J.\ Pure Appl.\ Algebra}} @string{jsc = {J.\ Symbolic Comput.}} @string{Kiel = {University of Kiel}}, @string{laa = {Linear Algebra Appl.}} @string{lncs = {Lecture Notes in Comput.\ Sci.}} @string{lnlms = {London Math.\ Soc.\ Lecture Note Ser.}} @string{lnm = {Lecture Notes in Math.}} @string{lomi = {Zap.\ Nauchn.\ Sem.\ Leningrad.\ Otdel.\ Mat.\ Inst.\ Steklov.\ (LOMI)}} @string{london = {London, New York}} @string{mams = {Mem.\ Amer.\ Math.\ Soc.}} @string{mathann = {Math.\ Ann.}} @string{mathcomp = {Math.\ Comp.}} @string{mathgaz = {Math.\ Gaz.}} @string{mathmag = {Math.\ Mag.}} @string{mathmonthly = {Amer.\ Math.\ Monthly}} @string{melbourne = {University of Melbourne}} @string{michigan = {Michigan Math.\ J.}} @string{MIT = {Massachusetts Institute of Technology}} @string{mlms = {London Math.\ Soc.\ Monographs}} @string{mlmsns = {London Math.\ Soc.\ Monographs,\ (N.\ S.)}} @string{mz = {Math.~Z.}} @string{NAMS = {Notices Amer.\ Math.\ Soc.}} @string{nams = {Notices Amer.\ Math.\ Soc.}} @string{NumMath = {Numer.\ Math.}} @string{nummath = {Numer.\ Math.}} @string{oxford67 = {(Oxford, 1967)}} @string{oxfordmm = {Oxford Math.\ Monographs}} @string{pacific = {Pacific J.\ Math.}} @string{pams = {Proc.\ Amer.\ Math.\ Soc.}} @string{pergamon = {Pergamon Press}} @string{plms = {Proc.\ London Math.\ Soc.}} @string{plms1 = {Proc.\ London Math.\ Soc.\ $(1)$}} @string{plms2 = {Proc.\ London Math.\ Soc.\ $(2)$}} @string{plms3 = {Proc.\ London Math.\ Soc.\ $(3)$}} @string{prenticehall = {Prentice-Hall Internat.\ Ser.\ Comput.\ Sci.}} @string{prslondon = {Proc.\ Roy.\ Soc.\ London}} @string{qjm = {Quart.\ J.\ Math.\ Oxford Ser.}} @string{qjm2 = {Quart.\ J.\ Math.\ Oxford Ser.\ $(2)$}} @string{reine = {J.\ Reine Angew.\ Math.}} @string{springer = {Springer-Verlag}} @string{StAndrews = {University of St Andrews}} @string{standrews = {University of St Andrews}} @string{stlms = {London Math.\ Soc.\ Stud.\ Texts}} @string{sydney = {University of Sydney}} @string{SydneyCS = {Basser Department of Computer Science}} @string{sydneycs = {Basser Department of Computer Science}} @string{SydneyPM = {Department of Pure Mathematics}} @string{sydneypm = {Department of Pure Mathematics}} @string{sydneyschool = {School of Mathematics and Statistics}} @string{tams = {Trans.\ Amer.\ Math.\ Soc.}} @string{unsw = {University of New South Wales}} @string{uwa = {University of Western Australia}} @string{vlee = {M.R.\ Vaughan-Lee}} @string{vlum = {Vestnik Leningrad.\ Univ.\ Mat.\ Mekh.\ Astronom.}} @mastersthesis{Aasman81, author = "Manfred Aasman", title = "{CAS}, ein {Programmsystem} zum {Erzeugen} und {Rechnen} mit {Charakteren} - {Gruppentheoretische} {Invarianten} und {Sprachbeschreibung}", type = "Diplomarbeit", year = 1981, address = aachen, keywords = "ordinary representations; characters;; program description", note = "221 pages", } @book{AdamsLoustaunau94, author = {William W.\ Adams and Philippe Loustaunau}, title = {An Introduction to Gr{\"o}bner Bases}, publisher = ams, number = {3}, year = 1994, series = {Graduate Studies in Math.}, address = {New York} } @article{Adian58, author = {S.I.\ Adian}, title = {On algorithmic problems in effectively complete classes of groups}, journal = {Doklady Akad. Nauk. SSR}, year = 1958, volume = 123, pages = {13--16}, } @article{Aho90, author = {Alfred V.\ Aho}, title = {Algorithms for finding patterns in strings}, journal = {Handbook of theoretical computer science}, pages = {256-300}, year = 1990 } @book{Aigner79, author = {M. Aigner}, title = {Combinatorial Theory}, publisher = {Springer-Verlag}, year = 1979, series = grund, address = {Berlin, Heidelberg, New York} } @article{Aizenberg61, author = "N.N. Aizenberg", title = "The Computation on a Computer of Representations of {Sylow} 2-Subgroups of the Symmetric Group {$S(2^n)$}. ({R}ussian)", journal = "Soobscenie Universiteta, Ser. Fis.-Matem. Nauk (University Reports, Phys.-Math. Sciences)", volume = 4, pages = "73--75", year = 1961, publisher = "Uzgorod State University", } @article{AizenbergLeticevskii62, author = "N.N. Aizenberg and A.A. Leticevskii", title = "The Possibility of Calculating the Representations of Finite Groups on an Electronic Computer. (Russian)", journal = "Soobscenie Universiteta, Ser. Fis.-Mathem. Nauk (University Reports, Phys.-Math. Sciences)", volume = 5, pages = "78--80", year = 1962, publisher = "Uzgorod State University", } @article{AlfordHavasetal75a, author = {William A.\ Alford and George Havas and M.F.\ Newman}, title = {Groups of exponent four}, journal = {Notices Amer.\ Math.\ Soc.}, volume = 22, pages = {A.301}, year = 1975 } @article{AlfordHavasetal75b, author = {William A.\ Alford and George Havas and M.F.\ Newman}, title = {Groups of exponent 4. Preliminary report}, journal = {Notices Amer.\ Math.\ Soc.}, volume = 21, pages = {A.291}, year = 1974 } @article{Allison81, author = "Lloyd Allison", title = "Generating Coset Representatives for Permutation Groups", journal = jalgor, volume = 2, pages = "227--244", year = 1981, keywords = "permutation groups; coset representatives;; algorithm description", reviews = "MR 83a:20002 (J.~D. Dixon), Zbl 463.20002 (J. Neub{\"u}ser)", } @book{AndersonFuller73, author = {Frank W.\ Anderson and Kent R.\ Fuller}, title = {Rings and Categories of Modules}, publisher = {Springer-Verlag Inc.}, year = 1973, volume = 13, series = gtm, address = {New York} } @inproceedings{ArrellManraietal82, author = "D.G.\ Arrell and S.\ Manrai and M.F.\ Worboys", title = "A Procedure for Obtaining Simplified Defining Relations for a Subgroup", volume = 71, booktitle = {Groups -- St Andrews $1981$}, year = 1982, address = {Cambridge}, series = lnlms, editor = {C.M.\ Campbell and E.F.\ Robertson}, publisher = {Cambridge University Press}, pages = "155--159", keywords = "finitely presented groups; subgroup presentation; modified todd-coxeter; algorithm description", reviews = "MR 84a:20041 (from the introduction), Zbl 488.20003 (J. Neub{\"u}ser)", } @inproceedings{ArrellRobertson84, author = {D.G.\ Arrell and E.F.\ Robertson}, title = {A modified {T}odd-{C}oxeter algorithm}, booktitle = cgt, year = 1984, address = {London}, pages = {27-32}, organization = durham, keywords = "finitely presented groups; subgroup presentation; modified todd-coxeter; algorithm description", reviews = "MR 86g:20042 (J.~D. Macdonald), Zbl 556.20001 (J. Neub{\"u}ser)", publisher = academic } @article{Aschbacher84, author = {M.\ Aschbacher}, title = {On the maximal subgroups of the finite classical groups}, journal = invent, volume = 76, pages = {469--514}, year = 1984 } @phdthesis{Ascione79, author = {Judith A.\ Ascione}, title = {On $3$-groups of second maximal class}, year = 1979, address = ANU } @article{AscioneHavasetal77, author = {Judith A.\ Ascione and George Havas and C.R.\ Leedham-Green}, title = {A computer aided classification of certain groups of prime power order}, journal = boz, volume = 17, pages = {257-274}, year = 1977, keywords = "nilpotent groups; $p$-group generation; nilpotent quotient; classification of groups", reviews = "MR 57 # 9808a, 9808b, 9808c (authors' summary), Zbl 359.20018 (authors' review)", annote = {Corrigendum: 317-319} } @article{Atkinson75, author = "M.D.\ Atkinson", title = "An Algorithm for Finding the Blocks of a Permutation Group", journal = mathcomp, volume = 29, pages = "911--913", year = 1975, keywords = "permutation groups; blocks", reviews = "MR 51 # 3272 (author's summary), Zbl 311.20004 (Autorreferat), Comput. Information System 15 # 138818C" } @article{Atkinson81, author = "M.D.\ Atkinson", title = "Saving Space in Coset Enumeration", journal = "SIGSAM Bull.", volume = 15, number = 4, pages = "12--14", year = 1981, publisher = ACM, keywords = "finitely presented groups; permutation representation; todd-coxeter; program description", } @proceedings{Atkinson84, title = "{Computational Group Theory}", year = 1984, author = "{Atkinson}", editor = "{Michael D.\ {Atkinson}}", organization = "(Durham, 1982)", publisher = "Academic Press", address = "London, New York", } @inproceedings{AtkinsonHassanetal84, author = "M.D.\ Atkinson and R. Hassan and M.P. Thorne", title = "Group Theory on a Micro-Computer", booktitle = cgt, year = 1983, address = {London, New York, San Francisco}, organization = durham, publisher = academic, pages = "275--280", keywords = "permutation groups, finitely presented groups, ordinary representations; blocks, characters; todd-coxeter; pascal program", reviews = "MR 85i:20001 (Leo J. Alex)", } @book{Atlas, author = "J.H.\ Conway and R.T.\ Curtis and S.P.\ Norton and R.A.\ Parker and R.A.\ Wilson", year = "1985", title = "Atlas of finite groups", publisher = "Clarendon Press", address = "Oxford", } @inproceedings{Babai91, author = {L\'aszl\'o Babai}, title = {Local expansion of vertex-transitive graphs and random generation in finite groups}, booktitle = {Theory of Computing}, year = {1991}, pages = {164--174}, address = {New York}, publisher = ACM, organization = {(Los Angeles, 1991)} } @inproceedings{BabaiBealsetal93, author = {L\'aszl\'o Babai and Robert Beals and Daniel Rockmore}, title = {Deciding finiteness of matrix groups in deterministic polynomial time}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '93}}, publisher = {ACM Press}, organization = {(Kiev)}, pages = {117--126}, year = 1993, } @inproceedings{BabaiBeals99, AUTHOR = {L{\'a}szl{\'o} Babai and Robert Beals}, TITLE = {A polynomial-time theory of black box groups. {I}}, BOOKTITLE = {Groups St. Andrews 1997 in Bath, I}, SERIES = {London Math. Soc. Lecture Note Ser.}, VOLUME = {260}, PAGES = {30--64}, PUBLISHER = {Cambridge Univ. Press}, ADDRESS = {Cambridge}, YEAR = {1999}, } @article {BabaiKantoretal02, AUTHOR = {L{\'a}szl{\'o} Babai and William M. Kantor and P{\'e}ter P. P{\'a}lfy and {\'A}kos Seress}, TITLE = {Black-box recognition of finite simple groups of {L}ie type by statistics of element orders}, JOURNAL = {J. Group Theory}, FJOURNAL = {Journal of Group Theory}, VOLUME = {5}, YEAR = {2002}, NUMBER = {4}, PAGES = {383--401}, ISSN = {1433-5883}, } @inproceedings{BabaiCoopermanetal91a, author = {L\'aszl\'o Babai and Gene Cooperman and Larry Finkelstein and Eugene M.\ Luks and \'Akos Seress}, title = {Fast {M}onte {C}arlo algorithms for permutation groups}, year = 1991, booktitle = {Proc.\ $23$rd ACM STOC}, pages = {90--100} } @inproceedings{BabaiCoopermanetal91b, author = {L\'aszl\'o Babai and Gene Cooperman and Larry Finkelstein and \'Akos Seress}, title = {Nearly linear time algorithms for permutation groups with a small base}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '91}}, organization = {(Bonn)}, publisher = {ACM Press}, pages = {200--209}, year = 1991, } @article{BabaiCoopermanetal95, author = {L\'aszl\'o Babai and Gene Cooperman and Larry Finkelstein and Eugene M.\ Luks and \'Akos Seress}, title = {Fast {M}onte {C}arlo algorithms for permutation groups}, year = 1995, pages = {296--308}, journal = {J.\ Comp.\ Syst.\ Sci.}, volume = 50, } @article{BabaiLuksetal97, author = {L\'aszl\'o Babai and Eugene M. Luks and \'Akos Seress}, title = {Fast management of permutation groups {I}}, journal = {SIAM J.\ Computing}, volume = 26, pages = {1310-1342}, year = 1997, } @inproceedings{BabaiSzemeredi84, author = {L\'aszl\'o Babai and Endre Szemer\'edi}, title = {On the complexity of matrix group problems, {I}}, booktitle = {Proc.\ $25$th IEEE Sympos.\ Foundations Comp.\ Sci.}, pages = {229--240}, year = 1984, } @article{Baer44, author = {Reinhold Baer}, title = {Crossed isomorphisms}, journal = {Amer.\ J.\ Math.}, volume = 66, pages = {341--404}, year = 1944 } @article{Baer57, author = {Reinhold Baer}, title = {Engelsche {E}lemente {N}oetherscher {G}ruppen}, journal = mathann, volume = 133, pages = {256--270}, year = 1957 } @article{Bagnera98, author = {G.\ Bagnera}, title = {La composizione dei {G}ruppi finiti il cui grado {\'e} la quinta potenza di un numero primo}, journal = {Ann.\ Mat.\ Pura Appl.\ (3)}, volume = 1, pages = {137-228}, year = 1898 } @article{Bagnera99, author = {G.\ Bagnera}, title = {Sopra i gruppi astratti di grado 32}, journal = {Ann.\ Mat.\ Pura Appl.\ (3)}, volume = 2, pages = {263-275}, year = 1899 } @misc{Baldwin87, author = {David Baldwin}, title = {The groups of order $3^n$, for $n \leq 6$}, howpublished = {BSc thesis, Australian National University}, year = 1987 } @mastersthesis{Bandler56, author = {Peter A.\ Bandler}, title = {A method for enumerating the cosets of an abstract group on a digital computer}, year = 1956, keywords = "finitely presented groups; permutation representation; todd-coxeter", address = {Manchester University} } @book{Barlow89, author = {R.J.\ Barlow}, title = {Statistics}, publisher = {John Wiley}, year = 1989, series = {The Manchester Physics Series}, address = {New York} } @article{Basmaji69, author = {B.G.\ Basmaji}, title = {On the isomorphisms of two metacyclic groups}, journal = {Proc.\ Amer.\ Math.\ Soc.}, volume = 22, pages = {175--182}, year = 1969 } @phdthesis{Baudet18, author = {P.J.H.\ Baudet}, title = {Groepentheoretische onderzoekingen}, year = 1918, address = {Groningen University} } @article{BaumslagCannonitoetal77, author = {Gilbert Baumslag and Frank B.\ Cannonito and Charles F.\ {Miller {III}}}, title = {Infinitely Generated Subgroups of Finitely Presented Groups. I}, journal = mz, volume = 153, pages = {117-134}, year = 1977 } @article{BaumslagCannonitoetal81a, author = {G.\ Baumslag and F.B.\ Cannonito and C.F.\ {Miller {III}}}, title = {Some recognizable properties of solvable groups}, journal = {Math.\ Z.}, volume = 178, pages = {289-295}, year = 1981, annote = {received Mar 1981} } @article{BaumslagCannonitoetal81b, author = {G.\ Baumslag and F.B.\ Cannonito and C.F.\ {Miller {III}}}, title = {Computable algebra and group embeddings}, journal = {J.\ Algebra}, volume = 69, pages = {186-212}, year = 1981, } @inproceedings{BayesKautskyetal74, author = {A.J.\ Bayes and J.\ Kautsky and J.W.\ Wamsley}, title = {Computation in nilpotent groups (application)}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = berlin, pages = {82-89}, series = {Lecture Notes in Math.}, volume = 372, organization = {(Canberra, 1973)}, keywords = "finitely presented groups; factorgroups; nilpotent quotient; Fortran", reviews = "MR 50 # 7299 (K.~W. Weston), Zbl 288.20032 (Autorreferat)", publisher = springer, } @inproceedings{Beals93, author = {Robert M. Beals}, title = {An elementary algorithm for computing the composition factors of a permutation group}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '93}}, publisher = {ACM Press}, organization = {(Kiev)}, pages = {127--134}, year = 1993, } @inproceedings{BealsBabai93, author = {Robert Beals and L\'aszl\'o Babai}, title = {Las {V}egas algorithms for matrix groups}, booktitle = {Proc.\ $34$rd IEEE Sympos.\ Foundations Comp.\ Sci.}, pages = {427--436}, year = 1993, } @inproceedings{BealsSeress92, author = {Robert M. Beals and \'Akos Seress}, title = {Structure forest and composition factors for small base groups in nearly linear time}, booktitle = {Proc. $24$th ACM Sympos.\ Theory Comp.}, pages = {116--125}, year = 1992, } @article{Bechtell91, author = {H.\ Bechtell}, title = {On semidirect products}, journal = {Comm.\ Algebra}, volume = 19, number = 4, pages = {1151--1163}, year = 1991, } @inproceedings{Beetham84, author = {M.J.\ Beetham}, title = {Space saving in coset enumeration}, booktitle = cgt, year = 1984, address = {London}, pages = {19-25}, organization = durham, publisher = academic, } @article{BeethamCampbell76, author = "M.J. Beetham and C.M. Campbell", title = "A Note on the {Todd-Coxeter} Coset Enumeration Algorithm", journal = edinburgh, volume = 20, pages = "73--79", year = 1976, keywords = "finitely presented groups; subgroup presentation; modified todd-coxeter", reviews = "MR 53 # 3116 (D.L. Johnson), Zbl 328.20032 (Autorreferat)", } @article{Bender27, author = {H.A.\ Bender}, title = {A determination of the groups of order $p^5$}, journal = {Ann.\ of Math.\ $(2)$}, volume = 29, pages = {61-72}, year = 1927, } @article{BensonConway85, author = {J.H.\ Benson and J.H.\ Conway}, title = {Diagrams for modular lattices}, journal = {J.\ Pure Appl.\ Algebra}, volume = 37, pages = {111-116}, year = 1985 } @article{BensonMendelsohn66, author = "Clark T. Benson and N.S. Mendelsohn", title = "A Calculus for a Certain Class of Word Problems in Groups", journal = {J.\ Comb.\ Theory}, volume = 1, pages = "202--208", year = 1966, keywords = "finitely presented groups; permutation representation; todd-coxeter", reviews = "MR 34 # 1380 (S. Lipschutz), Zbl 154, 18 (author's summary)", } @article{BergerKovacsetal80, author = {T.R.\ Berger and L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Groups of prime power order with cyclic {F}rattini subgroup}, journal = {Nederl.\ Akad.\ Wetensch.\ Proc.\ Ser.\ A}, volume = 83, number = 1, pages = {13-18}, year = 1980 } @article{Bergman78, author = {George M.\ Bergman}, title = {The {D}iamond {L}emma for Ring Theory}, journal = {Adv.\ in Math.}, volume = 29, pages = {178-218}, year = 1978 } @article{Berlekamp70, author = "E.R. Berlekamp", title = "Factoring Polynomials over Large Finite Fields", journal = mathcomp, volume = 24, pages = "713--735", year = 1970, keywords = "finite fields, polynomial rings; factorisation", reviews = "MR 43 # 1948 (C.G. Wagner), Zbl. 247.12014 (L. Carlitz)", } @article{BernsteinMolleretal66, author = "Herbert J. Bernstein and Otto Moller and Elvira Strasser Rapaport", title = "Machine Factorization of Groups", journal = {Mathematical Algorithms}, volume = 1, number = 3, pages = "39--51", year = 1966, keywords = "groups; ALGOL program", } @article{BescheEick99a, author = {Hans Ulrich Besche and Bettina Eick}, title = {Construction of Finite Groups}, year = 1999, journal = jsc, pages = {387--404}, volume = 27, } @article{BescheEick99b, author = {Hans Ulrich Besche and Bettina Eick}, title = {The Groups of Order at Most 1000 Except 512 and 768}, year = 1999, journal = jsc, pages = {405-413}, volume = 27, } @article{BescheEick00, author = {Hans Ulrich Besche and Bettina Eick}, title = {The groups of order $q^n \cdot p$}, year = 2000, journal = {Comm.\ Algebra}, } @inproceedings{Betten96, AUTHOR = {Anton Betten}, TITLE = {Parallel Construction of Finite Solvable Groups}, BOOKTITLE = {Parallel Virtual Machine -- EuroPVM'96}, organization = {(Munich, 1996)}, PAGES = {126--133}, SERIES = lncs, VOLUME = {1156}, PUBLISHER = {Springer}, ADDRESS = {Berlin}, YEAR = {1996}, } @phdthesis{Beyl72, author = {F.R.\ Beyl}, title = {The classification of metacyclic $p$-groups, and other applications of homological algebra to group theory}, school = {Cornell University}, year = 1972 } @article{Beyl73, author = {F.\ Rudolf Beyl}, title = {The {S}chur Multiplicator of Metacyclic Groups}, journal = pams, volume = 40, pages = {413-418}, year = 1973 } @book{BeylTappe82, author = {F. Rudolf Beyl and J{\"u}rgen Tappe}, title = {Group Extensions, Representations, and the {S}chur Multiplicator}, publisher = springer, year = 1982, series = lnm, volume = 958, address = berlin } @article{Birkhoff35, author = {G.\ Birkhoff}, title = {On the structure of abstract algebras}, journal = {Proc.\ Camb.\ Phil.\ Soc.}, volume = 30, pages = {433-454}, year = 1935 } @book{BirkhoffMacLane65, author = {Garrett Birkhoff and Saunders Mac Lane}, title = {A survey of Modern Algebra}, publisher = {Macmillan}, edition = {3rd}, year = 1965, address = {New York} } @article{Blackburn58, author = {N.\ Blackburn}, title = {On a special class of {\it p}-groups}, journal = actamath, volume = 100, pages = {45-92}, review = {MR \#{\bf21}, 1349}, year = 1958 } @article{Blackburn61, author = {Norman Blackburn}, title = {Generalizations of certain elementary theorems on $p$-groups}, journal = plms3, volume = 11, pages = {1-22}, year = 1961 } @article{Blokker72, author = "Esko Blokker", title = "A Theory for the Construction of the Irreducible Representations of Finite Groups", journal = "Intern. J. Quantum Chem.", volume = 6, pages = "925--933", year = 1972, keywords = "ordinary representations", } @article{Blokker73, author = "Esko Blokker", title = "A Theory for the Construction of the Irreducible Representations of Finite Groups. {II}.", journal = "Intern. J. Quantum Chem.", volume = 7, pages = "1091--1097", year = 1973, keywords = "ordinary representations", } @inproceedings{BodnarcukKaluznin78, author = "Ju.~V. Bodnarcuk and L.A. Kaluznin", title = "An Algorithm for Generation of Permutations That Preserve a Given Relation. (Russian)", booktitle = "Computations in algebra and combinatorial analysis (Russian)", editor = "L.A. Kaluznin and A.A. Stognii and Z.V. Bogemskaja", pages = "113--123", year = 1978, publisher = "Akad. Nauk Ukrain. SSR, Inst. Kibernet., Kiev", keywords = "permutation groups; invariant relations", reviews = "MR 82f:20002 (from the text)", } @inproceedings{BodnarcukSuscanskii78, author = "Ju.~V. Bodnarcuk and V.I. Suscanskii", title = "Calculation in {Sylow} 2-Subgroups of a Symmetric Group of Degree $2^n$. (Russian)", booktitle = "Computations in algebra and combinatorial analysis (Russian)", editor = "L.A. Kaluznin and A.A. Stognii and Z.V. Bogemskaja", pages = "87--101", year = 1978, publisher = "Akad. Nauk Ukrain. SSR, Inst. Kibernet., Kiev", keywords = "permutation groups; Sylow subgroups", reviews = "MR 82g:20008 (V.D. Mazurov)", } @inproceedings{Boone68, author = {W.W.\ Boone}, title = {Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability}, booktitle = {Contributions to Mathematical Logic}, year = {1968}, address = {Amsterdam}, editor = {K.\ Sch\"utte}, publisher = {North-Holland} } @inproceedings{BooneHigman73, author = {William W.\ Boone and Graham Higman}, title = {An algebraic characterization of groups with soluble order problem}, booktitle = {Logic Colloquium '$73$}, year = 1975, pages = {53-54}, series = {Studies in Logic and the Foundations of Mathematics}, volume = 80, organization = {(Bristol, 1973)}, publisher = {North-Holland, Amsterdam, Oxford; American Elsevier, New York} } @article{BooneHigman74, author = {William W.\ Boone and Graham Higman}, title = {An algebraic characterization of groups with soluble word problem}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 18, pages = {41-53}, year = 1974 } @article{BosmaCannon92, author = {Wieb Bosma and John Cannon}, title = {Structural Computation in Finite Permutation Groups}, journal = {CWI Quarterly}, volume = 5, number = 2, pages = {127--160}, year = 1992, } @article{CannonHolt01, author = {John Cannon and Derek Holt}, title = {Automorphism group computation and isomorphism testing in finite groups}, journal = {Preprint}, year = 2001, } @article{BosmaCannonetal97, author = {Wieb Bosma and John Cannon and Catherine Playoust}, title = {The {\sc Magma} Algebra System I: The User Language}, journal = jsc, volume = 24, pages = {235--265}, year = 1997, } @article{Magma, author = {Wieb Bosma and John Cannon and Catherine Playoust}, title = {The {\sc Magma} Algebra System I: The User Language}, journal = jsc, volume = 24, pages = {235--265}, year = 1997, } @manual{BosmaCannon94, title = {Handbook of {\sc Magma} functions}, author = {Wieb Bosma and John Cannon}, organization = sydneypm, address = sydney, year = 1994 } @article{BrisleyMacdonald69, author = "Warren Brisley and I.D.~Macdonald", title = "Two classes of metabelian groups", journal = "Math.\ Z.", year = 1969, volume = "112", number = "", pages = "5--12" } @article{BrooksKovacsetal70, author = {M.S.\ Brooks and L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {A finite basis theorem for product varieties of groups}, journal = boz, volume = 2, pages = {39-44}, year = 1970 } @inproceedings{BrooksbankKantor01, AUTHOR = {Peter A. Brooksbank and William M. Kantor}, TITLE = {On constructive recognition of a black box {${\rm PSL}(d,q)$}}, BOOKTITLE = {Groups and computation, III (Columbus, OH, 1999)}, SERIES = {Ohio State Univ. Math. Res. Inst. Publ.}, VOLUME = {8}, PAGES = {95--111}, PUBLISHER = {de Gruyter}, ADDRESS = {Berlin}, YEAR = {2001}, } @article {Brooksbank03, AUTHOR = {Peter A. Brooksbank}, TITLE = {Constructive recognition of classical groups in their natural representation}, JOURNAL = {J. Symbolic Comput.}, FJOURNAL = {Journal of Symbolic Computation}, VOLUME = {35}, YEAR = {2003}, NUMBER = {2}, PAGES = {195--239}, } @incollection {Brooksbank01, AUTHOR = {Peter A. Brooksbank}, TITLE = {A constructive recognition algorithm for the matrix group {$\Omega(d,q)$}}, BOOKTITLE = {Groups and computation, III (Columbus, OH, 1999)}, SERIES = {Ohio State Univ. Math. Res. Inst. Publ.}, VOLUME = {8}, PAGES = {79--93}, PUBLISHER = {de Gruyter}, ADDRESS = {Berlin}, YEAR = {2001}, } @article {Brooksbank03a, AUTHOR = {Brooksbank, Peter A.}, TITLE = {Fast constructive recognition of black-box unitary groups}, JOURNAL = {LMS J. Comput. Math.}, FJOURNAL = {LMS Journal of Computation and Mathematics}, VOLUME = {6}, YEAR = {2003}, PAGES = {162--197 (electronic)}, } @article {Bray01, AUTHOR = {John N. Bray}, TITLE = {An improved method for generating the centralizer of an involution}, JOURNAL = {Arch. Math. (Basel)}, FJOURNAL = {Archiv der Mathematik. Archives of Mathematics. Archives Math\'ematiques}, VOLUME = {74}, YEAR = {2000}, NUMBER = {4}, PAGES = {241--245}, } @book{Seress02, AUTHOR = {{\'A}kos Seress}, TITLE = {Permutation group algorithms}, SERIES = {Cambridge Tracts in Mathematics}, VOLUME = {152}, PUBLISHER = {Cambridge University Press}, ADDRESS = {Cambridge}, YEAR = {2003}, PAGES = {x+264}, ISBN = {0-521-66103-X}, } @mastersthesis{Brott66, author = "Claus Brott", title = "Ein {Programm} zur {Bestimmung} absolut irreduzibler {Charaktere} und {Darstellungen} endlicher {Gruppen}", year = 1966, address = Kiel, keywords = "ordinary representations; characters;; program description", note = "136 pages", } @inproceedings{BrottNeubuser70, author = "C. Brott and J. Neub{\"u}ser", title = "A programme for the calculation of characters and representations of finite groups", booktitle = abstractalgebra, year = 1970, address = {Oxford, London, Edinburgh}, pages = "101--110", organization = oxford67, publisher = pergamon, keywords = "ordinary representations; characters;; program description", reviews = "MR 45 # 403 (J. McKay), Zbl 188, 67 (Autorreferat, CR 11 # 20, 119 (G. Lallament)", } @article{Brown69, author = "Harold Brown", title = "An Algorithm for the Determination of Space Groups", journal = mathcomp, volume = 23, pages = "499--514", year = 1969, keywords = "crystallographic groups; zassenhaus algorithm; algorithm description", reviews = "MR 40 # 244 (author's summary), Zbl 184, 49 (G. Winkler)", } @book{Brown82, author = {Kenneth S.\ Brown}, title = {Cohomology of Groups}, publisher = {Springer-Verlag}, year = 1982, address = {New York, Heidelberg, Berlin} } @book{BrownBulowetal78, author = {Harold Brown and Rolf {B{\"u}low} and Joachim {Neub{\"u}ser} and Hans Wondratschek and Hans Zassenhaus}, title = {Crystallographic groups of four-dimensional space}, publisher = {Wiley-Interscience}, year = 1978, address = {New York, Chicester, Brisbane, Toronto} } @article{BrownHjelmelandetal74, author = "Harold Brown and Larry Hjelmeland and Larry Masinter", title = "Contructive Graph Labeling Using Double Cosets", journal = DiscMath, volume = 7, pages = "1--30", year = 1974, keywords = "groups, graph theory; application", reviews = "MR 49 # 2464 (N. G. de Bruijn), Zbl 273.05002 (Autorreferat)", } @article{Brunner74, author = "A.M. Brunner", title = "The Determination of {Fibonacci} Groups", journal = boz, volume = 11, pages = "11--14", year = 1974, keywords = "groups;; todd-coxeter; application", reviews = "MR 50 # 2342 (A. Peluso), Zbl 282.20025 (Autorreferat)", } @article{BryantNewman74, author = {R.M.\ Bryant and M.F.\ Newman}, title = {Some finitely based varieties of groups}, journal = plms3, volume = 28, pages = {237-252}, year = 1974 } @article{Buckley75, author = {J.\ Buckley}, title = {Automorphism groups of isoclinic $p$-groups}, journal = jlms, volume = 12, pages = {37-44}, year = 1975 } @phdthesis{Bulow73, author = "Rolf B{\"u}low", title = "{\"U}ber {Dadegruppen} in {\rm GL(5,2)}", year = 1973, address = Aachen, keywords = "crystallographic groups;;; classification of groups", note = "65 pages", } @inproceedings{BulowNeubuserN70, author = "R. B{\"u}low and J. Neub{\"u}ser", title = "On some applications of group-theoretical programms to the derivation of the crystal classes of {$R_4$}", pages = "131--135", booktitle = abstractalgebra, year = 1970, address = {Oxford, London, Edinburgh}, organization = oxford67, publisher = pergamon, keywords = "crystallographic groups;; application, classification of groups", reviews = "MR 41 # 5504 (J.J. Burckhardt), Zbl 202, 27 (Autorreferat), CR 11 # 19, 345 (R.N. Goss)", } @article{BurmesterExarchakos88, author = {M.V.D.\ Burmester and Th.G.\ Exarchakos}, title = {The function $g(h)$ for which $|A(G)|_p \geq p^h$ whenever $|G| \geq p^{g(h)}$, $G$ a finite $p$-group}, journal = {Bull.\ Soc.\ Math.\ Gr\`ece}, volume = 29, pages = {27-44}, year = 1988 } @article{Burnside02, author = {W.\ Burnside}, title = {On an unsettled question in the theory of discontinuous groups}, journal = {Quart.\ J.\ Pure Appl.\ Math}, volume = {33}, pages = {230--238}, year = 1902 } @book{Burnside11, author = {W.\ Burnside}, title = {Theory of Groups of Finite Order}, publisher = {Cambridge University Press. Reprinted by Dover 1955}, year = 1911, address = {New York}, edition = {2nd} } @book{Burnside97, author = {W.\ Burnside}, title = {Theory of groups of finite order}, publisher = {Cambridge University Press}, year = 1897 } @inproceedings{Butler76, author = {Gregory Butler}, title = {The {Schreier} Algorithm for Matrix Groups}, booktitle = {{\rm SYMSAC~'76,} Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, year = 1976, pages = "167--170", address = {New York}, keywords = "matrix groups; stabilizer chain; Schreier-Sims", abstract = "SIGSAM Bull. 10 no. 3 (1976), 8", organization = {(New York, 1976)}, publisher = {Association for Computing Machinery} } @phdthesis{Butler79, author = "Gregory Butler", title = "Computational Approaches to Certain Problems in the Theory of Finite Groups", year = 1979, address = sydney, keywords = "permutation groups, matrix groups; stabilizer chain, centralizer", reviews = "Abstract: Bull. Austral. Math. Soc. 22 (1980) 467--468, Zbl 433.20012 (title only)", note = "xii + 304", } @inproceedings{Butler81a, author = "Gregory Butler", title = "Double Cosets and Searching Small Groups", booktitle = {Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, organization = {(Utah, 1981)}, pages = "182--187", year = 1981, keywords = "groups; double cosets", reviews = "Zbl 486.20002 (J. Neub{\"u}ser)", } @article{Butler81b, author = "Gregory Butler", title = "The Maximal Subgroups of the Sporadic Simple Group of {Held}", journal = JAlgor, volume = 69, pages = "67--81", year = 1981, reviews = "MR 82e:20022 (Stephen D. Smith), Zbl 457.20024 (U. Schoenwaelder", } @inproceedings{Butler82a, author = "G.\ Butler", title = "The Maximal Subgroups of the {Chevalley} Group {$G_2(4)$}", volume = 71, booktitle = {Groups -- St Andrews $1981$}, year = 1982, address = {Cambridge}, series = lnlms, editor = {C.M.\ Campbell and E.F.\ Robertson}, publisher = {Cambridge University Press}, pages = "186--200", keywords = "groups;;; application", abstract = "Abstract: Amer. Math. Soc. 1 (1980), 369 (Preliminary report)", reviews = "MR 84e:20014 (G.M. Pal'chik), Zbl 492.20016 (G. Pic)", } @article{Butler82b, author = "Gregory Butler", title = "Computing in Permutation and Matrix Groups {II}: Backtrack Algorithm", journal = mathcomp, volume = 39, pages = "671--680", year = 1982, keywords = "permutation groups, matrix groups;; backtrack through stabilizer chain", reviews = "MR 83k:20004b (J.D. Dixon), Zbl 552.20003 (see Zbl 552.20004 for a review of this article)", } @article{Butler83, author = "Gregory Butler", title = "Computing Normalizers in Permutation Groups", journal = JAlgor, volume = 4, pages = "163--175", year = 1983, keywords = "permutation groups; normalizer", reviews = "MR 84j:20003 (J.D. Dixon), Zbl 552.20004 (J. Neub{\"u}ser)", } @inproceedings{Butler84, author = "Gregory Butler", title = "On Computing Double Coset Representatives in Permutation Groups", booktitle = cgt, year = 1984, address = {London, New York, San Francisco}, organization = durham, publisher = academic, pages = "283--290", keywords = "permutation groups; double cosets", reviews = "MR 85k:20002 (Marston D.E. Conder), Zbl 577.20002 (E. Komissartschik)", } @article{Butler85a, author = "Gregory Butler", title = "Effective Computation with Group Homomorphisms", journal = jsc, volume = 1, pages = "143--157", year = 1985, keywords = "permutation groups; homomorphisms", reviews = "MR 87b:68057 (Summary), (Zbl 572.20001 (J. Neub{\"u}ser)", } @article{Butler85b, author = "Gregory Butler", title = "An Improvement to the Centralizer Algorithm for Permutation Groups", journal = "SIGSAM Bull.", volume = 19, number = 2, pages = "14--18", year = 1985, keywords = "permutation group, centralizer", reviews = "Zbl 591.20001 (E. Komissartschik)", } @inproceedings{Butler86a, author = "Greg Butler", year = 1986, title = "Divide-and-Conquer in Computational Group Theory", organization = {(Waterloo, 1986)}, booktitle = {{\rm SYMSAC '86,} (Proc. Sympos. on Symbolic and Algebraic Computation)}, pages = "59--64", keywords = "groups;;; survey", } @article{Butler86b, author = "Gregory Butler", title = "Data Structures and Algorithms for Cyclically Extended {Schreier} Vectors", journal = "Congr.\ Numer.", volume = 52, pages = "63--78", year = 1986, keywords = "permutation groups; stabilizer chain", reviews = "MR 88m:20001 (Reinhard Laue), Zbl 627.20001 (J. Neub{\"u}ser)", note = "Proc. 15th Manitoba Conference on Numerical Math. and Comp., Winnipeg, Manitoba, 1985", } @inproceedings{Butler88a, author = "Gregory Butler", title = "Permutation Groups and $p$-Groups", booktitle = {Computers in Algebra}, year = 1988, address = {New York}, organization = {(Chicago, 1985)}, publisher = {Marcel Dekker}, editor = {M.C.\ Tangora}, pages = "1--16", keywords = "permutation groups; sylow groups; polycyclic presentation", reviews = "Zbl 693.20004 (J. Weinstein)", } @article{Butler88b, author = "Gregory Butler", title = "A Proof of {Holt's} Algorithm", journal = JSC, volume = 5, pages = "275--283", year = 1988, keywords = "permutation groups, p-groups; p-central series", reviews = "MR 89k:20002 (Jennifer Whitehead)", } @techreport{Butler88c, author = "G.\ Butler", title = "Computational Group Theory", type = "Technical report", number = 332, year = 1988, institution = SydneyCS, address = sydney, keywords = "groups;;; survey", note = "21 pages", } @book{Butler91, title = {Fundamental Algorithms for Permutation Groups}, author = {G.\ Butler}, series = lncs, volume = 559, publisher = springer, address = berlin, year = 1991 } @article{Butler92, author = "G.\ Butler", title = "An Analysis of {Atkinson's} Algorithm", journal = "SIGSAM Bull.", volume = 26, year = 1992, pages = "1--9", keywords = "permutation groups; blocks", } @article{ButlerCannon82, author = "Gregory Butler and John J. Cannon", title = "Computing in Permutation and Matrix Groups {I}: Normal Closure, Commutator Subgroups, Series", journal = mathcomp, volume = 39, pages = "663--670", year = 1982, keywords = "permutation groups, matrix groups; base and strong generating set of, normal closure, series", reviews = "MR 83k:20004a (J.D. Dixon), Zbl 552.20004", } @article{ButlerCannon89a, author = "Gregory Butler and John J. Cannon", title = "Computing in Permutation and Matrix Groups {III}: {Sylow} Subgroups", journal = JSC, volume = 8, pages = "241--252", year = 1989, keywords = "permutation groups; Sylow subgroups", reviews = "MR 90i:20003 (J.D. Dixon), Zbl 677.20001 (J. Neub{\"u}ser)", } @inproceedings{ButlerCannon89b, author = {G.\ Butler and John Cannon}, title = {Cayley, version 4: the user language}, year = 1989, address = {Berlin}, pages = {456--466}, series = {Lecture Notes in Comput.\ Sci.}, volume = 358, editor = {P.\ Gianni}, organization = {(Proceedings of 1988 International Symposium on Symbolic and Algebraic Computation, Rome)}, publisher = {Springer-Verlag} } @article{ButlerCannon91, author = "Gregory Butler and John J. Cannon", title = "Computing {Sylow} Subgroups using Homomorphic Images of Centralizers", journal = JSC, volume = 12, pages = "443--458", year = 1991 } @inproceedings{ButlerIyer90, author = {G.\ Butler and S.S.\ Iyer}, title = {Deductive mathematical databases -- a case study}, booktitle = {Proceedings of $5$th International Conference on}, month = {Statistical and Scientific Databases}, year = 1990, address = berlin, pages = {50--64}, series = lncs, volume = 420, organization = {(North Carolina, 1990)}, publisher = springer } @article{ButlerIyeretal93, author = {G.\ Butler and S.S.\ Iyer and E.A.\ O'Brien}, title = {TwoGroups: A Database for Group-Theory}, journal = nams, volume = 40, pages = {839--841}, year = 1993 } @article{ButlerIyeretal94, author = {G.\ Butler and S.S.\ Iyer and E.A.\ O'Brien}, title = {A Database of Groups of Prime-Power Order}, journal = {Software--Practice and Experience}, pages = {911--951}, volume = 24, year = 1994 } @article{ButlerLam85, author = "G.\ Butler and C.W.H.\ Lam", title = "A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects", journal = JSC, volume = 1, pages = "363--381", year = 1985, keywords = "combinatorics;; backtrack", reviews = "MR 87j:68044 (Summary), Zbl 611.05030 (M.M. Syslo)", } @article{McKay69, author = "John McKay", title = "Table errata: {\it The groups of order $2^{n}$ $(n\leq 6)$} (Macmillan, New York, 1964) by M. Hall, Jr. and J. K. Senior", journal = {Math. Comp.}, volume = 23, pages = "691-692", year = 1969, } @manual{CAS, author = "M. Aasman and others", title = "The {CAS} System. User Manual", edition = "(Provisional Version)", year = 1981, address = aachen, keywords = "ordinary representations; characters;; manual", } @article{CameronKovacsetal85, author = {Peter J.\ Cameron and L.G.\ Kov{\'a}cs and M.F.\ Newman and Cheryl E.\ Praeger}, title = {Fixed-point-free permutations in transitive permutation groups of prime-power order}, journal = qjm2, volume = 36, pages = {273-278}, year = 1985 } @mastersthesis{Campbell65, author = "Colin M. Campbell", title = "Enumeration of Cosets and Solutions of Some Word Problems in Groups", year = 1965, address = "McGill University", keywords = "finitely presented groups; permutation representation, subgroup presentation; todd coxeter, modified todd coxeter", } @inproceedings{Campbell70, author = "C.M.\ Campbell", title = "Some Examples Using Coset Enumeration", pages = "37--41", keywords = "finitely presented groups;; todd coxeter; application", reviews = "MR 40 # 7341 (J.A. Todd), Zbl 188, 60 (Autorreferat), CR 12 # 20,718 (Y. Give'on)", booktitle = abstractalgebra, year = 1970, address = {Oxford, London, Edinburgh}, organization = oxford67, publisher = pergamon } @phdthesis{Campbell75, author = "Colin M.\ Campbell", title = "Applications of the {Todd-Coxeter} Coset Enumeration Algorithm", year = 1975, address = StAndrews, keywords = "finitely presented groups;; todd coxeter; application", } @inproceedings{Campbell76, author = "C.M. Campbell", title = "Computational Techniques and the Structure of Groups in a Certain Class", booktitle = {{\rm SYMSAC '76,} Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, address = {New York}, organization = {(New York, 1976)}, publisher = {Association for Computing Machinery}, pages = "312--321", keywords = "finitely presented groups;; todd coxeter; application", abstract = "SIGSAM Bull. 10 no. 3 (1976),11", } @article{CampbellRobertson74, author = "C.M.\ Campbell and E.F.\ Robertson", title = "Applications of the {Todd-Coxeter} Algorithms in Generalised {Fibonacci} Groups", journal = "Proc. Roy. Soc. Edinburgh Sect. A", volume = 73, pages = "163--166", year = "1974", keywords = "finitely presesnted groups;; todd coxeter; application", reviews = "MR 52 # 3338 (H.S.M. Coxeter), Zbl 3335.20012 (Autorreferat)", } @article{CampbellRobertson84, author = {C.M.\ Campbell and E.F.\ Robertson}, title = {Presentations for the simple groups $G$, $10^5 < \vert G\vert < 10^6$}, journal = {Comm.\ Algebra}, volume = 12, pages = {2643-2663}, year = 1984 } @inbook{CampbellRobertson85, author = {C.M.\ Campbell and E.F.\ Robertson}, title = {A {CAYLEY} file of finite simple groups}, series = lncs, volume = 204, pages = {243-244}, year = 1985, publisher = springer, address = berlin } @inproceedings{CampbellRobertson89, author = {C.M.\ Campbell and E.F.\ Robertson}, title = {Symmetric presentations}, booktitle = {Group Theory}, year = 1989, pages = {497-506}, organization = {(Singapore, 1987)}, publisher = {Walter de Gruyter} } @inproceedings{CampbellRobertsonetal89a, author = {C.M.\ Campbell and E.F.\ Robertson and R.M.\ Thomas}, title = {On groups related to {F}ibonacci groups}, booktitle = {Group Theory}, year = 1989, pages = {323-331}, organization = {(Singapore, 1987)}, publisher = {Walter de Gruyter} } @article{CampbellRobertsonetal89b, author = {C.M.\ Campbell and E.F.\ Robertson and P.D.\ Williams}, title = {Efficient presentations for finite simple groups and related groups}, journal = lnm, volume = 1398, pages = {65-72}, year = 1989 } @article{Cannon68, author = "John J. Cannon", title = "The Manipulation of Algebraic Structures. Commutative and Non-Commutative Polynomial Rings", journal = {Math.\ Algorithms}, volume = 3, pages = "156--175", year = 1968, keywords = "polynomial rings, Lie algebras", reviews = "MR 40 # 6805 (author's summary), Zbl 244.68016 (H. Sandmann), Comput. Information Systems 6 # 27875", } @article{Cannon69a, author = "John J. Cannon", title = "Computers in Group Theory: A Survey", journal = "Comm. ACM", volume = 12, pages = "3--12", year = 1969, keywords = "groups;;; survey", reviews = "MR 44 # 7793 (D.H. McLain), Zbl 167, 457 (author's summary), CR 10 # 17,617 (T.N. Bhargava), Comput. Information Systems 7 # 34089", } @phdthesis{Cannon69b, author = "John J. Cannon", title = "Computation in Finite Algebraic Structures", year = 1969, address = sydney, keywords = "groups, Lie algebras, semigroups, finite fields;;; survey, implementation", note = "x + 296 pages", } @inproceedings{Cannon70, author = "John J. Cannon", title = "Some combinatorial and symbol manipulation programs in group theory", pages = "199--203", keywords = "groups, $p$-groups; subgroup lattice, collection", reviews = "MR 41 # 8512 (R. Keown), Zbl 195, 37 (Autorreferat), CR 11 # 19,830 (G.N. Raney)", booktitle = abstractalgebra, year = 1970, address = {Oxford, London, Edinburgh}, organization = oxford67, publisher = pergamon } @inproceedings{Cannon71, author = "John J. Cannon", title = "Computing Local Structure of Large Finite Groups", booktitle = {Computers in algebra and number theory}, year = 1971, address = {Providence, RI}, organization = {(New York, 1970)}, series = pams, publisher = {Amer.\ Math.\ Soc.}, volume = 4, editor = {Garret Birkhoff and Marshall {Hall, Jr.}}, pages = "161--176", keywords = "groups; sylow subgroups", reviews = "MR 51 # 3269 (R.G. Stanton, Zbl 253.20027 (from the introduction)", note = "Russian translation in: Computations in Algebra and Number Theory edited by R.B. Venkov and D.K. Faddeev, pp. 74-94, Matematika, Novoie v Zarubaznoi Naukie, vol. 2, Izdat. MIR, Moscow, 1976", } @inproceedings{Cannon72, author = "John J. Cannon", title = "Graphs and Defining Relations", booktitle = "Proc.\ First Australian Conf.\ on Combinatorial Mathematics", organization = "(Newcastle, 1972)", pages = "215--233", keywords = "groups; presentation; relation finding", reviews = "MR 51 # 13047 (W. Moser), Zbl 275.20064 (A.A. Iskander)", } @article{Cannon73, author = "John J. Cannon", title = "Construction of Defining Relators for Finite Groups", journal = DiscMath, volume = 5, pages = "105--129", year = 1973, keywords = "groups; presentation; relation finding", reviews = "MR 47 # 6869 (H.S.M. Coxeter), Zbl 272.20030 (C.R.J. Clapham), Comput. Information Systems 10 # 70132C (title only)", note = "Russian translation in: Computations in Algebra and Number Theory (Russian), edited by B.B. Venkov and D.K. Faddeev, pp. 47-73. Matematika, Novoie v Zarubeznoi Naukie, vol. 2, Izdat. MIR, Moscow, 1976", } @inproceedings{Cannon74, author = {John Cannon}, title = {A general purpose group theory program}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, pages = {204-217}, series = lnm, volume = 372, organization = {(Canberra, 1973)}, publisher = springer, address = berlin } @inproceedings{Cannon76, author = "John J. Cannon", title = "A Draft Description of the Group Theory Language {Cayley}", booktitle = {{\rm SYMSAC '76,} Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, address = {New York}, organization = {(New York, 1976)}, publisher = {Association for Computing Machinery}, pages = "66--84", keywords = "system design; cayley", abstract = "SIGSAM Bull. 10 no. 3 (1976), 6", reviews = "Zbl 455.20001", } @inproceedings{Cannon80a, author = "John J.\ Cannon", title = "Effective Procedures for the Recognition of Primitive Groups", booktitle = {Finite Groups}, year = 1980, address = {Providence, RI}, pages = "487--493", series = {Proc.\ Sympos.\ Pure Math.}, volume = 37, editor = {Bruce Cooperstein and Geoffrey Mason}, organization = {(Santa Cruz, 1979)}, publisher = {Amer.\ Math.\ Soc.}, keywords = "permutation groups; recognition", reviews = "MR 82f:20003 (from the introduction), Zbl 449.20003 (G. Butler)", } @inproceedings{Cannon80b, author = "John J.\ Cannon", title = "Software Tools for Group Theory", year = 1980, booktitle = {Finite Groups}, address = {Providence, RI}, series = {Proc.\ Sympos.\ Pure Math.}, volume = 37, editor = {Bruce Cooperstein and Geoffrey Mason}, organization = {(Santa Cruz, 1979)}, publisher = {Amer.\ Math.\ Soc.}, pages = "495--502", reviews = "MR 82i:20003 (from the introduction), Zbl 448.20004 (J. Neub{\"u}ser)", } @inproceedings{Cannon81, author = "John J. Cannon", title = "The Basis of a Computer System for Modern Algebra", booktitle = {Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, year = 1981, organization = {(Utah, 1981)}, pages = "1--5", keywords = "system design; Cayley", reviews = "Zbl 482.68038 (J. Davenport)", } @manual{Cannon82, title = {A language for group theory}, author = {John Cannon}, organization = sydney, address = {Department of Pure Mathematics}, keywords = "system design; cayley", note = "316 pages", year = 1982 } @inproceedings{Cannon84a, author = {John J.\ Cannon}, title = {An Introduction to the Group Theory Language, {C}ayley}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {145-183}, organization = {(Durham, 1982)}, reviews = {MR (see 85g:20001 (title in proceedings only), Zbl 544.20002 (M.~F. Newman)}, publisher = academic } @inproceedings{Cannon84b, author = "J.\ Cannon", title = "A Computational Toolkit for Finite Permutation Groups", booktitle = {Proc.\ Rutgers Group Theory Year, {\rm 1983--1984}}, organization = {(Rutgers, 1983-1984)}, year = 1984, pages = "1--18", keywords = "permutation groups;", publisher = {Cambridge University Press}, address = {Cambridge}, reviews = "MR 87c:20002 (D.F. Holt), Zbl 648.20002 (from the introduction)", } @manual{Cannon87, title = {{CAYLEY} Bulletin $3$}, author = {John Cannon}, organization = sydney, address = {Department of Pure Mathematics}, year = 1987, } @proceedings{Cannon90, title = "{Computational Group Theory {I}}", year = 1990, author ={John Cannon}, editor = {John Cannon}, organization = jsc, volume = 9, } @proceedings{Cannon91, title = "{Computational Group Theory {II}}", year = 1990, author ={John Cannon}, editor = {John Cannon}, organization = jsc, volume = 12, } @article{CannonDiminoetal73, author = "John J.\ Cannon and Lucien A. Dimino and George Havas and Jane M.\ Watson", title = "Implementation and Analysis of the {Todd-Coxeter} Algorithm", journal = mathcomp, volume = 27, pages = "463--490", year = 1973, keywords = "finitely presented groups; permutation representation; todd-coxeter", reviews = "MR 49 # 390 (Hale F. Trotter), Zbl 314.20028 (C.G. Chehata), Comput. Information Systems 11 # 77264C", } @techreport{CannonGallagheretal72, author = "John Cannon and Robyn Gallagher and Kim McAllister", title = "{STACKHANDLER}: A Language Extension for Low Level Set Processing. Programming and Implementation Manual", type = "Technical report", number = 5, year = 1972, institution = SydneyPM, address = sydney, keywords = "system design; stackhandler;; manual", note = "240 pages + appendix, revised 1974", } @article{CannonHavas92, author = {John Cannon and George Havas}, title = {Algorithms for Groups}, journal = {Australian Computer Journal}, volume = 24, number = 2, pages = {51--60}, year = 1992 } @techreport{CannonMcAllister71, author = "John Cannon and Kim McAllister", title = "The Sydney Interactive Group Theory Program", type = "Technical report, computer-aided mathematics project", number = 1, year = 1971, institution = SydneyPM, address = sydney, keywords = "groups;;; implementation", note = "54 pages, revised 1972", } @article{CannonMcKayetal79, author = "John J.\ Cannon and John McKay and Kiang-Chuan Young", title = "The Non-Abelian Simple Groups {$G$}, {$|G| < 10^5$} - Presentations", journal = commalg, volume = 7, pages = "1397--1406", year = 1979, keywords = "finitely presented groups;;; classification", reviews = "MR 80e:20023 (authors' summary), Zbl 428.20010 (Autorreferat)", } @manual{CannonPlayoust93, title = {An Introduction to {\sc Magma}}, author = {John Cannon and Catherine Playoust}, organization = sydneyschool, address = sydney, year = 1993 } @techreport{CannonRichardson73, author = "John Cannon and James Richardson", title = "The {GROUP} System for Investigating the Structure of Groups. User and maintenance manual", type = "Technical report, computer-aided mathematics project", number = 8, year = 1973, institution = SydneyPM, address = sydney, keywords = "system design; group;; manual implementation", note = "146 pages", } @article{Cayley54, author = {A.\ Cayley}, title = {On the Theory of Groups, as depending on the Symbolic Equation $\theta^n = 1$}, journal = {Philos.\ Mag.\ (4)}, volume = 7, pages = {40-47}, year = 1854 } @article{Cayley59, author = {A.\ Cayley}, title = {On the Theory of Groups, as depending on the Symbolic Equation $\theta^n = 1$. - Part {III}}, journal = {Philos.\ Mag.\ (4)}, volume = 18, pages = {34-37}, year = 1859 } @article{Cayley89, author = {A.\ Cayley}, title = {On the theory of groups}, journal = {Amer.\ J.\ Math}, volume = 11, pages = {139-157}, year = 1889 } @inproceedings{CellerLeedhamGreen97, author = {Frank Celler and C.R.\ Leedham-Green}, title = {Calculating the order of an invertible matrix}, organization = {(DIMACS, 1995)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 28, booktitle = "{Groups and Computation {II}}", pages = {55-60}, year = 1997, } @inproceedings{CellerLeedhamGreen98, AUTHOR = {F. Celler and C.R. Leedham-Green}, TITLE = {A constructive recognition algorithm for the special linear group}, BOOKTITLE = {The atlas of finite groups: ten years on (Birmingham, 1995)}, SERIES = {London Math. Soc. Lecture Note Ser.}, VOLUME = {249}, PAGES = {11--26}, PUBLISHER = {Cambridge Univ. Press}, ADDRESS = {Cambridge}, YEAR = {1998}, } @article{CellerLeedhamGreenetal95, author = {Frank Celler and Charles R.\ Leedham-Green and Scott H.\ Murray and Alice C.\ Niemeyer and E.A.\ O'Brien}, title = {Generating random elements of a finite group}, journal = {Comm.\ Algebra}, volume = 23, pages = {4931-4948}, year = 1995 } @article{CellerNeubuseretal90, author = "Frank Celler and Joachim Neub{\"u}ser and Charles~R.~B. Wright", title = "Some remarks on the computation of complements and normalizers in soluble groups", journal = "Acta Applicandae Mathematicae", volume = "21", pages = "57--76", year = "1990", } @book{Chenadec86, author = {Philippe Le Chenadec}, title = {Canonical Forms in Finitely Presented Algebras}, publisher = {Pitman, London; Wiley, New York, Toronto}, year = 1986, series = {Research Notes in Theoretical Computer Science} } @mastersthesis{Chomse82, author = "Franz-Leo Chomse", title = "{SOGOS II}. {Methoden} zum {Rechnen} in {Nilpotenten} {Gruppen}", type = "Diplomarbeit", year = 1982, address = Aachen, keywords = "polycyclic groups; nilpotent groups;; algorithm description", note = "140 pages, supplement on microfiches", } @book{ChudnovskyJenks90, author = {David V.\ Chudnovsky and Richard D.\ Jenks}, title = {Computers in mathematics}, publisher = {Dekker}, year = 1990, volume = 125, series = {Lecture notes in Pure and Applied Mathematics}, address = {New York}, } @book{ClausenBaum93, author = {Michael Clausen and Ulrich Baum}, title = {Fast {F}ourier {T}ransforms}, publisher = {Bibliographisches Institut \& F.A.\ Brockhaus AG}, year = 1993, address = {Mannheim} } @article{Clifford37, author = {A.H.\ Clifford}, title = {Representations induced in an invariant subgroup}, journal = {Ann. of Math.}, volume = 38, number = 2, pages = {533--550}, year = 1937 } @article{Cockayne69, author = "E.J. Cockayne", title = "Computation of {Galois} Group Elements of a Polynomial Equation", journal = mathcomp, volume = 23, pages = "425--428", year = 1969, keywords = "galois groups", reviews = "MR 39 # 3733 (title only), Zbl 181, 197 (J. McKay)", note = "SUPPLEMENT on microfiche", } @article{ColeGlover93, author = {F.N.\ Cole and J.W.\ Glover}, title = {On groups whose orders are products of three prime factors}, journal = {Amer.\ J.\ Math.}, volume = 15, pages = {191-220}, year = 1893 } @article{Collins69, author = "George E. Collins", title = "Computing Multiplicative Inverses in {$GF(p)$}", journal = mathcomp, volume = 23, pages = "197--200", year = 1969, keywords = "finite fields", reviews = "MR 39 # 3676 (author's summary), Zbl 191, 56 (D. Knuth)", } @article{Comet55, author = "Stig Comet", title = "Notations for Partitions", journal = "Math. Tables Aids Comput.", volume = 9, pages = "143--146", year = 1955, keywords = "ordinary representations; characters; symmetric groups", reviews = "MR 17, 673 (M. Newman), Zbl 68, 106 (O. Tamaschke)", } @article{Comet59, author = "Stig Comet", title = "{\"U}ber die {Anwendung} von {Bin{\"a}rmodellen} in der {Theorie} der {Charaktere} der Symmetrischen {Gruppen}", journal = NumMath, volume = 1, pages = "90--109", year = 1959, keywords = "ordinary representations; characters; symmetric groups", reviews = "MR 21 # 692 (M. Newman), Zbl 100, 30 (P. Braunfeld)", } @article{Comet60, author = "Stig Comet", title = "Improved Methods to Calculate the Characters of the Symmetric Group", journal = mathcomp, volume = 14, pages = "104--117", year = 1960, keywords = "ordinary representations; characters; symmetric groups", reviews = "MR 22 # 10212 (J.S. Frame), Zbl 103, 264 (J. Neub{\"u}ser)", } @article{Conder84, author = {M.\ Conder}, title = {Some results on quotients of triangle groups}, journal = boz, volume = 30, pages = {73-90}, year = 1984 } @article{Conder89, author = {M.\ Conder}, title = {An infinite family of 4-arc-transitive graphs each with girth 12}, journal = blms, volume = 21, pages = {375-380}, year = 1989 } @article{Conder90, author = {M.\ Conder}, title = {A surprising isomorphism}, journal = jalg, volume = 129, number = 2, pages = {494-501}, year = 1990 } @inproceedings{ConderLeedhamGreen01, AUTHOR = {Marston Conder and Charles R. Leedham-Green}, TITLE = {Fast recognition of classical groups over large fields}, BOOKTITLE = {Groups and computation, III (Columbus, OH, 1999)}, SERIES = {Ohio State Univ. Math. Res. Inst. Publ.}, VOLUME = {8}, PAGES = {113--121}, PUBLISHER = {de Gruyter}, ADDRESS = {Berlin}, YEAR = {2001}, } @article{ConderLeedhamGreenetal06, AUTHOR = {M.D.E. Conder and C.R. Leedham-Green and E.A. O'Brien}, TITLE = {Constructive recognition of $PSL(2, q)$}, journal = tams, year = 2006, } @article{Conlon64, author = {S.B. Conlon}, title = {Twisted group algebras and their representations}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 4, pages = {152--173}, year = 1964 } @article{Conlon76, author = {S.B.\ Conlon}, title = {$p$-groups with an abelian maximal subgroup and cyclic center}, journal = {J.\ Austral.\ Math.\ Soc.\ Ser.\ A}, volume = 22, pages = {221--233}, year = 1976 } @inproceedings{Conlon77, author = {S.B.\ Conlon}, title = {Nonabelian subgroups of prime-power order of classical groups of the same prime degree}, booktitle = {Group Theory}, year = 1977, address = {Berlin, Heidelberg, New York}, organization = {(Canberra, 1975)}, pages = {17--50}, volume = 573, editor = {R.A.\ Bryce, J.\ Cossey and M.F.\ Newman}, series = {Lecture Notes in Mathematics}, publisher = {Springer-Verlag} } @article{Conlon90, author = {S.B. Conlon}, title = {Calculating Characters of $p$-groups}, journal = jsc, pages = {535--550}, volume = 9, year = 1990, crossref = {Cannon90}, } @book{ConwayCurtisetal85, author = "J.H.\ Conway and R.T.\ Curtis and S.P.\ Norton and R.A.\ Parker and R.A.\ Wilson", year = "1985", title = "Atlas of finite groups", publisher = "Clarendon Press", address = "Oxford", } @article{ConwayWales73, author = "J.H.\ Conway and D.B.\ Wales", title = "Construction of the {Rudvalis} Group of Order 145,926,144,000", journal = jalg, volume = 27, pages = "538--548", year = 1973, keywords = "groups; simple groups;; existence proof", reviews = "MR 49 # 400 (Henry S. Leonard, Jr.), Zbl 284.20022 (U. Dempwolff)", } @inproceedings{BabaiShalev01, author = {L\'aszl\'o Babai and Aner Shalev}, title = {Recognizing simplicity of black-box groups and the frequency of ${p}$-singular elements in affine groups}, booktitle = {Groups and Computation {\rm III}}, organization = {(Ohio, 1999)}, series = {Ohio State Univ.\ Math.\ Res.\ Inst.\ Publ.}, publisher = {de Gruyter}, address = {Berlin}, year = 2001, pages = {39--62}, } @inproceedings{CoopermanFinkelstein93, author = {Gene Cooperman and Larry Finkelstein}, title = {Combinatorial Tools for Computational Group Theory}, booktitle = {Groups and Computation}, organization = {(DIMACS, 1991)}, year = 1993, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 11, pages = {53--86} } @inproceedings{CoopermanFinkelsteinetal94, author = {Gene Cooperman and Larry Finkelstein and Bryant York and Michael Tselman}, title = {Constructing Permutation Representations for Large Matrix Groups}, year = 1994, address = {New York}, booktitle = {Proceedings of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '94}}, organization = {(Oxford)}, pages = {134--138}, publisher = {ACM Press} } @inproceedings{CoopermanFinkelsteinetal97a, author = {Gene Cooperman and Larry Finkelstein and Stephen A.\ Linton}, title = {Constructive recognition of a black box group isomorphic to $GL(n,2)$}, organization = {(DIMACS, 1995)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 28, year = 1997, crossref = {FinkelsteinKantor97}, } @article{CoopermanFinkelsteinetal97b, author = {G.~Cooperman and L.~Finkelstein and M.~Tselman and B.~York}, title = {Constructing permutation representations for matrix groups}, journal = jsc, year = 1997, } @book{CoxeterMoser57, author = "H.S.M.\ Coxeter and W.O.J.\ Moser", year = 1957, title = "Generators and Relations for Discrete Groups", series = "Ergeb.\ Math.\ Grenzgeb.", volume = "14", edition = "4th", publisher = "Springer-Verlag", address = "Berlin, G{\"{o}}ttingen, Heidelberg", keywords = "finitely presented groups; permutation representation, subgroup presentation;; algorithm description, survey, classification of groups", reviews = "MR 19, 527 (G. Higman), MR 30 # 4818, MR 50 # 2313, MR 81a:20001, MR 82c:20002, Zbl 77, 28 (B.H. Neumann), Zbl 133, 280 (title only), Zbl 239.20040 (B.H. Neumann), Zbl 422.20001 (B.H. Neumann), Zbl 487.20023 (Translated from the third English by V.~A. Churkin. With a supplement by Yu.~J. Merzlyakov), Bull. Amer. Math. Soc. 64, 106 (M. Hall), Math. Comput. 19, 688", note = "ix + 169 pages, first edition 1957, Russian translation of the 3rd edition: Nauka, Moscow, 1980", } @techreport{Crary70, author = "F.D. Crary", title = "A Computer Program for Interactive Manipulation of Finite Group Presentations", type = "MRC technical summary report", number = 1045, year = 1970, address = "University of Wisconsin, Madison", keywords = "finitely presented groups", } @book{CurtisReiner62, author = {C.W. Curtis and I. Reiner}, title = {Representation Theory of Finite Groups and Associative Algebras}, publisher = {Interscience}, year = 1962, volume = {11}, series = {Pure and Appl. Math.}, address = {New York}, edition = {2nd} } @book{CurtisReiner81, author = {Charles W. Curtis and Irving Reiner}, title = {Methods of Representation Theory (with Applications to Finite Groups and Orders), Volume 1}, publisher = {John Wiley \& Sons}, year = 1981, address = {New York, Chichester, Brisbane, Toronto} } @article{Czyzo75, author = "E. Czyzo", title = "On the Determination of {Hall} Polynomials", journal = "Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys.", volume = 23, pages = "739--745", year = 1975, keywords = "free groups; collection", reviews = "MR 52 # 8252 (K.A. Hirsch), Zbl 314.20022 (Autorreferat)", } @article{Dade70, author = {E.C.\ Dade}, title = {Compounding {C}lifford's theory}, journal = {Ann. of Math.}, volume = 91, pages = {230--290}, year = 1970 } @article{Dade80, author = {E.C.\ Dade}, title = {Group-graded rings and modules}, journal = {Math.\ Z.}, volume = 174, pages = {241--262}, year = 1980 } @article{Dade81, author = {E.C.\ Dade}, title = {Extending irreducible modules}, journal = {J.\ Algebra}, volume = 72, number = 2, pages = {374--403}, year = 1981 } @article{Dalek71, author = "K. Dalek", title = "Computation of Exponents in {Hall} Formula", journal = "Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys.", volume = 19, pages = "711--718", year = 1971, keywords = "free groups; collection", reviews = "MR 48 # 11327 (A. Peluso), Zbl 229.20037 (author's summary)", } @article{Dalek75, author = "K. Dalek", title = "On the {Hall} Formula in Nilpotent and Solvable Groups", journal = "Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys.", volume = 23, pages = "829--837", year = 1975, keywords = "polycyclic groups; collection", reviews = "MR 53 # 3127 (Vance Faber), Zbl 315.20014 (Autorreferat)", } @article{Davitt80, author = {Richard M. Davitt}, title = {On the automorphism group of a finite $p$-group with a small central quotient}, journal = {Canad. J. Math.}, volume = 32, pages = {1168-1176}, year = 1980 } @mastersthesis{Deeken78, author = "Gerhard Deeken", title = "{Methoden} zum {Umgang} mit {Charakteren} und ihre {Implementation}", type = "Diplomarbeit", year = 1978, address = Aachen, keywords = "ordinary representations; characters", note = "91 pages", } @article{Dehn11, author = {M.\ Dehn}, title = {Uber unendliche diskontinuierliche {G}ruppen}, journal = mathann, volume = 71, pages = {116-144}, year = 1911 } @article{DelandtsheerDoyen89, author = {A.\ Delandtsheer and J.\ Doyen}, title = {Most block transitive $t$-designs are point primitive}, journal = {Geom.\ Dedicata}, volume = 29, pages = {397-410}, year = 1989 } @book{Dembowski68, author = {P.\ Dembowski}, title = {Finite {G}eometries}, publisher = springer, year = 1968, address = {New York} } @inproceedings{DiMartinoTamburini91, author = "L. DiMartino and M.C. Tamburini", title = "2-Generation of finite simple groups and some related topics", volume = 333, booktitle = "Generators and Relations in Groups and Geometries", year = 1991, series = {NATO ASI Ser. C}, editor = {A.\ Barlotti and others}, organization = {(Proc. NATO/ASI, Castelvecchio Pascoli/Italy 1990)}, publisher = {Kluwer Academic Publishers, Dordrecht}, pages = "195--233", } @article{DiaconisSaloffCoste93, author = {Persi Diaconis and Laurent Saloff-Coste}, title = {Comparison techniques for random walk on finite groups}, journal = {Ann. Probab.}, volume = 21, pages = {2131--2156}, year = 1993 } @article{DiaconisSaloffCoste94, author = {P.\ Diaconis and L.\ Saloff-Coste}, title = {Moderate growth and random walk on finite groups}, journal = {Geom. Funct. Anal.}, volume = 4, pages = {1--36}, year = 1994, } @article{DiaconisSaloffCoste96, author = {P.\ Diaconis and L.\ Saloff-Coste}, title = {Walks on generating sets of abelian groups}, journal = {Probab. Theory Related Fields}, volume = {105}, pages = {393--421}, year = 1996, } @book{Dickson01, author = {L.E.~Dickson}, title = {Linear Groups with an Exposition of the Galois Field Theory}, publisher = {Reprinted (1958) by Dover}, year = 1901, address = {New York} } @mastersthesis{Dietze70, author = "Anke Dietze", title = "Drei {Verfahren} zur {Bestimmung} s{\"a}mtlicher {Untergruppen} endlich pr{\"a}sentierbarer {Gruppen} zu vorgegebenem {Index}", type = "Diplomarbeit", year = 1970, address = Kiel, keywords = "finitely presented groups; low index subgroups", note = "69 pages", } @article{DietzeSchaps74, author = "Anke Dietze and Mary Schaps", title = "Determining Subgroups of a Given Finite Index in a Finitely Presented Group", journal = "Canad. J. Math.", volume = 26, pages = "769--782", year = 1974, keywords = "finitely presented groups; low index groups", reviews = "MR 53 # 10942 (E.F. Robertson), Zbl 271.20018 (Autorreferat), Zbl 278.20029", } @article{Dimino71, author = "Lucien A. Dimino", title = "A Graphical Approach to Coset Enumeration", journal = "{SIGSAM} Bulletin", volume = 19, pages = "8--43", year = 1971, publisher = ACM, keywords = "finitely presented groups; permutation representation; todd coxeter", abstract = "Proceedings of the Second {ACM} Symposium on Symbolic and Algebraic Manipulation (Los Angeles, 1971)", } @article{Dixon67, author = "John D. Dixon", title = "High Speed Computation of Group Characters", journal = NumMath, volume = 10, pages = "446--450", year = 1967, keywords = "ordinary representations; characters", reviews = "MR 37 # 325 (D.H. Lehmer), Zbl 166, 290 (K.-D. Graf), Comput. Information Systems 6 $ 26344", } @article{Dixon70, author = "John D.\ Dixon", title = "Computing Irreducible Representations of Groups", journal = mathcomp, volume = 24, pages = "707--712", year = 1970, keywords = "ordinary representations; characters", reviews = "MR 43 # 6330 (A. Dress), Zbl 276.20005 (Autorreferat)", } @inproceedings{Dixon71, author = "John D.\ Dixon", title = "Permutation Representations and the Subgroup Lattice", booktitle = "Proc.\ of the Second {ACM} Sympos.\ symbolic and algebraic Manipulation (Los Angeles, 1971)", organization = {(Los Angeles, 1971)}, pages = "159--161", keywords = "groups; subgroup lattice; permutation representations", } @book{Dixon75, author = {John D.\ Dixon}, title = {The structure of linear groups}, publisher = {Van Nostrand Reinhold}, year = 1971, address = {London} } @article{DixonMortimer88, author = {John D. Dixon and Brian Mortimer}, title = {The primitive permutation groups of degree less than 1000}, journal = {Math.\ Proc.\ Camb.\ Phil.\ Soc.}, pages = {213--238}, volume = 103, year = 1988, } @book{Dornhoff71, author = {Larry Dornhoff}, title = {Group representation theory, Part {A}}, publisher = {Marcel Dekker}, year = 1971, volume = {1}, address = {New York} } @proceedings{Durham82, title = "{Computational Group Theory}", year = 1984, author = "{Atkinson}", editor = "{Michael D.\ Atkinson}", organization = "(Durham, 1982)", publisher = "Academic Press", address = "London, New York", } @phdthesis{Easterfield40, author = {Thomas E.\ Easterfield}, title = {A classification of groups of order $p^6$}, year = 1940, address = {Cambridge University} } @mastersthesis{Edeson89, author = {Margaret Edeson}, title = {Investigations in coset enumeration}, year = 1989, address = {Canberra College of Advanced Education}, } @misc{Eick93, author = {Bettina Eick}, title = {Spezielle PAG-Systeme im Computeralgebrasystem {\sf GAP}}, howpublished = {Diplomarbeit, RWTH Aachen}, year = 1993 } @phdthesis{Eick96, author = {Bettina Eick}, title = {Charakterisierung und Konstruktion von Frattinigruppen und Anwendungen in der Konstruktion endlicher Gruppen}, school = {RWTH Aachen}, year = 1996, note = {Also available as: Aachener Beitr\"age zur Mathematik 17} } @inproceedings{Eick97, author = {Bettina Eick}, title = {Special Presentations for Finite Soluble Groups and Computing (Pre-){F}rattini Subgroups}, organization = {(DIMACS, 1995)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 28, year = 1997, pages = {101--112}, } @book{Epsteinetal92, author = {D.B.A.\ Epstein and others}, title = {Word Processing in Groups}, publisher = {Jones and Bartlett}, year = 1992, address = {Boston} } @article{ErbachFisherMcKay78, author = "D.W.\ Erbach and J.\ Fischer and J.\ McKay", title = "The Computation of {Galois} Groups", journal = NAMS, volume = 25, pages = "A--271", year = 1978, keywords = "galois groups", } @article{ErbachFisheretal79, author = "D.W.\ Erbach and J.\ Fischer and J.\ McKay", title = "Polynomials with {{\rm PSL}}{$(2,7)$} as a {Galois} Group", journal = JNumTh, volume = 11, pages = "69--75", year = 1979, keywords = "galois groups", reviews = "MR 80m:12004 (Harvey Cohn), Zbl 405.12011 (J.J. Payan), Comput. Information Systems Abstr. J. 23 # 229054C", } @mastersthesis{Esper74, author = "Norbert Esper", title = "Ein Interaktives {Programmsystem} zur {Erzeugung} der Rationalisierten {Charakterentafel} einer Endlichen {Gruppe}", type = "Diplomarbeit", year = 1974, address = Aachen, keywords = "ordinary representations; characters", note = "110 pages", } @article{Exarchakos80, author = {Theodoros Exarchakos}, title = {On the number of automorphisms of a finite $p$-group}, journal = {Canad.\ J.\ Math.}, volume = 22, pages = {1448-1458}, year = 1980 } @article{FarahatHigman59, author = {H.K.\ Farahat and G.\ Higman}, title = {The centres of symmetric group rings}, journal = {Proc.\ Roy.\ Soc.\ London Ser.\ A}, volume = 250, pages = {212-221}, year = 1959 } @article{Faudree68, author = {Ralph Faudree}, title = {A note on the automorphism group of a $p$-group}, journal = pams, volume = 19, pages = {1379-1382}, year = 1968 } @book{Feit82, author = {Walter Feit}, title = {The Representation Theory of Finite Groups}, publisher = {North-Holland Publishing Co.}, year = 1982, volume = 25, series = {North-Holland Mathematical Library}, address = {Amsterdam, New York, Oxford} } @article{FeitHigman64, author = {Walter Feit and Graham Higman}, title = {The nonexistence of certain generalized polygons}, journal = jalg, volume = 1, pages = {114-131}, year = 1964 } @article{Felsch61, author = {H.\ Felsch}, title = {Programmierung der {R}estklassenabz{\"a}hlung einer {G}ruppe nach Untergruppen}, journal = {Numer.\ Math.}, volume = 3, pages = {250-256}, year = 1961 } @misc{Felsch74, author = {Waltraud Felsch}, title = {Ein commutator collecting {A}lgorithmus zur {B}estimmung einer {Z}entralreihe einer endlichen $p$-{G}ruppe}, howpublished = {Diplomarbeit, RWTH Aachen}, year = 1974 } @misc{Felsch82, author = {Volkmar Felsch}, title = {A bibliography on the use of computers in group theory and related topics: algorithms, implementations, and applications}, howpublished = {Manuscript and microfiche}, year = 1982, annote = {RWTH Aachen} } @manual{Felsch89, title = {{SPAS} user's reference manual}, author = {Volkmar Felsch}, organization = {Lehrstuhl {D} f{\"u}r {M}athematik}, address = aachen, year = 1989 } @article{FelschNeubuser68, author = {V. Felsch and J.\ Neub\"user}, title = {\"Uber ein {P}rogramm zur {B}erechnung der {A}utomorphismengruppe einer endlichen {G}ruppe}, journal = {\it Numer.\ Math.}, volume = 11, pages = {277-292}, year = 1968, } @inproceedings{FelschNeubuser70, author = {V.\ Felsch and J.\ Neub\"user}, title = {On a programme for the determination the automorphism group of a finite group}, booktitle = abstractalgebra, year = 1970, address = {Oxford, London, Edinburgh}, pages = {59-60}, organization = oxford67, publisher = pergamon } @inproceedings{FelschSandlobes84, author = {Volkmar Felsch and G{\"u}nter Sandl{\"o}bes}, title = {An Interactive Program for Computing Subgroups}, pages = {137-143}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, organization = {(Durham, 1982)}, publisher = academic } @phdthesis{Ferguson46, author = {William Allen Ferguson}, title = {On the Classification of Finite Metabelian Groups with Six Generators}, year = 1946, address = {University of Illinois (Urbana)} } @article{FinckePohst85, author = {U.\ Fincke and M.\ Pohst}, title = {Improved Methods for Calculating Vectors of Short Length in a Lattice, Including a Complexity Analysis}, journal = mathcomp, volume = 44, pages = {463--471}, year = 1985, } @proceedings{FinkelsteinKantor93, title = "{Groups and Computation}", year = 1993, author ={Larry Finkelstein and William M. Kantor}, editor = {Larry Finkelstein and William M. Kantor}, organization = {(DIMACS, 1991)}, volume = 11, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, } @proceedings{FinkelsteinKantor97, title = "{Groups and Computation {II}}", year = 1997, author ={Larry Finkelstein and William M. Kantor}, editor = {Larry Finkelstein and William M. Kantor}, organization = {(DIMACS, 1995)}, volume = 28, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, } @article{Fitting, author = {Hans Fitting}, title = {{Beitr\"age zur Theorie der Gruppen endlichen Ordnung}}, journal = {Jahresbericht der DMV}, volume = 48, pages = {77 -- 145}, year = 1938 } @phdthesis{Flannery92, author = {D.L. Flannery}, title = {Finite irreducible linear $2$-groups of degree $4$}, year = 1992, address = anu } @article{FlynnMacHale91, author = {J.\ Flynn and D.\ MacHale}, title = {Determining all finite groups whose automorphism group is a $p$-group}, journal = {Proc. Roy. Irish Acad. Ser. A}, volume = {91A}, pages = {259-264}, year = 1991 } @article{Fox53, author = {R.H.~Fox}, title = {Free differential calculus {I}}, journal = mathann, volume = 57, pages = {547-560}, year = 1953 } @article{FrickNewman72, author = {M.\ Frick and M.F.\ Newman}, title = {Soluble linear groups}, journal = boz, volume = 6, pages = {31-44}, year = 1972 } @manual{GAP3, title = {{\sf GAP} -- Groups, Algorithms and Programming}, author = {Martin {Sch\"onert} and others}, organization = {Lehrstuhl D f\"ur Mathematik}, address = {RWTH Aachen}, year = 1997 } @manual{GAP, author = "The GAP~Group", title = "{GAP -- Groups, Algorithms, and Programming, Version 4.4}", year = 2004, address = "\verb+(http://www.gap-system.org)+", keywords = "groups; *; gap; manual" } @article{GaniNewman79, author = {J.\ Gani and M.F.\ Newman}, title = {Bernhard {N}eumann's 70th Birthday}, journal = {Math.\ Scientist}, volume = 4, pages = {69-70}, year = 1979 } @article{Gaschutz53, author = {Wolfgang Gasch\"utz}, title = {\"Uber die $\Phi$-Untergruppe endlicher Gruppen}, journal = {Math.\ Z.}, volume = 58, pages = {160--170}, year = 1953 } @article{Gaschutz54, author = {Wolfgang Gasch\"utz}, title = {Endliche {G}ruppen mit treuen absolut-irreduziblen {D}arstellungen}, journal = {Math.\ Nachr.}, volume = 12, pages = {253--255}, year = 1954 } @article{Gaschutz55, author = {Wolfgang Gasch\"utz}, title = {Zu einem von {B.H.} und {H.} {Neumann} gestellten {P}roblem}, journal = {Mathematische Nachrichten}, volume = 14, pages = {249-252}, year = 1955 } @article{Gaschutz66, author = {W.\ Gasch\"utz}, title = {Nichtabelsche $p$-{G}ruppen besitzen \"aussere $p$-{A}utomorphismen}, journal = jalg, volume = 4, pages = {1-2}, year = 1966 } @article{GaschutzNewman70, author = {W.\ Gasch{\"u}tz and M.F.\ Newman}, title = {On presentations of finite $p$-groups}, journal = reine, volume = 245, pages = {172-176}, year = 1970 } @techreport{Gerhards70, author = {Leonhard Gerhards}, title = {\"Uber modulare bizyklische Gruppen}, institution = {Gesellschaft f\"ur Mathematik und Datenverarbeitung, Bonn}, year = 1970, type = {Berichte}, number = 29 } @inproceedings{GerhardsAltmann70, author = {L.\ Gerhards and E.\ Altmann}, title = {A computational method for determining the automorphism group of a finite solvable group}, booktitle = abstractalgebra, year = 1970, address = {Oxford, London, Edinburgh}, pages = {61-74}, organization = oxford67, publisher = pergamon } @article{Glasby89, author = {S.P.\ Glasby}, title = {The composition and derived lengths of a soluble group}, journal = jalg, volume = 120, pages = {406-413}, year = 1989 } @article{GlasbySlattery90, author = {S.P. Glasby and Michael C. Slattery}, title = {Computing intersections and normalizers in soluble groups}, journal = jsc, pages = {637--651}, volume = 9, year = 1990, crossref = {Cannon90}, } @article{Glenn06, author = {Oliver E.\ Glenn}, title = {Determination of the abstract groups of order $p^2qr$; $p$, $q$, $r$ being distinct primes}, journal = tams, volume = 7, pages = {137-151}, year = 1906 } @book{Gonnet84, author = {G.H.\ Gonnet}, title = {Handbook of algorithms and data structures}, publisher = addison, year = 1984, address = {Reading, Mass.} } @booklet{GonnetBaezaYates91, author = {G.H.\ Gonnet and R.\ Baeza-Yates}, title = {Handbook of algorithms and data structures}, howpublished = {booklet}, year = 1991 } @book{Gorenstein68, author = {Daniel Gorenstein}, title = {Finite Groups}, publisher = {Harper \& Row}, year = 1968, series = {Harper's Series in Modern Mathematics}, address = {New York, Evanston, London} } @book{Gorenstein74, author = {Daniel Gorenstein}, title = {reviews on {FINITE GROUPS}}, publisher = {Amer.\ Math.\ Soc.}, year = 1974, address = {Providence, RI} } @book{Gratzer71, author = {George Gr\"{a}tzer}, title = {Lattice theory}, publisher = {W.H. Freeman and Company}, year = 1971, address = {San Francisco} } @book{GrimmettStirzaker82, author = {Geoffrey Grimmett and David Stirzaker}, title = {Probability and Random Processes}, publisher = {Oxford University Press}, year = 1982, address = {London} } @article{Gross76, author = {Fletcher Gross}, title = {2-Automorphic 2-Groups}, journal = jalg, volume = 40, pages = {348-353}, year = 1976 } @article{GroveNewmanetal87, author = {Larry Grove and M.F.\ Newman and Craig A.\ Tracy}, title = {Modular properties of the hard hexagon model}, journal = {J.\ Statist.\ Phys.}, volume = 48, pages = {477-502}, year = 1987 } @article{Gruenberg53, author = {K.W.\ Gruenberg}, title = {Two theorems on {E}ngel groups}, journal = {Proc.\ Cambridge Philos.\ Soc.}, volume = 49, pages = {377--380}, year = 1953 } @article{Gruenberg59, author = {K.W.\ Gruenberg}, title = {The {E}ngel elements of a soluble group}, journal = illinois, volume = 3, pages = {151--168}, year = 1959 } @book{Gruenberg70, author = {Karl W.\ Gruenberg}, title = {Cohomological Topics in Group Theory}, publisher = {Springer-Verlag}, year = 1970, volume = 143, series = lnm, address = {Berlin, Heidelberg, New York} } @article{GrunewaldHavasetal79, author = {Fritz J.\ Grunewald and George Havas and J.L.\ Mennicke and M.F.\ Newman}, title = {Groups of exponent eight}, journal = boz, volume = 20, pages = {7-16}, year = 1979 } @article{GuptaGuptaetal69, author = {C.K.\ Gupta and N.D.\ Gupta and M.F.\ Newman}, title = {Some finite nilpotent $p$-groups}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 9, pages = {287-288}, year = 1969 } @article{GuptaNewman66, author = {N.D.\ Gupta and M.F.\ Newman}, title = {On metabelian groups}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 6, pages = {362-368}, year = 1966 } @inproceedings{GuptaNewman67, author = {N.D.\ Gupta and M.F.\ Newman}, title = {On metabelian groups}, booktitle = {Proc.\ Internat.\ Conf.\ Theory of Groups}, year = 1967, address = {New York, London, Paris}, pages = {111-113}, organization = {(Canberra, 1965)}, publisher = {Gordon and Breach} } @article{GuptaNewman68, author = {N.D.\ Gupta and M.F.\ Newman}, title = {Engel congruences in groups of prime-power exponent}, journal = {Canad.\ J.\ Math.}, volume = 20, pages = {1321-1323}, year = 1968 } @inproceedings{GuptaNewman74, author = {N.D.\ Gupta and M.F.\ Newman}, title = {The nilpotency class of finitely generated groups of exponent four}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = berlin, pages = {330-332}, series = {Lecture Notes in Mathematics}, volume = 372, organization = {(Canberra, 1973)}, publisher = springer } @article{GuptaNewman75, author = {N.D.\ Gupta and M.F.\ Newman}, title = {Groups of finite exponent}, journal = boz, volume = 12, pages = 99, year = 1975 } @article{GuptaNewmanetal68, author = {N.D.\ Gupta and M.F.\ Newman and S.J.\ Tobin}, title = {On metabelian groups of prime-power exponent}, journal = {Proc.\ Roy.\ Soc.\ London Ser.\ A}, volume = 302, pages = {237-242}, year = 1968 } @article{Hall33, author = {P.\ Hall}, title = {A contribution to the theory of groups of prime-power order}, journal = plms, volume = 36, pages = {29-95}, year = 1933 } @article{Hall37, author = {P.\ Hall}, title = {On the {S}ylow systems of a soluble group}, journal = {Proc.\ London Math.\ Soc.}, volume = 43, number = 2, pages = {316--323}, year = 1937 } @article{Hall40, author = {P.\ Hall}, title = {The classification of prime-power groups}, journal = reine, volume = 182, pages = {130-141}, year = 1940 } @article{Hall57, author = {Marshall {Hall, Jr.}}, title = {Solution of the {B}urnside problem for exponent 6}, journal = {Proc. Nat. Acad. Sci.}, volume = 43, pages = {751-753}, year = 1957 } @book{Hall59, author = {Marshall {Hall, Jr.}}, title = {The Theory of Groups}, publisher = {Macmillan Co.}, year = 1959, address = {New York} } @article{HallHigman56, author = {P.\ Hall and Graham Higman}, title = {On the $p$-length of $p$-soluble groups and reduction theorems for {B}urnside's problem}, journal = plms3, volume = 6, pages = {1-42}, year = 1956 } @book{HallSenior64, author = {Marshall {Hall, Jr.,} and James K.\ Senior}, title = {The Groups of Order $2^n$\ $(n \leq 6)$.}, publisher = {Macmillan}, year = 1964, address = {New York} } @inproceedings{Havas74, author = {George Havas}, title = {A {R}eidemeister-{S}chreier Program}, booktitle = {Proceedings of the Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = berlin, pages = {347-356}, series = {Lecture Notes in Mathematics}, volume = 322, organization = {(Canberra, 1973)}, publisher = springer } @article{Havas76, author = {George Havas}, title = {Computer aided determination of a {F}ibonacci group}, journal = boz, volume = 15, pages = {197-305}, year = 1976 } @inproceedings{Havas91, author = {George Havas}, title = {Coset enumeration strategies}, year = 1991, booktitle = {Proceedings of the $1991$ International Symposium on Symbolic and Algebraic Computation}, address = {New York}, pages = {191--199}, publisher = {ACM Press} } @article{HavasMajewski97, author = {George Havas and Bohdan S. Majewski}, title = {Integer matrix diagonalization}, journal = jsc, volume = 24, pages = {399--408}, year = 1997 } @article{HavasHoltetal93, author = {George Havas and Derek F.\ Holt and Sarah Rees}, title = {Recognizing Badly Presented {$Z$}-Modules}, journal = laa, volume = 192, pages = {137--163}, year = 1993 } @article{HoltHurt97, author = {Derek F.\ Holt and Darren F.\ Hurt}, title = {Computing automatic coset systems and subgroup presentations}, journal = jsc, volume = 27, pages = {1--19}, year = 1999 } @inproceedings{HavasKenneetal84, author = {George Havas and P.E.\ Kenne and J.S.\ Richardson and E.F.\ Robertson}, title = {A {T}ietze transformation program}, pages = {69--73}, booktitle = cgt, year = 1984, address = {London, New York, San Francisco}, organization = durham, publisher = academic } @inproceedings{HavasKovacs84, author = {George Havas and L.G.\ Kov{\'a}cs}, title = {Distinguishing eleven crossing knots}, booktitle = cgt, year = 1984, address = {London}, pages = {367-373}, editor = {M.D.\ Atkinson}, organization = durham, publisher = academic } @inproceedings{HavasLian94, author = {George Havas and J.X.\ Lian}, title = {A New Problem in String Searching}, booktitle = {Proceedings Fifth Annual International Symposium on Algorithms and Computation}, year = 1994, volume = 834, pages = "660--668", series = lncs, publisher = springer, address = berlin } @techreport{HavasMajewskietal95, author = {George Havas and B.S. Majewski and K.R. Matthews}, title = {Extended gcd algorithms}, type = "Technical report 302", year = 1995, institution = {University of Queensland}, } @inproceedings{HavasNewman80, author = {George Havas and M.F.\ Newman}, title = {Application of computers to questions like those of {B}urnside}, booktitle = {Burnside Groups}, year = 1980, address = berlin, pages = {211-230}, series = {Lecture Notes in Math.}, volume = 806, organization = {(Bielefeld, 1977)}, publisher = springer } @article{HavasNewman83, author = {George Havas and M.F.\ Newman}, title = {Minimal presentations for finite groups of prime-power order}, journal = {Comm.\ Algebra}, volume = 11, pages = {2267-2275}, year = 1983 } @article{HavasNewmanetal90, author = {George Havas and M.F.\ Newman and M.R.\ Vaughan-Lee}, title = {A nilpotent quotient algorithm for graded Lie Rings}, journal = jsc, volume = 9, pages = {653--664}, year = 1990 } @inproceedings{HavasNewmanetal95, author = {George Havas and M.F.\ Newman and E.A.\ O'Brien}, title = {Groups of deficiency zero}, booktitle = {Geometric and Computational Perspectives on Infinite Groups}, organization = {(DIMACS, 1994)}, editor = {G. Baumslag and others}, year = 1995, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 25, pages = {53--67}, } @inproceedings{HavasNicholson76, author = {George Havas and Tim Nicholson}, title = {Collection}, booktitle = {{\rm SYMSAC '76,} Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, pages = {9-14}, year = 1976, organization = {(New York, 1976)}, publisher = {Association for Computing Machinery, New York} } @article{HavasOllila93, author = {George Havas and Mark Ollila}, title = {Application of substring searching methods to group presentations}, journal = {Australian Computer Science Communications}, volume = 15, pages = {587--593}, year = 1993 } @article{HavasRichardson83, author = {George Havas and J.S.\ Richardson}, title = {Groups of exponent five and class four}, journal = {Comm.\ Algebra}, volume = 11, pages = {287-304}, year = 1983 } @article{HavasRichardsonetal79, author = {George Havas and J.S.\ Richardson and Leon S.\ Sterling}, title = {The last of the {F}ibonacci groups}, journal = {Proc.\ Roy.\ Soc.\ Edinburgh Sect.\ A}, volume = {83A}, pages = {199-203}, year = 1979 } @inproceedings{HavasRobertson83, author = {George Havas and E.F.\ Robertson}, title = {Two groups which act on cubic graphs}, booktitle = cgt, year = 1983, address = {London, New York, San Francisco}, pages = {63-65}, organization = durham, publisher = academic } @inproceedings{HavasSterling79, author = {George Havas and L.S.\ Sterling}, title = {Integer matrices and abelian groups}, booktitle = {Symbolic and Algebraic Computation}, year = 1979, address = berlin, pages = {431-451}, series = lncs, volume = 72, organization = {(Marseille, 1979)}, publisher = springer } @article{HavasWalletal74, author = {George Havas and G.E.\ Wall and J.W.\ Wamsley}, title = {The two generator restricted {B}urnside group of exponent five}, journal = boz, volume = 10, pages = {459-470}, year = 1974 } @article{Hawkins91, author = {Thomas Hawkins}, title = {Jacobi and the Birth of {L}ie's Theory of Groups}, journal = {Archive for the History of Exact Sciences}, volume = 42, number = 3, pages = {187-278}, month = {September}, year = 1991, annote = {History} } @article{Heineken60, author = {Hermann Heineken}, title = {Eine {B}emerkung \"uber engelsche {E}lemente}, journal = archiv, volume = 11, pages = {321}, year = 1960 } @article{Heineken61, author = {Hermann Heineken}, title = {Engelsche {E}lemente der {L}\"ange drei}, journal = illinois, volume = 5, pages = {681-707}, year = 1961 } @book{Herstein75, author = {I.N.~Herstein}, title = {Topics in Algebra}, publisher = {John Wiley \& Sons}, edition = {2nd}, year = 1975, address = {New York}, } @book{HoltEicketal05, author = {Derek F.\ Holt and Bettina Eick and Eamonn A.\ O'Brien}, title = {Handbook of computational group theory}, publisher = {Chapman and Hall/CRC}, year = 2005, address = {London}, } @article{Higman40, author = {Graham Higman}, title = {The units of group-rings}, journal = {Proc.\ London Math.\ Soc.\ $(2)$}, volume = 46, pages = {231-248}, year = 1940 } @article{Higman48a, author = {G.\ Higman}, title = {The compacting of topological spaces}, journal = qjm, volume = 19, pages = {27-32}, year = 1948 } @article{Higman48b, author = {G.\ Higman}, title = {A theorem on linkages}, journal = qjm, volume = 19, pages = {117-122}, year = 1948 } @article{Higman49, author = {G.\ Higman}, title = {Note on a theorem of {R}.\ {B}aer}, journal = {Proc.\ Cambridge Philos.\ Soc.}, volume = 45, pages = {321-327}, year = 1949 } @article{Higman51a, author = {Graham Higman}, title = {A finitely related group with an isomorphic proper factor group}, journal = jlms, volume = 26, pages = {59-61}, year = 1951 } @article{Higman51b, author = {Graham Higman}, title = {A finitely generated infinite simple group}, journal = jlms, volume = 26, pages = {61-64}, year = 1951 } @article{Higman51c, author = {Graham Higman}, title = {Almost free groups}, journal = plms3, volume = 1, pages = {284-290}, year = 1951 } @article{Higman52a, author = {Graham Higman}, title = {Ordering by divisibility in abstract algebras}, journal = plms3, volume = 2, pages = {326-336}, year = 1952 } @article{Higman52b, author = {Graham Higman}, title = {Unrestricted free products, and varieties of topological groups}, journal = jlms, volume = 27, pages = {73-81}, year = 1952 } @article{Higman53, author = {Graham Higman}, title = {On a problem of {T}akahasi}, journal = jlms, volume = 28, pages = {250-252}, year = 1953 } @article{Higman54, author = {Graham Higman}, title = {On infinite simple permutation groups}, journal = {Publ.\ Math.\ Debrecen}, volume = 3, pages = {221-226}, year = 1954 } @article{Higman55a, author = {Graham Higman}, title = {A remark on finitely generated nilpotent groups}, journal = pams, volume = 6, pages = {284-285}, year = 1955 } @article{Higman55b, author = {Graham Higman}, title = {Finite groups having isomorphic images in every finite group of which they are homomorphic images}, journal = qjm2, volume = 6, pages = {250-254}, year = 1955 } @article{Higman56a, author = {G.\ Higman}, title = {On finite groups of exponent five}, journal = {Proc.\ Cambridge Philos.\ Soc.}, volume = 52, pages = {381-390}, year = 1956 } @article{Higman56b, author = {Graham Higman}, title = {On a conjecture of {N}agata}, journal = {Proc.\ Cambridge Philos.\ Soc.}, volume = 52, pages = {1-4}, year = 1956 } @article{Higman56c, author = {Graham Higman}, title = {Complementation of abelian normal subgroups}, journal = {Publ.\ Math.\ Debrecen}, volume = 4, pages = {455-458}, year = 1956 } @article{Higman57a, author = {Graham Higman}, title = {Groups and rings having automorphisms without non-trivial fixed elements}, journal = jlms, volume = 32, pages = {321-334}, year = 1957 } @article{Higman57b, author = {Graham Higman}, title = {Finite groups in which every element has prime power order}, journal = jlms, volume = 32, pages = {335-342}, year = 1957 } @article{Higman58, author = {G.\ Higman}, title = {A partial solution to a problem of {D.J.}\ {B}ehrens}, journal = mathgaz, volume = 42, pages = {217-218}, year = 1958 } @article{Higman59, author = {Graham Higman}, title = {Some remarks on varieties of groups}, journal = qjm2, volume = 10, pages = {165-178}, year = 1959 } @misc{Higman60a, author = "Graham Higman", year = "1960", title = "Enumerating {\it p}-groups: {III}", note = "One of 4 lectures delivered as part of a group theory seminar at the University of Chicago in Autumn 1960" } @inproceedings{Higman60b, author = {Graham Higman}, title = {Identical relations in finite groups}, booktitle = {Conv.\ Internaz.\ di Teoria dei Gruppi Finiti}, year = 1960, address = {Rome}, pages = {93-100}, organization = {(Firenze, 1960)} } @inproceedings{Higman60c, author = {Graham Higman}, title = {Lie ring methods in the theory of finite nilpotent groups}, booktitle = {Proc.\ Internat.\ Congr.\ Math.}, year = 1960, pages = {307-312}, organization = {(Edinburgh, 1958)}, publisher = {Cambridge University Press} } @article{Higman60d, author = {Graham Higman}, title = {Enumerating $p$-groups. {I}: {I}nequalities}, journal = plms3, volume = 10, pages = {24-30}, year = 1960 } @article{Higman60e, author = {Graham Higman}, title = {Enumerating $p$-groups, {II}: Problems whose solution is $PORC$}, journal = plms3, volume = 10, pages = {566-582}, year = 1960 } @article{Higman61, author = {G.\ Higman}, title = {Subgroups of finitely presented groups}, journal = {Proc.\ Roy.\ Soc.\ Ser.\ A}, volume = 262, pages = {455-475}, year = 1961 } @inproceedings{Higman62, author = {G.\ Higman}, title = {$p$-length theorems}, booktitle = {$1960$ Institute on Finite Groups}, year = 1962, address = {Providence, RI}, pages = {1-16}, series = {Proc.\ Sympos.\ Pure Math.}, volume = 6, publisher = {Amer.\ Math.\ Soc.} } @article{Higman63a, author = {Graham Higman}, title = {Suzuki 2-groups}, journal = illinois, volume = 7, pages = {79-96}, year = 1963 } @article{Higman63b, author = {Graham Higman}, title = {The lower central series of a free loop}, journal = qjm2, volume = 14, pages = {131-140}, year = 1963 } @article{Higman64, author = {Graham Higman}, title = {Amalgams of $p$-groups}, journal = jalg, volume = 1, pages = {301-305}, year = 1964 } @inproceedings{Higman67a, author = {Graham Higman}, title = {The orders of relatively free groups}, booktitle = {Proc.\ Internat.\ Conf.\ Theory of Groups}, year = 1967, address = {New York, London, Paris}, pages = {153-165}, organization = {(Canberra, 1965)}, publisher = {Gordon and Breach} } @inproceedings{Higman67b, author = {Graham Higman}, title = {Representations of general linear groups and varieties of $p$-groups}, booktitle = {Proc.\ Internat.\ Conf.\ Theory of Groups}, year = 1967, address = {New York, London, Paris}, pages = {167-173}, organization = {(Canberra, 1965)}, publisher = {Gordon and Breach} } @article{Higman69, author = {Graham Higman}, title = {On the simple group of {D.G.}\ {H}igman and {C.C.}\ {S}ims}, journal = illinois, volume = 13, pages = {74-80}, year = 1969 } @inproceedings{Higman71, author = {G.\ Higman}, title = {Construction of simple groups from character tables}, booktitle = {Finite Simple Groups}, year = 1971, address = {London, New York}, pages = {205-214}, editor = {M.B.\ Powell and G.\ Higman}, publisher = academic } @misc{Higman73, author = {Graham Higman}, title = {An infinite family of finitely presented infinite simple groups}, howpublished = {Mimeographed Lecture Notes taken by B.M.\ Hurley}, year = 1973 } @inproceedings{Higman74a, author = {Graham Higman}, title = {Some $p$-local conditions for odd $p$}, booktitle = {Sympos.\ Math.\ {XIII}}, year = 1974, address = {London}, pages = {531-540}, organization = {(Convegno di Gruppi e loro Rappresentazione, Roma, 1972)}, publisher = academic } @inproceedings{Higman74b, author = {Graham Higman}, title = {Some nonsimplicity criteria for finite groups}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = berlin, pages = {367-376}, series = {Lecture Notes in Mathematics}, volume = 372, organization = {(Canberra, 1973)}, publisher = springer } @article{Higman74c, author = {G.\ Higman}, title = {{H}anna {N}eumann: {O}bituary}, journal = blms, volume = 6, pages = {99-100}, year = 1974 } @article{Higman77, author = {Graham Higman}, title = {Homogeneous relations}, journal = qjm2, volume = 28, pages = {31-39}, year = 1977 } @inproceedings{HigmanMcKay69a, author = {G.\ Higman and J.\ McKay}, title = {On {J}anko's simple group of order 50,232,960}, booktitle = {Theory of Finite Groups}, year = 1969, address = {New York, Amsterdam}, pages = {65-77}, organization = {(Sympos.\ Harvard Univ., Cambridge, Mass., 1968)}, publisher = {W.A.\ Benjamin} } @article{HigmanMcKay69b, author = {Graham Higman and John McKay}, title = {On {J}anko's simple group of order 50,232,960}, journal = blms, volume = 1, pages = {89-94}, year = 1969, annote = {(Correction: {\it ibid} {\bf 1} (1969), 219)} } @article{HigmanNeumann52, author = {Graham Higman and B.H.\ Neumann}, title = {Groups as groupoids with one law}, journal = {Publ.\ Math.\ Debrecen}, volume = 2, pages = {215-221}, year = 1952 } @article{HigmanNeumann54, author = {Graham Higman and B.H.\ Neumann}, title = {On two questions of {I}t{\^o}}, journal = jlms, volume = 29, pages = {84-88}, year = 1954 } @article{HigmanNeumannetal49, author = {Graham Higman and B.H.\ Neumann and Hanna Neumann}, title = {Embedding theorems for groups}, journal = jlms, volume = 24, pages = {247-254}, year = 1949 } @article{HigmanStone54, author = {G.\ Higman and A.H.\ Stone}, title = {On inverse systems with trivial limits}, journal = jlms, volume = 29, pages = {233-236}, year = 1954 } @book{HiltonStammbach71, author = {P.J.\ Hilton and U.\ Stammbach}, title = {A Course in Homological Algebra}, publisher = {Springer-Verlag}, year = 1971, address = {New York, Heidelberg, Berlin} } @article{Hirsch38a, author = {K.A. Hirsch}, title = {On Infinite Soluble Groups {(II)}}, journal = {Proceedings of the London Mathematical Society}, volume = 44, number = 2, pages = {336-414}, year = 1938 } @article{Hirsch38b, author = {K.A. Hirsch}, title = {On Infinite Soluble Groups {(I)}}, journal = plms, volume = 44, number = 2, pages = {53-60}, year = 1938 } @article{Hirsch46, author = {K.A. Hirsch}, title = {On Infinite Soluble Groups {(III)}}, journal = jlms, volume = 49, number = 2, pages = {184-94}, year = 1946 } @article{Hirsch52, author = {K.A. Hirsch}, title = {On Infinite Soluble Groups {(IV)}}, journal = jlms, volume = 27, pages = {81-85}, year = 1952 } @article{Hirsch54, author = {K.A. Hirsch}, title = {On Infinite Soluble Groups {(V)}}, journal = jlms, volume = 29, pages = {250-251}, year = 1954 } @article{Hobby60, author = {Charles Hobby}, title = {The {F}rattini subgroup of a $p$-group}, journal = pacific, volume = 10, pages = {209-212}, year = 1960 } @book{Hodges83, author = {Andrew Hodges}, title = {{A}lan {T}uring. {T}he Enigma of Intelligence}, publisher = {Unwin Paperbacks}, year = 1983, address = {London, Boston, Sydney} } @article{Holder93, author = {Otto H{\"o}lder}, title = {Die {G}ruppen der {O}rdnungen $p^3$, $pq^2$, $pqr$, $p^4$}, journal = mathann, volume = 43, pages = {301-412}, year = 1893 } @article{Holder95a, author = {Otto H{\"o}lder}, title = {Bildung zusammengesetzter {G}ruppen}, journal = mathann, volume = 46, pages = {321-422}, year = 1895 } @article{Holder95b, author = {Otto H{\"o}lder}, title = {Die {G}ruppen mit quadratfreier {O}rdnungszahl}, journal = {Abh.\ Akad.\ Wiss.\ G{\"o}ttingen Math.-Phys.\ Kl.}, pages = {211-229}, year = 1895 } @inproceedings{Holt84, author = {D.F.\ Holt}, title = {The Calculation of the {S}chur Multiplier of a Permutation Group}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {307-318}, organization = {(Durham, 1982)}, publisher = academic } @article{Holt85, author = {D.F.\ Holt}, title = {A computer program for the calculation of a covering group of a finite group}, journal = jpaa, volume = 35, pages = {287-295}, year = 1985 } @inproceedings{Holt95a, author = {Derek F.\ Holt}, title = {The {W}arwick Automatic group software}, booktitle = {Geometric and Computational Perspectives on Infinite Groups}, organization = {(DIMACS, 1994)}, editor = {G. Baumslag and others}, year = 1995, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 25, pages = {69--82}, } @article{HoltLeedhamGreenetal96a, author = {Derek F.\ Holt and C.R.\ Leedham-Green and E.A.\ O'Brien and Sarah Rees}, title = {Testing Matrix Groups for Primitivity}, journal = {J.\ Algebra}, pages = {795--817}, volume = {184}, year = 1996 } @article{HoltLeedhamGreenetal96b, author = {Derek F.\ Holt and C.R.\ Leedham-Green and E.A.\ O'Brien and Sarah Rees}, title = {Computing Matrix Group Decompositions with respect to a Normal Subgroup}, journal = {J.\ Algebra}, volume = {184}, pages = {818--838}, year = 1996 } @book{HoltPlesken89, author = {Derek F.\ Holt and W.\ Plesken}, title = {Perfect Groups}, publisher = {Clarendon Press, Oxford}, year = 1989 } @inproceedings{HoltRees92a, author = {D.F.\ Holt and Sarah Rees}, title = {Testing for isomorphism between finitely presented groups}, booktitle = {Groups, Combinatorics and Geometry}, organization = {Durham, 1989}, year = 1992, address = {London}, publisher = {Cambridge University Press}, series = lnlms, volume = 165, pages = {459-475} } @article{HoltRees92b, author = {Derek F.\ Holt and Sarah Rees}, title = {An implementation of the {N}eumann--{P}raeger algorithm for the recognition of special linear groups}, journal = {J.\ Experimental Math.}, volume = 1, pages = {237--242}, year = 1992 } @inproceedings{HoltRees93, author = {Derek F.\ Holt and Sarah Rees}, title = {A graphics system for displaying finite quotients of finitely presented groups}, booktitle = {Groups and Computation}, organization = {(DIMACS, 1991)}, year = 1993, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 11, pages = {113-126} } @article{EickOBrien99, author = {Bettina Eick and E.A.\ O'Brien}, title = {Enumerating $p$-groups}, journal = joz, volume = 67, pages = {191--205}, year = 1999 } @article{EickLeedhamGreenetal02, author = {Bettina Eick and C.R.\ Leedham-Green and E.A.\ O'Brien}, title = {Computing automorphism groups of $p$-groups}, journal = {Comm. Algebra}, volume = 30, pages = {2271-2295}, year = 2002 } @article{HoltRees94, author = {Derek F.\ Holt and Sarah Rees}, title = {Testing modules for irreducibility}, journal = joz, volume = 57, pages = {1--16}, year = 1994 } @phdthesis{How80, author = {Guan Aun How}, title = {Some classes of monomial groups}, school = {Australian National University}, year = 1980 } @article{HuckRosebrock92, author= {G.\ Huck and S.\ Rosebrock}, title= {Ein verallgemeinerter {G}ewichtstest mit {A}nwendungen auf {B}aumpraesentationen}, journal = mz, volume = 211, pages = {351--367}, year = 1992 } @article{HuckRosebrock93a, author = {G.\ Huck and S.\ Rosebrock}, title = {A bicombing that implies a sub-exponential Isoperimetric Inequality}, journal = {Proceedings of the Edinburgh Math.~Soc.}, volume = 36, pages = {515--523}, year = 1993 } @inproceedings{HuckRosebrock93b, author = {G.\ Huck and S.\ Rosebrock}, booktitle = {Two-dimensional homotopy and combinatiorial group theory}, series = lnlms, volume = 197, publisher = cup, pages = {189--218}, editor = {C.~Hog-Angeloni, W.~Metzler, A.~Sieradski}, title = {Applications of diagrams to decision problems}, year = 1993 } @inproceedings{HuckRosebrock95, author = {G.\ Huck and S.\ Rosebrock}, booktitle = {Combinatorial and Geometric Group Theory}, editor = {A.~Duncan, N.~Gilbert, J.~Howie}, title = {Weight tests and hyperbolic groups}, series = lnlms, address = {London}, publisher = {Cambridge University Press}, volume = 204, pages = {174--183}, year = 1995 } @article{Huebschmann80, author = {J.\ Huebschmann}, title = {Crossed $n$-fold extensions of groups and cohomology}, journal = {Comm.\ Math.\ Helv.}, volume = 55, pages = {302-313}, year = 1980 } @article{Huebschmann81, author = {Johannes Huebschmann}, title = {Automorphisms of Group Extensions and Differentials in the Lyndon-Hochschild-Serre spectral sequence}, journal = jalg, volume = 72, number = 2, pages = {296-334}, year = 1981 } @article{Huhro82, author = {E.I.\ Huhro}, title = {The associated Lie ring of the free two generator groups of prime exponent and the Hughes conjecture for two generator $p$-groups}, journal = {Mat.~Sb.}, volume = 118, pages = {567-575}, year = 1982 } @article{HulanickiNewman63, author = {A.\ Hulanicki and M.F.\ Newman}, title = {Existence of unrestricted direct products with one amalgamated subgroup}, journal = jlms, volume = 38, pages = {169-175}, year = 1963, annote = {Corrigendum: {\it ibid} {\bf 39} (1964)} } @phdthesis{Hulpke96, author = {Alexander Hulpke}, title = {Konstruktion transitiver {P}ermutationsgruppen}, year = 1996, school = {RWTH Aachen}, } @article{Hummel75, author = {K.G. Hummel}, title = {The order of the automorphism group of a central product}, journal = pams, volume = 47, pages = {37-40}, year = 1975 } @article{Huppert53, author = {B.\ Huppert}, title = {{\"U}ber das Produkt von paarweise vertauschbaren zyklischen Gruppen}, journal = {Math.\ Z.}, volume = 58, pages = {243--264}, year = 1953 } @article{Huppert57, author = {B.\ Huppert}, title = {Lineare aufl{\"o}sbare gruppen}, journal = mz, volume = 67, pages = {479-518}, year = 1957 } @book{Huppert67, author = {B.\ Huppert}, title = {{E}ndliche {G}ruppen {I}}, publisher = springer, year = 1967, volume = 134, series = grund, address = berlin } @book{HuppertBlackburn82, author = {B.\ Huppert and N.\ Blackburn}, title = {Finite Groups {II}}, publisher = {Springer-Verlag}, year = 1982, volume = 242, series = grund, address = {Berlin, Heidelberg, New York} } @article{Hurley91, author = {Thaddeus C.\ Hurley and Sudarshan K.\ Sehgal}, title = {The {L}ie Dimension Subgroup Conjecture}, journal = jalg, volume = 143, number = 1, pages = {46 - 56}, month = {October}, year = 1991 } @book{Isaacs76, author = {I.M.\ Isaacs}, title = {Character Theory of Finite Groups}, publisher = {Academic Press}, year = 1976, series = {Pure and Applied Mathematics}, volume = 69, address = {Berlin, Heidelberg, New York} } @book{Isaacs94, author = {I.\ Martin Isaacs}, title = {Algebra. A Graduate Course}, publisher = {Brooks/Cole}, year = 1994, address = {California}, } @article{IshibashiEarnest94, author = {H.\ Ishibashi and A.G.\ Earnest}, title = {Two-Element Generation of Orthogonal Groups over Finite Fields}, journal = jalg, volume = 165, pages = {164--171}, year = 1994 } @article {IvanyosLux00, AUTHOR = {Ivanyos, G{\'a}bor and Lux, Klaus}, TITLE = {Treating the exceptional cases of the {M}eat{A}xe}, JOURNAL = {Experiment. Math.}, FJOURNAL = {Experimental Mathematics}, VOLUME = {9}, YEAR = {2000}, NUMBER = {3}, PAGES = {373--381}, } @article{Ivanov92, author = {Sergei V. Ivanov}, title = {On the {B}urnside problem on periodic groups}, journal = bams, year = {1992}, volume = 27, pages = {257-260}, } @article{IvanovSkopin90, author = {F.A.\ Ivanov and A.I.\ Skopin}, title = {A maximal $2$-generated transmetabelian group of the first type of exponent $9$}, journal = {Algebra i Analiz}, volume = 2, number = 6, pages = {150-160}, year = 1990, } @article{Jabber41, author = {M.A.\ Jabber}, title = {Determination of the groups of order 180}, journal = {Bull.\ Calcutta Math.\ Soc.}, volume = 33, pages = {55-70}, year = 1941 } @phdthesis{Jamali88, author = {A.\ Jamali}, title = {Computing with simple groups: Maximal subgroups and presentations}, year = 1988, address = {University of St.\ Andrews}, } @article{JamaliRobertson89, author = {A.\ Jamali and E.F.\ Robertson}, title = {Efficient presentations for certain simple groups}, journal = {Comm.\ Algebra}, volume = 17, pages = {2521-2528}, year = 1989 } @phdthesis{James68, author = {Rodney K.\ James}, title = {The Groups of Order $p^6$ ($p \geq 3$)}, year = 1968, address = sydney } @article{James75, author = {Rodney James}, title = {2-groups of almost maximal class}, journal = joz, volume = 19, pages = {343-357}, year = 1975 } @article{James80, author = {Rodney James}, title = {The Groups of Order $p^6$ ($p$ an Odd Prime)}, journal = mathcomp, volume = 34, pages = {613-637}, year = 1980 } @article{James83, author = {Rodney James}, title = {2-groups of almost maximal class: corrigendum}, journal = joz, volume = 35, pages = 307, year = 1983 } @article{JamesCannon69, author = {Rodney James and John Cannon}, title = {Computation of Isomorphism Classes of $p$-groups}, journal = mathcomp, volume = 23, pages = {135-140}, year = 1969 } @article{JamesNewmanetal90, author = {Rodney James and M.F.\ Newman and E.A.\ O'Brien}, title = {The {G}roups of {O}rder 128}, journal = jalg, volume = 129, number = 1, pages = {136-158}, year = 1990 } @article{JankoNewman63, author = {Z.\ Janko and M.F. Newman}, title = {On finite groups with $p$-nilpotent subgroups}, journal = mz, volume = 82, pages = {104-105}, year = 1963 } @book{JansenLuxetal95, author = "Christoph Jansen and Klaux Lux and Richard Parker and Robert Wilson", year = "1995", title = "An Atlas of Brauer Characters", publisher = "Clarendon Press", volume = 11, series = mlmsns, address = {Oxford} } @article{Johnson79, author = {D.L.\ Johnson}, title = {A new class of 3-generator finite groups of deficiency zero}, journal = jlms2, volume = 19, pages = {59--61}, year = 1979 } @book{Johnson80, author = {D.L.\ Johnson}, title = {Topics in the Theory of Group Presentations}, publisher = {Cambridge University Press}, year = 1980, series = lnlms, volume = 42, address = {Cambridge}, } @book{Johnson90, author = {D.L.\ Johnson}, title = {Presentations of Groups}, publisher = {Cambridge University Press}, year = {1990}, volume = 15, series = {London Math.\ Soc.\ Stud.\ Texts}, address = {Cambridge} } @inproceedings{JohnsonRobertson79, author = {D.L.\ Johnson and E.F.\ Robertson}, title = {Finite groups of deficiency zero}, pages = {275--289}, booktitle = {Homological Group Theory}, organization = {(Durham, 1977)}, series = lnlms, volume = 36, address = {Cambridge}, publisher = cup, year = 1979 } @article{Jones45, author = {Alfred W.\ Jones}, title = {The lattice isomorphisms of certain finite groups}, journal = {Duke Math.\ J.}, volume = 12, pages = {541--560}, year = 1945 } @inproceedings{Jurgensen70, author = {H.\ J{\"u}rgensen}, title = {Calculation with the elements of a finite group given by generators and defining relations}, booktitle = {Computational problems in abstract algebra}, year = {1970}, address = {Oxford}, pages = {47-57}, organization = {(Oxford, 1967)}, publisher = {Pergamon Press} } @article{KannanBachem79, author = {R.\ Kannan and A.\ Bachem}, title = {Polynomial algorithms for computing the {S}mith and {H}ermite normal forms of an integer matrix}, journal = {SIAM J.\ Computing}, pages = {499--507}, volume = 9, year = 1979, } @article{Kantor85, author = {William M. Kantor}, title = {{S}ylow's theorem in polynomial time}, journal = {J. Comp. Syst. Sci.}, pages = {359--394}, volume = 30, year = 1985, } @article{Kantor90, author = {William M. Kantor}, title = {Finding {S}ylow normalizers in polynomial time}, journal = {J. Algorithms}, pages = {523--563}, volume = 11, year = 1990, } @article{KantorLubotzky90, author = {W.M.\ Kantor and A.\ Lubotzky}, title = {The probability of generating a finite classical group}, journal = {Geom.\ Dedicata}, year = 1990, pages = {67--87}, volume = 36, } @article {KantorSeress01, AUTHOR = {William M. Kantor and {\'A}kos Seress}, TITLE = {Black box classical groups}, JOURNAL = {Mem. Amer. Math. Soc.}, FJOURNAL = {Memoirs of the American Mathematical Society}, VOLUME = {149}, YEAR = {2001}, NUMBER = {708}, PAGES = {viii+168}, ISSN = {0065-9266}, } @article{Kappe61, author = {Wolfgang Kappe}, title = {Die {A-Norm} einer {G}ruppe}, journal = illinois, volume = 5, pages = {187--197}, year = 1961 } @article{Kappe82, author = {Luise-Charlotte Kappe}, title = {Right and left {E}ngel elements in metabelian groups}, journal = {Comm.\ Algebra}, volume = {9(12)}, pages = {1295--1306}, year = 1981 } @book{Karpilovsky87, author = {Gregory Karpilovsky}, title = {The {S}chur Multiplier}, publisher = {Clarendon Press}, year = 1987, volume = 2, series = mlmsns, address = {New York} } @book{Karpilovsky89, author = {G.\ Karpilovsky}, title = {Clifford Theory for Group Representations}, publisher = {North-Holland}, year = 1989, volume = 156, series = {North-Holland Mathematics Studies}, address = {Amsterdam, New York} } @book{Karpilovsky92, author = {Gregory Karpilovsky}, title = {Group Representations, Volume $1$}, publisher = {Elsevier Science Publishers B.V.}, year = 1992, volume = 175, series = {North-Holland Mathematics Studies}, address = {Amsterdam, New York} } @book{Karpilovsky93, author = {Gregory Karpilovsky}, title = {Group Representations, Volume $2$}, publisher = {Elsevier Science Publishers B.V.}, year = 1993, volume = 177, series = {North-Holland Mathematics Studies}, address = {Amsterdam, New York} } @mastersthesis{Keane76, author = "Richard D. Keane", title = "Minimal presentations of finite groups of order $3^n$ for $n \leq 6$", year = 1976, address = "Flinders University", } @article{Kempe86, author = {A.B. Kempe}, title = {Memoir on the theory of Mathematical Form}, journal = {Phil.\ Trans.\ Roy.\ Soc.\ London Ser.\ A}, volume = 177, pages = {1-70}, year = 1886 } @article{Kenne83, author = {P.E.\ Kenne}, title = {Presentations for some direct products of groups}, journal = boz, volume = 28, pages = {131-133}, year = 1983 } @article{Kenne86, author = {P.E.\ Kenne}, title = {Efficient presentations for three simple groups}, journal = {Comm.\ Algebra}, volume = 14, pages = {797-800}, year = 1986 } @article{Kenne90, author = {P.E.\ Kenne}, title = {Some new efficient soluble groups}, journal = {Comm. Algebra}, volume = 14, pages = {2747-2753}, year = 1990 } @article{KenneNewmanetal83, author = {P.E.\ Kenne and M.F.\ Newman and K.W.\ Weston}, title = {Elementary properties of {S}teinberg groups}, journal = aams, volume = 4, pages = {163, 242, 333, 411}, year = 1983 } @misc{Kepert83, author = {Jeff Kepert}, title = {The Enumeration of Groups of Prime Power Order}, howpublished = {BSc thesis, University of Western Australia}, year = 1983 } @book{KernighanRitchie88, author = {Brian~W.\ Kernighan and Dennis~M.\ Ritchie}, title = {The {C} programming language}, publisher = prenticehall, year = 1988, address = {Englewood Cliffs, NJ}, edition = {2nd} } @article{King73, author = {Bruce W.\ King}, title = {Presentations of metacyclic groups}, journal = {Bull.\ Austral.\ Math.\ Soc.}, volume = 8, pages = {103--131}, year = 1973 } @book{KleidmanLiebeck90, author = {Peter Kleidman and Martin Liebeck}, title = {The Subgroup Structure of the Finite Classical Groups}, publisher = cup, year = 1990, volume = 129, series = lnlms, address = {Cambridge} } @book{Knuth68, author = {Donald~E.\ Knuth}, title = {The Art of Computer Programming. {V}olume $1$: Fundamental Algorithms}, publisher = addison, year = 1968, address = {Massachusetts} } @book{Knuth69, author = {Donald~E.~Knuth}, title = {The Art of Computer Programming. {V}olume $2$: Seminumerical Algorithms}, publisher = addison, year = 1969, address = {Massachusetts} } @book{Knuth73, author = {Donald E.\ Knuth}, title = {The Art of Computer Programming. {V}olume $3$: Sorting and Searching}, publisher = addison, year = 1973, address = {Massachusetts} } @inproceedings{KnuthBendix70, author = {D.E. Knuth and P.B. Bendix}, title = {Simple word problems in universal algebras}, booktitle = {Computational {P}roblems in {A}bstract {A}lgebra}, pages = {263--297}, year = 1970, crossref = {Oxford67} } @article{Kochendorffer48, author = {Rudolf Kochend\"orffer}, title = {\"Uber treue irreduzible {D}arstellungen endlicher {G}ruppen}, journal = {Math.\ Nachr.}, volume = 1, pages = {25--39}, year = 1948 } @article{Kostant95, author = {B. Kostant}, title = {The graph of the truncated icosahedron and the last letter of Galois}, journal = nams, pages = {959--968}, volume = 42, year = 1995 } @book{Kostrikin90, author = {A.I. Kostrikin}, title = {Around {B}urnside}, publisher = {Springer-Verlag}, year = 1990, volume = 20, series = ergeb, address = {New York, Berlin and Heidelberg} } @article{Kovacs90, author = {L.G.\ Kov{\'a}cs}, title = {On tensor induction of group representations}, journal = joz, volume = 49, pages = {486--501}, year = 1990, } @article{KovacsNewman62, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Direct complementation in groups with operators}, journal = {Arch.\ der Math.}, volume = 13, pages = {427-433}, year = 1962 } @article{KovacsNewman66a, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {On critical groups}, journal = {J.\ Austral.\ Math. Soc}, volume = 6, pages = {237-250}, year = 1966 } @article{KovacsNewman66b, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Minimal verbal subgroups}, journal = {Proc.\ Cambridge Philos.\ Soc.}, volume = 62, pages = {347-350}, year = 1966 } @article{KovacsNewman66c, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Cross varieties of groups}, journal = {Proc.\ Roy.\ Soc.\ London Ser.\ A}, volume = 292, pages = {530-536}, year = 1966 } @inproceedings{KovacsNewman67, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Just-non-{C}ross varieties}, booktitle = {Proc.\ Internat.\ Conf.\ Theory of Groups}, year = 1967, address = {New York, London, Paris}, pages = {221-223}, organization = {(Canberra, 1965)}, publisher = {Gordon and Breach} } @article{KovacsNewman71, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {On non-{C}ross varieties of groups}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 12, pages = {129-144}, year = 1971 } @inproceedings{KovacsNewman74, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Hanna {N}eumann's problems on varieties of groups}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = berlin, pages = {417-431}, series = {Lecture Notes in Mathematics}, volume = 372, organization = {(Canberra, 1973)}, publisher = springer } @article{KovacsNewman82, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman}, title = {Injectives in varieties of groups}, journal = {Algebra Universalis}, volume = 14, pages = {398-400}, year = 1982 } @article{KovacsNewmanetal68, author = {L.G.\ Kov{\'a}cs and M.F.\ Newman and P.F.\ Pentony}, title = {Generating groups of nilpotent varieties}, journal = {Bull.\ Amer.\ Math.\ Soc}, volume = 74, pages = {968-971}, year = 1968 } @book{KreitzbergSchneiderman72, author = {Charles B.\ Kreitzberg and Ben Schneiderman}, title = {The elements of {FORTRAN} style: techniques for effective programming}, publisher = {Harcourt Brace Jovanovich}, year = 1972 } @mastersthesis{Kupper79, author = {A.M.\ K{\"u}pper}, title = {Enumeration of some two-generator groups of prime power order}, year = 1979, address = anu } @book{Kurosh55, author = {A.G. Kurosh}, title = {The Theory of Groups, Volume One}, publisher = {Chelsea Publishing Company, New York, N.Y.}, year = 1955, annote = {Translated from the Russian and edited by K.A. Hirsch} } @book{Kurosh56, author = {A.G. Kurosh}, title = {The Theory of Groups, Volume Two}, publisher = {Chelsea Publishing Company, New York, N.Y.}, year = 1960, annote = {Translated from the Russian and edited by K.A. Hirsch} } @article{LandazuriSeitz74, author = {Vicente Landazuri and Gary M.\ Seitz}, title = {On the Minimal Degrees of Projective Representations of the Finite Chevalley Groups}, journal = jalg, volume = 32, pages = {418--443}, year = 1974 } @book{Laue82, author = {Reinhard Laue}, title = {Zur Konstruktion und Klassifikation endlicher aufl\"{o}sbarer Gruppen}, series = {Bayreuth.\ Math.\ Schr.}, volume = 9, year = 1982, reviews = "MR{\bf84e}:20018", notes = {(Correction sheet 1982)}, } @inproceedings{LaueNeubuseretal84, author = {R.\ Laue and J.\ Neub{\"u}ser and U. Schoenwaelder}, title = {Algorithms for Finite Soluble Groups and the {SOGOS} System}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {105-135}, organization = {(Durham, 1982)}, publisher = academic } @article{LeVavasseur02, author = {R. {Le Vavasseur}}, title = {Les groupes d'ordre $p^2q^2$, $p$ {\'e}tant un nombre premier plus grand que le nombre premier $q$}, journal = {Ann.\ de l'{\'E}c.\ Norm.\ (3)}, volume = 19, pages = {335-355}, year = 1902 } @article{LeVavasseur03, author = {R. {Le Vavasseur}}, title = {Les groupes d'ordre 16$p$, $p$ {\'e}tant un nombre premier impair}, journal = {Toulouse Ann.}, volume = 5, pages = {63-123}, year = 1903 } @article{LeVavasseur99a, author = {R. {Le Vavasseur}}, title = {Les groupes d'ordre $p^2q^2$, $p$ {\'e}tant un nombre premier plus grand que le nombre premier $q$}, journal = {C.~R.\ Acad.\ Sci.\ Paris Vie Acad{\'e}mique}, volume = 128, pages = {1152-1153}, year = 1899 } @article{LeVavasseur99b, author = {R. {Le Vavasseur}}, title = {Les groupes d'ordre 16$p$, $p$ {\'e}tant un nombre premier impair}, journal = {C.~R.\ Acad.\ Sci.\ Paris Vie Acad{\'e}mique}, volume = 129, pages = {26-27}, year = 1899 } @inproceedings{Leech84, author = {John Leech}, title = {Coset enumeration}, booktitle = cgt, year = 1984, address = {London}, pages = {3-18}, organization = durham, publisher = academic } @inproceedings{LeedhamGreen84, author = {C.R.\ Leedham-Green}, title = {A Soluble Group Algorithm}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {85-101}, organization = {(Durham, 1982)}, publisher = academic } @article{LeedhamGreenNewman80, author = {C.R.\ Leedham-Green and M.F.\ Newman}, title = {Space groups and groups of prime-power order {I}}, journal = archiv, volume = 35, pages = {193-202}, year = 1980 } @article{LeedhamGreenOBrien97a, author = {C.R.\ Leedham-Green and E.A.\ O'Brien}, title = {Tensor Products are Projective Geometries}, journal = jalg, pages = {514--528}, volume = 189, year = 1997 } @article{LeedhamGreenOBrien97b, author = {C.R.\ Leedham-Green and E.A.\ O'Brien}, title = {Recognising tensor products of matrix groups}, journal = ijac, pages = {541--559}, volume = 7, year = 1997 } @article{LeedhamGreenOBrien02, author = {C.R.\ Leedham-Green and E.A.\ O'Brien}, title = {Recognising tensor-induced matrix groups}, journal = jalg, pages = {14--30}, volume = 253, year = 2002 } @article{LeedhamGreenPlesken86, author = {C.R. Leedham-Green and W. Plesken}, title = {Some Remarks on {S}ylow Subgroups of General Linear Groups}, journal = {Math. Z.}, volume = {191}, pages = {529-535}, year = 1986 } @article{LeedhamGreenPraegeretal91, author = {Charles R. Leedham-Green and Cheryl E. Praeger and Leonard H. Soicher}, title = {Computing with Group Homomorphisms}, journal = jsc, volume = 12, pages = {527--532}, year = 1991 } @article{LeedhamGreenSoicher90, author = {C.R. Leedham-Green and L.H. Soicher}, title = {Collection from the left and other strategies}, journal = {J.\ Symbolic Comput.}, volume = {9}, pages = {665--675}, year = 1990 } @article{Soicher87, author = {L.H.\ Soicher}, title = {Presentations of Some Finite Simple Groups with Applications to the O'Nan Simple Group}, journal = {J.\ Algebra}, volume = {108}, pages = {310--316}, year = 1987 } @article{LenstraLenstraetal82, author = {A.K.\ Lenstra and H.W.\ Lenstra and L\'aszl\'o Lov\'asz}, title = {Factoring polynomials with rational coefficients}, journal = {Math. Ann.}, pages = {515--534}, volume = 261, year = 1982 } @article{Leon79, author = {Jeffrey~S.\ Leon}, title = {An algorithm for computing the automorphism group of a {H}adamard matrix}, journal = {J.\ Combin.\ Theory Ser.\ A}, volume = 27, number = 3, pages = {289-306}, year = 1979 } @article{Leon80a, author = {Jeffrey S.\ Leon}, title = {On an algorithm for finding a base and strong generating set for a group given by generating permutations}, journal = mathcomp, volume = 20, pages = {941-974}, year = 1980 } @inproceedings{Leon80b, author = {Jeffrey~S.\ Leon}, title = {Finding the order of a permutation group}, pages = {511--517}, year = 1980, booktitle = {Finite Groups}, address = {Providence, RI}, series = {Proc.\ Sympos.\ Pure Math.}, volume = 37, editor = {Bruce Cooperstein and Geoffrey Mason}, organization = {(Santa Cruz, 1979)}, publisher = {Amer.\ Math.\ Soc.} } @article{Leon91, author = {Jeffrey~S.\ Leon}, title = {Permutation group algorithms based on partitions, {I}: Theory and algorithms}, journal = jsc, volume = 12, pages = {533--583}, year = 1991 } @article{Leong74, author = {Y.K.\ Leong}, title = {Odd order nilpotent groups of class two with cyclic centre}, journal = joz, volume = 17, pages = {142-153}, year = 1974 } @article{Levavasseur96a, author = {R.\ Levavasseur}, title = {Sur les groupes d'op{\'e}rations {I}}, journal = {C.~R.\ Acad.\ Sci.\ Paris Vie Acad{\'e}mique}, volume = 122, pages = {180-182}, year = 1896 } @article{Levavasseur96b, author = {R.\ Levavasseur}, title = {Sur les groupes d'op{\'e}rations {II}}, journal = {C.~R.\ Acad.\ Sci.\ Paris Vie Acad{\'e}mique}, volume = 122, pages = {516-517}, year = 1896 } @misc{Archer98, author = {Claude Archer}, title = {}, howpublished = {MSc thesis, Universit\'e Libre de Bruxelles}, year = 1998 } @misc{Ley88, author = {Susan H. Ley}, title = {{TWOGPS}: A Deductive Database for Groups of Order $2^{n}$}, howpublished = {BSc thesis, University of Sydney}, year = 1988 } @book{LidlNiederreiter83, author = {Rudolf~Lidl and Harald~Niederreiter}, title = {Finite Fields}, publisher = addison, series = {Encyclopedia of Mathematics and Its Applications}, volume = 20, year = 1983, address = {Reading, Mass.} } @article{Liebeck85, author = {Martin W. Liebeck}, title = {On the orders of maximal subgroups of the finite classical groups}, journal = plms3, volume = 50, pages = {426--446}, year = 1985 } @article{Lin74, author = {Huei-Lung Lin}, title = {On groups of order $p^2q$, $p^2q^2$}, journal = {Tamkang J.\ Math.}, volume = 5, pages = {167-190}, year = 1974 } @article{Lindenberg70a, author = {Wolfgang Lindenberg}, title = {\"Uber die Struktur zerfallender bizyklischer $p$-Gruppen}, journal = reine, volume = 241, pages = {118--146}, year = 1970 } @techreport{Lindenberg70b, author = {Wolfgang Lindenberg}, title = {\"Uber die Struktur zerfallender nicht-modularer bizyklischer $2$-Gruppen}, institution = {Gesellschaft f\"ur Mathematik und Datenverarbeitung, Bonn}, year = 1970, type = {Berichte}, number = 29 } @techreport{Lindenberg71, author = {Wolfgang Lindenberg}, title = {Struktur und Klassifizierung bizyklischer $p$-Gruppen}, institution = {Gesellschaft f\"ur Mathematik und Datenverarbeitung, Bonn}, year = 1971, type = {Berichte}, number = 40 } @phdthesis{Linton89, author = {Stephen Alexander Linton}, title = {The maximal subgroups of the sporadic groups $Th$, $Fi_{24}$ and $Fi'_{24}$ and other topics}, school = {University of Cambridge}, year = 1989 } @article{Linton91a, author = {S.A.\ Linton}, title = {Constructing Matrix Representations of Finitely Presented Groups}, journal = jsc, volume = 12, pages = {427-438}, year = 1991 } @article{Linton91b, author = {Stephen A.\ Linton}, title = {Double coset enumeration}, journal = jsc, volume = 12, pages = {415--426}, year = 1991, crossref = {Cannon91}, } @inproceedings{Lo97, author = {Eddie H. Lo}, title = {A polycyclic quotient algorithm}, organization = {(DIMACS, 1995)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 28, year = 1997, crossref = {FinkelsteinKantor97}, } @article{LucchiniMenegazzo94, author = {Andrea Lucchini and Federico Menegazzo}, title = {Computing a set of generators of minimal cardinality in a solvable group}, journal = jsc, pages = {409--420}, volume = 17, year = {1994} } @article{Luks82, author = {Eugene M.\ Luks}, title = {Isomorphism of graphs of bounded valence can be tested in polynomial time}, journal = {J. Comp. Syst. Sci.}, pages = {42--65}, volume = 25, year = 1982, } @article{Luks87, author = {Eugene M.\ Luks}, title = {Computing the composition factors of a permutation group in polynomial time}, journal = {Combinatorica}, pages = {87--99}, volume = 7, year = 1987, } @inproceedings{Luks92, author = {Eugene M.\ Luks}, title = {Computing in solvable matrix groups}, booktitle = {Proc.\ $33$rd IEEE Sympos.\ Foundations Comp.\ Sci.}, pages = {111-120}, year = 1992, } @inproceedings{Luks93, author = {Eugene M.\ Luks}, title = {Permutation groups and polynomial-time computation}, organization = {(DIMACS, 1991)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, pages = {139--175}, volume = 11, year = 1993, crossref = {FinkelsteinKantor93}, } @inproceedings{LuksRakoczietal94, author = {E. M. Luks and F. R\'ak\'oczi and C. R. B. Wright}, title = {Computing Normalizers in Permutation $p$-groups}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '94}}, organization = {(Oxford)}, publisher = {ACM Press}, pages = {139--146}, year = 1994, } @article{LunnSenior34, author = {A.C.\ Lunn and J.K.\ Senior}, title = {A method of determining all the solvable groups of given order and its application to the orders 16$p$ and 32$p$}, journal = {Amer.\ J.\ Math.}, volume = 56, pages = {319-327}, year = 1934, } @misc{Lux97, author = {Klaus Lux}, title = {Algorithmic Methods in Modular Representation Theory}, year = 1997, howpublished = {Habilitationsschrift, RWTH Aachen}, } @article{LuxMulleretal94, author = {Klaus Lux and J\"urgen M\"uller and Michael Ringe}, title = {Peakword Condensation and Submodule Lattices: An application of the {M}eat-{A}xe}, journal = jsc, volume = 17, pages = {529--544}, year = 1994, } @inproceedings{LuxPahlings91, author = {Klaus Lux and Herbert Pahlings}, title = {Computational aspects of representation theory of finite groups}, booktitle = {Representation Theory of Finite Groups and Finite-Dimensional Algebras}, editor = {G.O.\ Michler and C.M.\ Ringel}, series = {Progress in Math.}, publisher = {Birkh\"auser Verlag}, pages = {37--64}, volume = 95, year = 1991, } @book{LyndonSchupp77, author = {Roger C.\ Lyndon and Paul E.\ Schupp}, title = {Combinatorial Group Theory}, publisher = {Springer-Verlag}, year = 1977, volume = 89, series = ergeb, address = {Berlin, Heidelberg, New York} } @article{Lysionok92, author = {I.G. Lysionok}, title = {The infinity of {B}urnside groups of exponents $2^k$ for $k \geq 13$}, journal = {Uspekhi Mat.\ Nauk}, year = {submitted} } @book{MacLane63, author = {Saunders {Mac Lane}}, title = {Homology}, publisher = {Springer-Verlag}, year = 1963, address = {Berlin, G\"{o}ttingen, Heidelberg} } @article{Macdonald62, author = {I.D.\ Macdonald}, title = {On a class of finitely presented groups}, journal = {Canad.\ J.\ Math.}, volume = 14, pages = {602-613}, year = 1962 } @inproceedings{Macdonald70, author = {I.D. Macdonald}, title = {Some Examples in the Theory of Groups}, booktitle = {Mathematical Essays Dedicated to A.J. Macintyre}, pages = {263--269}, year = 1970, publisher = {Ohio University Press}, editor = {H. Shankar} } @article{Macdonald74, author = {I.D. Macdonald}, title = {A computer application to finite $p$-groups}, journal = joz, volume = 17, pages = {102-112}, year = 1974 } @inproceedings{Macdonald87, author = {I.D.\ Macdonald}, title = {Nilpotent quotient algorithms}, booktitle = {Proceedings of Groups -- St Andrews $1985$}, year = 1987, pages = {268-272}, series = {London Math.\ Soc.\ Lecture Note Ser.}, publisher = {Cambridge University Press}, address = {Cambridge}, volume = 121, } @manual{MagmaManual, title = {Handbook of {\sc Magma} functions}, author = {Wieb Bosma and John Cannon}, organization = sydneyschool, address = sydney, year = 1993 } @book{MagnusKarrassetal66, author = {W.\ Magnus and A.\ Karrass and D.\ Solitar}, title = {Combinatorial group theory: presentations of groups in terms of generators and relations}, publisher = {Interscience}, address = {New York}, year = 1966 } @phdthesis{Malmrot25, author = {B.\ Malmrot}, title = {Studien {\"u}ber Gruppen deren Ordnung ein Produkt von sechs Primzahlen ist}, year = 1925, address = {Uppsala University} } @article{MannShalev90b, author = {A.\ Mann and Aner Shalev}, title = {The nilpotency class of the unit group of a modular group algebra {II}}, journal = israel, volume = 70, pages = {267-277}, year = 1990 } @manual{Maple, author = {B.W. Char and K.O. Geddes and G.H. Gonnet and M.B. Monagan and S.M. Watt}, year = 1988, title = "Maple reference manual", publisher = springer, address = {New York} } @article{Martin86, author = {Ursula Martin}, title = {Almost all $p$-groups have automorphism group a $p$-group}, journal = bams, volume = 15, pages = "78-82", year = 1986 } @manual{Mathematica, author = "Stephen~Wolfram", year = 1988, title = "Mathematica: a system for doing mathematics by computer", publisher = addison, address = {Reading, Mass.} } @article{Matzat84, author = {B.H. Matzat}, title = {Konstruktion von {Z}ahl- und {F}unktionenk\"orper mit vergegebener {G}aloisgruppe}, journal = reine, pages = {179--220}, volume = 349, year = 1984, } @book{McDonald74, author = {Bernard~R.~McDonald}, title = {Finite Rings with Identity}, publisher = {Marcel Dekker}, year = 1974, address = {New York} } @inproceedings{McKay70, author = {John McKay}, title = {The construction of the character table of a finite group from generators and relations}, booktitle = {Computational problems in abstract algebra}, year = 1970, address = {London, New York}, pages = {89-100}, organization = {(Oxford, 1967)}, publisher = {Pergamon Press} } @inproceedings{McKay78, author = {Brendan~D.~McKay}, title = {Computing automorphisms and canonical labellings of graphs}, booktitle = {Combinatorial Mathematics}, year = 1978, series = lnm, publisher = springer, volume = 686, editor = {D.A.~Holton and Jennifer Seberry}, organisation = {Canberra (1977)} } @techreport{McKay90, author = {Brendan McKay}, title = {Nauty Users Guide (Version $1.5$)}, type = "Technical report", year = 1990, institution = {Dept. Comp. Sci., Australian National University}, } @article{MeckyNeubuser89, author = {M. Mecky and J. Neub{\"u}ser}, title = {Some remarks on the computation of conjugacy classes of soluble groups}, journal = boz, pages = {281--292}, volume = 40, year = 1989, } @article{MeierWunderli51, author = "H.~Meier-Wunderli", title = "Metabelischen Gruppen", journal = "Comment. Math. Helv.", year = 1951, volume = "25", pages = "1--10" } @article{Mennicke59, author = {Jens Mennicke}, title = {Einige endliche {G}ruppen mit drei {E}rzeungenden und drei {R}elationen}, journal = archiv, volume = 10, pages = {409-418}, year = 1959 } @book{MeynTweedie93, author = {S.P. Meyn and R.L. Tweedie}, title = {Markov chains and stochastic stability}, publisher = springer, year = 1993, series = {Communications and control engineering series}, address = london } @article{Michler90, author = {Gerhard O.\ Michler}, title = {Some Problems in Computational Representation Theory}, journal = jsc, volume = 9, pages = {571--582}, year = 1990 } @article{Miech75, author = {R.J.\ Miech}, title = {On $p$-groups with a cyclic commutator subgroup}, journal = joz, volume = 20, pages = {178-198}, year = 1975 } @article{Mihailova58, author = {K.A.\ Mihailova}, title = {The occurence problem for direct products of groups (in {R}ussian)}, journal = {Dokl. Akad. Nauk. SSSR}, pages = {1103--1105}, volume = 119, year = 1958, } @article{Miller02, author = {G.A.\ Miller}, title = {Determination of all the groups of order 168}, journal = mathmonthly, volume = 9, pages = {1-5}, year = 1902 } @article{Miller09, author = {G.A.\ Miller}, title = {Finite groups which may be defined by two operators satisfying two conditions}, journal = {Amer.\ J.\ Math.}, volume = 31, pages = {167--182}, year = 1909 } @article{Miller21a, author = {G.A.\ Miller}, title = {An overlooked infinite system of groups of order $pq^2$}, journal = {Proc.\ Nat.\ Acad.\ Sci.\ USA}, volume = 7, pages = {146-148}, year = 1921 } @article{Miller21b, author = {G.A.\ Miller}, title = {An overlooked infinite system of groups of order $pq^2$, $p$ and $q$ being prime numbers}, journal = {Bull.\ Amer.\ Math.\ Soc.}, volume = 27, pages = {406-407}, year = 1921 } @article{Miller29, author = {G.A.\ Miller}, title = {Determination of all the Abstract Groups of Order 72}, journal = {Amer.\ J.\ Math.}, volume = 51, pages = {491-494}, year = 1929 } @article{Miller30a, author = {G.A.\ Miller}, title = {Determination of all the groups of order 96}, journal = {Ann.\ of Math.\ $(2)$}, volume = 31, pages = {163-168}, year = 1930 } @article{Miller30b, author = {G.A.\ Miller}, title = {Determination of all the Groups of Order 64}, journal = {Amer.\ J.\ Math.}, volume = 52, pages = {617-634}, year = 1930 } @article{Miller36, author = {G.A.\ Miller}, title = {General theorems applying to all the groups of order 32}, journal = {Proc.\ Nat.\ Acad.\ Sci.\ USA}, volume = 22, pages = {112-115}, year = 1936 } @article{Miller96a, author = {G.A.\ Miller}, title = {The Operation Groups of order 8$p$, $p$ being any prime number}, journal = {Philos.\ Mag.\ (5)}, volume = 42, pages = {195-200}, year = 1896 } @article{Miller96b, author = {G.A.\ Miller}, title = {The regular substitution groups whose orders are less than 48}, journal = {Quart.\ J.\ Math.}, volume = 28, pages = {232-284}, year = 1896 } @article{Miller98, author = {G.A.\ Miller}, title = {On the operation groups whose orders are less than 64 and those whose order is 2$p^3$, $p$ being any prime number}, journal = {Quart.\ J.\ Math.}, volume = 30, pages = {243-263}, year = 1898 } @article{Miller99, author = {G.A.\ Miller}, title = {Report on recent progress in the theory of groups of a finite order}, journal = {Bull.\ Amer.\ Math.\ Soc.}, volume = 5, pages = {227-249}, year = 1899 } @book{ModularAtlas, author = "Christoph Jansen and Klaux Lux and Richard Parker and Robert Wilson", year = "1995", title = "An Atlas of Brauer Characters", publisher = "Clarendon Press", volume = 11, series = mlmsns, address = {Oxford} } @article{MonarkhSkopin82, author = {E.I. Monarkh and A.I. Skopin}, title = {Dialog system of symbolic calculations in {B}urnside groups}, journal = lomi, volume = 114, pages = {164 - 173}, year = 1982, annote = {Describes system and some early calculations in metabelian case} } @inproceedings{Morje97, author = {Prabhav Morje}, title = {On nearly linear time algorithms for {S}ylow subgroups of small-base permutation groups}, organization = {(DIMACS, 1995)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 28, year = 1997, crossref = {FinkelsteinKantor97}, } @article{MurrayOBrien95, author = {Scott H.\ Murray and E.A.\ O'Brien}, title = {Selecting Base Points for the {S}chreier-{S}ims Algorithm for Matrix Groups}, journal = jsc, volume = 19, pages = {577--584}, year = 1995 } @inproceedings{NUProlog88, author = {K.\ Ramamohanarao and others}, title = {An overview of the {NU-P}rolog deductive database system}, booktitle = {Prolog and Databases}, editor = {P.M.D. Gray and R.J. Lucas}, year = 1988, pages = {212--250}, publisher = {Ellis Horwood} } @article{NebePlesken95, author = {G. Nebe and W. Plesken}, title = {Finite Rational Matrix Groups}, journal = {Memoirs Amer. Math. Soc.}, volume = {116}, number = {556}, year = 1995, } @book{Netto82, author = {Eugen Netto}, title = {Substitutionentheorie und ihre {A}nwendungen auf die {A}lgebra}, publisher = {Teubner}, year = 1882, address = {Leipzig} } @article{Neubuser60, author = {J.\ Neub{\"u}ser}, title = {Untersuchungen des {U}ntergruppenverbandes endlicher {G}ruppen auf einer programmgesteuerten elektronischen {D}ualmaschine}, journal = {Numer.\ Math.}, volume = 2, pages = {280-292}, year = 1960 } @article{Neubuser61, author = {J.\ Neub{\"u}ser}, title = {Bestimmung der {U}ntergruppenverb{\"a}nde endlicher $p$-{G}ruppen auf einer programmgesteuerten elektronischen {D}ualmaschine}, journal = {Numer.\ Math.}, volume = 3, pages = {271-278}, year = 1961 } @misc{Neubuser67, author = {Joachim Neub{\"u}ser}, title = {Die {U}ntergruppenverb{\"a}nde der {G}ruppen der {O}rdnungen $\leq 100$ mit {A}usnahme der {O}rdnungen 64 und 96}, howpublished = {Habilitationsschrift, Kiel}, year = 1967 } @inproceedings{Neubuser70, author = {J.\ Neub{\"u}ser}, title = {Investigations of groups on computers}, booktitle = {Computational problems in abstract algebra}, year = 1970, address = {Oxford}, pages = {1-19}, organization = {(Oxford, 1967)}, publisher = {Pergamon Press} } @inproceedings{Neubuser71, author = {J.\ Neub\"user}, title = {Computing moderately large groups: Some methods and applications}, booktitle = {Computers in algebra and number theory}, year = 1971, address = {Providence, RI}, pages = {191-195}, organization = {(New York, 1970)}, series = pams, publisher = {Amer.\ Math.\ Soc.}, volume = 4, editor = {Garret Birkhoff and Marshall {Hall, Jr.}}, } @inproceedings{Neubuser82, author = {J.\ Neub\"user}, title = {An elementary introduction to coset table methods in computational group theory}, pages = {1--45}, volume = 71, booktitle = {Groups -- St Andrews $1981$}, year = 1982, address = {Cambridge}, series = lnlms, publisher = {Cambridge University Press} } @inproceedings{Neubuser95, author = {J. Neub\"user}, title = {An invitation to computational group theory}, booktitle = {Groups'$\,93$ -- Galway/St. Andrews}, editor = {C.M. Campbell and T.C. Hurley and E.F. Robertson and S.J. Tobin and J.J. Ward}, pages = {457--475}, series = lnlms, volume = 212, publisher = {Cambridge University Press}, year = 1995, } @inproceedings{NeubuserPahlingsetal84, author = {J.\ Neub{\"u}ser and H.\ Pahlings and W.\ Plesken}, title = {{CAS}; Design and Use of a System for the Handling of Characters of Finite Groups}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {145-183}, organization = {(Durham, 1982)}, publisher = academic } @article{Neumann64, author = {P.M.\ Neumann}, title = {On the structure of standard wreath products of groups}, journal = {Math.\ Z.}, volume = 84, pages = {343-373}, year = 1964 } @book{Neumann67, author = {Hanna Neumann}, title = {Varieties of Groups}, publisher = springer, year = 1967, address = berlin } @inproceedings{Neumann87, author = {Peter M. Neumann}, title = {Some algorithms for computing with finite permutation groups}, booktitle = {Proceedings of Groups -- St Andrews $1985$}, editor = {E.F. Robertson and C.M. Campbell}, series = lnlms, volume = 121, pages = {59--92}, publisher = {Cambridge University Press}, address = {Cambridge}, year = 1987, } @article{NeumannNewman67, author = {Peter M.\ Neumann and M.F.\ Newman}, title = {On {S}chreier varieties of groups}, journal = mz, volume = 98, pages = {196-199}, year = 1967 } @article{NeumannPraeger92, author = {Peter M.\ Neumann and Cheryl E.\ Praeger}, title = {A recognition algorithm for special linear groups}, journal = plms3, volume = 65, pages = {555--603}, year = 1992 } @article{NeumannPraeger95, author = {Peter M.\ Neumann and Cheryl E.\ Praeger}, title = {Cyclic matrices over finite fields}, journal = jlms2, pages = {263--284}, volume = 52, year = 1995 } @inproceedings{Newman51, author = {M.H.A.\ Newman}, title = {The influence of automatic computers on mathematical methods}, booktitle = {Manchester University Computer Inaugural Conference}, pages = {13-15}, year = 1951 } @article{Newman60a, author = {M.F.\ Newman}, title = {On a class of metabelian groups}, journal = plms3, volume = 10, pages = {354-364}, year = 1960 } @article{Newman60b, author = {M.F.\ Newman}, title = {On a class of nilpotent groups}, journal = plms3, volume = 10, pages = {365-375}, year = 1960 } @article{Newman63, author = {M.F.\ Newman}, title = {On subgroup commutators}, journal = pams, volume = 14, pages = {724-728}, year = 1963 } @article{Newman64, author = {M.F.\ Newman}, title = {Outer automorphisms of nilpotent $p$-groups}, journal = {Notices Amer.\ Math.\ Soc.}, volume = 11, pages = 451, year = 1964 } @article{Newman66, author = {M.F.\ Newman}, title = {Another non-{H}opf group}, journal = jlms, volume = 41, pages = 292, year = 1966 } @article{Newman67, author = {M.F.\ Newman}, title = {Algebra}, journal = {Pamphlets for Teachers No.\ 3}, year = 1967, annote = {(Canberra Mathematical Association)} } @article{Newman68, author = {M.F.\ Newman}, title = {The group-law $[x,\,y]^2 = [x,\,y,\,x]$}, journal = {Notices Amer.\ Math.\ Soc.}, volume = 15, pages = {911-912}, year = 1968 } @article{Newman71, author = {M.F.\ Newman}, title = {Just non-finitely-based varieties of groups}, journal = boz, volume = 4, pages = {343-348}, year = 1971 } @article{Newman72, author = {M.F.\ Newman}, title = {The soluble length of soluble linear groups}, journal = mz, volume = 126, pages = {59-70}, year = 1972 } @article{Newman73, author = {M.F.\ Newman}, title = {Some varieties of groups}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 16, pages = {481-494}, year = 1973 } @article{Newman75, author = {M.F.\ Newman}, title = {What is the role of a mathematician in mathematical education?}, journal = {The Australian Mathematics Teacher}, volume = 31, pages = {47-53}, year = 1975 } @inproceedings{Newman76a, author = {M.F.\ Newman}, title = {Calculating Presentations for Certain Kinds of Quotient Groups}, booktitle = {{\rm SYMSAC '76,} Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, year = 1976, address = {New York}, pages = {2-8}, organization = {(New York, 1976)}, publisher = {Association for Computing Machinery} } @article{Newman76b, author = {M.F.\ Newman}, title = {A computer aided study of a group defined by fourth powers}, journal = boz, volume = 14, pages = {293-297}, year = 1976, annote = {{\bf addendum}: {\it ibid} {\bf 15} (1976)} } @inproceedings{Newman77, author = {M.F.\ Newman}, title = {Determination of groups of prime-power order}, booktitle = {Group Theory}, year = 1977, address = berlin, pages = {73-84}, series = {Lecture Notes in Math.}, volume = 573, organization = {(Canberra, 1975)}, publisher = springer } @article{Newman79, author = {M.F.\ Newman}, title = {Groups of exponent dividing seventy}, journal = {Math.\ Scientist}, volume = 4, pages = {149-157}, year = 1979 } @inproceedings{Newman84a, author = {M.F.\ Newman}, title = {Groups of exponent six}, booktitle = cgt, year = 1984, address = {London}, pages = {39-41}, organization = durham, publisher = academic } @inproceedings{Newman84b, author = {M.F.\ Newman}, title = {Metabelian groups of prime-power exponent}, booktitle = {Groups-Korea $83$}, year = 1984, address = berlin, pages = {87-98}, series = {Lecture Notes in Mathematics}, volume = 1098, organization = {(Kyoungju, 1983)}, publisher = springer } @article{Newman89, author = {M.F.\ Newman}, title = {A method for proving groups infinite}, journal = aams, volume = 10, pages = 35, year = 1989 } @article{Newman90, author = {M.F.\ Newman}, title = {Proving a group infinite}, journal = {Arch.\ Math.}, volume = 54, pages = {209-211}, year = 1990 } @article{Newman93, author = {M.F.\ Newman}, title = {Groups of exponent 8 are different}, journal = blms, volume = 25, pages = {263--264}, year = 1993 } @article{NewmanNickeletal98, author = {M.F.\ Newman and Werner Nickel and Alice C.\ Niemeyer}, title = {Descriptions of groups of prime-power order}, journal = jsc, volume = 25, pages = {665--682}, year = 1998 } @article {NewmanVaughanLee98, AUTHOR = {M.F. Newman and Michael Vaughan-Lee}, TITLE = {Some {L}ie rings associated with {B}urnside groups}, JOURNAL = {Electron. Res. Announc. Amer. Math. Soc.}, FJOURNAL = {Electronic Research Announcements of the American Mathematical Society}, VOLUME = {4}, YEAR = {1998}, PAGES = {1--3 (electronic)}, ISSN = {1079-6762}, } @article{NewmanOBrienetal04, author = {M.F.\ Newman and E.A.\ O'Brien and M.R.\ Vaughan-Lee}, title = {Groups and nilpotent Lie rings whose order is the sixth power of a prime}, journal = jalg, year = 2004, } @techreport{NewmanOBrien87, author = "M.F.\ Newman and E.A.\ O'Brien", year = 1987, title = "A {CAYLEY} library for the groups of order dividing 128", institution = "Department of Mathematics, Institute of Advanced Studies, Australian National University", number = 40 } @inproceedings{NewmanOBrien89, author = {M.F.\ Newman and E.A.\ O'Brien}, title = {A {CAYLEY} library for the groups of order dividing 128}, booktitle = {Group Theory}, year = 1989, address = {Berlin, New York}, pages = {437-442}, organization = {(Singapore, 1987)}, publisher = {Walter de Gruyter} } @article{NewmanOBrien96, author = {M.F. Newman and E.A. O'Brien}, title = {Application of computers to questions like those of {B}urnside, {II}}, journal = ijac, volume = 6, pages = {593--605}, year = 1996, } @article{NewmanOBrienetal95, author = {M.F.\ Newman and E.A.\ O'Brien and Aner Shalev}, title = {The fixity of groups of prime-power order}, journal = blms, volume = 27, pages = {225--231}, year = 1995 } @article{NewmanSichler73/74, author = {M.F.\ Newman and Jiri Sichler}, title = {Free products of {H}opf groups}, journal = mz, volume = 135, pages = {69-72}, year = {1973/74} } @article{NewmanWall74, author = {M.F.\ Newman and G.E.\ Wall}, title = {Hanna {N}eumann}, journal = {J.\ Austral.\ Math.\ Soc.}, volume = 17, pages = {1-28}, year = 1974, annote = {Reprinted {\it Austral.\ Acad.\ Sci.\ Records}\ {\bf 3} (1975), 59-87} } @article{NewmanWestonetal75a, author = {M.F.\ Newman and K.W.\ Weston and Tah-Zen Yuan}, title = {Polynomials associated with groups of exponent four}, journal = boz, volume = 12, pages = {81-87}, year = 1975 } @article{NewmanWestonetal75b, author = {M.F.\ Newman and K.W.\ Weston and Tah-Zen Yuan}, title = {Polynomials associated with groups of exponent four}, journal = {Notices Amer.\ Math.\ Soc.}, volume = 22, pages = {A.397}, year = 1975 } @article{NewmanWiegold64, author = {M.F.\ Newman and James Wiegold}, title = {Groups with many nilpotent subgroups}, journal = {Arch.\ der Math.}, volume = 15, pages = {241-250}, year = 1964 } @article{NewmanXu88, author = {M.F.\ Newman and Mingyao Xu}, title = {Metacyclic groups of prime-power order}, journal = {Adv.\ in Math.\ (Beijing)}, volume = 17, pages = {106-107}, year = 1988 } @article{Sim94, author = {Hyo-Seob Sim}, title = {Metacyclic groups of odd order}, journal = plms3, volume = 69, pages = {47--71}, year = 1994 } @article{Liedahl96, author = {Steven Liedahl}, title = {Enumeration of metacyclic $p$-groups}, journal = jalg, volume = 186, pages = {436--446}, year = 1996 } @article{Hempel00, author = {Charles Hempel}, title = {Metacyclic groups}, journal = {Comm.\ Algebra}, year = 2000 } @phdthesis{Nickel93, author = {Werner Nickel}, title = {Central extensions of polycyclic groups}, address = anu, year = 1993, } @inproceedings{Nickel95, author = {Werner Nickel}, title = {Computing Nilpotent Quotients of Finitely Presented Groups}, booktitle = {Geometric and Computational Perspectives on Infinite Groups}, organization = {(DIMACS, 1994)}, editor = {G. Baumslag and others}, year = 1995, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, volume = 25, pages = {175--191}, } @manual{NickelNiemeyeretal88, title = {{\sf GAP} {G}etting started and reference manual}, author = {W.\ Nickel and A.\ Niemeyer and M.\ Sch{\"o}nert}, organization = aachen, address = {Lehrstuhl {D} f{\"u}r {M}athematik}, year = 1988 } @book{Niederreiter92, author = {Harald Niederreiter}, title = {Random Number Generation and {Q}uasi-{M}onte {C}arlo {M}ethods}, year = 1992, volume = 63, publisher = {SIAM}, address = {Philadelphia}, series = {CBMS-NSF regional conference series in Appl.\ Math.} } @phdthesis{Niemeyer93, author = {Alice C.\ Niemeyer}, title = {Computing Presentations for Soluble Groups}, address = anu, year = 1993, } @article{Niemeyer94, author = {Alice C.\ Niemeyer}, title = {A soluble quotient algorithm}, journal = jsc, year = 1994, volume = 18, pages = {541--561}, } @article{Niemeyer05, author = {Alice C.\ Niemeyer}, title = {Constructive Recognition of Normalisers of Small Extra-Special Matrix Groups}, journal = ijac, year = 2005, } @article{NiemeyerPraeger98, author = {Alice C.\ Niemeyer and Cheryl E.\ Praeger}, title = {A Recognition Algorithm for Classical Groups over Finite Fields}, journal = plms, pages = {117--169}, volume = 77, year = 1998 } @inproceedings {NiemeyerPraeger97, AUTHOR = {Alice C. Niemeyer and Cheryl E. Praeger}, TITLE = {Implementing a recognition algorithm for classical groups}, BOOKTITLE = {Groups and computation, II (New Brunswick, NJ, 1995)}, SERIES = {DIMACS Ser. Discrete Math. Theoret. Comput. Sci.}, VOLUME = {28}, PAGES = {273--296}, PUBLISHER = {Amer. Math. Soc.}, ADDRESS = {Providence, RI}, YEAR = {1997}, } @article {BealsLeedhamGreenetal03, AUTHOR = {Robert Beals and Charles R. Leedham-Green and Alice C. Niemeyer and Cheryl E. Praeger and {\'A}kos Seress}, TITLE = {A black-box group algorithm for recognizing finite symmetric and alternating groups. {I}}, JOURNAL = {Trans. Amer. Math. Soc.}, FJOURNAL = {Transactions of the American Mathematical Society}, VOLUME = {355}, YEAR = {2003}, NUMBER = {5}, PAGES = {2097--2113 (electronic)}, } @article {BabaiGoodmanetal97, AUTHOR = {L. Babai and A.J. Goodman and W.M. Kantor and E.M. Luks and P.P. P{\'a}lfy}, TITLE = {Short presentations for finite groups}, JOURNAL = {J. Algebra}, FJOURNAL = {Journal of Algebra}, VOLUME = {194}, YEAR = {1997}, NUMBER = {1}, PAGES = {79--112}, } @article {HulpkeSeress01, AUTHOR = {Alexander Hulpke and {\'A}kos Seress}, TITLE = {Short presentations for three-dimensional unitary groups}, JOURNAL = {J. Algebra}, FJOURNAL = {Journal of Algebra}, VOLUME = {245}, YEAR = {2001}, NUMBER = {2}, PAGES = {719--729}, ISSN = {0021-8693}, } @article {Suzuki62, AUTHOR = {Suzuki, Michio}, TITLE = {On a class of doubly transitive groups}, JOURNAL = {Ann. of Math. (2)}, VOLUME = {75}, YEAR = {1962}, PAGES = {105--145}, } @book {CunninghamProject, AUTHOR = {John Brillhart and D.H. Lehmer and J.L. Selfridge and Bryant Tuckerman and S.S. {Wagstaff, Jr.}}, TITLE = {Factorizations of {$b\sp n \pm 1$}}, SERIES = {Contemporary Mathematics}, VOLUME = {22}, EDITION = {Second}, NOTE = {$b=2,3,5,6,7,10,11,12$ up to high powers}, PUBLISHER = {American Mathematical Society}, url = {http://www.cerias.purdue.edu/homes/ssw/cun/index.html}, ADDRESS = {Providence, RI}, YEAR = {1988}, PAGES = {xcvi+236}, } @incollection {AltseimerBorovik01, AUTHOR = {Christine Altseimer and Alexandre V. Borovik}, TITLE = {Probabilistic recognition of orthogonal and symplectic groups}, BOOKTITLE = {Groups and computation, III (Columbus, OH, 1999)}, SERIES = {Ohio State Univ. Math. Res. Inst. Publ.}, VOLUME = {8}, PAGES = {1--20}, PUBLISHER = {de Gruyter}, ADDRESS = {Berlin}, YEAR = {2001}, } @article {KantorSeress02, AUTHOR = {William M. Kantor and {\'A}kos Seress}, TITLE = {Prime power graphs for groups of {L}ie type}, JOURNAL = {J. Algebra}, FJOURNAL = {Journal of Algebra}, VOLUME = {247}, YEAR = {2002}, NUMBER = {2}, PAGES = {370--434}, } @inproceedings{Norton80, author = {Simon Norton}, title = {The construction of ${J}_4$}, booktitle = {Proc. Santa Cruz Conference on Finite Groups}, pages = {271--277}, editor = {Bruce Cooperstein and Geoffrey Mason}, publisher = ams, year = 1980, } @phdthesis{Nyhlen19, author = {Ragnar Nyhl{\'e}n}, title = {Determination of the abstract groups of order 16$p^2$ and 8$p^3$}, year = 1919, address = {Uppsala University} } @article{OBrien88a, author = {E.A.\ O'Brien}, title = {A computer based description of 2-groups}, journal = {Gazette Austral.\ Math.\ Soc.}, volume = 15, number = {1}, pages = {1-5}, year = 1988 } @phdthesis{OBrien88b, author = {Edward Anthony O'Brien}, title = {The groups of order dividing $256$}, year = 1988, address = anu } @article{OBrien89, author = {E.A.\ O'Brien}, title = {The groups of order dividing $256$}, journal = boz, volume = 39, pages = {159-160}, year = 1989 } @article{OBrien90, author = {E.A.\ O'Brien}, title = {The {\it p}-group generation algorithm}, journal = {J.\ Symbolic Comput.}, volume = 9, pages = {677--698}, year = 1990 } @article{OBrien91, author = {E.A.\ O'Brien}, title = {The Groups of Order 256}, journal = jalg, volume = 143, number = 1, pages = {219-235}, year = 1991 } @article{OBrien94, author = {E.A.\ O'Brien}, title = {Isomorphism testing for $p$-groups}, journal = jsc, year = 1994, volume = 17, pages = {133--147} } @inproceedings{OBrien95, author = {E.A.\ O'Brien}, title = {Computing automorphism groups of $p$-groups}, booktitle = {Computational Algebra Number and Number Theory}, organization = {(Sydney, 1992)}, year = 1995, pages = {83--90}, editor = {Wieb Bosma and Alf van der Poorten}, publisher = {Kluwer Academic Publishers, Dordrecht} } @misc{OBrienShort88, author = {E.A.\ O'Brien and M.W.\ Short}, title = {Bibliography on classification of finite groups}, howpublished = {Manuscript, Australian National University}, year = 1988, } @misc{OBrien99, author = {E.A.\ O'Brien}, title = {Bibliography on classification of finite groups}, howpublished = {Available from http://www.math.auckland.ac.nz/\~{}obrien}, year = 1997, } @article{OBrienSlattery89, author = {E.A.\ O'Brien and Michael C.\ Slattery}, title = {Clifford algebras and finite groups}, journal = {J.\ Phys.\ A: Math.\ Gen.}, volume = 22, pages = {3159-3160}, year = 1989 } @article{Otto66, author = {Albert D. Otto}, title = {Central automorphisms of a finite $p$-group}, journal = tams, volume = 125, pages = {280-287}, year = 1966 } @proceedings{Oxford67, title = {Computational problems in abstract algebra}, editor = {J.\ Leech}, year = 1970, author = {Leech}, address = {Oxford}, pages = {169-183}, organization = {(Oxford, 1967)}, publisher = {Pergamon Press} } @inproceedings{Parker84, author = {R.A.\ Parker}, title = {The computer calculation of modular characters (the {M}eat-{A}xe)}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {267--274}, organization = {(Durham, 1982)}, editor = {M.D.\ Atkinson}, publisher = {Academic Press} } @article{GuralnickPenttilaetal99, author = {Robert Guralnick and Tim Penttila and Cheryl E.\ Praeger and Jan Saxl}, title = {Linear groups with orders having certain large prime divisors}, journal = plms, pages = {167--214}, volume = 78, year = 1997 } @book{Pierce82, author = {Richard~S.~Pierce}, title = {Associative Algebras}, publisher = {Springer-Verlag}, year = 1982, volume = 88, series = gtm, address = {New York, Heidelberg, Berlin} } @article{Pilyavskaya83, author = {O.S.\ Pilyavskaya}, title = {Application of matrix problems to the classification of groups of order $p^6$, $p > 3$}, journal = {Linear algebra and the theory of representations}, pages = {86-99}, year = 1983, note = {Akad.\ Nauk Ukrain.\ {SSR}, Inst.\ Mat., Kiev} } @article{Plesken87, author = {W. Plesken}, title = {Towards a Soluble Quotient Algorithm}, journal = jsc, volume = 4, pages = {111-122}, year = 1987 } @article{Poland68, author = {John Poland}, title = {Two problems on finite groups with $k$ conjugate classes}, journal = joz, volume = 8, pages = {49-55}, year = 1968 } @article{Post78, author = {Michael J.\ Post}, title = {Finite three-generator groups with zero deficiency}, journal = commalg, volume = 6, pages = {1289--1296}, year = 1978 } @phdthesis{Potron04a, author = {M.\ Potron}, title = {Sur quelques groupes d'ordre $p^6$}, year = 1904, address = {Gauthier-Villars, Paris} } @article{Potron04b, author = {M.\ Potron}, title = {Sur quelques groupes d'ordre $p^6$}, journal = {Bull.\ Soc.\ Math.\ France}, volume = 32, pages = {296-300}, year = 1904 } @inproceedings{Praeger93, author = {Cheryl E.\ Praeger}, title = {Computation with matrix groups over finite fields}, booktitle = {Groups and Computation}, organization = {DIMACS, 1991}, year = 1993, series = {Amer.\ Math.\ Soc. DIMACS Series}, volume = 11, pages = {189--196} } @inproceedings{Pyber93, author = {L\'aszl\'o Pyber}, title = {Asymptotic results for permutation groups}, organization = {(DIMACS, 1991)}, series = {Amer.\ Math.\ Soc.\ DIMACS Series}, pages = {197--219}, volume = 11, year = 1993, } @article{Rabin58, author = {M.O.\ Rabin}, title = {Recursive unsolvability of group theoretic problems}, journal = {Ann.\ Math.}, volume = 67, pages = {172-194}, year = 1958 } @book{Redei89, author = {Laszlo R\'edei}, title = {Endliche $p$-Gruppen}, publisher = {Academai Kiado}, year = 1989, address = {Budapest} } @book{Redfern93a, author = "Darren Redfern", title = "The Maple handbook", year = 1993, publisher = springer, address = {New York} } @article{Remak30, author = {Robert Remak}, title = {\"Uber die {D}arstellung der endlichen {G}ruppen als {U}ntergruppen direkter {P}rodukte}, journal = reine, volume = 163, pages = {1--44}, year = 1930 } @manual{Ringe92, title = {The C {\sf MeatAxe}}, author = {Michael Ringe}, organization = {Lehrstuhl {D} f{\"u}r {M}athematik}, address = aachen, year = 1992 } @inproceedings{RipsShalev91a, author = {E.\ Rips and Aner Shalev}, title = {Lie properties of modular group algebras}, booktitle = {Groups -- St Andrews $1989$}, year = 1991, address = {Cambridge}, pages = {422-426}, series = lnlms, publisher = {Cambridge University Press}, volume = {160}, } @article{RipsShalev91b, author = {E.\ Rips and Aner Shalev}, title = {The {B}aer condition for group algebras}, journal = jalg, volume = 140, pages = {83-100}, year = 1991 } @article{Robertson88, author = {E.F.\ Robertson}, title = {Tietze transformations with weighted substring search}, journal = jsc, volume = 6, pages = {59-64}, year = 1988 } @misc{Robertz76, author = {Heinrich Robertz}, title = {Eine {M}ethode zur {B}erechnung der {A}utomorphismengruppe einer endlichen {G}ruppe}, howpublished = {Diplomarbeit, RWTH Aachen}, year = 1976 } @book{Robinson72, author = {Derek J.S.\ Robinson}, title = {Finiteness Conditions and Generalized Soluble Groups, {P}art $2$}, publisher = springer, year = 1972, volume = 63, series = ergeb, } @inproceedings{Robinson81, author = {Derek J.\ Robinson}, title = {Applications of cohomology to the theory of groups}, booktitle = {Groups -- St Andrews $1981$}, year = 1981, pages = {46--80}, series = lnlms, publisher = {Cambridge University Press}, volume = 71, editor = {C.M.\ Campbell and E.F.\ Robertson} } @book{Robinson82, author = {Derek J.\ Robinson}, title = {A Course in the Theory of Groups}, publisher = {Springer-Verlag}, year = 1982, volume = 80, series = gtm, address = {New York, Heidelberg, Berlin} } @book{Robinson96, author = {Derek J.\ Robinson}, title = {A Course in the Theory of Groups}, publisher = {Springer-Verlag}, year = 1996, volume = 80, series = gtm, edition = {2nd}, address = {New York, Heidelberg, Berlin} } @article{Rodemich80, author = {Eugene Rodemich}, title = {The Groups of Order 128}, journal = jalg, volume = 67, pages = {129-142}, year = 1980 } @article{Ronyai90, author = {Lajos R\'onyai}, title = {Computing the structure of finite algebras}, journal = jsc, pages = {355--373}, volume = 9, year = 1990, } @book{Rose78, author = {John S.\ Rose}, title = {A Course on Group Theory}, publisher = {Cambridge University Press}, year = 1978, address = {London, New York, Melbourne} } @article{Rosebrock94, author = {S.\ Rosebrock}, title = {On the realization of {W}irtinger presentations as knot groups}, journal = {Journal of knot theory and its Ramifications}, volume = 3, year = 1994, pages = {211--222} } @article{Royle87, author = {Gordon F.\ Royle}, title = {The transitive groups of degree twelve}, journal = jsc, volume = 4, pages = {255-268}, year = 1987 } @phdthesis{Redfern93, author = {I.D.\ Redfern}, title = {Automatic Coset Systems}, year = 1993, address = {University of Warwick}, } @phdthesis{Rutherford89, author = {K.\ Rutherford}, title = {Computational techniques applied to groups presentations}, year = 1989, address = {University of St.\ Andrews}, } @article{Ryba90, author = {A.J.E.\ Ryba}, title = {Computer Condensation of Modular Representations}, journal = jsc, pages = {591--600}, volume = 9, year = 1990, crossref = {Cannon90}, } @proceedings{SYMSAC76, author = {Jenks}, title = {{\rm SYMSAC '76,} Proc.\ {ACM} Sympos.\ symbolic and algebraic computation}, year = 1976, editor = {R.D.\ Jenks}, address = {New York}, organization = {(New York, 1976)}, publisher = {Association for Computing Machinery} } @article{SagWamsley73a, author = {T.W.\ Sag and J.W.\ Wamsley}, title = {Minimal presentations for groups of order $2^n$, $n \leq 6$}, journal = joz, volume = 50, pages = {461-469}, year = 1973 } @article{SagWamsley73b, author = {T.W.\ Sag and J.W.\ Wamsley}, title = {On Computing the Minimal Number of Defining Relations for Finite Groups}, journal = mathcomp, volume = 27, pages = {361-368}, year = 1973 } @article{Sanov40, author = {I.N.\ Sanov}, title = {Solution of {B}urnside's problem for exponent 4}, journal = {Leningrad State Univ.\ Ann.}, year = 1940, volume = 10, pages = {166--170}, } @article{Schenkman53, author = {Eugene Schenkman}, title = {A generalization of the central elements of a group}, journal = pacific, volume = 3, pages = {501--504}, year = 1953 } @article{Schenkman55, author = {Eugene Schenkman}, title = {The existence of outer automorphisms of some nilpotent groups of class 2}, journal = pams, volume = 6, pages = {6-11}, year = 1955 } @article{Schenkman60, author = {Eugene Schenkman}, title = {On the norm of a group}, journal = illinois, volume = 4, pages = {150-152}, year = 1960 } @article{Schneider90a, author = "Gerhard~J.A.~Schneider", year = 1990, title = "Computing with Endomorphism Rings of Modular Representations", journal = jsc, volume = 9, } @article{Schneider90b, author = {Gerhard J.A. Schneider}, title = {Dixon's Character Table Algorithm Revisited}, journal = jsc, pages = {601--606}, volume = 9, year = 1990, crossref = {Cannon90}, } @article{Schreier26, author = {Otto Schreier}, title = {{\"U}ber die {E}rweiterung von {G}ruppen. {II}}, journal = abhhamburg, volume = 4, pages = {321-346}, year = 1926 } @misc{Schultz88, author = {Jonathan Schultz}, title = {A procedure for recognising groups of prime-power order}, howpublished = {B.Sc. thesis, Australian National University}, year = 1988, } @article{Schur04, author = {J.\ Schur}, title = {{\"U}ber die {D}arstellung der endlichen {G}ruppen durch gebrochene lineare {S}ubstitutionen}, journal = reine, volume = 127, pages = {20-50}, year = 1904 } @article{Schur07, author = {J.\ Schur}, title = {Untersuchungen {\"u}ber die {D}arstellung der endlichen {G}ruppen durch gebrochene lineare {S}subsitutionen}, journal = reine, volume = 132, pages = {85-137}, year = 1907 } @article{ScoppolaShalev91, author = {C.M.\ Scoppola and Aner Shalev}, title = {Applications of dimension subgroups to the power structure of $p$-groups}, journal = israel, volume = 73, pages = {45-56}, year = 1991 } @article{Scott53, author = {Leland L.\ Scott}, title = {Finite metabelian groups and planes of $\sum_{14}$}, journal = duke, volume = 20, pages = {405-415}, year = 1953 } @book{Scott64, author = {W.R. Scott}, title = {Group Theory}, publisher = {Dover Publications, Inc.}, year = 1964, address = {Mineola, N.Y.} } @book{Sedgewick90, author = {Robert Sedgewick}, title = {Algorithms in {C}}, publisher = addison, year = 1990, address = {Massachusetts} } @book{Segal83, author = {Daniel Segal}, title = {Polycyclic Groups}, publisher = {Cambridge University Press}, year = 1983, address = {Cambridge} } @article{Segal90, author = {Dan Segal}, title = {Decidable properties of polycyclic groups}, journal = plms3, volume = 61, pages = {497-528}, year = 1990 } @book{Seguier04, author = {J.-A.\ de S{\'e}guier}, title = {Th{\'e}orie des groupes finis.\ \ {\'E}l{\'e}memts de la th{\'e}orie des groupes abstraits}, publisher = {Gauthier-Villars}, year = 1904, address = {Paris} } @article{SeitzZalesskii93, author = {Gary M.\ Seitz and A.E.\ Zalesskii}, title = {On the Minimal Degrees of Projective Representations of the Finite Chevalley Groups}, journal = jalg, volume = 158, pages = {233--243}, year = 1993 } @article{SeniorLunn34, author = {J.K.\ Senior and A.C.\ Lunn}, title = {Determination of the groups of orders 101-161, omitting order 128}, journal = {Amer.\ J.\ Math.}, volume = 56, pages = {328-338}, year = 1934 } @article{SeniorLunn35, author = {J.K.\ Senior and A.C.\ Lunn}, title = {Determination of the groups of orders 162-215 omitting order 192}, journal = {Amer.\ J.\ Math.}, volume = 57, pages = {254-260}, year = 1935 } @article{LunnSenior35, author = {A.C.\ Lunn and J.K.\ Senior}, title = {Determination of the groups of orders 162-215 omitting order 192}, journal = {Amer.\ J.\ Math.}, volume = 57, pages = {254-260}, year = 1935 } @article{Seress98, author = {{\'A}kos Seress}, title = {Nearly linear time algorithms for permutation groups: an interplay between theory and practice}, journal = {Acta Appl.\ Math.}, year = 1998, volume = 52, pages = {183-207}, } @article{Shalev86, author = {Aner Shalev}, title = {On the number of generators of ideals in local rings}, journal = {Adv.\ Math.}, volume = 59, pages = {82-94}, year = 1986 } @inproceedings{Shalev89a, author = {Aner Shalev}, title = {Applications of dimension and {L}ie dimension subgroups to modular group algebras}, booktitle = {Ring Theory - 1989}, year = 1989, pages = {84-95}, organization = {(Jerusalem, 1989)} } @article{Shalev89b, author = {Aner Shalev}, title = {On associative algebras satisfying the {E}ngel condition}, journal = israel, volume = 67, pages = {287-290}, year = 1989 } @article{Shalev90a, author = {Aner Shalev}, title = {Dimension subgroups, nilpotency indices, and the number of generators of ideals in $p$-group algebras}, journal = jalg, volume = 129, pages = {412-438}, year = 1990 } @article{Shalev90b, author = {Aner Shalev}, title = {The nilpotency class of the unit group of a modular group algebra I}, journal = israel, volume = 70, pages = {257-266}, year = 1990 } @inproceedings{Shalev90c, author = {Aner Shalev}, title = {On some conjectures concerning units in $p$-group algebras}, booktitle = {Group Theory - Bressanone 1989}, year = 1990, pages = {279-288}, } @article{Shalev91a, author = {Aner Shalev}, title = {A partition result for algebraic varieties}, journal = pams, volume = 111, pages = {619-624}, year = 1991 } @article{Shalev91b, author = {Aner Shalev}, title = {A note on groups of prime exponent}, journal = {Quart.\ J.\ Math.\ Oxford $(2)$}, volume = 42, pages = {213-217}, year = 1991 } @article{Shalev91c, author = {Aner Shalev}, title = {Lie dimension subgroups, {L}ie nilpotency indices, and the exponent of the group of normalized units}, journal = jlms, volume = 43, pages = {23-36}, year = 1991 } @article{Shalev91d, author = {Aner Shalev}, title = {Uniserial permutation modules}, journal = {Quart.\ J.\ Math.\ Oxford $(2)$}, volume = 42, pages = {375--378}, year = 1991 } @article{Shalev91e, author = {Aner Shalev}, title = {Meta-abelian unit groups of group algebras are usually abelian}, journal = jpaa, volume = 72, pages = {295--302}, year = 1991 } @article{Shalev91f, author = {Aner Shalev}, title = {Large wreath products in modular group rings}, journal = blms, volume = 23, pages = {46--52}, year = 1991 } @article{Shalev92a, author = {Aner Shalev}, title = {Characterization of $p$-adic analytic groups in terms of wreath products}, journal = jalg, volume = 145, pages = {204--208}, year = 1992 } @article{Shalev93, author = {Aner Shalev}, title = {On Almost Fixed Point Free Automorphisms}, journal = jalg, volume = 157, pages = {271--282}, year = 1993 } @article{Shalev94a, author = {Aner Shalev}, title = {The structure of finite $p$-groups: effective proof of the coclass conjectures}, year = 1994, journal = invent, volume = 115, pages = {315--345}, } @article{Shalev94b, author = {Aner Shalev}, title = {On the fixity of some linear groups}, journal = plms, year = 1994, volume = 68, pages = {265--293}, } @article{Shanks65, author = "Daniel Shanks", year = "1965", title = "", journal = "Math.\ Comput.", volume = "19", pages = "335--337" } @phdthesis{Short90, author = {Mark W.\ Short}, title = {The primitive soluble permutation groups of degree less than $256$}, school = {Australian National University}, year = 1990 } @book{Short92, author = {M.W.\ Short}, title = {The Primitive Soluble Permutation Groups of Degree less than $256$}, publisher = springer, year = 1992, volume = 1519, series = lnm, address = berlin } @article{Sims65, author = {Charles C.\ Sims}, title = {Enumerating $p$-groups}, journal = plms3, volume = 15, pages = {151--166}, year = 1965, } @inproceedings{Sims70, author = {Charles C.\ Sims}, title = {Computational methods in the study of permutation groups}, booktitle = {Computational problems in abstract algebra}, year = 1970, address = {Oxford}, pages = {169-183}, organization = {(Oxford, 1967)}, publisher = {Pergamon Press} } @inproceedings{Sims71a, author = {Charles~C.\ Sims}, title = {Determining the conjugacy classes of permutation groups}, pages = {191-195}, booktitle = {Computers in algebra and number theory}, year = 1971, address = {Providence, RI}, organization = {(New York, 1970)}, series = pams, publisher = {Amer.\ Math.\ Soc.}, volume = 4, editor = {Garret Birkhoff and Marshall {Hall, Jr.}}, } @inproceedings{Sims71b, author = {Charles C. Sims}, title = {Computation with permutation groups}, booktitle = {Proc. Second Symp. on Symbolic and Algebraic Manipulation}, publisher = {ACM Press}, year = 1971, } @inproceedings{Sims73, author = {Charles C. Sims}, title = {The existence and uniqueness of {L}yons' group}, booktitle = {Finite Groups $'72$}, editor = {T. Hagen and M.P. Hale and E.E. Shult}, pages = {138--141}, publisher = {North Holland}, year = 1973, } @inproceedings{Sims78, author = {Charles C.\ Sims}, title = {Some group theoretic algorithms}, booktitle = {Topics in algebra}, year = 1978, address = berlin, pages = {108--124}, series = lnm, volume = 697, editor = {A.\ Dold and B.\ Eckmann}, organization = {(Canberra, 1978)}, publisher = springer } @inproceedings{Sims80a, author = {Charles C.\ Sims}, title = {Group theoretic algorithms, a survey}, booktitle = {Proceedings International Conference of Mathematicians}, year = 1980, address = {Helsinki}, pages = {979-985}, organization = {(Helsinki, 1978)}, publisher = {Acad.\ Sci.\ Fennica} } @inproceedings{Sims80b, author = {Charles C.\ Sims}, title = {How to construct a baby monster}, booktitle = {Finite simple groups {II}}, editor = {M.J. Collins}, organization = {(Durham 1978)}, pages = {339--345}, publisher = {Academic Press}, year = 1980, } @inproceedings{Sims84, author = "C.C.\ Sims", title = "Coset table methods", booktitle = {Proc.\ Rutgers Group Theory Year, {\rm 1983--1984}}, organization = {(Rutgers, 1983-1984)}, year = 1984, pages = "23--34", keywords = "permutation groups;", publisher = {Cambridge University Press}, address = {Cambridge}, reviews = "MR 87c:20002 (D.F. Holt), Zbl 648.20002 (from the introduction)", } @misc{Sims86, author = {Charles C.\ Sims}, title = {Recent Developments in Computational Group Theory}, howpublished = {Manuscript, Rutgers University, New Jersey}, year = 1986, } @article{Sims87, author = {Charles C.\ Sims}, title = {Verifying nilpotence}, journal = jsc, volume = 3, pages = {231-247}, year = 1987, } @article{Sims90a, author = {Charles C.\ Sims}, title = {Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm}, journal = jsc, volume = 9, pages = {707-723}, year = 1990, } @article{Sims90b, author = {Charles C.\ Sims}, title = {Computing the Order of a Solvable Permutation Group}, journal = jsc, volume = 9, pages = {699-705}, year = 1990, } @book{Sims94, author = {Charles C. Sims}, title = {Computation with finitely presented groups}, publisher = {Cambridge University Press}, year = 1994 } @article{Skopin83, author = {A.I.\ Skopin}, title = {Factors of the nilpotent series of some metabelian groups of prime-power exponent}, journal = lomi, volume = 132, pages = {129-163}, year = 1983 } @article{Skopin87, author = {A.I.\ Skopin}, title = {Investigation on a {BESM}-$6$ computer of the structure of the nilpotent series of a metabelian $2$-generator group of exponent $27$}, journal = lomi, volume = 160, pages = {247-256}, year = 1987, annote = {In Russian} } @article{Skopin88a, author = {A.I.\ Skopin}, title = {Realization of computer calculations in transmetabelian groups}, journal = vlum, volume = 1, pages = {20-23}, year = 1988 } @article{Skopin88b, author = {A.I. Skopin}, title = {Computer calculations in transmetabelian groups}, journal = {Vestnik Leningradskoga Universiteta. Mathematika.}, volume = 21, number = 1, pages = {20 - 23}, year = 1988, annote = {Translation in J Soviet Math. Describes notation for use in computer calculations} } @article{Skopin89, author = {A.I.\ Skopin}, title = {The {J}acobi identity and {P}.~{H}all's collection formula for transmetabelian groups of two types}, journal = lomi, volume = 175, pages = {106-112}, year = 1989 } @article{Skopin90b, author = {A.I.\ Skopin}, title = {The lower central series of a maximal $2$-generated transmetabelian group of {I}-type of exponent $8$}, journal = {Algebra i Analiz}, volume = 2, number = 5, pages = {197-219}, year = 1990 } @article{Skopin90c, author = {A.I.\ Skopin}, title = {Investigation on the {BESM}-6 computer of the structure of the nilpotent series for the metabelian 2-generated group of exponent 27}, journal = {J.\ Soviet Math.}, volume = 52, number = 3, pages = {3185-3193}, year = 1990, annote = {Translated from Russian} } @article{Skopin90d, author = {A.I. Skopin}, title = {The lower central series of the maximal 2-generator transmetabelian group of type {I} and exponent 8}, journal = {Leningrad Math J.}, volume = 2, number = 5, pages = {1121-1142}, year = 1991, annote = {Translation from Russian in Algebra and analysis 2(1990). Describes his method as implemented and applied to title groups. Results are wrong as class 5 quotient shows. See 92u} } @article{Slattery86, author = {Michael C.\ Slattery}, title = {Computing Character Degrees in $p$-groups}, journal = jsc, volume = 2, pages = {51-58}, year = 1986 } @phdthesis{Smith94, author = {Michael J.\ Smith}, title = {Computing automorphisms of finite soluble groups}, year = 1994, address = ANU } @phdthesis{Soicher85, author = {L.H.\ Soicher}, title = {Presentations of some finite groups}, year = 1985, address = {University of Cambridge}, } @article{Sophie62, author = {Madeleine Sophie}, title = {A note on the groups of order thirty-two}, journal = illinois, volume = 6, pages = {630-633}, year = 1962 } @article{Stohr84, author = {Ralph St\"ohr}, title = {A note on central extensions of groups}, journal = {Preprint of Akademie der Wissenschaften der DDR, Institut f\"ur Mathematik}, year = 1984 } @inproceedings{StorjohannLabahn96, author = {A. Storjohann and G. Labahn}, title = {Asymptotically fast computation of {H}ermite normal forms of integer matrices}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '96}}, organization = {(Z\"urich)}, publisher = {ACM Press}, pages = {259--266}, year = 1996, } @article{Sunday90, author = {Daniel M.\ Sunday}, title = {A very fast substring search algorithm}, journal = {Comm.\ {ACM}}, volume = 33, pages = {132-142}, year = 1990 } @book{Suprunenko63, author = {D.\ Suprunenko}, title = {Soluble and Nilpotent Linear Groups}, publisher = {Amer.\ Math.\ Soc.}, year = 1963, volume = 9, series = {Translations of Mathematical Monographs}, address = {Providence, RI} } @book{Suprunenko76, author = {D.\ Suprunenko}, title = {Matrix Groups}, publisher = {Amer.\ Math.\ Soc.}, year = 1976, volume = 45, series = {Translations of Mathematical Monographs}, address = {Providence, RI} } @book{Suzuki56, author = {Michio Suzuki}, title = {Structure of a Group and the Structure of its Lattice of Subgroups}, publisher = {Springer-Verlag}, year = 1956, volume = 10, series = ergeb, address = {Berlin, G\"ottingen, Heidelberg} } @book{Suzuki82, author = {Michio Suzuki}, title = {Group Theory {I}}, publisher = springer, volume = 247, year = 1982, series = grund, address = berlin } @book{Suzuki86, author = {Michio Suzuki}, title = {Group Theory {II}}, publisher = {Springer-Verlag}, year = 1986, series = grund, volume = 248, address = {Berlin, Heidelberg, New York, Tokyo} } @article{Sylow72, author = {L.\ Sylow}, title = {Th{\'e}or{\`e}mes sur les groupes de substitutions}, journal = mathann, volume = 5, pages = {584-594}, year = 1872 } @phdthesis{Taunt48, author = {Derek Roy Taunt}, title = {The theory and method of construction of a particular type of finite solvable group, with special reference to soluble groups of cube-free order}, year = 1948, address = {Cambridge University} } @article{Taunt55, author = {D.R.\ Taunt}, title = {Remarks on the isomorphism problem in theories of construction of finite groups}, journal = {Proc.\ Cambridge Philos.\ Soc.}, volume = 51, pages = {16-24}, year = 1955 } @article{Taylor87, author = "D.E.~Taylor", year = 1987, title = "Pairs of generators for Matrix Groups", journal = "The Cayley Bulletin", volume = 3, } @book{Taylor92, author = {Donald E.\ Taylor}, title = {The Geometry of the Classical Groups}, publisher = {Heldermann Verlag}, address = {Berlin}, year = 1992, series = {Sigma Series in Pure Mathematics}, volume = 9, } @phdthesis{Theissen97, author = {Heiko Thei{\ss}en}, title = {Eine {M}ethode zur {N}ormalisatorberechnung in {P}ermutationsgruppen mit {A}nwendungen in der {K}onstruktion primitiver {G}ruppen}, year = 1997, school = {RWTH Aachen}, } @article{Tietze08, author = {H.\ Tietze}, title = {{\"U}ber die topologischen Invarianten mehrdimensionalen Mannigfaltigkeiten}, journal = {Monatsh.\ f.\ Math.\ u.\ Physik}, year = 1908, pages = {1--118}, volume = 19, } @article{ToddCoxeter36, author = {J.A.\ Todd and H.S.M.\ Coxeter}, title = {A practical method for enumerating cosets of a finite abstract group}, journal = edinburgh, volume = 5, pages = {26-34}, year = 1936 } @phdthesis{Tordella39, author = {Louis William Tordella}, title = {A classification of groups of order $p^6$, $p$ an odd prime}, year = 1939, address = {University of Illinois (Urbana)} } @phdthesis{Tripp09, author = {M.O.\ Tripp}, title = {Groups of order $p^3q^2$}, year = 1909, address = {Columbia University} } @book{Tsuzuku82, author = {T.\ Tsuzuku}, title = {Finite {G}roups and {F}inite {G}eometries}, publisher = {Cambridge University Press}, year = 1982, series = {Cambridge Tracts in Mathematics}, volume = 78 } @article{Tucker62, author = {Patricia A.\ Tucker}, title = {On the reduction of induced representations of finite groups}, journal = {Amer.\ J.\ Math.}, volume = 84, pages = {400--420}, year = 1962 } @article{Tucker63, author = {Patricia A.\ Tucker}, title = {Note on the reduction of induced representations}, journal = {Amer.\ J.\ Math}, volume = 85, pages = {53--58}, year = 1963 } @article{Tucker65a, author = {Patricia A.\ Tucker}, title = {On the reduction of induced indecomposable representations}, journal = {Amer.\ J.\ Math.}, volume = 87, pages = {798--806}, year = 1965 } @article{Tucker65b, author = {Patricia A.\ Tucker}, title = {Endmorphism ring of an induced module}, journal = {Michigan Math.\ J.}, volume = 12, pages = {197--202}, year = 1965 } @inproceedings{VaughanLee84, author = {M.R.\ Vaughan-Lee}, title = {An Aspect of the Nilpotent Quotient Algorithm}, booktitle = {Computational Group Theory}, year = 1984, address = {London, New York}, pages = {76-83}, organization = {(Durham, 1982)}, publisher = academic } @article{VaughanLee85, author = {M.R.\ Vaughan-Lee}, title = {The restricted {B}urnside problem}, journal = blms, volume = 17, pages = {113-133}, year = 1985, annote = {This is a survey.} } @article{VaughanLee90a, author = vlee, title = {Lie Rings of groups of prime exponent}, journal = joz, volume = 49, pages = {386--398}, year = 1990 } @article{VaughanLee90b, author = {M.R. Vaughan-Lee}, title = {Collection from the left}, journal = {J. Symbolic Comput.}, volume = {9}, pages = {725--733}, year = 1990 } @book{VaughanLee90c, author = vlee, title = {The Restricted {B}urnside Problem}, publisher = {Oxford University Press}, year = 1990, volume = 5, series = mlmsns, address = {Oxford} } @book{VaughanLee93, author = vlee, title = {The Restricted {B}urnside Problem}, publisher = {Oxford University Press}, year = 1993, volume = 5, edition = {2nd}, series = mlmsns, address = {Oxford} } @article{VeraLopezFernandezAlcober91, author = {Antonio Vera-L{\'o}pez and Gustavo A.\ {Fern{\'a}ndez-Alcober}}, title = {On $p$-Groups of Maximal Class, {II}}, journal = jalg, volume = 143, pages = {179-207}, year = 1991 } @article{VeraLopezLarrea91, author = {Antonio Vera-L{\'o}pez and Bego{\~n}a Larrea}, title = {On $p$-Groups of Maximal Class}, journal = jalg, volume = 137, pages = {77-116}, year = 1991 } @inproceedings{Wall74, author = {G.E.\ Wall}, title = {On the {L}ie ring of a group of prime exponent}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = {Berlin}, pages = {667-690}, series = lnm, volume = 372, editor = {M.F.\ Newman}, organization = {(Canberra, 1973)}, publisher = springer } @article{Wall78, author = {G.E.\ Wall}, title = {On the {L}ie ring of a group of prime exponent {II}}, journal = boz, volume = 19, pages = {11-28}, year = 1978 } @article{Wall86, author = {G.E.\ Wall}, title = {On the multilinear identities which hold in the {L}ie ring of a group of prime-power exponent}, journal = jalg, volume = 104, pages = {1-22}, year = 1986 } @article{Wamsley70a, author = {J.W.\ Wamsley}, title = {A class of three-generator, three-relation, finite groups}, journal = {Canad.\ J. Math}, volume = 22, pages = {36--40}, year = 1970 } @article{Wamsley70b, author = {J.W.\ Wamsley}, title = {The multiplicator of finite nilpotent groups}, journal = bams, volume = 3, pages = {1-8}, year = 1970 } @article{Wamsley70c, author = {J.W.\ Wamsley}, title = {The Deficiency of Metacyclic Groups}, journal = pams, volume = 24, pages = {724-726}, month = 1970, year = 1970 } @article{Wamsley73a, author = {J.W.\ Wamsley}, title = {The Deficiency of Wreath Products of Groups}, journal = jalg, volume = 27, pages = {48-56}, year = 1973 } @article{Wamsley73b, author = {J.W.\ Wamsley}, title = {Minimal presentations for finite groups}, journal = blms, volume = 5, pages = {129-144}, year = 1973 } @inproceedings{Wamsley74, author = {J.W.\ Wamsley}, title = {Computation in nilpotent groups (theory)}, booktitle = {Proc.\ Second Internat.\ Conf.\ Theory of Groups}, year = 1974, address = berlin, pages = {691-700}, series = lnm, volume = {372}, organization = {(Canberra, 1973)}, publisher = springer } @inproceedings{Wamsley77, author = {J.W.\ Wamsley}, title = {Computing soluble groups}, booktitle = {Group Theory}, year = 1977, address = berlin, pages = {118-125}, organization = {(Canberra, 1975)}, series = lnm, volume = 573, editor = {A.\ Dold and B.\ Eckmann}, publisher = springer } @article{Ward68, author = {Harold N.\ Ward}, title = {The analysis of representations induced from a normal subgroup}, journal = {Michigan Math.\ J.}, volume = 15, pages = {417--428}, year = 1968 } @phdthesis{Wegner92, author = {Alexander Wegner}, title = {The Construction of Finite Soluble Factor Groups of Finitely Presented Groups and its Application}, school = {University of St Andrews}, year = 1992 } @article{Weisner39, author = {Louis Weisner}, title = {Condition that a finite group be multiply isomorphic with each of its irreducible representations}, journal = {Amer.\ J.\ Math.}, volume = 61, pages = {709--712}, year = 1939 } @article{Wen84, author = {Zhi Xiong Wen}, title = {On finite groups of order $2^3pq$}, journal = {Chinese Ann.\ Math.\ Ser.\ B}, volume = 5, number = {4}, pages = {695-710}, year = 1984 } @article{Western99, author = {A.E.\ Western}, title = {Groups of Order $p^3q$}, journal = {Proc.\ London Math.\ Soc.\ (1)}, volume = 30, pages = {209-263}, year = 1899 } @article{Wiegold89, author = {James Wiegold}, title = {On some groups with trivial multiplicator}, journal = boz, volume = 40, pages = {331--333}, year = 1989 } @article{Wielandt58, author = {Helmut Wielandt}, title = {{\"U}ber den {N}ormalisator der subnormalen {U}ntergruppen}, journal = mz, volume = 69, pages = {463-465}, year = 1958 } @book{Wielandt64, author = {Helmut Wielandt}, title = {Finite permutation groups}, publisher = academic, year = 1964, address = {New York} } @article{Wright61, author = {C.R.B.\ Wright}, title = {On the Nilpotency Class of a Group of Exponent Four}, journal = pacific, volume = 11, pages = {387-394}, year = 1961 } @article{Wursthorn93, author = {Martin Wursthorn}, title = {Isomorphisms of modular group algebras: An algorithm and its application to groups of order $2^6$}, journal = jsc, year = 1993, volume = 15, pages = {211--227}, } @misc{Xu64, author = "M.Y.~Xu", year = "1964", title = "On Finite Regular $p$-Groups", howpublished = "Graduation Thesis at Peking University", note = "Graduation Thesis at Peking University" } @article{Young93, author = {J.W.A.\ Young}, title = {On the determination of groups whose order is a power of a prime}, journal = {Amer.\ J.\ Math.}, volume = 15, pages = {124-178}, year = 1893 } @article{Zhang83, author = {Yuan Da Zhang}, title = {The structure of groups of order $2^3p^2$}, journal = {Chinese Ann.\ Math.\ Ser.\ B}, volume = 4, number = 1, pages = {77-93}, year = 1983 } @book{Zassenhaus58, author = {Hans J.\ Zassenhaus}, title = {The Theory of Groups}, publisher = {Chelsea Publishing Company}, year = 1958, edition = {2nd}, address = {New York} } @article{Zelmanov91a, author = {E.I.\ Zel'manov}, title = {Solution of the Restricted {B}urnside problem for $2$-groups (Russian)}, journal = {Math.\ Sb.}, volume = 182, pages = {568--592}, year = 1991 } @article{Zelmanov91b, author = {E.I.\ Zel'manov}, title = {Solution of the restricted {B}urnside problem for groups of odd exponent}, journal = {Math. USSR-Izv.}, pages = {41--60}, volume = 36, year = 1991, } @book{deSeguier04, author = "J.-A.\ {de S{\'{e}}guier}", year = 1904, title = "Th{\'{e}}orie des groupes finis. {\'{E}}l{\'{e}}ments de la th{\'{e}}orie des groupes abstraits", publisher = "Gauthier-Villars", address = "Paris", reviews = "FM 35, 181" } @article{Holt85b, author = {D.F.\ Holt}, title = {The mechanical computation of first and second cohomology groups}, journal = jsc, volume = 1, pages = {351--361}, year = 1985, } @article{HoltPlesken86, author = {D.F.\ Holt and W.\ Plesken}, title = {$A_5$-invariant 2-groups with no trivial sections}, journal = qjm2, volume = 37, pages = {39--47}, year = 1986, } @article{Holt91, author = {D.F.\ Holt}, title = {The computation of normalizers in permutation groups}, journal = jsc, volume = 12, pages = {499--516}, year = 1991, } @article{Epsteinetal91, author = {D.B.A.\ Epstein and D.F.\ Holt and S.E.\ Rees}, title = {The use of Knuth-Bendix methods to solve the word problem in automatic groups}, journal = jsc, volume = 12, pages = {397--414}, year = 1991, } @article{HoltPlesken92, author = {D.F.\ Holt and W.\ Plesken}, title = {A cohomological criterion for a finitely presented group to be infinite}, journal = jlms, volume = 45, pages = {469--480}, year = 1992, } @article{HoltPlesken93, author = {D.F.\ Holt and W.\ Plesken}, title = {The $p$-coclass of a group}, journal = jalg, volume = 162, pages = {335--342}, year = 1993, } @article{Holt95, author = {Derek F.\ Holt}, title = {An alternative proof that the Fibonacci group $F(2,9)$ is infinite}, journal = {Experimental Math.}, volume = 4, pages = {97--100}, year = 1995, } @article{HoltRees96, author = {Derek F.\ Holt and Sarah Rees}, title = {Free quotients of finitely presented groups}, journal = {Experimental Math.}, volume = 5, pages = {49--56}, year = 1996, } @article{Wilkinson88, author = {David Wilkinson}, title = {The groups of exponent $p$ and order $p\geq 7$ ($p$ any prime)}, journal = jalg, volume = 118, pages = {109--119}, year = 1988, } @book{Seber82, author = {G.A.F. Seber}, title = {The estimation of animal abundance and related parameters}, publisher = {Edward Arnold}, year = 1982, edition = {3rd}, address = {London, Sydney} } @article{Shoda28, author = "Kenjiro Shoda", title = "{\"Uber die Automorphismen einer endlichen Abelschen Gruppe}", journal = "Math. Ann.", volume = 100, pages = "674--686", year = 1928 } @article{PatrisMoreau75, author = "Marie-Martine Patris-Moreau", title = "D\'etermination des groupes non r\'esolubles d'ordre inf\'erieur ou \'egal \'a $959$", journal = "Acad. Roy. Belg. Bull. Cl. Sci.", volume = 61, pages = "658--665", review = {MR \#{\bf52}, 10878}, year = 1975, } @misc{Cooperman02, author = {Gene Cooperman}, title = {Towards a practical, theoretically sound algorithm for random generation in finite groups}, howpublished = {{\tt arXiv:math.PR/0205203}, \url{http://arxiv.org/abs/math.PR/0205203}}, url = {http://arxiv.org/abs/math.PR/0205203} } @article{CoopermanFinkelstein94b, author = {G.~Cooperman and L.~Finkelstein}, title = {A Random Base Change Algorithm for Permutation Groups}, journal = jsc, volume = {17}, pages = {513-528}, year = {1994} } @article{CoopermanFinkelstein92b, author = {G.~Cooperman and L.~Finkelstein}, title = {New Methods for Using Cayley Graphs in Interconnection Networks}, journal = {Discrete Applied Mathematics}, volume = {37/38}, pages = {95-118}, year = {1992}, note = {(special issue on Interconnection Networks)} } @article{CoopermanFinkelstein92a, author = {G.~Cooperman and L.~Finkelstein}, title = {Randomized Algorithms for Permutation Groups}, journal = {Centrum Wissenschaft Institut Quarterly (CWI)}, address = {Netherlands}, pages = {107-125}, year = {1992}, month = jun } @article{CoopermanFinkelstein91, author = {G.~Cooperman and L.~Finkelstein}, title = {A Strong Generating Test and Short Presentations for Permutation Groups}, journal = jsc, volume = {12}, pages = {475-497}, year = {1991} } @inproceedings{CoopermanFinkelsteinetal90, author = {G.~Cooperman and L.~Finkelstein and N.~Sarawagi}, title = {A Random Base Change Algorithm for Permutation Groups}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm ISSAC '90}}, pages = {161-168}, address = {Tokyo, Japan}, year = {1990} } @article{CoopermanGrinberg02, author = {G.~Cooperman and V.~Grinberg}, title = {Scalable Parallel Coset Enumeration: Bulk Definition and the Memory Wall}, journal = jsc, volume = 33, year = {2002}, pages = {563--585} } @inproceedings{CoopermanHavas97, author = {G. Cooperman and G.~Havas}, title = {Practical Parallel Coset Enumeration}, booktitle = {Workshop on High Performance Computing and Gigabit Local Area Networks}, series = {Lecture Notes in Control and Information Sciences}, volume = {226}, pages = {15-27}, year = 1997 } @article{CoopermanHissetal97, author = {G.~Cooperman and G.~Hiss and K.~Lux and J.~M\"uller}, title = {The {B}rauer tree of the principal $19$-block of the sporadic simple Thompson group}, journal = {J.\ Experimental Math.}, volume = {6}, issue = {4}, pages = {293-300}, year = {1997} } @inproceedings{CoopermanLempkenetal99, author = {G. Cooperman and W.~Lempken and G.O.~Michler and M.~Weller}, title = {A new existence proof of {J}anko's simple group~{J}4}, booktitle = {Computational Methods for Representations of Groups and Algebras}, series = {Progress in Mathematics}, volume = 173, pages = {161-175}, year = {1999} } @article{CoopermanMa02, author = {G.~Cooperman and X.~Ma}, title = {Overcoming the Memory Wall in Symbolic Algebra: A Faster Permutation Algorithm (Formally Reviewed Communication)}, journal = {SIGSAM Bulletin}, volume = {36}, issue = {4}, pages = {1-4}, month = dec, year = {2002} } @inproceedings{CoopermanTselman96, author = {G.~Cooperman and M.~Tselman}, title = {New Sequential and Parallel Algorithms for Generating High Dimension {H}ecke Algebras using the Condensation Technique}, booktitle = {Proc. of International Symposium on Symbolic and Algebraic Computation {\rm (ISSAC '96)}}, publisher = {ACM Press}, pages = {155--160}, year = {1996} } @inproceedings{GollanHavas99, author = {H.W.~Gollan and G.~Havas}, title = {On {S}ims' presentation for {L}yons' simple group}, booktitle = {Computational Methods for Representations of Groups and Algebras}, series = {Progress in Mathematics}, volume = 173, pages = {235-240}, year = {1999} } @article{Gollan95, author = {H.W.~Gollan}, title = {A new existence proof for {L}y, the sporadic simple group of {R}.~{L}yons}, journal = {Preprint~30}, address = {Institut f\"ur Experimentelle Mathematik, Universit\"at GH Essen}, year = {1995} } @article{Gollan97, author = {H.W.~Gollan}, title = {A Contribution to the Revision Project of the Sporadic Groups: {L}yons' simple group~{L}y}, journal = {Vorlesungen aus dem FB Mathematik}, address = {Universit\"at GH Essen}, volume = {26}, year = {1997} } @article{Gollan01, author = {H.W.~Gollan}, title = {A new existence proof for {L}y, the sporadic simple group of {R}.~{L}yons}, journal = jsc, volume = {31}, pages = {203-209}, year = {2001} } @inproceedings{HavasSoicheretal01, author = {G.~Havas and L.~Soicher and R.A.~Wilson}, title = {A Presentation for the {T}hompson Sporadic Simple Group}, booktitle = {Groups and Computation {\rm III}}, organization = {(Ohio, 1999)}, publisher = {de Gruyter}, address = {New York}, pages = {193-200}, year = 2001 } @inproceedings{HavasSims99, author = {G.~Havas and C.~Sims}, title = {A presentation for the {L}yons simple group}, booktitle = {Computational Methods for Representations of Groups and Algebras}, series = {Progress in Mathematics}, volume = 173, pages = {241-249}, year = {1999} } @inproceedings{LeedhamGreen01, author = {C.R.~Leedham-Green}, title = {The Computational Matrix Group Project}, booktitle = {Groups and Computation {\rm III}}, organization = {(Ohio, 1999)}, publisher = {de Gruyter}, address = {New York}, pages = {229-248}, year = 2001 } @inproceedings{LeedhamGreenOBrienetal03, author = {C.R.~Leedham-Green and A.C. Niemeyer and and E.A.~O'Brien and C.E.~Praeger}, title = {Recognising Matrix groups}, booktitle = {Computer Algebra Handbook}, editor = {J.~Grabmeier and E.~Kaltofen and V.~Weispfenning}, pages = {474-475}, year = {2003} } @inproceedings{Weller99, author = {M.~Weller}, title = {Construction of large permutation representations for matrix groups}, booktitle = {High Performance Computing in Science and Engineering~'98}, editor = {E.~Krause, W. J\"ager}, publisher = {Springer}, pages = {430--}, year = {1999} } @article{Weller01, author = {M. Weller}, title = {Construction of Large Permutation Representations for Matrix Groups~{\rm II}}, journal = {Applicable Algebra in Engineering, Communication and Computing}, volume = {11}, pages = {463-488}, year = {2001} } @misc{WilsonAtlas, author = {R.A.~Wilson}, title = {ATLAS of Finite Group Representations}, howpublished = {\url{http://www.mat.bham.ac.uk/atlas}}, url = {http://www.mat.bham.ac.uk/atlas/html/Th.html} } @article {Wilson96, AUTHOR = {Robert A. Wilson}, TITLE = {Standard generators for sporadic simple groups}, JOURNAL = {J. Algebra}, FJOURNAL = {Journal of Algebra}, VOLUME = {184}, YEAR = {1996}, NUMBER = {2}, PAGES = {505--515}, } @inproceedings{Pak00, author = {I.~Pak}, title = {The product replacement algorithm is polynomial}, booktitle = {Proc.~41$^{\mbox{st}}$ {IEEE} Symposium on Foundations of Computer Science (FOCS)}, pages = {476-485}, publisher = {IEEE Press}, year = {2000} } @article {Bealsetal05, AUTHOR = {Robert Beals and Charles R. Leedham-Green and Alice C. Niemeyer and Cheryl E. Praeger and {\'A}kos Seress}, TITLE = {Constructive recognition of finite alternating and symmetric groups acting as matrix groups on their natural permutation modules}, JOURNAL = {J. Algebra}, FJOURNAL = {Journal of Algebra}, VOLUME = {292}, YEAR = {2005}, NUMBER = {1}, PAGES = {4--46}, ISSN = {0021-8693}, CODEN = {JALGA4}, MRCLASS = {20Bxx (68W30 68W40)}, MRNUMBER = {MR2166794}, } @article {BostonLeedhamGreen02, AUTHOR = {Nigel Boston and Charles Leedham-Green}, TITLE = {Explicit computation of {G}alois {$p$}-groups unramified at {$p$}}, JOURNAL = {J. Algebra}, FJOURNAL = {Journal of Algebra}, VOLUME = {256}, YEAR = {2002}, NUMBER = {2}, PAGES = {402--413}, ISSN = {0021-8693}, CODEN = {JALGA4}, MRCLASS = {12F10 (11R32)}, MRNUMBER = {MR1939112 (2003k:12004)}, MRREVIEWER = {Dmitry A. Malinin}, } @incollection {LeedhamGreenMurray02, AUTHOR = {C.R. Leedham-Green and Scott H. Murray}, TITLE = {Variants of product replacement}, BOOKTITLE = {Computational and statistical group theory (Las Vegas, NV/Hoboken, NJ, 2001)}, SERIES = {Contemp. Math.}, VOLUME = {298}, PAGES = {97--104}, PUBLISHER = {Amer. Math. Soc.}, ADDRESS = {Providence, RI}, YEAR = {2002}, MRCLASS = {20-04 (60J10 68W20 68W30)}, MRNUMBER = {MR1929718 (2003h:20003)}, MRREVIEWER = {Burkhard K. H{\"o}fling}, } @article {Bealsetal02, AUTHOR = {Robert Beals and Charles R. Leedham-Green and Alice C. Niemeyer and Cheryl E. Praeger and {\'A}kos Seress}, TITLE = {Permutations with restricted cycle structure and an algorithmic application}, JOURNAL = {Combin. Probab. Comput.}, FJOURNAL = {Combinatorics, Probability and Computing}, VOLUME = {11}, YEAR = {2002}, NUMBER = {5}, PAGES = {447--464}, ISSN = {0963-5483}, MRCLASS = {60C05 (05A05 20B30)}, MRNUMBER = {MR1930351 (2003h:60012)}, MRREVIEWER = {Bernhard Gittenberger}, } @inproceedings{LeedhamGreenMcKay00, AUTHOR = {C.R. Leedham-Green and S. McKay}, TITLE = {On the classification of {$p$}-groups and pro-{$p$} groups}, BOOKTITLE = {New horizons in pro-$p$ groups}, SERIES = {Progr. Math.}, VOLUME = {184}, PAGES = {55--74}, PUBLISHER = {Birkh\"auser Boston}, ADDRESS = {Boston, MA}, YEAR = {2000}, MRCLASS = {20D15 (20E18)}, MRNUMBER = {MR1765117 (2001f:20038)}, MRREVIEWER = {L. Ribes}, } @article {LeedhamGreenSoicher98, AUTHOR = {C.R. Leedham-Green and Leonard H. Soicher}, TITLE = {Symbolic collection using {D}eep {T}hought}, JOURNAL = {LMS J. Comput. Math.}, FJOURNAL = {LMS Journal of Computation and Mathematics}, VOLUME = {1}, YEAR = {1998}, PAGES = {9--24 (electronic)}, ISSN = {1461-1570}, MRCLASS = {20-04 (20F18)}, MRNUMBER = {MR1635719 (99f:20002)}, MRREVIEWER = {Martyn R. Dixon}, } @book {Klassetal97, AUTHOR = {G. Klaas and C.R. Leedham-Green and W. Plesken}, TITLE = {Linear pro-{$p$}-groups of finite width}, SERIES = {Lecture Notes in Mathematics}, VOLUME = {1674}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin}, YEAR = {1997}, PAGES = {viii+115}, ISBN = {3-540-63643-9}, MRCLASS = {20E18 (20G25)}, MRNUMBER = {MR1483894 (98m:20028)}, MRREVIEWER = {Marcus du Sautoy}, } @article {BostonLeedhamGreen99, AUTHOR = {Nigel Boston and Charles Leedham-Green}, TITLE = {Counterexamples to a conjecture of {L}emmermeyer}, JOURNAL = {Arch. Math. (Basel)}, FJOURNAL = {Archiv der Mathematik}, VOLUME = {72}, YEAR = {1999}, NUMBER = {3}, PAGES = {177--179}, ISSN = {0003-889X}, CODEN = {ACVMAL}, MRCLASS = {11R37 (11R32 20D15)}, MRNUMBER = {MR1671275 (99m:11131)}, MRREVIEWER = {Franz Halter-Koch}, } @article {LeedhamGreen94, AUTHOR = {C.R. Leedham-Green}, TITLE = {The structure of finite {$p$}-groups}, JOURNAL = {J. London Math. Soc. (2)}, FJOURNAL = {Journal of the London Mathematical Society. Second Series}, VOLUME = {50}, YEAR = {1994}, NUMBER = {1}, PAGES = {49--67}, ISSN = {0024-6107}, CODEN = {JLMSAK}, MRCLASS = {20D15 (20E18)}, MRNUMBER = {MR1277754 (95j:20022a)}, MRREVIEWER = {Avinoam Mann}, } @article {LeedhamGreen94a, AUTHOR = {C.R. Leedham-Green}, TITLE = {Pro-{$p$}-groups of finite coclass}, JOURNAL = {J. London Math. Soc. (2)}, FJOURNAL = {Journal of the London Mathematical Society. Second Series}, VOLUME = {50}, YEAR = {1994}, NUMBER = {1}, PAGES = {43--48}, ISSN = {0024-6107}, CODEN = {JLMSAK}, MRCLASS = {20E18}, MRNUMBER = {MR1277753 (95j:20021)}, MRREVIEWER = {M. F. Newman}, } @book {LeedhamGreenMcKay02, AUTHOR = {C.R. Leedham-Green and S. McKay}, TITLE = {The structure of groups of prime power order}, SERIES = {London Mathematical Society Monographs. New Series}, VOLUME = {27}, NOTE = {Oxford Science Publications}, PUBLISHER = {Oxford University Press}, ADDRESS = {Oxford}, YEAR = {2002}, PAGES = {xii+334}, ISBN = {0-19-853548-1}, MRCLASS = {20D15 (20-02 20E18 20F40 20J06)}, MRNUMBER = {MR1918951 (2003f:20028)}, MRREVIEWER = {Andreas Caranti}, } @article {JohnsonLeedhamGreen90, AUTHOR = {K.W. Johnson and C.R. Leedham-Green}, TITLE = {Loop cohomology}, JOURNAL = {Czechoslovak Math. J.}, FJOURNAL = {Czechoslovak Mathematical Journal}, VOLUME = {40(115)}, YEAR = {1990}, NUMBER = {2}, PAGES = {182--194}, ISSN = {0011-4642}, CODEN = {CZMJAE}, MRCLASS = {18C15 (18E25 18G99 20N05)}, MRNUMBER = {MR1046286 (91k:18003)}, MRREVIEWER = {Saunders Mac Lane}, } @article {LeedhamGreenMcKayetal86a, AUTHOR = {C.R. Leedham-Green and S. McKay and W. Plesken}, TITLE = {Space groups and groups of prime power order. {VI}. {A} bound to the dimension of a {$2$}-adic space group with fixed coclass}, JOURNAL = {J. London Math. Soc. (2)}, FJOURNAL = {Journal of the London Mathematical Society. Second Series}, VOLUME = {34}, YEAR = {1986}, NUMBER = {3}, PAGES = {417--425}, ISSN = {0024-6107}, CODEN = {JLMSAK}, MRCLASS = {20D15 (20E18 20E34)}, MRNUMBER = {MR864445 (87m:20060)}, MRREVIEWER = {Gary L. Walls}, } @article {KovacsLeedhamGreen86, AUTHOR = {L.G. Kov{\'a}cs and C.R. Leedham-Green}, TITLE = {Some normally monomial {$p$}-groups of maximal class and large derived length}, JOURNAL = {Quart. J. Math. Oxford Ser. (2)}, FJOURNAL = {The Quarterly Journal of Mathematics. Oxford. Second Series}, VOLUME = {37}, YEAR = {1986}, NUMBER = {145}, PAGES = {49--54}, ISSN = {0033-5606}, CODEN = {QJMAAT}, MRCLASS = {20F14 (20F40)}, MRNUMBER = {MR830629 (87i:20059)}, MRREVIEWER = {Andreas Caranti}, } @article {LeedhamGreenMcKayetal86, AUTHOR = {C.R. Leedham-Green and S. McKay and W. Plesken}, TITLE = {Space groups and groups of prime-power order. {V}. {A} bound to the dimension of space groups with fixed coclass}, JOURNAL = {Proc. London Math. Soc. (3)}, FJOURNAL = {Proceedings of the London Mathematical Society. Third Series}, VOLUME = {52}, YEAR = {1986}, NUMBER = {1}, PAGES = {73--94}, ISSN = {0024-6115}, CODEN = {PLMTAL}, MRCLASS = {20D15 (20E18)}, MRNUMBER = {MR812446 (87g:20036)}, MRREVIEWER = {Gary L. Walls}, }