Involutary presentations, with applications to Coxeter groups, NEC- groups, and groups of Kanevskiĭ
type: Item
instance of: scholarly article
title: Involutary presentations, with applications to Coxeter groups, NEC- groups, and groups of Kanevskiĭ
zbMATH Open document ID: 0679.20033
DOI: 10.1016/0021-8693(89)90195-6
published in: Journal of Algebra
publication date: 1989-01-01T00:00:00Z
review text: The dependence problem DP(n) is solvable for a group G if there is an algorithm to decide for any \((k+1)\)-tuple \((g_ 0,g_ 1,...,g_ k)\) of elements of G, with \(k<n\), whether there exist a subsequence \((g_{i_ 1},...,g_{i_ p})\) of \((g_ 1,...,g_ k)\) and elements \(u_ 1,...,u_ p\) of G such that \(g_ 0(u_ 1g_{i_ 1}u_ 1^{- 1})\cdot \cdot \cdot (u_ pg_{i_ p}u_ p^{-1})=1\). DP(1) is the word problem and DP(2) is the conjugacy problem. When DP(n) is solvable for all n, then it is said that DP(\(\infty)\) is solvable for G. The author finds a class of groups for which DP(\(\infty)\) is solvable. These are the groups which have hyperbolic involutary presentations. An involutary presentation associates an inversion involution to the generators, so generators of order \(\leq 2\) are fixed by the involution. This allows certain arguments to be approached in a uniform way, so that generators of order 2 need not be treated as exceptional. An involutary presentation is called hyperbolic when one can attach weights, satisfying certain conditions, to (all cyclic permutations of) the relations. The conditions are stated in terms of the coinitial graph, or star complex, associated to the presentation. They allow simplifications to be made on diagrams representing words which are trivial in G. (An additional technical condition, which is implied if each generator whose square is a relation is nontrivial in G, is needed to deduce DP(\(\infty).)\) It is proved that Coxeter groups of extra large type (the product of two adjacent generating involutions has order at least 4) and most of the ones of large type (the product has order at least 3) admit hyperbolic involutary presentations. So do the cocompact NEC groups, i.e. the finitely generated discrete groups of isometries of the hyperbolic plane with compact orbit space. Thus DP(\(\infty)\) is solvable for these examples. The author also studies certain groups of automorphisms of cubic surfaces, first investigated by \textit{D. S.…
reviewed by: Darryl McCullough
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 57M05
Mathematics Subject Classification ID: 20H15
zbMATH DE Number: 4112879
zbMATH Keywords: dependence problem
zbMATH Keywords: word problem
zbMATH Keywords: conjugacy problem
zbMATH Keywords: hyperbolic involutary presentations
zbMATH Keywords: generators
zbMATH Keywords: relations
zbMATH Keywords: coinitial graph
zbMATH Keywords: star complex
zbMATH Keywords: Coxeter groups
zbMATH Keywords: cocompact NEC groups
zbMATH Keywords: groups of automorphisms of cubic surfaces
author: Stephen J. Pride
MaRDI profile type: Publication
full work available at URL: 0021-8693(89)90195-6
OpenAlex ID: W1978499010
cites work: Q3697232
cites work: Artin groups and infinite Coxeter groups
cites work: Q5580319
cites work: On the T(q)-conditions of small cancellation theory
cites work: Subgroups of NEC groups
cites work: THE STRUCTURE OF GROUPS CONNECTED WITH AUTOMORPHISMS OF CUBIC SURFACES
cites work: On cubic planes and groups connected with cubic varieties
cites work: Q4145882
cites work: On Group-Theoretic Decision Problems and Their Classification. (AM-68)
cites work: On generalized braid groups
cites work: Star-complexes, and the dependence problems for hyperbolic complexes
cites work: Q3926778
cites work: On non-Euclidean crystallographic groups
cites work: Surfaces and planar discontinuous groups. Revised and expanded transl. from the German by J. Stillwell
cites work: Q4776067
description: scientific article; zbMATH DE number 4112879