Computation with Finitely Presented Groups

Computation with Finitely Presented Groups

Author: Charles C. Sims

Publisher: Cambridge University Press

Published: 1994-01-28

Total Pages: 624

ISBN-13: 0521432138

DOWNLOAD EBOOK

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.


Book Synopsis Computation with Finitely Presented Groups by : Charles C. Sims

Download or read book Computation with Finitely Presented Groups written by Charles C. Sims and published by Cambridge University Press. This book was released on 1994-01-28 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Handbook of Computational Group Theory

Handbook of Computational Group Theory

Author: Derek F. Holt

Publisher: CRC Press

Published: 2005-01-13

Total Pages: 532

ISBN-13: 1420035215

DOWNLOAD EBOOK

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


Book Synopsis Handbook of Computational Group Theory by : Derek F. Holt

Download or read book Handbook of Computational Group Theory written by Derek F. Holt and published by CRC Press. This book was released on 2005-01-13 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

Groups and Computation III

Groups and Computation III

Author: William M. Kantor

Publisher: Walter de Gruyter

Published: 2014-01-02

Total Pages: 376

ISBN-13: 3110872749

DOWNLOAD EBOOK

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.


Book Synopsis Groups and Computation III by : William M. Kantor

Download or read book Groups and Computation III written by William M. Kantor and published by Walter de Gruyter. This book was released on 2014-01-02 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Presentations of Groups

Presentations of Groups

Author: D. L. Johnson

Publisher: Cambridge University Press

Published: 1997-05-15

Total Pages: 228

ISBN-13: 9780521585422

DOWNLOAD EBOOK

The aim of this book is to provide an introduction to combinatorial group theory. Any reader who has completed first courses in linear algebra, group theory and ring theory will find this book accessible. The emphasis is on computational techniques but rigorous proofs of all theorems are supplied.This new edition has been revised throughout, including new exercises and an additional chapter on proving that certain groups are infinite.


Book Synopsis Presentations of Groups by : D. L. Johnson

Download or read book Presentations of Groups written by D. L. Johnson and published by Cambridge University Press. This book was released on 1997-05-15 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: The aim of this book is to provide an introduction to combinatorial group theory. Any reader who has completed first courses in linear algebra, group theory and ring theory will find this book accessible. The emphasis is on computational techniques but rigorous proofs of all theorems are supplied.This new edition has been revised throughout, including new exercises and an additional chapter on proving that certain groups are infinite.

Varieties of Representations of Finitely Generated Groups

Varieties of Representations of Finitely Generated Groups

Author: Alexander Lubotzky

Publisher: American Mathematical Soc.

Published: 1985

Total Pages: 134

ISBN-13: 082182337X

DOWNLOAD EBOOK

The n-dimensional representations, over an algebraically closed characteristic zero field k, of a finitely generated group are parameterized by an affine algebraic variety over k. The tangent spaces of this variety are subspaces of spaces of one-cocycles and thus the geometry of the variety is locally related to the cohomology of the group. The cohomology is also related to the prounipotent radical of the proalgebraic hull of the group. This paper exploits these two relations to compute dimensions of representation varieties, especially for nilpotent groups and their generalizations. It also presents the foundations of the theory of representation varieties in an expository, self-contained manner.


Book Synopsis Varieties of Representations of Finitely Generated Groups by : Alexander Lubotzky

Download or read book Varieties of Representations of Finitely Generated Groups written by Alexander Lubotzky and published by American Mathematical Soc.. This book was released on 1985 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt: The n-dimensional representations, over an algebraically closed characteristic zero field k, of a finitely generated group are parameterized by an affine algebraic variety over k. The tangent spaces of this variety are subspaces of spaces of one-cocycles and thus the geometry of the variety is locally related to the cohomology of the group. The cohomology is also related to the prounipotent radical of the proalgebraic hull of the group. This paper exploits these two relations to compute dimensions of representation varieties, especially for nilpotent groups and their generalizations. It also presents the foundations of the theory of representation varieties in an expository, self-contained manner.

Groups and Computation II

Groups and Computation II

Author: Larry Finkelstein, William M. Kantor

Publisher: American Mathematical Soc.

Published:

Total Pages: 404

ISBN-13: 9780821885772

DOWNLOAD EBOOK

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.


Book Synopsis Groups and Computation II by : Larry Finkelstein, William M. Kantor

Download or read book Groups and Computation II written by Larry Finkelstein, William M. Kantor and published by American Mathematical Soc.. This book was released on with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Computational Support for Discrete Mathematics

Computational Support for Discrete Mathematics

Author: Nathaniel Dean

Publisher: American Mathematical Soc.

Published:

Total Pages: 416

ISBN-13: 9780821870617

DOWNLOAD EBOOK

With recent technological advances in workstations, graphics, graphical user interfaces, and object oriented programming languages, a significant number of researchers are developing general-purpose software and integrated software systems for domains in discrete mathematics, including graph theory, combinatorics, combinatorial optimization, and sets. This software aims to provide effective computational tools for research, applications prototyping, and teaching. In March 1992, DIMACS sponsored a workshop on Computational Support for Discrete Mathematics in order to facilitate interactions between the researchers, developers, and educators who work in these areas. Containing refereed papers based on talks presented at the workshop, this volume documents current and past research in these areas and should provide impetus for new interactions.


Book Synopsis Computational Support for Discrete Mathematics by : Nathaniel Dean

Download or read book Computational Support for Discrete Mathematics written by Nathaniel Dean and published by American Mathematical Soc.. This book was released on with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: With recent technological advances in workstations, graphics, graphical user interfaces, and object oriented programming languages, a significant number of researchers are developing general-purpose software and integrated software systems for domains in discrete mathematics, including graph theory, combinatorics, combinatorial optimization, and sets. This software aims to provide effective computational tools for research, applications prototyping, and teaching. In March 1992, DIMACS sponsored a workshop on Computational Support for Discrete Mathematics in order to facilitate interactions between the researchers, developers, and educators who work in these areas. Containing refereed papers based on talks presented at the workshop, this volume documents current and past research in these areas and should provide impetus for new interactions.

Groups and Computation II

Groups and Computation II

Author: Larry Finkelstein

Publisher: American Mathematical Soc.

Published: 1997

Total Pages: 402

ISBN-13: 0821805169

DOWNLOAD EBOOK

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.


Book Synopsis Groups and Computation II by : Larry Finkelstein

Download or read book Groups and Computation II written by Larry Finkelstein and published by American Mathematical Soc.. This book was released on 1997 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Symbolic and Algebraic Computation

Symbolic and Algebraic Computation

Author: Patrizia Gianni

Publisher: Springer Science & Business Media

Published: 1989-08-23

Total Pages: 564

ISBN-13: 9783540510840

DOWNLOAD EBOOK

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.


Book Synopsis Symbolic and Algebraic Computation by : Patrizia Gianni

Download or read book Symbolic and Algebraic Computation written by Patrizia Gianni and published by Springer Science & Business Media. This book was released on 1989-08-23 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.

Elementary Theory of Groups and Group Rings, and Related Topics

Elementary Theory of Groups and Group Rings, and Related Topics

Author: Paul Baginski

Publisher: Walter de Gruyter GmbH & Co KG

Published: 2020-02-10

Total Pages: 329

ISBN-13: 311063709X

DOWNLOAD EBOOK

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.


Book Synopsis Elementary Theory of Groups and Group Rings, and Related Topics by : Paul Baginski

Download or read book Elementary Theory of Groups and Group Rings, and Related Topics written by Paul Baginski and published by Walter de Gruyter GmbH & Co KG. This book was released on 2020-02-10 with total page 329 pages. Available in PDF, EPUB and Kindle. Book excerpt: The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.