The bounded and precise word problems for presentations of groups / / S.V. Ivanov.
"We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the p...
Saved in:
Superior document: | Memoirs of the American Mathematical Society, number 1281 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Providence, RI : : American Mathematical Society,, 2020. |
Year of Publication: | 2020 |
Language: | English |
Series: | Memoirs of the American Mathematical Society ;
number 1281. |
Online Access: | |
Physical Description: | 1 online resource (118 pages). |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 04030nam a2200481 i 4500 | ||
---|---|---|---|
001 | 5006195968 | ||
003 | MiAaPQ | ||
005 | 20200810212242.0 | ||
006 | m o d | | ||
007 | cr cnu|||||||| | ||
008 | 200810s2020 riu ob 000 0 eng | ||
020 | |z 9781470441432 | ||
020 | |a 9781470458041 (e-book) | ||
035 | |a (MiAaPQ)5006195968 | ||
035 | |a (Au-PeEL)EBL6195968 | ||
035 | |a (OCoLC)1153270295 | ||
040 | |a MiAaPQ |b eng |e rda |e pn |c MiAaPQ |d MiAaPQ | ||
050 | 4 | |a QA174.2 |b .I936 2020 | |
082 | 0 | |a 512/.2 |2 23 | |
100 | 1 | |a Ivanov, S. V. |q (Sergei V.), |e author. | |
245 | 1 | 4 | |a The bounded and precise word problems for presentations of groups / |c S.V. Ivanov. |
264 | 1 | |a Providence, RI : |b American Mathematical Society, |c 2020. | |
300 | |a 1 online resource (118 pages). | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Memoirs of the American Mathematical Society, |x 0065-9266 ; |v number 1281 | |
504 | |a Includes bibliographical references. | ||
505 | 0 | |a Preliminaries -- Proof of proposition 1.1 -- Calculus of brackets for group presentation (1.2) -- Proofs of theorem 1.2 and corollary 1.3 -- Calculus of brackets for group presentation (1.4) -- Proof of theorem 1.4 -- Minimizing diagrams over (1.2) and proofs of theorem 1.5 and corollary 1.6 -- Construction of minimal diagrams over (1.4) and proof of theorem 1.7 -- Polygonal curves in the plane and proofs of theorems 1.8, 1.9 and corollary 1.10. | |
520 | |a "We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE, i.e., it can be solved in polynomial space. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic space. As consequences of developed techniques that can be described as calculus of brackets, we obtain polylogarithmic space bounds for the computational complexity of the diagram problem for free groups, for the width problem for elements of free groups, and for computation of the area defined by polygonal singular closed curves in the plane. We also obtain polynomial time bounds for these problems"-- |c Provided by publisher. | ||
588 | |a Description based on print version record. | ||
590 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 7 | |a Group theory and generalizations -- Special aspects of infinite or finite groups -- Geometric group theory [See also 05C25, 20E08, 57Mxx]. |2 msc | |
650 | 7 | |a Group theory and generalizations -- Special aspects of infinite or finite groups -- Generators, relations, and presentations. |2 msc | |
650 | 7 | |a Group theory and generalizations -- Special aspects of infinite or finite groups -- Cancellation theory; application of van Kampen diagrams [See also 57M05]. |2 msc | |
650 | 7 | |a Convex and discrete geometry -- Polytopes and polyhedra -- Combinatorial properties (number of faces, shortest paths, etc.) [See also 05Cxx]. |2 msc | |
650 | 0 | |a Word problems (Mathematics) | |
650 | 0 | |a Presentations of groups (Mathematics) | |
655 | 4 | |a Electronic books. | |
776 | 0 | 8 | |i Print version: |a Ivanov, Sergei V. |t Bounded and precise word problems for presentations of groups |d Providence, Rhode Island; American Mathematical Society [2020] |h 118 pages |z 9781470441432 |w (DLC) 2020023537 |
797 | 2 | |a ProQuest (Firm) | |
830 | 0 | |a Memoirs of the American Mathematical Society ; |v number 1281. | |
856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=6195968 |z Click to View |