On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 /

On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller.

Part exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for grou...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
VerfasserIn:
Miller, Charles F.,
Place / Publishing House:Princeton, NJ : : Princeton University Press, , [2016]
©1972
Year of Publication:2016
Language:English
Series:Annals of Mathematics Studies ; 68
Online Access:
Physical Description:1 online resource (116 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 05801nam a22015495i 4500
001 9781400881789
003 DE-B1597
005 20220131112047.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 220131t20161972nju fo d z eng d
020 |a 9781400881789 
024 7 |a 10.1515/9781400881789  |2 doi 
035 |a (DE-B1597)467981 
035 |a (OCoLC)979970559 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a eng 
044 |a nju  |c US-NJ 
072 7 |a MAT014000  |2 bisacsh 
082 0 4 |a 512/.2  |2 23 
100 1 |a Miller, Charles F.,   |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 /  |c Charles F. Miller. 
264 1 |a Princeton, NJ :   |b Princeton University Press,   |c [2016] 
264 4 |c ©1972 
300 |a 1 online resource (116 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 0 |a Annals of Mathematics Studies ;  |v 68 
505 0 0 |t Frontmatter --   |t PREFACE --   |t CONTENTS --   |t CHAPTER I. INTRODUCTION --   |t CHAPTER II. PROPERTIES OF BRITTON EXTENSIONS --   |t CHAPTER III. UNSOLVABILITY RESULTS FOR RESIDUALLY FINITE GROUPS --   |t CHAPTER IV. THE WORD AND CONJUGACY PROBLEMS FOR CERTAIN ELEMENTARY GROUPS --   |t CHAPTER V. ON THE ISOMORPHISM PROBLEM FOR GROUPS --   |t LIST OF REFERENCES --   |t INDEX OF SYMBOLS --   |t INDEX 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |a Part exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for groups. The presentation depends on previous results of J. L. Britton, which, with other factual background, are treated in detail. 
530 |a Issued also in print. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In English. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022) 
650 0 |a Group theory. 
650 0 |a Logic, Symbolic and mathematical. 
650 7 |a MATHEMATICS / Group Theory.  |2 bisacsh 
653 |a Abelian group. 
653 |a Betti number. 
653 |a Characteristic function (probability theory). 
653 |a Characterization (mathematics). 
653 |a Combinatorial group theory. 
653 |a Conjecture. 
653 |a Conjugacy class. 
653 |a Conjugacy problem. 
653 |a Contradiction. 
653 |a Corollary. 
653 |a Cyclic permutation. 
653 |a Decision problem. 
653 |a Diffeomorphism. 
653 |a Direct product. 
653 |a Direct proof. 
653 |a Effective method. 
653 |a Elementary class. 
653 |a Embedding. 
653 |a Enumeration. 
653 |a Epimorphism. 
653 |a Equation. 
653 |a Equivalence relation. 
653 |a Exact sequence. 
653 |a Existential quantification. 
653 |a Finite group. 
653 |a Finite set. 
653 |a Finitely generated group. 
653 |a Finitely presented. 
653 |a Free group. 
653 |a Free product. 
653 |a Fundamental group. 
653 |a Fundamental theorem. 
653 |a Group (mathematics). 
653 |a Group theory. 
653 |a Gödel numbering. 
653 |a Homomorphism. 
653 |a Homotopy. 
653 |a Inner automorphism. 
653 |a Markov property. 
653 |a Mathematical logic. 
653 |a Mathematical proof. 
653 |a Mathematics. 
653 |a Monograph. 
653 |a Natural number. 
653 |a Nilpotent group. 
653 |a Normal subgroup. 
653 |a Notation. 
653 |a Permutation. 
653 |a Polycyclic group. 
653 |a Presentation of a group. 
653 |a Quotient group. 
653 |a Recursive set. 
653 |a Requirement. 
653 |a Residually finite group. 
653 |a Semigroup. 
653 |a Simple set. 
653 |a Simplicial complex. 
653 |a Solvable group. 
653 |a Statistical hypothesis testing. 
653 |a Subgroup. 
653 |a Theorem. 
653 |a Theory. 
653 |a Topology. 
653 |a Transitive relation. 
653 |a Triviality (mathematics). 
653 |a Truth table. 
653 |a Turing degree. 
653 |a Turing machine. 
653 |a Without loss of generality. 
653 |a Word problem (mathematics). 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t Princeton Annals of Mathematics eBook-Package 1940-2020  |z 9783110494914  |o ZDB-23-PMB 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t Princeton University Press eBook-Package Archive 1927-1999  |z 9783110442496 
776 0 |c print  |z 9780691080918 
856 4 0 |u https://doi.org/10.1515/9781400881789 
856 4 0 |u https://www.degruyter.com/isbn/9781400881789 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9781400881789/original 
912 |a 978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999  |c 1927  |d 1999 
912 |a EBA_BACKALL 
912 |a EBA_CL_MTPY 
912 |a EBA_EBACKALL 
912 |a EBA_EBKALL 
912 |a EBA_ECL_MTPY 
912 |a EBA_EEBKALL 
912 |a EBA_ESTMALL 
912 |a EBA_PPALL 
912 |a EBA_STMALL 
912 |a GBV-deGruyter-alles 
912 |a PDA12STME 
912 |a PDA13ENGE 
912 |a PDA18STMEE 
912 |a PDA5EBK 
912 |a ZDB-23-PMB  |c 1940  |d 2020 

Similar Items