Computation of Polycyclic Quotients of Finitely Presented Groups PDF Download

Author: Shavak Sinanan
Publisher:
ISBN:
Category : Finite groups
Languages : en
Pages : 91

View

Book Description

Author: Charles C. Sims
Publisher: Cambridge University Press
ISBN: 0521432138
Category : Mathematics
Languages : en
Pages : 624

View

Book Description
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.

Author: Komei Fukuda
Publisher: Springer Science & Business Media
ISBN: 3642155812
Category : Computers
Languages : en
Pages : 382

View

Book Description
The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a series of meetings of similar theme, the ?rst being held in Beijing, China in 2002,and the second in Castro-Urdiales, Spain in 2006. The ?eld of mathematics has numerous branches, and in each branch we ?nd that algorithms, and also implementations and applications of software s- tems, are studied. Researchers who endeavor to make such studies also have international meetings within their speci'c branches of mathematics, and these meetings have made signi'cant contributions to the ?elds in which they lie. The ICMS (International Congresseson Mathematical Software), on the other hand, is a general (not branch speci'c) meeting on mathematical software, which is held every four years, and is a rare opportunity for developers of mathematical softwarefrom di'erent branchesof mathematics, as well as mathematicians who are interested in mathematical software, to gather together.

Author: Larry Finkelstein, William M. Kantor
Publisher: American Mathematical Soc.
ISBN: 9780821885772
Category : Algebra
Languages : en
Pages : 404

View

Book Description
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.

Author: Shavak Sinanan
Publisher:
ISBN:
Category :
Languages : en
Pages :

View

Book Description
A set of fundamental algorithms for computing with polycyclic-by-finite groups is presented here. Polycyclic-by-finite groups arise naturally in a number of contexts; for example, as automorphism groups of large finite soluble groups, as quotients of finitely presented groups, and as extensions of modules by groups. No existing mode of representation is suitable for these groups, since they will typically not have a convenient faithful permutation representation. A mixed mode is used to represent elements of such a group; utilising a polycyclic presentation or a power-conjugate presentation for the elements of the normal subgroup, and a permutation representation for the elements of the quotient.

Author: William M. Kantor
Publisher: Walter de Gruyter
ISBN: 3110872749
Category : Mathematics
Languages : en
Pages : 376

View

Book Description
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.

Author: Derek F. Holt
Publisher: CRC Press
ISBN: 1420035215
Category : Mathematics
Languages : en
Pages : 532

View

Book Description
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

Author: Johannes Grabmeier
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656

View

Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.

Author: Wieb Bosma
Publisher: Springer Science & Business Media
ISBN: 9401711089
Category : Mathematics
Languages : en
Pages : 326

View

Book Description
Computers have stretched the limits of what is possible in mathematics. More: they have given rise to new fields of mathematical study; the analysis of new and traditional algorithms, the creation of new paradigms for implementing computational methods, the viewing of old techniques from a concrete algorithmic vantage point, to name but a few. Computational Algebra and Number Theory lies at the lively intersection of computer science and mathematics. It highlights the surprising width and depth of the field through examples drawn from current activity, ranging from category theory, graph theory and combinatorics, to more classical computational areas, such as group theory and number theory. Many of the papers in the book provide a survey of their topic, as well as a description of present research. Throughout the variety of mathematical and computational fields represented, the emphasis is placed on the common principles and the methods employed. Audience: Students, experts, and those performing current research in any of the topics mentioned above.

Author: C. M. Campbell
Publisher: Cambridge University Press
ISBN: 9781139437219
Category : Mathematics
Languages : en
Pages : 316

View

Book Description
This first volume of the two-volume book contains selected papers from the international conference 'Groups St Andrews 2001 in Oxford' which was held at the University of Oxford in August 2001. Five main lecture courses were given at the conference, and articles based on their lectures form a substantial part of the Proceedings. This volume contains the contributions from Marston Conder (Auckland), Persi Diaconis (Stanford) and Marcus Du Sautoy (Cambridge). The series of Proceedings of Groups St Andrews conferences have provided snapshots of the state of research in group theory throughout the past twenty years. As with earlier volumes, these refereed volumes also contain accessible surveys of contemporary research fronts, as well as a diverse collection of short research articles. They form a valuable reference for researchers, especially graduate students, working in group theory.