<p>We transform the method of Glasson into a sufficient condition under which a monoid is non-finitely related, add a new member to the collection of interlocking word-patterns, and use it to show that the monoid <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10555_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(M(ab^2a, a^2b^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <mi>a</mi> <msup> <mi>b</mi> <mn>2</mn> </msup> <mi>a</mi> <mo>,</mo> <msup> <mi>a</mi> <mn>2</mn> </msup> <msup> <mi>b</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is non-finitely related. We also give a sufficient condition under which a monoid is finitely related and use it to show that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10555_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(M(a^2b^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <msup> <mi>a</mi> <mn>2</mn> </msup> <msup> <mi>b</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is finitely related. Together with the results of Glasson, this completes the description of all finitely related monoids among the monoids of the form <i>M</i>(<i>W</i>) where every word <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10555_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{u} \in W\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">u</mi> <mo>∈</mo> <mi>W</mi> </mrow> </math></EquationSource> </InlineEquation> depends on two variables and every variable occurs twice in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="233_2025_10555_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{u}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">u</mi> </math></EquationSource> </InlineEquation>.</p>

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

Non-finitely related and finitely related monoids

  • Olga B. Sapir

摘要

We transform the method of Glasson into a sufficient condition under which a monoid is non-finitely related, add a new member to the collection of interlocking word-patterns, and use it to show that the monoid \(M(ab^2a, a^2b^2)\) M ( a b 2 a , a 2 b 2 ) is non-finitely related. We also give a sufficient condition under which a monoid is finitely related and use it to show that \(M(a^2b^2)\) M ( a 2 b 2 ) is finitely related. Together with the results of Glasson, this completes the description of all finitely related monoids among the monoids of the form M(W) where every word \(\textbf{u} \in W\) u W depends on two variables and every variable occurs twice in \(\textbf{u}\) u .