Normal view MARC view ISBD view

Computation with finitely presented groups / (Record no. 13430)

MARC details
000 -LEADER
fixed length control field	02958cam a2200361 a 4500
001 - CONTROL NUMBER
control field	0000025588
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20230921135913.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	920903s1994 enkm b a001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number	92032383
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0521432138 (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9780521432139 (hardback)
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)26672381
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA171
Item number	.S6173 1993
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Sims, Charles C.
245 10 - TITLE STATEMENT
Title	Computation with finitely presented groups /
Statement of responsibility, etc.	by Charles C. Sims.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Cambridge [England] :
Name of publisher, distributor, etc.	Cambridge University Press,
Date of publication, distribution, etc.	1994.
264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture	Cambridge [England] :
Name of producer, publisher, distributor, manufacturer	Cambridge University Press,
Date of production, publication, distribution, manufacture, or copyright notice	1994
300 ## - PHYSICAL DESCRIPTION
Extent	xiii, 604 pages :
Other physical details	illustrations ;
Dimensions	25 cm.
490 1# - SERIES STATEMENT
Series statement	Encyclopedia of mathematics and its applications ;
Volume/sequential designation	v. 48.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographical references (p. [581]-595) and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	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.
520 ## - SUMMARY, ETC.
Summary, etc.	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.
520 8# - SUMMARY, ETC.
Summary, etc.	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.
520 8# - SUMMARY, ETC.
Summary, etc.	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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Group theory
General subdivision	Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Finite groups
General subdivision	Data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Combinatorial group theory
General subdivision	Data processing.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Encyclopedia of mathematics and its applications ;
Volume/sequential designation	v. 48.
908 ## - PUT COMMAND PARAMETER (RLIN)
Put command parameter	150422
913 ## -
--	N
989 ## -
--	20230822095114.0

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Date acquired	Total Checkouts	Full call number	Barcode	Date last seen	Copy number	Price effective from	Koha item type
				Chinhoyi University of Technology Libraries	Chinhoyi University of Technology Libraries	09/21/2023		QA 171 SIM	BK00460454	09/21/2023	c.037756	09/21/2023	Books