Coset enumeration for certain infinitely presented groups.

DOI10.1142/S0218196711006637zbMATH Open1235.20031arXiv1106.0259MaRDI QIDQ3110892FDOQ3110892

Authors: René Hartung 

Publication date: 16 January 2012

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Abstract: We describe an algorithm that computes the index of a finitely generated subgroup in a finitely $L$-presented group provided that this index is finite. This algorithm shows that the subgroup membership problem for finite index subgroups in a finitely $L$-presented group is decidable. As an application, we consider the low-index subgroups of some self-similar groups including the Grigorchuk group, the twisted twin of the Grigorchuk group, the Grigorchuk super-group and the Hanoi 3-group

Full work available at URL: https://arxiv.org/abs/1106.0259

Recommendations

• Computation with finitely \(L\)-presented groups.
• Algorithms for finitely \(L\)-presented groups and their applications to some self-similar groups.
• Computing with subgroups of the modular group.
• A NILPOTENT QUOTIENT ALGORITHM FOR CERTAIN INFINITELY PRESENTED GROUPS AND ITS APPLICATIONS
• Applications and adaptations of the low index subgroups procedure

zbMATH Keywords

algorithmssubgroups of finite indexfinitely generated subgroupsself-similar groupsfinite \(L\)-presentationsinfinite presentationsrecursive presentationsGrigorchuk groupssubgroup membership problemcoset enumerationlow-index subgroups

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Subgroup theorems; subgroup growth (20E07) Maximal subgroups (20E28) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Software, source code, etc. for problems pertaining to group theory (20-04)

Cites Work

• Title not available (Why is that?)
• Solvability of groups of odd order
• Non-amenable finitely presented torsion-by-cyclic groups.
• Amenability via random walks.
• Endomorphic presentations of branch groups.
• Approximating the Schur multiplier of certain infinitely presented groups via nilpotent quotients
• Determining Subgroups of a Given Finite Index in a Finitely Presented Group
• A NILPOTENT QUOTIENT ALGORITHM FOR CERTAIN INFINITELY PRESENTED GROUPS AND ITS APPLICATIONS
• A finitely generated, infinitely related group with trivial multiplicator
• A practical method for enumerating cosets of a finite abstract group
• Lie algebras and growth in branch groups.
• Asymptotic aspects of Schreier graphs and Hanoi Towers groups.
• Proving a group trivial made easy: A case study in coset enumeration
• On the failure of the co-Hopf property for subgroups of word-hyperbolic groups

Cited In (9)

• Algorithms for finitely \(L\)-presented groups and their applications to some self-similar groups.
• On \(n\)-Engel pair satisfying certain conditions.
• On generalized conjugacy and some related problems
• Coset enumeration of groups generated by symmetric sets of involutions.
• A Reidemeister-Schreier theorem for finitely \(L\)-presented groups.
• Quantifying orbit detection: \(\varphi\)-order and \(\varphi\)-spectrum
• Computability of finite quotients of finitely generated groups
• Applications and adaptations of the low index subgroups procedure
• Computation with finitely \(L\)-presented groups.

Uses Software

• NQL

This page was built for publication: Coset enumeration for certain infinitely presented groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3110892)