Showing 1–12 of 12 results for author: Gilman, R H

Andrews-Curtis groups

Authors: Robert H. Gilman, Alexei G. Myasnikov

Abstract: For any group $G$ and integer $k\ge 2$ the Andrews-Curtis transformations act as a permutation group, termed the Andrews-Curtis group $AC_k(G)$, on the subset $N_k(G) \subset G^k$ of all $k$-tuples that generate $G$ as a normal subgroup (provided $N_k(G)$ is non-empty). The famous Andrews-Curtis Conjecture is that if $G$ is free of rank $k$, then $AC_k(G)$ acts transitively on $N_k(G)$. The set… ▽ More For any group $G$ and integer $k\ge 2$ the Andrews-Curtis transformations act as a permutation group, termed the Andrews-Curtis group $AC_k(G)$, on the subset $N_k(G) \subset G^k$ of all $k$-tuples that generate $G$ as a normal subgroup (provided $N_k(G)$ is non-empty). The famous Andrews-Curtis Conjecture is that if $G$ is free of rank $k$, then $AC_k(G)$ acts transitively on $N_k(G)$. The set $N_k(G)$ may have a rather complex structure, so it is easier to study the full Andrews-Curtis group $FAC(G)$ generated by AC-transformations on a much simpler set $G^k$. Our goal here is to investigate the natural epimorphism $λ\colon FAC_k(G) \to AC_k(G)$. We show that if $G$ is non-elementary torsion-free hyperbolic, then $FAC_k(G)$ acts faithfully on every nontrivial orbit of $G^k$, hence $λ\colon FAC_k(G) \to AC_k(G)$ is an isomorphism. △ Less

Submitted 2 July, 2025; v1 submitted 28 June, 2025; originally announced June 2025.

Comments: 7 pages. In memory of Ben Fine. Published in journal of Groups, Complexity, Cryptology

Journal ref: journal of Groups, complexity, cryptology, Volume 16, Issue 1, Special issue in memory of Ben Fine (July 4, 2025) gcc:15972

Algorithmic Search in Group Theory

Authors: Robert H. Gilman

Abstract: A method of random search based on Kolmogorov complexity is proposed and applied to two search problems in group theory. The method is provably effective but not practical, so the applications involve heuristic approximations. Perhaps surprisingly, these approximations seem to work. Some experimental evidence is presented. A method of random search based on Kolmogorov complexity is proposed and applied to two search problems in group theory. The method is provably effective but not practical, so the applications involve heuristic approximations. Perhaps surprisingly, these approximations seem to work. Some experimental evidence is presented. △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 7 pages, 2 figures

MSC Class: 20B40

Groups whose word problems are not semilinear

Authors: Robert H. Gilman, Robert P. Kropholler, Saul Schleimer

Abstract: Suppose that G is a finitely generated group and W is the formal language of words defining the identity in G. We prove that if G is a nilpotent group, the fundamental group of a finite volume hyperbolic three-manifold, or a right-angled Artin group whose graph lies in a certain infinite class, then W is not a multiple context free language. Suppose that G is a finitely generated group and W is the formal language of words defining the identity in G. We prove that if G is a nilpotent group, the fundamental group of a finite volume hyperbolic three-manifold, or a right-angled Artin group whose graph lies in a certain infinite class, then W is not a multiple context free language. △ Less

Submitted 25 April, 2018; originally announced April 2018.

MSC Class: 20F10

A Finitely presented group whose word problem has sampleable hard instances

Authors: Robert H Gilman

Abstract: Hard instances of natural computational problems are often elusive. In this note we present an example of a natural decision problem, the word problem for a certain finitely presented group, whose hard instances are easy to find. More precisely the problem has a complexity core sampleable in linear time. Hard instances of natural computational problems are often elusive. In this note we present an example of a natural decision problem, the word problem for a certain finitely presented group, whose hard instances are easy to find. More precisely the problem has a complexity core sampleable in linear time. △ Less

Submitted 7 February, 2016; originally announced February 2016.

Comments: 3 pages

MSC Class: 68A20

Generalized Small Cancellation Presentations for Automatic Groups

Authors: Robert H. Gilman

Abstract: By a result of Gersten and Short finite presentations satisfying the usual non-metric small cancellation conditions present biautomatic groups. We show that in the case in which all pieces have length one, a generalization of the C(3)-T(6) condition yields a larger collection of biautomatic groups. By a result of Gersten and Short finite presentations satisfying the usual non-metric small cancellation conditions present biautomatic groups. We show that in the case in which all pieces have length one, a generalization of the C(3)-T(6) condition yields a larger collection of biautomatic groups. △ Less

Submitted 28 June, 2014; originally announced June 2014.

MSC Class: 20F05; 20F65

A characterisation of virtually free groups

Authors: Robert H. Gilman, S. Hermiller, Derek F. Holt, Sarah Rees

Abstract: We prove that a finitely generated group $G$ is virtually free if and only if there exists a generating set for $G$ and $k > 0$ such that all $k$-locally geodesic words with respect to that generating set are geodesic. We prove that a finitely generated group $G$ is virtually free if and only if there exists a generating set for $G$ and $k > 0$ such that all $k$-locally geodesic words with respect to that generating set are geodesic. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Journal ref: Archiv der Mathematik 89 (2007) 289--295

A Geometric Zero-One Law

Authors: Robert H. Gilman, Yuri Gurevich, Alexei Miasnikov

Abstract: Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-order sentence in the language of X is almost surely true (resp. a.s. false) for finite substructures of X if for every element x in X, the fraction of substructures of the ball of radius n around x which satisfy the sent… ▽ More Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-order sentence in the language of X is almost surely true (resp. a.s. false) for finite substructures of X if for every element x in X, the fraction of substructures of the ball of radius n around x which satisfy the sentence approaches 1 (resp. 0) as n approaches infinity. Suppose further that, for every finite substructure, X has a disjoint isomorphic substructure. Then every sentence is a.s. true or a.s. false for finite substructures of X. This is one form of the geometric zero-one law. We formulate it also in a form that does not mention the ambient infinite structure. In addition, we investigate various questions related to the geometric zero-one law. △ Less

Submitted 2 June, 2007; originally announced June 2007.

Comments: 13 pages

MSC Class: 03C13

Automatic Quotients of Free Groups

Authors: Robert H. Gilman

Abstract: Automatic groups admitting prefix closed automatic structures with uniqueness are characterized as the quotients of free groups by normal subgroups possessing sets of free generators satisfying certain language-theoretic conditions. Automatic groups admitting prefix closed automatic structures with uniqueness are characterized as the quotients of free groups by normal subgroups possessing sets of free generators satisfying certain language-theoretic conditions. △ Less

Submitted 20 March, 2005; v1 submitted 4 May, 2003; originally announced May 2003.

Comments: 14 pages, no figures. Minor corrections. Statements of theorems and lemmas are unchanged

MSC Class: 20F65; 68Q45

Word Hyperbolic Semigroups

Authors: Andrew Duncan, Robert H. Gilman

Abstract: The study of word hyperbolic groups is a prominent topic in geometric group theory; however word hyperbolic groups are defined by a geometric condition which does not extend naturally to semigroups. We propose a linguistic definition. Roughly speaking a semigroup is word hyperbolic if its multiplication table is a context free language. For groups this definition is equivalent to the original ge… ▽ More The study of word hyperbolic groups is a prominent topic in geometric group theory; however word hyperbolic groups are defined by a geometric condition which does not extend naturally to semigroups. We propose a linguistic definition. Roughly speaking a semigroup is word hyperbolic if its multiplication table is a context free language. For groups this definition is equivalent to the original geometric one. We also briefly consider word problems of semigroups. △ Less

Submitted 30 April, 2002; originally announced April 2002.

Comments: 12 pages

MSC Class: 20M10 (Primary) 20M35; 20F65 (Secondary)

On the Definition of Word Hyperbolic Groups

Authors: Robert H. Gilman

Abstract: Formal languages based on the multiplication tables of finitely generated groups are investigated and used to give a linguistic characterization of word hyperbolic groups. Formal languages based on the multiplication tables of finitely generated groups are investigated and used to give a linguistic characterization of word hyperbolic groups. △ Less

Submitted 12 October, 2000; originally announced October 2000.

Comments: 12 pages 4 figures

MSC Class: Primary 20F67 Secondary 20F65 68Q45

Combing nilpotent and polycyclic groups

Authors: Robert H. Gilman, Derek F. Holt, Sarah Rees

Abstract: A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2 nilpotent group with cyclic commutator subgroup is real-time combable, as are also all 2 or 3-generated class 2 nilpotent groups, and groups in certain families o… ▽ More A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2 nilpotent group with cyclic commutator subgroup is real-time combable, as are also all 2 or 3-generated class 2 nilpotent groups, and groups in certain families of nilpotent groups, e.g. the finitely generated Heisenberg groups, groups of unipotent matrices over the integers and the free class 2 nilpotent groups. Further it is shown that any polycyclic-by-finite group embeds in a real-time combable group. All the combings constructed in the article are boundedly asynchronous, and those for nilpotent-by-finite groups have polynomially bounded length functions, of degree equal to the nilpotency class, c. This result verifies a polynomial upper bound on the Dehn functions of those groups of degree c+1. △ Less

Submitted 21 January, 1999; originally announced January 1999.

Comments: To appear in the International Journal of Algebra and Computation

MSC Class: 20F10; 20-04; 68Q40; secondary: 03D40

The Geometry of Cycles in the Cayley Diagram of a Group

Authors: Robert H. Gilman

Abstract: A study of triangulations of cycles in the Cayley diagrams of finitely generated groups leads to a new geometric characterization of hyperbolic groups. A study of triangulations of cycles in the Cayley diagrams of finitely generated groups leads to a new geometric characterization of hyperbolic groups. △ Less

Submitted 1 November, 1993; originally announced November 1993.

Comments: AMS-Tex, 9 pages, no figures. To be published in Contemporary Mathematics, The Mathematical Legacy of Wilhelm Magnus

Report number: MAGNUS preprint #93-11-02A