<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\cal{O}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> be the semigroup of all order-preserving (full) transformations on the finite chain <i>X</i><sub><i>n</i></sub> = {1,…,<i>n</i>} under its natural order. For a singular idempotent <i>ξ</i>, it is shown that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\cal{O}_{n}(\xi)=\{\alpha \in \cal{O}_{n}:\alpha^{m}=\xi} \ {\text{for some}}\ m \in \mathbb{N}\}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">(</mo> <mi>ξ</mi> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> <mo class="MJX-tex-caligraphic" mathvariant="script">=</mo> <mo fence="false" stretchy="false">{</mo> <mi>α</mi> <mo>∈</mo> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> <mo class="MJX-tex-caligraphic" mathvariant="script">:</mo> <msup> <mi>α</mi> <mrow> <mi mathvariant="script">m</mi> </mrow> </msup> <mo class="MJX-tex-caligraphic" mathvariant="script">=</mo> <mi>ξ</mi> </mrow> <mspace width="thinmathspace" /> <mrow> <mtext>for some</mtext> </mrow> <mspace width="thinmathspace" /> <mi>m</mi> <mo>∈</mo> <mrow> <mi mathvariant="double-struck">N</mi> </mrow> <mo fence="false" stretchy="false">}</mo> </math></EquationSource> </InlineEquation> is a maximal nilpotent subsemigroup of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\cal{O}_{n}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> with zero <i>ξ</i>. Moreover, for a nonempty subset <i>Y</i> of <i>X</i><sub><i>n</i></sub>, we give a necessary and sufficient condition for the set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\cal{O}_{n}}(Y)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> to be a subsemigroup. Then we find a unique minimal generating set, and so rank, of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\cal{O}_{n}}(Y)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> whenever it is a subsemigroup of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\cal{O}_{n}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>. Every subset <i>Y</i> of <i>X</i><sub><i>n</i></sub> such that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\cal{O}_{n}}(Y)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mrow> <mi mathvariant="script">O</mi> </mrow> <mrow> <mi mathvariant="script">n</mi> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is (completely) isolated was characterized.</p>

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

On semigroups of order-preserving transformations with the same fix set

  • Gonca Ayik,
  • Hayrullah Ayik,
  • Jörg Koppitz

摘要

Let \(\cal{O}_{n}\) O n be the semigroup of all order-preserving (full) transformations on the finite chain Xn = {1,…,n} under its natural order. For a singular idempotent ξ, it is shown that \({\cal{O}_{n}(\xi)=\{\alpha \in \cal{O}_{n}:\alpha^{m}=\xi} \ {\text{for some}}\ m \in \mathbb{N}\}\) O n ( ξ ) = { α O n : α m = ξ for some m N } is a maximal nilpotent subsemigroup of \(\cal{O}_{n}\) O n with zero ξ. Moreover, for a nonempty subset Y of Xn, we give a necessary and sufficient condition for the set \({\cal{O}_{n}}(Y)\) O n ( Y ) to be a subsemigroup. Then we find a unique minimal generating set, and so rank, of \({\cal{O}_{n}}(Y)\) O n ( Y ) whenever it is a subsemigroup of \({\cal{O}_{n}}\) O n . Every subset Y of Xn such that \({\cal{O}_{n}}(Y)\) O n ( Y ) is (completely) isolated was characterized.