<p>We continue the study of the structure of general subgroups (in particular maximal subgroups, also known as group <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3818_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {H}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>-classes) of special inverse monoids. Recent research of the authors has established that these can be quite wild, but in this paper we show that if we restrict to special inverse monoids which are <i>E</i>-<i>unitary</i> (or have a weaker property we call <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3818_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">R</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-<i>injectivity</i>), the maximal subgroups are strongly governed by the group of units. In particular, every maximal subgroup has a finite index subgroup which embeds in the group of units. We give a construction to show that every finite group can arise as a maximal subgroup in an <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3818_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {R}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">R</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-injective special inverse monoid with trivial group of units. It remains open whether every combination of a group <i>G</i> and finite index subgroup <i>H</i> can arise as maximal subgroup and group of units.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Subgroups of E-unitary and \(\mathcal {R}_1\)-injective special inverse monoids

  • Robert D. Gray,
  • Mark Kambites

摘要

We continue the study of the structure of general subgroups (in particular maximal subgroups, also known as group \(\mathcal {H}\) H -classes) of special inverse monoids. Recent research of the authors has established that these can be quite wild, but in this paper we show that if we restrict to special inverse monoids which are E-unitary (or have a weaker property we call \(\mathcal {R}_1\) R 1 -injectivity), the maximal subgroups are strongly governed by the group of units. In particular, every maximal subgroup has a finite index subgroup which embeds in the group of units. We give a construction to show that every finite group can arise as a maximal subgroup in an \(\mathcal {R}_1\) R 1 -injective special inverse monoid with trivial group of units. It remains open whether every combination of a group G and finite index subgroup H can arise as maximal subgroup and group of units.