[논문 리뷰] On hypersemigroups

Niovi Kehayopulu, Michael Tsingelis|arXiv (Cornell University)|2015. 05. 04.

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

한 줄 요약

이 논문은 정규 하이퍼세미군 H의 공집합이 아닌 부분집합 B가 이중 이상수일 조건을 규명한다. 즉, B가 이중 이상수일 필요충분조건은 B = A * C로 표현될 수 있으며, 여기서 A는 H의 우이상수이고 C는 H의 좌이상수임을 증명한다. 또한 H가 정규일 필요충분조건으로 H의 우이상수와 좌이상수가 모두 등幂임과 더불어, 임의의 우이상수 A와 좌이상수 B의 곱 A * B가 준이상수임을 증명한다. 이는 세미군 기반의 추론을 하이퍼세미군에 적용하여 하이퍼세미군의 구조에 대한 기초적 통찰을 제공한다.

ABSTRACT

We prove that a nonempty subset $B$ of a regular hypersemigroup $H$ is a bi-ideal of $H$ if and only if it is represented in the form $B=A*C$ where $A$ is a right ideal and $C$ a left ideal of $H$. We also show that an hypersemigroup $H$ is regular if and only if the right and the left ideals of $H$ are idempotent, and for every right ideal $A$ and every left ideal $B$ of $H$, the product $A*B$ is a quasi-ideal of $H$. Our aim is not just to add a publication on hypersemigroups but, mainly, to publish a paper which serves as an example to show what an hypersemigroup is and give the right information concerning this structure. We never work directly on an hypersemigroup. If we want to get a result on an hypersemigroup, then we have to prove it first for a semigroup and transfer its proof to hypersemigroup. But there is further interesting information concerning this structure as well, we will deal with at another time.

연구 동기 및 목표

• 하이퍼세미군 내 이중 이상수의 구조적 정의와 역할을 명확히 하기 위해.
• 이론적 성질을 이용하여 하이퍼세미군의 정규성에 대한 필요충분조건을 설정하기 위해.
• 세미군 이론의 결과들이 하이퍼세미군으로 어떻게 체계적으로 적응 및 이행될 수 있는지 보여주기 위해.
• 분야에 익숙하지 않은 연구자들을 위한 하이퍼세미군의 교육적이고 도식적인 예시를 제공하기 위해.
• 미래의 하이퍼세미군 내 깊이 있는 구조적 성질 탐색을 위한 기초를 다지기 위해.

제안 방법

• 이상수 분해의 활용: 정규 하이퍼세미군 내에서 이중 이상수를 A * C 형태로 표현하며, 여기서 A는 우이상수이고 C는 좌이상수이다.
• 세미군 이론 증명의 적응: 세미군에서 성립하는 결과들을 하이퍼세미군 환경으로 번역한다.
• 준이상수 개념의 적용: 우이상수 A와 좌이상수 B의 곱 A * B를 조사한다.
• 대수적 닫힘성과 하이퍼연산 성질을 활용하여 하이퍼세미군 내 이상수 행동을 검증한다.
• 우이상수와 좌이상수가 등幂임을 바탕으로 정규성에 대한 동치 조건을 설정한다.
• 정규 하이퍼세미군의 맥락에서 이상수 곱을 통한 이중 이상수의 특성화에 대한 형식적 증명.

실험 결과

연구 질문

• RQ1 정규 하이퍼세미군 H의 부분집합 B가 언제 이중 이상수가 되는가?
• RQ2 우이상수와 좌이상수에 어떤 조건이 성립할 경우 하이퍼세미군 H가 정규가 되는가?
• RQ3 세미군 이론의 결과들이 하이퍼세미군으로 어떻게 체계적으로 이행될 수 있는가?
• RQ4 하이퍼세미군에서 우이상수 A와 좌이상수 B의 곱 A * B가 언제 준이상수가 되는가?
• RQ5 하이퍼세미군의 이상수 격자 관점에서 어떤 구조적 성질이 하이퍼세미군의 정규성을 정의하는가?

주요 결과

• 정규 하이퍼세미군 H의 공집합이 아닌 부분집합 B는 B = A * C로 표현될 수 있을 때이고, 여기서 A는 H의 우이상수이고 C는 H의 좌이상수일 때에만 이중 이상수가 된다.
• 하이퍼세미군 H가 정규일 필요충분조건은 H의 모든 우이상수와 좌이상수가 등幂임이다.
• 정규 하이퍼세미군 H의 모든 우이상수 A와 좌이상수 B에 대해 곱 A * B는 H의 준이상수이다.
• 이상수 곱을 통한 이중 이상수의 특성화는 정규 하이퍼세미군 내에서 이러한 부분집합을 식별하는 구축 가능한 방법을 제공한다.
• 세미군 이론의 증명을 하이퍼세미군로 이행하는 것은 하이퍼구조 환경에서 결과를 도출하기 위한 타당하고 효과적인 전략이다.
• 논문은 하이퍼세미군 내 이상수의 역할과 정규성 및 구조적 행동을 규명하는 데 핵심적인 동치관계를 설정한다.