Whitehead Graphs and the Σ1-Invariants of Infinite Groups

1998 ◽  
Vol 08 (01) ◽  
pp. 23-34 ◽  
Author(s):  
Susan Garner Garille ◽  
John Meier
Keyword(s):  
Local Structure ◽  
Universal Cover ◽  
Finitely Generated ◽  
Infinite Groups ◽  
Finitely Generated Group ◽  
Finite Presentation ◽  
Finitely Presented Group ◽  
Finitely Presented

Let G be a finitely generated group. The Bieri–Neumann–Strebel invariant Σ1(G) of G determines, among other things, the distribution of finitely generated subgroups N◃G with G/N abelian. This invariant can be quite difficult to compute. Given a finite presentation 〈S:R〉 for G, there is an algorithm, introduced by Brown and extended by Bieri and Strebel, which determines a space Σ(R) that is always contained in, and is sometimes equal to, Σ1(G). We refine this algorithm to one which involves the local structure of the universal cover of the standard 2-complex of a given presentation. Let Ψ(R) denote the space determined by this algorithm. We show that Σ(R) ⊆ Ψ ⊆ Σ1(G) for any finitely presented group G, and if G admits a staggered presentation, then Ψ = Σ1(G). By casting this algorithm in terms of connectivity properties of graphs, it is shown to be computationally feasible.

scholarly journals Groups with a quotient that contains the original group as a direct factor

1992 ◽  
Vol 45 (3) ◽  
pp. 513-520 ◽  
Author(s):  
Ron Hirshon ◽  
David Meier
Keyword(s):  
Free Group ◽  
Normal Subgroups ◽  
Direct Factor ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Finitely Presented Group ◽  
Finitely Generated Groups ◽  
Original Group ◽  
Hopfian Group ◽  
Finitely Presented

We prove that given a finitely generated group G with a homomorphism of G onto G × H, H non-trivial, or a finitely generated group G with a homomorphism of G onto G × G, we can always find normal subgroups N ≠ G such that G/N ≅ G/N × H or G/N ≅ G/N × G/N respectively. We also show that given a finitely presented non-Hopfian group U and a homomorphism φ of U onto U, which is not an isomorphism, we can always find a finitely presented group H ⊇ U and a finitely generated free group F such that φ induces a homomorphism of U * F onto (U * F) × H. Together with the results above this allows the construction of many examples of finitely generated groups G with G ≅ G × H where H is finitely presented. A finitely presented group G with a homomorphism of G onto G × G was first constructed by Baumslag and Miller. We use a slight generalisation of their method to obtain more examples of such groups.

scholarly journals An algebraic characterization of groups with soluble word problem

1974 ◽  
Vol 18 (1) ◽  
pp. 41-53 ◽  
Author(s):  
William W. Boone ◽  
Graham Higman
Keyword(s):  
Word Problem ◽  
Focal Point ◽  
Algebraic Characterization ◽  
Necessary And Sufficient Condition ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Finitely Presented Group ◽  
Necessary And Sufficient ◽  
Finitely Presented

The following theorem is the focal point of the present paper. It stipulates an algebraic condition equivalent, in any finitely generated group, to the solubility of the word problem.THEOREM I. A necessary and sufficient condition that a finitely generated group G have a soluble word problem is that there exist a simple group H, and a finitely presented group K, such that G is a subgroup of H, and H is a subgroup of K.

scholarly journals Calibrating word problems of groups via the complexity of equivalence relations

2016 ◽  
Vol 28 (3) ◽  
pp. 457-471 ◽  
Author(s):  
ANDRÉ NIES ◽  
ANDREA SORBI
Keyword(s):  
Word Problem ◽  
Equivalence Relation ◽  
Word Problems ◽  
Truth Table ◽  
Equivalence Relations ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Finitely Presented Group ◽  
Finitely Presented ◽  
Computably Enumerable

(1) There is a finitely presented group with a word problem which is a uniformly effectively inseparable equivalence relation. (2) There is a finitely generated group of computable permutations with a word problem which is a universal co-computably enumerable equivalence relation. (3) Each c.e. truth-table degree contains the word problem of a finitely generated group of computable permutations.

scholarly journals Subgroups of finitely presented metabelian groups

1973 ◽  
Vol 16 (1) ◽  
pp. 98-110 ◽  
Author(s):  
Gilbert Baumslag
Keyword(s):  
Metabelian Group ◽  
Finitely Generated ◽  
Metabelian Groups ◽  
Finitely Generated Group ◽  
Finitely Presented Group ◽  
Finitely Presented

In 1961 Graham Higman [1] proved that a finitely generated group is a subgroup of a finitely presented group if, and only if, it is recursively presented. Therefore a finitely generated metabelian group can be embedded in a finitely presented group.

scholarly journals Some challenging group presentations

1999 ◽  
Vol 67 (2) ◽  
pp. 206-213 ◽  
Author(s):  
George Havas ◽  
Derek F. Holt ◽  
P. E. Kenne ◽  
Sarah Rees
Keyword(s):  
Finite Groups ◽  
Infinite Groups ◽  
Derived Length ◽  
Finitely Presented Group ◽  
Group Presentations ◽  
Coset Enumeration ◽  
Finitely Presented

AbstractWe study some challenging presentations which arise as groups of deficiency zero. In four cases we settle finiteness: we show that two presentations are for finite groups while two are for infinite groups. Thus we answer three explicit questions in the literature and we provide the first published deficiency zero presentation for a group with derived length seven. The tools we use are coset enumeration and Knuth-Bebdix rewriting, which are well-established as methods for proving finiteness or otherwise of a finitely presented group. We briefly comment on their capabilities and compare their performance.

Determining Subgroups of a Given Finite Index in a Finitely Presented Group

1974 ◽  
Vol 26 (4) ◽  
pp. 769-782 ◽  
Author(s):  
Anke Dietze ◽  
Mary Schaps
Keyword(s):  
Finite Index ◽  
Finite Groups ◽  
Infinite Groups ◽  
Matrix Groups ◽  
Finitely Presented Group ◽  
Basic Object ◽  
Finite Set ◽  
Object Of Study ◽  
Finitely Presented

The use of computers to investigate groups has mainly been restricted to finite groups. In this work, a method is given for finding all subgroups of finite index in a given group, which works equally well for finite and for infinite groups. The basic object of study is the finite set of cosets. §2 reviews briefly the representation of a subgroup by permutations of its cosets, introduces the concept of normal coset numbering, due independently to M. Schaps and C. Sims, and describes a version of the Todd-Coxeter algorithm. §3 contains a version due to A. Dietze of a process which was communicated to J. Neubuser by C. Sims, as well as a proof that the process solves the problem stated in the title. A second such process, developed independently by M. Schaps, is described in §4. §5 gives a method for classifying the subgroups by conjugacy, and §6, a suggestion for generalization of the methods to permutation and matrix groups.

scholarly journals ISOPERIMETRIC FUNCTIONS OF GROUPS ACTING ON Lδ-SPACES

2007 ◽  
Vol 49 (1) ◽  
pp. 23-28
Author(s):  
JON CORSON ◽  
DOHYOUNG RYANG
Keyword(s):  
Metric Space ◽  
Finitely Generated ◽  
Isoperimetric Function ◽  
Finitely Generated Group ◽  
Isoperimetric Functions ◽  
Finitely Presented

Abstract.A finitely generated group acting properly, cocompactly, and by isometries on an Lδ-metric space is finitely presented and has a sub-cubic isoperimetric function.

Reflections on some aspects of infinite groups

2014 ◽  
Vol 6 (2) ◽  
Author(s):  
Benjamin Fine ◽  
Anthony Gaglione ◽  
Gerhard Rosenberger ◽  
Dennis Spellman
Keyword(s):  
Finitely Generated ◽  
Infinite Groups ◽  
Limit Groups ◽  
Finitely Presented Groups ◽  
The Relationship ◽  
Finitely Presented

AbstractIn this paper we survey and reflect upon several aspects of the theory of infinite finitely generated and finitely presented groups that were originally motivated by work of Gilbert Baumslag. All but the last of the topics we have chosen are all related in one way or another to the theory of limit groups and the solution of the Tarski problems. These include the residually free and fully residually free properties and the big powers condition; Baumslag doubles and extensions of centralizers; residually-𝒳 groups and extensions of results of Benjamin Baumslag and finally the relationship between CT and CSA groups.

scholarly journals Cube Complexes, Subgroups of Mapping Class Groups and Nilpotent Genus

2017 ◽  
Author(s):  
Martin R. Bridson
Keyword(s):  
Finite Type ◽  
Mapping Class Groups ◽  
The Other ◽  
Mapping Class ◽  
Class Groups ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Groups Of Automorphisms ◽  
Cube Complexes ◽  
Finitely Presented

Based on a lecture at PCMI this chapter is structured around two sets of results, one concerning groups of automorphisms of surfaces and the other concerning the nilpotent genus of groups. The first set of results exemplifies the theme that even the nicest of groups can harbour a diverse array of complicated finitely presented subgroups: we shall see that the finitely presented subgroups of the mapping class groups of surfaces of finite type can be much wilder than had been previously recognised. The second set of results fits into the quest to understand which properties of a finitely generated group can be detected by examining the group’s finite and nilpotent quotients and which cannot.

Sign in / Sign up

Export Citation Format

Share Document