Homotopy bases and finite derivation type for subgroups of monoids.

DOI10.1016/J.JALGEBRA.2014.03.035MaRDI QIDQ403106zbMATH OpenOpenAlexFDO

Authors R. Gray, A. Malheiro

Publication date 29 August 2014

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

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

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)

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.

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.

Cites work

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

Cited in

(6)

• scientific article; zbMATH DE number 5218144 (Why is no real title available?)
• 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.

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)