{"product_id":"computation-with-finitely-presented-groups-paperback-9780521135078","title":"Computation with Finitely Presented Groups (Paperback) 9780521135078","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eComputation with Finitely Presented Groups\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eThis book describes the basic algorithmic ideas behind accepted methods for computing with finitely presented groups.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eCharles C. Sims (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521135078, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 11 March 2010\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e624 pages\u003cbr\u003e23.4 x 15.6 x 3.2 cm, 0.86 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"this book is a very interesting treatment of the computational aspects of combinatorial group theory.  It is well-written, nicely illustrating the algorithms presented with many examples.  Also, some remarks on the history of the field are included.  In adition, many exercises are provided throughout...this is a very valuable book that is well-suited as a textbook for a graduate course on computational group theory.  It addresses students of mahtematics and of computer science alike, providing the necessary background for both.  In addition, this book will be of good use as a reference source for computational aspects of combinatorial group theory.\"   Friedrich Otto, Mathematical Reviews\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eResearch 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Basic concepts\u003cbr\u003e 2. Rewriting systems\u003cbr\u003e 3. Automata and rational languages\u003cbr\u003e 4. Subgroups of free products of cyclic groups\u003cbr\u003e 5. Coset enumeration\u003cbr\u003e 6. The Reidemeister-Schreier procedure\u003cbr\u003e 7. Generalized automata\u003cbr\u003e 8. Abelian groups\u003cbr\u003e 9. Polycyclic groups\u003cbr\u003e 10. Module bases\u003cbr\u003e 11. Quotient groups.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Groups \u0026amp; group theory [\u003ca title=\"See our other books on Groups \u0026amp; group theory\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Groups%20\u0026amp;%20group%20theory%20%5BPBG%5D%22\"\u003ePBG\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46006592405784,"sku":"9780521135078","price":61.59,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521135078i_bfe68965-919d-44da-92ff-b976ed1c700e.jpg?v=1691372201","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/computation-with-finitely-presented-groups-paperback-9780521135078","provider":"Freshly Printed Books","version":"1.0","type":"link"}