BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Susan Hermiller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union of generating sets of the vertex groups.
We compute the smooth 4-genera of the prime knots with 12 crossings whose values, as reported on the KnotInfo website, were unknown. This completes the calculation of the smooth 4-genus for all prime knots with 12 or fewer crossings.
In this article we construct asynchronous and sometimes synchronous automatic structures for amalgamated products and HNN extensions of groups that are strongly asynchronously (or synchronously) coset automatic with respect to the associated automatic subgroups, subject to further geometric conditions. These results are proved in the general context of fundamental groups of graphs of groups. The hypotheses of our closure results are satisfied in a variety of examples such as Artin groups of sufficiently large type, Coxeter groups, virtually abelian groups, and groups that are hyperbolic relative to virtually abelian subgroups.
The set of finitely generated subgroups of the group $PL_+(I)$ of orientation-preserving piecewise-linear homeomorphisms of the unit interval includes many important groups, most notably R.~Thompson's group $F$. In this paper we show that every finitely generated subgroup $G<PL_+(I)$ is either soluble, or contains an embedded copy of Brin's group $B$, a finitely generated, non-soluble group, which verifies a conjecture of the first author from 2009. In the case that $G$ is soluble, we show that the derived length of $G$ is bounded above by the number of breakpoints of any finite set of generators. We specify a set of `computable' subgroups of $PL_+(I)$ (which includes R. Thompson's group $F$) and we give an algorithm which determines in finite time whether or not any given finite subset $X$ of such a computable group generates a soluble group. When the group is soluble, the algorithm also determines the derived length of $\langle X\rangle$. Finally, we give a solution of the membership problem for a family of finitely generated soluble subgroups of any computable subgroup of $PL_+(I)$.
Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability, which implies solvability of the word problem. In this paper we give two new characterizations of the stackable property for groups, and use these to show that every HNN extension of a stackable group is stackable. We apply this to exhibit a wide range of Dehn functions that are admitted by stackable and autostackable groups, as well as an example of a stackable group with unsolvable word problem. We use similar methods to show that there exist finitely presented metabelian groups that are non-constructible but admit an autostackable structure.
Autostackability for finitely presented groups is a topological property of the Cayley graph combined with formal language theoretic restrictions, that implies solvability of the word problem. The class of autostackable groups is known to include all asynchronously automatic groups with respect to a prefix-closed normal form set, and all groups admitting finite complete rewriting systems. Although groups in the latter two classes all satisfy the homological finiteness condition $FP_\infty$, we show that the class of autostackable groups includes a group that is not of type $FP_3$. We also show that the class of autostackable groups is closed under graph products and extensions.
We introduce a topological property for finitely generated groups called stackable that implies the existence of an inductive procedure for constructing van Kampen diagrams with respect to a particular finite presentation. We also define algorithmically stackable groups, for which this procedure is an algorithm. This property gives a common model for algorithms arising from both rewriting systems and almost convexity for groups.
We study the regularity of several languages derived from conjugacy classes in a finitely generated group G for a variety of examples including word hyperbolic, virtually abelian, Artin, and Garside groups. We also determine the rationality of the growth series of the shortlex conjugacy language in virtually cyclic groups, proving one direction of a conjecture of Rivin.
In this article we show that the Baumslag-Solitar group $BS(1,2)$ is minimally almost convex, or $MAC$. We also show that $BS(1,2)$ does not satisfy Poénaru's almost convexity condition $P(2)$, and hence the condition $P(2)$ is strictly stronger than $MAC$. Finally, we show that the groups $BS(1,q)$ for $q \geq 7$ and Stallings' non-$FP_3$ group do not satisfy $MAC$. As a consequence, the condition $MAC$ is not a commensurability invariant.
A new pair of asymptotic invariants for finitely presented groups, called intrinsic and extrinsic tame filling functions, are introduced. These filling functions are quasi-isometry invariants that strengthen the notions of intrinsic and extrinsic diameter functions for finitely presented groups. We show that the existence of a (finite-valued) tame filling function implies that the group is tame combable. Bounds on both intrinsic and extrinsic tame filling functions are discussed for stackable groups, including groups with a finite complete rewriting system, Thompson's group F, and almost convex groups.
Autostackability for finitely generated groups is defined via a topological property of the associated Cayley graph which can be encoded in a finite state automaton. Autostackable groups have solvable word problem and an effective inductive procedure for constructing van Kampen diagrams with respect to a canonical finite presentation. A comparison with automatic groups is given. Another characterization of autostackability is given in terms of prefix-rewriting systems. Every group which admits a finite complete rewriting system or an asynchronously automatic structure with respect to a prefix-closed set of normal forms is also autostackable. As a consequence, the fundamental group of every closed 3-manifold with any of the eight possible uniform geometries is autostackable.
We study the 4-move invariant \crl\ for links in the 3-sphere developed by Dabkowski and Sahi, which is defined as a quotient of the fundamental group of the link complement. We develop techniques for computing this invariant and show that for several classes of knots it is equal to the invariant for the unknot; therefore, in these cases the invariant cannot detect a counterexample to the 4-move conjecture.
In this paper we introduce the geodesic conjugacy language and geodesic conjugacy growth series for a finitely generated group. We study the effects of various group constructions on rationality of both the geodesic conjugacy growth series and spherical conjugacy growth series, as well as on regularity of the geodesic conjugacy language and spherical conjugacy language. In particular, we show that regularity of the geodesic conjugacy language is preserved by the graph product construction, and rationality of the geodesic conjugacy growth series is preserved by both direct and free products.
We introduce a combinatorial property for finitely generated groups called stackable that implies the existence of an inductive procedure for constructing van Kampen diagrams with respect to a canonical finite presentation. We also define algorithmically stackable groups, for which this procedure is an effective algorithm. This property gives a common model for algorithms arising from both rewriting systems and almost convexity for groups. We also introduce a new pair of asymptotic invariants that are filling inequalities refining the notions of intrinsic and extrinsic diameter inequalities for finitely presented groups. These tame filling inequalities are quasi-isometry invariants, up to Lipschitz equivalence of functions (and, in the case of the intrinsic tame filling inequality, up to choice of a sufficiently large set of defining relators). We show that radial tameness functions are equivalent to the extrinsic tame filling inequality condition, and so intrinsic tame filling inequalities can be viewed as the intrinsic analog of radial tameness functions. We discuss both intrinsic and extrinsic tame filling inequalities for many examples of stackable groups, including groups with a finite complete rewriting system, Thompson's group F, Baumslag-Solitar groups and their iterates, and almost convex groups. We show that the fundamental group of any closed 3-manifold with a uniform geometry is algorithmically stackable using a regular language of normal forms.