Homotopy bases and finite derivation type for subgroups of monoids

R. D. Gray*, A. Malheiro

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all of its maximal subgroups have FDT. We use this to show that a finitely presented regular monoid with finitely many left and right ideals satisfies the homological finiteness condition FP3 if all of its maximal subgroups satisfy the condition FP3. (C) 2014 Elsevier Inc. All rights reserved.

Original languageEnglish
Pages (from-to)53-84
Number of pages32
JournalJournal of Algebra
Volume410
DOIs
Publication statusPublished - 15 Jul 2014

Keywords

  • Rewriting systems
  • Finitely presented groups and monoids
  • Finiteness conditions
  • Homotopy bases
  • Finite derivation type
  • COMPLETE REWRITING-SYSTEMS
  • CONDITION FP3
  • SEMIGROUPS
  • PRESENTATIONS
  • EQUIVALENT
  • IDEALS
  • INDEX

Fingerprint

Dive into the research topics of 'Homotopy bases and finite derivation type for subgroups of monoids'. Together they form a unique fingerprint.

Cite this