[论文解读] The Ranks of the Additive Semigroup Reduct of Affine Near-Semiring over Brandt Semigroup

Jitender Kumar, K. V. Krishna|arXiv (Cornell University)|Aug 19, 2013

semigroups and automata theory参考文献 9被引用 3

一句话总结

本文研究了在Brandt半群 $B_n$ 上的仿射映射的加法半群底 $A^{+}(B_n)$ 的五种秩性质——小秩、下秩、中间秩、上秩和大秩。通过结构分析与素子集技术，本文确定了当 $n \geq 6$ 时的全部五种秩，为 $2 \leq n \leq 5$ 时的上秩 $r_4$ 提供了下界，并猜想这些下界是紧确的。

ABSTRACT

This work investigates the rank properties of $A^+(B_n)$, the additive semigroup reduct of affine near-semiring over Brandt semigroup $B_n$. In this connection, this work reports the ranks $r_1$, $r_2$, $r_3$ and $r_5$ of $A^+(B_n)$ and identifies a lower bound for the upper rank $r_4(A^+(B_n))$. While this lower bound is found to be the $r_4(A^+(B_n))$ for $n \ge 6$, in other cases where $2 \le n \le 5$, the upper rank of $A^+(B_n)$ is still open for investigation.

研究动机与目标

• 确定仿射近半环在Brandt半群 $B_n$ 上的加法半群底 $A^{+}(B_n)$ 的五种秩性质——小秩、下秩、中间秩、上秩和大秩。
• 对所有 $n \geq 1$ 确定 $r_1, r_2, r_3, r_5$ 的精确值，以及 $r_4$ 的下界。
• 确定当 $n \geq 6$ 时的上秩 $r_4(A^{+}(B_n))$，并为 $2 \leq n \leq 5$ 时的 $r_4$ 提供下界。
• 猜想在 $2 \leq n \leq 5$ 的情况下，所推导出的 $r_4$ 下界实际上就是上秩的精确值。
• 扩展对有限半群上仿射映射半群中秩性质的理解，特别是对Brandt半群的情形。

提出的方法

• 利用先前工作 [9] 中对 $A^{+}(B_n)$ 的结构表征，该表征通过Green关系和元素分解描述了该半群。
• 应用有限半群中素子集的概念：若非空子集 $U$ 满足 $a + b \in U$ 蕴含 $a \in U$ 或 $b \in U$，则称其为素子集，并利用引理5.4将最小素子集与极大真子半群联系起来。
• 识别出 $V = \{\xi_{(n,k)} \mid 1 \leq k \leq n-1\}$ 为 $A^{+}(B_n)$ 的最小素子集，从而实现大秩 $r_5$ 的计算。
• 采用分解技术证明：当 $n \geq 3$ 时，$A^{+}(B_n)$ 中的所有元素均可分解，意味着不存在不可约元素。
• 通过构造显式独立集，为 $2 \leq n \leq 5$ 时的上秩 $r_4(A^{+}(B_n))$ 推导下界，基于元素类型的分类分析：零映射、单支撑映射、$n$-支撑映射和全支撑映射。
• 利用已知公式 $r_5(A^{+}(B_n)) = (n!)n^2 + n^2 + n^4 - n + 3$ 推导界限，并猜想在小 $n$ 情况下 $r_4$ 的等式成立。

实验结果

研究问题

• RQ1 对于仿射近半环在Brandt半群 $B_n$ 上的加法半群底 $A^{+}(B_n)$，五种秩性质 $r_1, r_2, r_3, r_4, r_5$ 的值是什么？
• RQ2 在哪些 $n$ 值下，上秩 $r_4(A^{+}(B_n))$ 被精确确定？当 $n < 6$ 时，$r_4$ 的界限性质如何？
• RQ3 能否证明在 $2 \leq n \leq 5$ 时，$r_4(A^{+}(B_n))$ 的推导下界即为上秩的精确值？
• RQ4 $A^{+}(B_n)$ 的结构性质，如元素可分解性与支撑类型，如何影响秩的计算？
• RQ5 最小素子集在计算大秩 $r_5(A^{+}(B_n))$ 中起什么作用？

主要发现

• 当 $n \geq 6$ 时，上秩 $r_4(A^{+}(B_n))$ 的精确值等于基于 $A^{+}(B_n)$ 结构推导出的下界，即 $(n!)n^2 + n^2 + n^4 - n + 3$。
• 对于所有 $n \geq 2$，大秩 $r_5(A^{+}(B_n))$ 的精确值为 $(n!)n^2 + n^2 + n^4 - n + 3$，该结果通过最小素子集 $V = \{\xi_{(n,k)} \mid 1 \leq k \leq n-1\}$ 推导得出。
• 当 $n = 2$ 时，大秩 $r_5(A^{+}(B_2))$ 的精确值为 29，等于整个半群 $A^{+}(B_2)$ 的大小，表明所有元素均为独立的。
• 对于 $2 \leq n \leq 5$，建立了上秩 $r_4(A^{+}(B_n))$ 的下界：$n=2$ 时为 14，$n \geq 3$ 时为 $(n!)n^2 + n$。
• 当 $n \geq 3$ 时，$A^{+}(B_n)$ 中的所有元素均可分解，即不存在不可约元素，这意味着该半群不是自由生成的。
• 作者猜想：在 $2 \leq n \leq 5$ 时，$r_4(A^{+}(B_n))$ 的推导下界实际上就是上秩的精确值，该猜想基于结构与构造性证据。