Homotopy bases and finite derivation type for subgroups of monoids.

DOI10.1016/J.JALGEBRA.2014.03.035zbMATH Open1334.20055arXiv0912.1284OpenAlexW2132748257MaRDI QIDQ403106FDOQ403106

Authors: R. Gray, A. Malheiro 

Publication date: 29 August 2014

Published in: Journal of Algebra (Search for Journal in Brave)

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 FP_3 if all of its maximal subgroups satisfy the condition FP_3.

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

Recommendations

• Homotopy bases and finite derivation type for Schützenberger groups of monoids.
• Finite homotopy bases of one-relator monoids
• Homotopy theory of monoids and derived localization
• Homological finiteness properties of monoids, their ideals and maximal subgroups.
• Homological Finite Derivation Type
• ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS
• scientific article; zbMATH DE number 5218144
• Homological Finiteness Conditions for Groups, Monoids, and Algebras
• Publication:3031642
• On some homotopical and homological properties of monoid presentations.

zbMATH Keywords

finiteness conditionsfinitely presented groupsrewriting systemsfinite derivation typefinitely presented monoidshomotopy bases

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Connections of semigroups with homological algebra and category theory (20M50) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the structure of semigroups
• Combinatorial group theory.
• Diagram groups
• Green index and finiteness conditions for semigroups.
• Syntactic and Rees indices of subsemigroups
• Presentations for subgroups of monoids
• Title not available (Why is that?)
• Finite derivation type implies the homological finiteness condition \(FP_ 3\)
• LOW-DIMENSIONAL HOMOTOPY THEORY FOR MONOIDS
• Finitely approximable regular semigroups
• Finite complete rewriting systems and finite derivation type for small extensions of monoids
• A finiteness condition for rewriting systems
• Finite homotopy bases of one-relator monoids
• A topological approach to inverse and regular semigroups.
• A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
• Finite derivation type for Rees matrix semigroups
• Finite derivation type for large ideals.
• Finite derivation type for semigroups and congruences.
• The index of a group in a semigroup
• Constructions and presentations for monoids
• On the Algebra of Semigroup Diagrams
• SECOND ORDER DEHN FUNCTIONS OF GROUPS AND MONOIDS
• FOR REWRITING SYSTEMS THE TOPOLOGICAL FINITENESS CONDITIONS FDT AND FHT ARE NOT EQUIVALENT
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homological finiteness properties of monoids, their ideals and maximal subgroups.
• For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)

Cited In (6)

• Homological finiteness properties of monoids, their ideals and maximal subgroups.
• Finite complete rewriting systems for regular semigroups.
• Homotopy bases and finite derivation type for Schützenberger groups of monoids.
• On properties not inherited by monoids from their Schützenberger groups.
• Groups acting on semimetric spaces and quasi-isometries of monoids.
• Title not available (Why is that?)

This page was built for publication: Homotopy bases and finite derivation type for subgroups of monoids.

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