CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><html lang="en"> <head> <title>Deakin University / All Locations</title> <base target="_self"/> <link rel="stylesheet" type="text/css" href="/scripts/ProStyles.css" /> <link rel="stylesheet" type="text/css" href="/screens/styles.css" /> <link rel="shortcut icon" type="ximage/icon" href="/screens/favicon.ico" /> <script type="text/javascript" src="/scripts/common.js"></script> <script type="text/javascript" src="/scripts/webbridge.js"></script> <script type="text/javascript" src="/scripts/elcontent.js"></script> <meta http-equiv="X-UA-Compatible" content="IE=8;FF=3;OtherUA=4"><script type="text/javascript" src="/screens/iiilangswitch.js"></script><link rel="stylesheet" type="text/css" href="/screens/styles_print.css" media="print"><script type="text/javascript" src="/screens/bibdisplay.js"></script> </head> <body bgcolor="#FFFFFF" >     <script> window.dataLayer = window.dataLayer || []; window.dataLayer.push({ 'cmsType' : 'WebPAC-PRO' }); </script> <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= '//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-N3CB');</script>  <script language="JavaScript" type="text/javascript">  </script> <script language="JavaScript1.1" type="text/javascript">  </script> <script type="text/javascript" src="/screens/js/gbsclasses.js"></script> <script type="text/javascript" src="/screens/js/gbsclasses.js"></script>  <noscript><div id="div-javascript">This page contains enriched content visible when JavaScript is enabled.</div></noscript> <div id="deakinwrapper">      <div id="header-new">   <iframe src="https://www.deakin.edu.au/library/media/static/deakin-header3" width="100%" height="115" scrolling="no" frameborder="0" style="margin: 0; vertical-align:bottom;" aria-label="Deakin header" title="Deakin header"></iframe> </div> <div class="pageContentColumn"> <div class="topLinks"> <ul id="topLinksList"> <li><a href="/patroninfo" title="Login to My Account" class="top-myaccount"><span class="buttonText">My Account</span></a></li> <li><a href="https://www.deakin.edu.au/library" title="Library home page" class="top-libhome"><span class="buttonText">Library Home</span></a></li> </ul> </div> <a name="content"></a>  <script type="text/JavaScript">  </script> <div id="TimeoutPopup" tabindex="0" class="modal" onkeypress="refreshSession(event)"> <div class="modal-content"> Your session will expire automatically in <span id=TimeoutSeconds>0</span> seconds.<br> <br> <button id="CancelTimeout" onclick="refreshSession()">Continue session</button> <button id="DoTimeout" onclick="endSession()">End session now</button></div> </div> <noscript> <meta http-equiv="Refresh" content="18000;URL=/" /> </noscript>  <div id="bibDisplayBody"> <div class="navigationRowRecord"> <a href="/search~S1?/dInformatique./dinformatique/47,-1,0,B/?save_func=save_to_mylist&save=b3633190&returnurl=/search~S1?/dInformatique./dinformatique/47%2C-1%2C0%2CB/frameset&FF=dinformatique+groupes+combinatoires+theorie+des&1%2C1%2C"><span class="button buttonNav">Save to My Lists</span></a> <a href="/search~S1?/dInformatique./dinformatique/47,-1,0,B/frameset&FF=dinformatique+groupes+combinatoires+theorie+des&1,1,?save=b3633190"><span class="button buttonNav">Export</span></a> <a href="/search~S1?/dInformatique./dinformatique/47%2C-1%2C0%2CB/browse#anchor_57"><span class="button buttonNav">Return to Browse</span></a> </div> <div id="bibDisplayContent"> <div class="bibSearch"> <script type="text/JavaScript">  </script> <form name="searchtool" target="_self" action="/search~S1/" method='GET'> <label for="searchtype" style="display:none;">SearchType</label> <select name="searchtype" id="searchtype" onChange="initSort()"> <option value="X"> Keyword</option> <option value="t"> Title</option> <option value="a"> Author (Last name first)</option> <option value="d" selected="selected"> Subject</option> <option value="i"> ISBN/ISSN</option> <option value="c"> Call Number</option> <option value="f"> Unit Code</option> <option value="m"> Libraries Australia No.</option> <option value="l"> Library of Congress No.</option> </select>   <label for="searcharg" style="display:none;">Search</label><input type="text" name="searcharg" id="searcharg" size="30" onchange='return searchtoolSubmitAction()'maxlength="75" value="Informatique." />   <label for="searchscope" style="display:none;">Search Scope</label><select name="searchscope" id="searchscope"> <option value="1" selected="selected"> Entire Collection</option> <option value="11"> Print Books</option> <option value="9"> E-books</option> <option value="12"> All books</option> <option value="10"> E-journals</option> <option value="6"> All journals</option> <option value="13"> Databases</option> <option value="3"> All e-resources</option> <option value="2"> Streaming Video</option> <option value="14"> DVDs</option> <option value="5"> Curriculum Resources</option> <option value="4"> Deakin Theses</option> <option value="8"> Special Collections</option> <option value="7"> GIFT City</option> <option value="15"> Melbourne Burwood</option> <option value="16"> Warrnambool</option> <option value="17"> Geelong Waterfront</option> <option value="18"> Geelong Waurn Ponds</option> </select>   <span id="sort_cell"> </span> <script type="text/JavaScript">  </script> <input type="hidden" name="SORT" value="D" /><input type="hidden" name="extended" value="0" /> <input type="submit" name="SUBMIT" value="Search" onclick='return searchtoolSubmitAction();' /> <div> <input type="checkbox" name="availlim" value="1" /> <span class="availLimMessage">Limit search to available items</span><br/> </div> <div> <input type="hidden" name="searchlimits" value="" /> <input type="hidden" name="searchorigarg" value="dInformatique." /> </div> </form> <div class="bibSearchHistory"> </div> </div>  <div class="bibPager"> <a href="/search~S1?/dInformatique./dinformatique/47%2C1%2C1%2CB/frameset&FF=dinformatique+globale&0%2C0%2C"><span class="button"><img src="/screens/ico_previous.gif" alt=""><span class="buttonText">Previous Record</span></span></a> <a href="/search~S1?/dInformatique./dinformatique/47%2C1%2C1%2CB/frameset&FF=dinformatique+groupes+finis&1%2C1%2C"><span class="button"><span class="buttonText" id="buttonNextRecord">Next Record</span><img src="/screens/ico_next.gif" alt=""></span></a> </div> <div class="bibClear"></div> <div class="bibResourceSidebar">  <a href="/record=b3633190~S1"><span class="button buttonNav">&nbsp&nbspPermalink&nbsp&nbsp&nbsp&nbsp</span></a></div> <div class="bibDisplayJacket"> <img src="https://secure.syndetics.com/index.aspx?isbn=9781107088368/SC.gif&client=deaka&type=unbound" border="0" alt="Book Cover"><div class="bibMedia"> <img src="/screens/media_ebook.gif" alt="E-book"></div> </div> <div class="bibDisplayContentMain">  <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js" type="text/javascript"></script> <link href="https://maxcdn.bootstrapcdn.com/font-awesome/4.6.3/css/font-awesome.min.css" rel="stylesheet" integrity="sha384-T8Gy5hrqNKT+hzMclPo118YTQO6cYprQmhrYwIiQ/3axmI1hQomh7Ud2hPOy8SP1" crossorigin="anonymous"> <script src="https://www.stackmap.com/integration/deakin_webpac/StackMap.js" type="text/javascript"></script> <link rel="stylesheet" media="all" type="text/css" href="https://www.stackmap.com/integration/deakin_webpac/StackMap.css" />   <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Author</td> <td class="bibInfoData"> <a href="/search~S1?/aSims%2C+Charles+C/asims+charles+c/-3,-1,0,B/browse">Sims, Charles C</a> </td></tr> </table>  </td></tr> </table>  <h1 class="bibDisplayTitle">  <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Title</td> <td class="bibInfoData"> <strong>Computation with finitely presented groups / Charles C. Sims</strong></td></tr> </table>  </td></tr> </table>    <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Published</td> <td class="bibInfoData"> Cambridge [England] ; New York : Cambridge University Press, 1994</td></tr> </table>  </td></tr> </table>  <div class="testlinkeddocs"> </div> <div class="bibDisplayUrls"> <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibLinks"> <tr><th> Click on the following:</th></tr> <tr align="center"> <td > <a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569332" onclick="window.open('https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569332'); return false;">EBSCO eBooks</a><br /> </td> </tr> </table> </div> <div class="bibDisplayItems"> <div class="bibDisplayItemsHeader"><h2>Copies</h2></div> <div class="bibDisplayItemsMain"> </div> </div> <div class="bibDisplayContentMore">  <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Description</td> <td class="bibInfoData"> 1 online resource (xiii, 604 pages) : illustrations</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Series</td> <td class="bibInfoData"> Encyclopedia of mathematics and its applications ; volume 48</td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/tEncyclopedia+of+mathematics+and+its+applications+%3B+volume+48.+http%3A%2F%2Fid.loc.gov%2Fauthorities%2Fnames%2Fn42010632/tencyclopedia+of+mathematics+and+its+applications+volume+++++++48+http+id+loc+gov+authorities+names+n42010632/-3,-1,0,B/browse">Encyclopedia of mathematics and its applications ; volume 48.</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Contents</td> <td class="bibInfoData"> 1. Basic concepts -- 2. Rewriting systems -- 3. Automata and rational languages -- 4. Subgroups of free products of cyclic groups -- 5. Coset enumeration -- 6. The Reidemeister-Schreier procedure -- 7. Generalized automata -- 8. Abelian groups -- 9. Polycyclic groups -- 10. Module bases -- 11. Quotient groups -- Appendix: Implementation issues</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Summary</td> <td class="bibInfoData"> Research in computational group theory, an active subfield of computational algebra, has emphasized four areas: finite permutation groups, finite solvable groups, matrix representations of finite groups, and finitely presented groups. This book deals with the last of these areas. It is the first text to present the fundamental algorithmic ideas which have been developed to compute with finitely presented groups that are infinite, or at least not obviously finite</td></tr> <tr> <td></td> <td class="bibInfoData"> The book describes methods for working with elements, subgroups, and quotient groups of a finitely presented group. The author emphasizes the connection with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, from computational number theory, and from computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms are used to study the abelian quotients of a finitely presented group</td></tr> <tr> <td></td> <td class="bibInfoData"> The work of Baumslag, Cannonito, and Miller on computing nonabelian polycyclic quotients is described as a generalization of Buchberger's Grobner 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</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Bibliography</td> <td class="bibInfoData"> Includes bibliographical references (pages 581-595) and index</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Notes</td> <td class="bibInfoData"> Print version record</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Subject</td> <td class="bibInfoData"> <a href="/search~S1?/dGroup+theory+--+Data+processing/dgroup+theory+data+processing/-3,-1,0,B/browse">Group theory -- Data processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dFinite+groups+--+Data+processing/dfinite+groups+data+processing/-3,-1,0,B/browse">Finite groups -- Data processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dCombinatorial+group+theory+--+Data+processing/dcombinatorial+group+theory+data+processing/-3,-1,0,B/browse">Combinatorial group theory -- Data processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dMATHEMATICS+--+Algebra+--+Intermediate./dmathematics+algebra+intermediate/-3,-1,0,B/browse">MATHEMATICS -- Algebra -- Intermediate.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dCombinatorial+group+theory+--+Data+processing/dcombinatorial+group+theory+data+processing/-3,-1,0,B/browse">Combinatorial group theory -- Data processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dFinite+groups+--+Data+processing/dfinite+groups+data+processing/-3,-1,0,B/browse">Finite groups -- Data processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dGroup+theory+--+Data+processing/dgroup+theory+data+processing/-3,-1,0,B/browse">Group theory -- Data processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dEndliche+Gruppe/dendliche+gruppe/-3,-1,0,B/browse">Endliche Gruppe</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dKombinatorische+Gruppentheorie/dkombinatorische+gruppentheorie/-3,-1,0,B/browse">Kombinatorische Gruppentheorie</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dEindige+groepen./deindige+groepen/-3,-1,0,B/browse">Eindige groepen.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dCombinatieleer./dcombinatieleer/-3,-1,0,B/browse">Combinatieleer.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dGroupes%2C+th{u00E9}orie+des+--+Informatique./dgroupes+theorie+des+informatique/-3,-1,0,B/browse">Groupes, th茅orie des -- Informatique.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dGroupes+finis+--+Informatique./dgroupes+finis+informatique/-3,-1,0,B/browse">Groupes finis -- Informatique.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dGroupes+combinatoires%2C+th{u00E9}orie+des+--+Infor/dgroupes+combinatoires+theorie+des+informatique/-3,-1,0,B/browse">Groupes combinatoires, th茅orie des -- Informatique.</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Form</td> <td class="bibInfoData"> <a href="/search~S1?/hElectronic+book/helectronic+book/-3,-1,0,B/browse">Electronic book</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">ISBN</td> <td class="bibInfoData"> 9781107088368</td></tr> <tr> <td></td> <td class="bibInfoData"> 1107088364</td></tr> </table>  </td></tr> </table>   <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> </table>  </td></tr> </table>  </div>         <div class="bibDisplayContentMore bibDisplayReviews"> <div class="bibDisplayPermLink actionButtonArea"> <a href="/record=b3633190~S1"><span class="button buttonNav">&nbsp&nbspPermalink&nbsp&nbsp&nbsp&nbsp</span></a></div> </div> </div>  <script src="https://unbound.syndetics.com/syndeticsunbound/connector/initiator.php?a_id=465&i_id=1182" type="text/javascript"></script>  </div> <div class="clear"></div> </div> <br />    </div> <div style="clear:both"></div> </div> <iframe src="https://www.deakin.edu.au/library/media/static/deakin-footer2" target="_top" style="width:100%;height: 648px;border: none;overflow: hidden;margin: 0;" scrolling="no" aria-label="Deakin footer" title="Deakin footer"></iframe>   </body> </html> <script> // replace generic title in head with item title if (jQuery("div.navigationRow form select option").length !== 0) { document.title = jQuery("div.navigationRow form select option").next().html().trim(); /*addMetaTag('og:title', document.title);*/ } else if (jQuery("tr td.bibInfoLabel:contains('Title')").length !== 0) { document.title = jQuery("tr td.bibInfoLabel:contains('Title')").next().children('strong').text().trim(); /*addMetaTag('og:title', document.title);*/ } </script>  <script type='text/javascript'> var meta = document.createElement('meta'); meta.setAttribute('name' , 'description'); meta.setAttribute('content', document.title + ' is a resource in the Deakin University Library collection'); document.head.appendChild(meta); </script> <script type='text/javascript'> var meta = document.createElement('meta'); meta.setAttribute('name', 'viewport'); meta.setAttribute('content','width=device-width, initial-scale=1.0'); document.head.appendChild(meta); </script>  <script type='text/javascript'> var link = document.createElement('link'); link.setAttribute('rel', 'alternate'); link.setAttribute('href', 'http:' + '//' + 'm.library.deakin.edu.au' + location.pathname); link.setAttribute ('media', 'only screen and (max-width: 640px)') document.head.appendChild(link); </script> <script type='text/javascript'> var link = document.createElement('link'); link.setAttribute('rel', 'canonical'); link.setAttribute('href', 'http:' + '//' + 'library.deakin.edu.au' + location.pathname); document.head.appendChild(link); </script>