[논문 리뷰] The Ranks of the Additive Semigroup Reduct of Affine Near-Semiring over Brandt Semigroup

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

semigroups and automata theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 브랜드 반군 $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.

연구 동기 및 목표

• 브랜드 반군 $B_n$ 위의 애프라인 near-semiring의 덧셈 반군 재료 $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$의 하한이 실제로 상한형 랭크의 정확한 값임을 추측하는 것.
• 특히 브랜드 반군 위에서의 유한 반군의 애프라인 맵 반군의 랭크 성질에 대한 이해를 확장하는 것.

제안 방법

• 이전 연구 [9]에서 제시된 $A^{+}(B_n)$의 구조적 특성—그린의 관계와 원소 분해를 통한 기술—을 활용한다.
• 유한 반군에서의 소수 부분집합 개념을 적용: 공집합이 아닌 부분집합 $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 브랜드 반군 $B_n$ 위의 애프라인 near-semiring의 덧셈 반군 재료 $A^{+}(B_n)$의 다섯 가지 랭크 성질—$r_1, r_2, r_3, r_4, r_5$—의 값은 무엇인가?
• RQ2 상한형 랭크 $r_4(A^{+}(B_n))$가 정확히 규명되는 $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))$의 하한이 실제로 상한형 랭크의 정확한 값임을 추측하며, 이는 구조적이고 구성적인 증거에 기반한다.