Equations in groups that are virtually direct products

被引:9
作者
Ciobanu, Laura [1 ]
Holt, Derek [2 ]
Rees, Sarah [3 ]
机构
[1] Heriot Watt Univ, Math & Comp Sci, Colin McLaurin Bldg, Edinburgh EH14 4AS, Midlothian, Scotland
[2] Univ Warwick, Math Inst, Zeeman Bldg, Coventry CV4 7AL, W Midlands, England
[3] Univ Newcastle, Sch Math Stat & Theoret Phys, Newcastle NE1 7RU, England
基金
英国工程与自然科学研究理事会;
关键词
Equations in groups; Hyperbolic groups; Direct products; Wreath products;
D O I
10.1016/j.jalgebra.2018.10.044
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this note, we show that the satisfiability of equations and inequations with recognisable constraints is decidable in groups that are virtually direct products of finitely many hyperbolic groups. Crown Copyright (C) 2018 Published by Elsevier Inc. All rights reserved.
引用
收藏
页码:88 / 99
页数:12
相关论文
共 20 条
[1]  
Bartholdi L., ARXIV10121532V1
[2]  
Bridson M., 1999, METRIC SPACES NONPOS
[3]  
Ciobanu L., 2018, SOLUTIONS EQUA UNPUB
[4]   Solution sets for equations over free groups are EDT0L languages [J].
Ciobanu, Laura ;
Diekert, Volker ;
Elder, Murray .
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2016, 26 (05) :843-886
[5]   Foliations for solving equations in groups: free, virtually free, and hyperbolic groups [J].
Dahmani, Francois ;
Guirardel, Vincent .
JOURNAL OF TOPOLOGY, 2010, 3 (02) :343-404
[6]   Existential questions in (relatively) hyperbolic groups [J].
Dahmani, Francois .
ISRAEL JOURNAL OF MATHEMATICS, 2009, 173 (01) :91-124
[7]   The existential theory of equations with rational constraints in free groups is PSPACE-complete [J].
Diekert, V ;
Gutierrez, C ;
Hagenah, C .
INFORMATION AND COMPUTATION, 2005, 202 (02) :105-140
[8]  
Diekert V, 2004, THEOR COMPUT SYST, V37, P133, DOI [10.1007/s0224-003-1110-x, 10.1007/s00224-003-1110-x]
[9]  
Diekert V., 2017, ICALP 2017 P WARS PO
[10]   Word equations over graph products [J].
Diekert, Volker ;
Lohrey, Markus .
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2008, 18 (03) :493-533