Every group is a maximal subgroup of a naturally occurring free idempotent generated semigroup.

DOI10.1007/S00233-013-9549-9zbMATH Open1320.20053arXiv1209.1242OpenAlexW2061903590MaRDI QIDQ467520FDOQ467520

Authors: Victoria Gould, Dandan Yang 

Publication date: 3 November 2014

Published in: Semigroup Forum (Search for Journal in Brave)

Abstract: Gray and Ruskuc have shown that any group G occurs as the maximal subgroup of some free idempotent generated semigroup IG(E) on a biordered set of idempotents E, thus resolving a long standing open question. Given the group G, they make a careful choice for E and use a certain amount of well developed machinery. Our aim here is to present a short and direct proof of the same result, moreover by using a naturally occuring biordered set. More specifically, for any free G-act F_n(G) of finite rank at least 3, we have that G is a maximal subgroup of IG(E) where E is the biordered set of idempotents of End F_n(G). Note that if G is finite then so is End F_n(G).

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

Recommendations

• Every group is a maximal subgroup of the free idempotent generated semigroup over a band.
• On maximal subgroups of free idempotent generated semigroups.
• Subgroups of free idempotent generated semigroups need not be free.
• Every group is an outer automorphism group of a finitely generated group.
• Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups
• Every finite semigroup is embeddable in a finite relatively free semigroup.
• scientific article; zbMATH DE number 62578
• Groups in Which Every Set of Independent Generators Is a Maximum Set
• Maximal subgroups of free idempotent-generated semigroups over the full transformation monoid.

zbMATH Keywords

free actsidempotentsmaximal subgroupsordered setsendomorphism monoidsfree idempotent generated semigroups

Mathematics Subject Classification ID

Representation of semigroups; actions of semigroups on sets (20M30) Free semigroups, generators and relations, word problems (20M05) General structure theory for semigroups (20M10)

Cites Work

• The Subsemigroup Generated By the Idempotents of a Full Transformation Semigroup
• On products of idempotent matrices
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• Structure of regular semigroups. I
• Title not available (Why is that?)
• On regular semigroups
• On inverses of products of idempotents in regular semigroups
• Products of idempotent endomorphisms of an independence algebra of finite rank
• Products of idempotents in algebraic monoids
• Biordered sets come from semigroups
• On maximal subgroups of free idempotent generated semigroups.
• Subgroups of free idempotent generated semigroups need not be free.
• Maximal subgroups of free idempotent generated semigroups over the full linear monoid.
• Maximal subgroups of free idempotent-generated semigroups over the full transformation monoid.
• Every group is a maximal subgroup of a naturally occurring free idempotent generated semigroup.
• Presentations for subgroups of monoids
• Independence algebras
• REWRITING A SEMIGROUP PRESENTATION
• SUBGROUPS OF THE FREE SEMIGROUP ON A BIORDERED SET IN WHICH PRINCIPAL IDEALS ARE SINGLETONS
• Every group is a maximal subgroup of the free idempotent generated semigroup over a band.
• PRODUCTS OF IDEMPOTENT ENDOMORPHISMS OF RELATIVELY FREE ALGEBRAS WITH WEAK EXCHANGE PROPERTIES

Cited In (25)

• Presentations for singular wreath products
• Elaborating the word problem for free idempotent-generated semigroups over the full transformation monoid
• A group-theoretical interpretation of the word problem for free idempotent generated semigroups
• A note on free idempotent generated semigroups over the full monoid of partial transformations.
• POWER GROUPS OF FREE ABELIAN GROUPS OF FINITE RANK
• The Mathematical Work of K. S. S. Nambooripad
• Free idempotent generated semigroups and endomorphism monoids of free \(G\)-acts.
• A note on maximal subgroups of free idempotent generated semigroups over bands.
• Subgroups of free idempotent generated semigroups need not be free.
• Maximal subgroups of free idempotent generated semigroups over the full linear monoid.
• Maximal subgroups of free idempotent-generated semigroups over the full transformation monoid.
• Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups
• Regular semigroups weakly generated by idempotents
• SUBGROUPS OF THE FREE SEMIGROUP ON A BIORDERED SET IN WHICH PRINCIPAL IDEALS ARE SINGLETONS
• On the structure of semigroups whose regular elements are completely regular
• Obituary: Tribute to K.S.S. Nambooripad
• Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals
• Title not available (Why is that?)
• Every group is a maximal subgroup of a naturally occurring free idempotent generated semigroup.
• Finite groups are big as semigroups.
• Free idempotent generated semigroups: the word problem and structure via gain graphs
• Structure theory of regular semigroups
• Every group is a maximal subgroup of the free idempotent generated semigroup over a band.
• Free idempotent generated semigroups and endomorphism monoids of independence algebras
• On maximal subgroups of free idempotent generated semigroups.

This page was built for publication: Every group is a maximal subgroup of a naturally occurring free idempotent generated semigroup.

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