<p>We study those semigroups <i>S</i> which are <i>E</i>-unitary (left regular) bands of groups. The main result of the paper says that any such <i>S</i> is isomorphic to the semigroup (under the induced multiplication of the direct product <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10566_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\times G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>×</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>) <Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10566_Article_Equ1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="279" /> </MediaObject> <EquationSource Format="TEX">\((E,G,\varphi )=\{(e,a)\in E\times G:a\in e\varphi \},\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo>,</mo> <mi>G</mi> <mo>,</mo> <mi>φ</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mo stretchy="false">(</mo> <mi>e</mi> <mo>,</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>E</mi> <mo>×</mo> <mi>G</mi> <mo>:</mo> <mi>a</mi> <mo>∈</mo> <mi>e</mi> <mi>φ</mi> <mo stretchy="false">}</mo> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <i>E</i> is the set of idempotents of <i>S</i>, <i>G</i> is the maximum group homomorphic image of <i>S</i> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10566_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is a function from <i>E</i> into the lattice of all subgroups of <i>G</i> that meets some natural additional condition. Moreover, we give a description of certain fundamental congruences on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10566_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\((E,G,\varphi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo>,</mo> <mi>G</mi> <mo>,</mo> <mi>φ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Finally, we characterize the structure of orthodox bands of groups.</p>

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

On E-unitary (left regular) bands of groups

  • Roman S. Gigoń

摘要

We study those semigroups S which are E-unitary (left regular) bands of groups. The main result of the paper says that any such S is isomorphic to the semigroup (under the induced multiplication of the direct product \(E\times G\) E × G ) \((E,G,\varphi )=\{(e,a)\in E\times G:a\in e\varphi \},\) ( E , G , φ ) = { ( e , a ) E × G : a e φ } , where E is the set of idempotents of S, G is the maximum group homomorphic image of S and \(\varphi \) φ is a function from E into the lattice of all subgroups of G that meets some natural additional condition. Moreover, we give a description of certain fundamental congruences on \((E,G,\varphi )\) ( E , G , φ ) . Finally, we characterize the structure of orthodox bands of groups.