The ν-Prime Ideal Sum Graph of a Nearring

기술 요약: 니어링의 $\nu$-프라임 아이디얼 합 그래프

문제 정의
본 논문은 그래프 이론적 구성을 통해 니어링(nearring)의 대수적 성질과 조합론적 성질 사이의 상호작용을 연구할 필요성을 다룬다. 영인자 그래프(zero-divisor graphs)와 아이디얼 기반 그래프는 환론(ring theory)에서 광범위하게 연구되어 왔으나, 니어링의 아이디얼 구조는 0-프라임(0-prime), 3-프라임(3-prime), c-프라임(c-prime), 그리고 equiprime이라는 구별되는 프라임 개념을 특징으로 하여 더 정교하다. 기존 문헌들은 니어링의 영인자 그래프와 특정 프라임 아이디얼에 기반한 그래프들을 탐구해 왔으나, 다양한 프라임 조건에 따른 아이디얼의 합을 분석하는 통합된 프레임워크는 부족한 실정이었다. 저자들은 $\nu \in \{0, 3, c, e\}$인 경우에 대해 니어링 $N$의 $\nu$-프라임 아이디얼 합 그래프($\nu$-PSG($N$))를 정의하고 특징짓는 것을 목표로 한다.

연구 방법론
저자들은 $\nu$-PSG($N$)를 다음과 같이 정의한다:

• 정점(Vertices): 니어링 $N$의 모든 진적이고 자명하지 않은(proper, non-trivial) 아이디얼들의 집합.
• 인접성(Adjacency): 두 개의 서로 다른 정점(아이디얼) $I$와 $J$는 그들의 합 $I + J$가 $N$의 진적 $\nu$-프라임 아이디얼일 때만 서로 인접한다.

연구 방법론은 이러한 그래프들의 근본적인 구조적 성질을 확립하는 과정을 포함한다. 저자들은 연결성(connectivity)에 대한 필요충분조건을 도출하고, 클리크 수($\omega$), 지름(diameter), 회로 길이(girth), 지배수(domination number, $\gamma$)를 포함한 표준 그래프 불변량을 계산하거나 경계값을 구한다. 분석은 곱에 대한 항등식(Identity for Products, IFP) 및 우측 치환성(right permutability)과 같은 니어링의 대수적 성질, 최대 아이디얼의 존재성, 호모모피즘 하에서의 아이디얼의 거동 등에 의존한다. 또한, 이론적 결과들을 설명하기 위해 $\mathbb{Z}_2^3$ 및 이면군 $D_8$ 상의 집합들로 정의된 니어링을 사용한 구체적인 예시들을 포함한다.

주요 기여 및 결과

1. 정의 및 기본 성질:
   본 논문은 $\nu \in \{0, 3, c, e\}$에 대하여 $\nu$-PSG($N$)를 공식적으로 도입한다. 만약 니어링이 단순(simple)하다면, 해당 그래프는 정의되지 않음을 확립한다. 만약 니어링에 자명하지 않은 $\nu$-프라임 아이디얼이 존재하지 않는다면, 그래프는 완전 이산 그래프(totally disconnected)가 된다.

2. 연결성 및 지름:

   • 연결성: 단위원을 갖는 니어링(unital nearrings)에 대하여, $0$-PSG($N$)가 비연결(disconnected)인 것은 $N$이 두 단순 니어링의 직합(direct sum)인 것과 필요충분조건이다.
   • 지름: 연결된 $0$-PSG($N$)를 갖는 단위 원 니어링의 경우, 지름은 4로 제한된다.
   • 스타 그래프(Star Graphs): 저자들은 그래프가 스타 그래프가 되는 니어링을 특징짓는다. 이는 $N$이 유일한 최소 아이디얼을 갖고, 다른 모든 진적이고 자명하지 않은 비최소 아이디얼이 최대(maximal)이며 $\nu$-프라임인 경우에 해당한다.

3. 완전 그래프 및 지배:

   • 완전성: $\nu$-PSG($N$)가 완전 그래프가 되기 위한 조건들을 제공하며, 이는 모든 다른 진적 아이디얼들이 쌍으로 자명하게 교차하는 유일한 최대 $\nu$-프라임 아이디얼 $M$을 요구한다.
   • 지배: 단위 원 니어링에 대하여, 모든 최대 아이디얼의 집합은 $0$-PSG($N$)의 최소 지배 집합을 형성하며, 이는 지배수$\gamma(0\text{-PSG}(N)) \le |M|$임을 시사한다.

4. 그래프 불변량:

   • 회로 길이(Girth): 만약 $N$이 인접한 두 개의 비교 불가능한(incomparable) 아이디얼을 포함한다면, 그래프의 회로 길이는 3이다.
   • 클리크 수(Clique Number): 본 논문은 $\nu$-프라임 아이디얼들의 체인(chain)에 의해 유도된 부분 그래프가 클리크를 형성함을 확립한다. 또한, 전사적 니어링 호모모피즘 $\phi: N \to N'$에 대하여, 클리크 수는 $\omega(\nu\text{-PSG}(N')) \le \omega(\nu\text{-PSG}(N))$를 만족한다.

5. 변형 간의 관계:
   본 논문은 프라임 아이디얼의 계층 구조에 따른 서로 다른 변형들 사이의 관계를 명확히 한다. 예를 들어, 모든 c-프라임 아이디얼은 3-프라임 아이디얼이므로, c-PSG($N$)는 3-PSG($N$)의 부분 그래프이다. 우측 치환성이나 IFP와 같은 특정 조건 하에서, 이러한 그래프들은 동일한 것으로 나타날 수 있다.

6. 호모모피즘 및 동형성:
   저자들은 전사적 니어링 호모모피즘이 대응하는 $\nu$-프라임 아이디얼 합 그래프 사이의 그래프 호모모피즘을 유도함을 입증한다. 또한, 비동형(non-isomorphic) 니어링들이 동형인 $\nu$-프라임 아이디얼 합 그래프를 생성하는 예시를 제공함으로써, 그래프 구조가 니어링을 유일하게 결정하지는 않음을 보여준다.

의의
본 논문은 $\nu$-프라임 아이디얼 합 그래프가 니어링의 다양한 프라임 개념에 대응하는 아이디얼 합 상호작용을 연구하기 위한 통합된 프레임워크 역할을 한다고 주장한다. 대수적 성질(예: 유일한 최대 아이디얼의 존재 또는 직합 분해)을 그래프 이론적 성질(연결성, 지름, 지배수)로 변환함으로써, 본 연구는 기저가 되는 니어링의 구조적 특징을 반영하고 구별할 수 있게 한다. 이러한 결과들은 환론에서 더 복잡한 니어링 영역으로 연구 범위를 확장하며, 추가적인 그래프 불변량에 대한 심화 연구를 위한 기초적인 토대를 제공한다.