삼항 감마 반링에서 소이상과 반소이상 이론

초록

본 논문은 교환적인 삼항 Γ‑반링에 대한 소이상·반소이상 개념을 정의하고, 소이상의 경우 몫 구조가 영이 아닌 영소인자를 갖지 않음으로 특징지어짐을 증명한다. 또한 반소이상이 임의 교집합에 대해 닫혀 있으며 자신의 라디칼과 일치함을 보이며, 소이상과 동형인 합동 관계 사이의 일대일 대응을 구축해 스펙트럼 위에 Zariski‑유사 토폴로지를 정의한다. 마지막으로 차수가 4 이하인 모든 유한 삼항 Γ‑반링을 전산적으로 분류해 이론적 예측을 검증한다.

상세 분석

논문은 먼저 Rao·Rani·Kiran(2025)이 제시한 삼항 Γ‑반링의 공리계를 재정리하고, 이상의 정의를 “세 변수 중 하나가 포함되면 삼항곱도 포함한다”는 조건으로 확장한다. 이 기반 위에서 소이상은 “a α b β c∈P이면 a∈P 또는 b∈P 또는 c∈P”라는 직접적인 조건으로 정의되며, 이는 기존 이항 반링에서의 소이상 정의를 자연스럽게 삼항 연산에 맞추었다는 점에서 의미가 크다. 핵심 정리인 정리 3.4는 소이상이 바로 몫 구조 T/P가 비영 영소인자를 갖지 않는다는 것과 동치임을 보인다. 여기서 영소인자는 “x α y β z=0”인 비영 원소 x를 의미하는데, 이는 삼항 연산 특유의 3‑원소 상호작용을 반영한다. 이 정리는 소이상의 구조적 강인함을 보장하고, 이후 스펙트럼을 정의하는 데 필수적인 도구가 된다.

반소이상에 대해서는 정의 4.4에서 “a α b β c∈Q이고 a∉Q이면 b α b β b∈Q 또는 c α c β c∈Q”라는 조건을 도입한다. 이는 삼항 연산에서 한 원소가 제외된 경우 나머지 두 원소의 자체곱이 이상에 들어가야 함을 의미한다. 논문은 반소이상이 임의 교집합에 대해 닫혀 있음을 보이며, 특히 반소이상의 라디칼(rad (Q))이 Q 자체와 일치함을 증명한다. 이는 전통적인 반링 이론에서 라디칼이 이상을 포함하는 최소의 반소이상과 동일한 역할을 수행한다는 점에서 중요한 결과다.

또한 소이상과 동형(congruence) 사이의 일대일 대응을 정리 7.2에서 제시한다. 여기서는 “P가 소이상 ⇔ T/P의 동형이 소이상에 대응하는 합동”이라는 관계를 입증하고, 이를 통해 스펙트럼 Spec(T)를 정의한다. Spec(T)에 부여된 Zariski‑유사 토폴로지는 기본 폐집합을 V(I)={P∈Spec(T) | I⊆P} 로 두어, 전통적인 대수기하학과 유사한 닫힘 연산을 제공한다. 이 토폴로지는 특히 유한 차원에서 스펙트럼의 연결성, 컴팩트성 등을 조사하는 데 활용될 수 있다.

마지막 섹션에서는 차수가 4 이하인 모든 교환 삼항 Γ‑반링을 전산적으로 열거한다. 알고리즘은 모든 가능한 집합 T와 파라미터 집합 Γ, 그리고 삼항곱 µ를 생성하고, 이상 구조를 검사해 소이상·반소이상·극대이상을 분류한다. 결과는 이론에서 예측한 “소이상은 극대이상보다 더 풍부하게 존재한다”, “반소이상은 교집합에 대해 닫힌다” 등을 실험적으로 확인한다. 특히 3원소 구조에서 이항 반링에서는 불가능한 “세 원소가 동시에 서로 다른 소이상에 속하는 경우”가 나타나, 삼항 연산이 새로운 구조적 현상을 야기함을 보여준다.

전체적으로 논문은 삼항 Γ‑반링이라는 새로운 대수적 틀에 소이상·반소이상 이론을 성공적으로 이식하고, 라디칼·스펙트럼·전산 분류까지 포괄적인 체계를 제공함으로써 향후 범주론적, 기하학적, 퍼지 논리적 확장 연구의 기반을 마련한다.