유한 삼항 감마 반환체의 구조와 라디칼 이론

초록

본 논문은 유한한 교환적 삼항 Γ‑반환체의 기본 구조를 조사하고, 이상·동형사상 격자, 라디칼 및 서브다이렉트 분해 정리를 확립한다.  |T|≤4인 모든 사례를 전산적으로 열거하여 비동형 모델을 분류하고, 이상·라디칼 개념을 기존 이진 반감체와 일치시키는 동시에 새로운 불변량 튜플을 제시한다.

상세 분석

논문은 먼저 삼항 Γ‑반환체의 정의를 재정리한다. 집합 T에 대해 덧셈 +는 교환적 모노이드이며, 파라미터 집합 Γ에 대한 삼항 연산 {a,b,c}_γ 는 각 인자에 대해 분배법칙을 만족하고 0이 흡수원소이며, 삼항 결합법칙 {{a,b,c}_α,d,e}_β = {a,b,{c,d,e}_β}_α 를 만족한다. 특히 곱셈이 전 순열에 대해 불변이면 ‘교환적’이라 정의한다. 이러한 기본 공리를 바탕으로 이상(I), 동형사상 격자(C) 및 라디칼(Rad) 개념을 이진 반감체와 유사하게 확장한다.

핵심 정리 1은 유한 구조가 반드시 영원소와(존재한다면) 단위원소 e를 갖는다는 존재·유일성을 증명한다. 여기서 단위원소는 모든 γ∈Γ에 대해 {e,a,e}_γ = a 를 만족한다. 정리 2는 이상 격자 L(T)가 모듈러이면서 분배법칙을 만족함을 보이며, 이는 이상 생성 연산 ⟨·⟩_Γ와 교집합이 서로 교환 가능함을 이용한다.

정리 3은 서브다이렉트 분해 정리로, 모든 유한 교환적 삼항 Γ‑반환체 T는 최대 적합 동형사상 ρ_i (i∈I)들의 교차가 대각(Δ)인 동형사상들의 곱 ⨁ T/ρ_i 로 삽입된다. 각 인수 T_i = T/ρ_i는 서브다이렉트 불가소(irreducible)이며, ρ_i는 최대 적합 동형사상이다. 이 정리는 고전적인 반감체의 서브다이렉트 분해와 완전히 일치한다.

라디칼 이론에서는 소수 Γ‑이상(prime Γ‑ideal)들의 교집합을 라디칼 Rad(T)이라 정의하고, Nil(T)는 {x∈T | ∃a,b∈T,γ,δ∈Γ: {x,a,b}_γ = {a,x,b}_δ = 0} 로 정의한다. 논문은 Rad(T)=0이면 T가 반소수(semi‑prime)임을 보이며, Nil(T)⊆Rad(T)임을 증명한다.

구조적 분류를 위해 저자는 (|T|,|Γ|)쌍에 대해 전산적 열거 알고리즘을 설계한다. 각 γ∈Γ에 대해 n×n×n 텐서 M_γ를 구성하고, 모든 가능한 텐서 조합을 생성한 뒤 (T1)–(T4) 공리를 검증한다. 이후 이상·동형사상 격자를 계산하고, 사전식 최소화된 벡터 형태로 정규형(label)을 만든다. 이 과정은 n≤4, |Γ|≤2인 경우에 실시간으로 수행 가능함을 보인다.

열거 결과는 표 1에 요약되어 있다. |T|=2, |Γ|=1인 경우는 부울형(0,1) 하나, |T|=3, |Γ|=1인 경우는 모듈러와 절단형 두 개, |T|=4, |Γ|=2인 경우는 부울형·모듈러·혼합·하이브리드 네 종류가 발견된다. 각 클래스는 이상 격자 형태(단순, 체인, 격자 등)와 라디칼 구조(Nil=0 혹은 Nil≠0)로 구분된다.

마지막으로 논문은 이러한 이론적 결과가 향후 범주론적 해석, 자동 정리 증명, 그리고 암호학·코드 이론 등에서 삼항 연산을 활용하는 응용 연구의 기반이 될 것이라고 제언한다.