Groups And Computation Iii

This volume contains contributions by the participants of the conference "Groups and Computation", which took place at The Ohio State University in Columbus, Ohio, in June 1999. This conference was the successor of two workshops on "Groups and Computation" held at DIMACS in 1991 and 1995. There are papers on permutation group algorithms, finitely presented groups, polycyclic groups, and parallel computation, providing a representative sample of the breadth of Computational Group Theory. On the other hand, more than one third of the papers deal with computations in matrix groups, giving an in-depth treatment of the currently most active area of the field. The points of view of the papers range from explicit computations to group-theoretic algorithms to group-theoretic theorems needed for algorithm development.

This volume is the proceedings of a conference on Finite Geometries, Groups, and Computation that took place on September 4-9, 2004, at Pingree Park, Colorado (a campus of Colorado State University). Not accidentally, the conference coincided with the 60th birthday of William Kantor, and the topics relate to his major research areas. Participants were encouraged to explore the deeper interplay between these fields. The survey papers by Kantor, O'Brien, and Penttila should serve to introduce both students and the broader mathematical community to these important topics and some of their connections while the volume as a whole gives an overview of current developments in these fields.

Probabilistic Group Theory, Combinatorics and Computing is based on lecture courses held at the Fifth de Brún Workshop in Galway, Ireland in April 2011. Each course discusses computational and algorithmic aspects that have recently emerged at the interface of group theory and combinatorics, with a strong focus on probabilistic methods and results. The courses served as a forum for devising new strategic approaches and for discussing the main open problems to be solved in the further development of each area. The book represents a valuable resource for advanced lecture courses. Researchers at all levels are introduced to the main methods and the state-of-the-art, leading up to the very latest developments. One primary aim of the book’s approach and design is to enable postgraduate students to make immediate use of the material presented.

This book is a blend of recent developments in theoretical and computational aspects of group theory. It presents the state-of-the-art research topics in different aspects of group theory, namely, character theory, representation theory, integral group rings, the Monster simple group, computational algorithms and methods on finite groups, finite loops, periodic groups, Camina groups and generalizations, automorphisms and non-abelian tensor product of groups. Presenting a collection of invited articles by some of the leading and highly active researchers in the theory of finite groups and their representations and the Monster group, with a focus on computational aspects, this book is of particular interest to researchers in the area of group theory and related fields of mathematics.

The workshop "Groups and Computations" took place at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) at Rutgers University in June 1995. This and an earlier workshop held in October 1991 was aimed at merging theory and practice within the broad area of computation with groups. The primary goal of the previous workshop was to foster a dialogue between researchers studying the computational complexity of group algorithms and those engaged in the development of practical software. It was expected that this would lead to a deeper understanding of the mathematical issues underlying group computation and that this understanding would lead, in turn, to faster algorithms. Comments and subsequent work indicated that this goal had been achieved beyond expectations. The second workshop was designed to reinforce the progress in these directions. The scientific program consisted of invited lectures and research announcements, as well as informal discussions and software demonstrations. The eight extended talks discussed randomization, permutation groups, matrix groups, software systems, fast Fourier transforms and their applications to signal processing and data analysis, computations with finitely presented groups, and implementation and complexity questions. As in the previous workshop, speakers ranged from established researchers to graduate students.

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theoretical computer scientists will find this book useful.

The origins of computation group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the past 30 to 40 years, and today it remains a lively and active branch of mathematics. The Handbook of Computational Group Theory offers the first complete treatment of all the fundame

This volume contains papers presented at the Workshop on Groups and Computation, held in October, 1991. The workshop explored interactions among four areas: symbolic algebra and computer algebra, theoretical computer science, group theory, and applications of group computation. The relationships between implementation and complexity form a recurrent theme, though the papers also discuss such topics as parallel algorithms for groups, computation in associative algebras, asymptotic behavior of permutation groups, the study of finite groups using infinite reflection groups, combinatorial searching, computing with representations, and Cayley graphs as models for interconnection networks.