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 条
[11]   Solvability of equations in graph groups is decidable [J].
Diekert, Volker ;
Muscholl, Anca .
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2006, 16 (06) :1047-1069
[12]   RATIONAL SUBGROUPS OF BIAUTOMATIC GROUPS [J].
GERSTEN, SM ;
SHORT, HB .
ANNALS OF MATHEMATICS, 1991, 134 (01) :125-158
[13]  
GHYS E, 1990, Progress in Math, V83, DOI DOI 10.1007/978-1-4684-9167-8
[14]   ON NORMAL-SUBGROUPS WHICH ARE DIRECT PRODUCTS [J].
GROSS, F ;
KOVACS, LG .
JOURNAL OF ALGEBRA, 1984, 90 (01) :133-168
[15]   GROUP PRESENTATIONS, FORMAL LANGUAGES AND CHARACTERIZATIONS OF ONE-COUNTER GROUPS [J].
HERBST, T ;
THOMAS, RM .
THEORETICAL COMPUTER SCIENCE, 1993, 112 (02) :187-213
[16]  
Krasner M., 1951, ACTA SCI MATH SZEGED, V14, P69
[17]   Equation problem over central extensions of hyperbolic groups [J].
Liang, Hao .
JOURNAL OF TOPOLOGY AND ANALYSIS, 2014, 6 (02) :167-192
[18]  
Lohrey M., 2018, PREPRINT
[19]  
Makanin G.S., 1982, IZV AKAD NAUK SSSR M, V46
[20]  
Razborov AA., 1984, Izv. Akad. Nauk SSSR Ser. Mat, V48, P779