일반 대수에서 빼기 이상을 귀납·연역 집합으로 확장하는 새로운 프레임워크

초록

본 논문은 반덧셈 구조가 없는 반링에서의 ‘k‑이상(빼기 이상)’ 개념을 일반 대수에 일반화한다. *‑정규 집합을 *‑귀납 집합과 *‑연역 집합으로 분해하고, 이 두 조건을 동시에 만족할 때만 *‑정규가 됨을 보인다. 또한 다양한 대수적 범주(가환 단항군, 모듈, 환 등)의 귀납·연역 차수를 정의하고 계산한다.

상세 분석

논문은 먼저 반링에서 k‑이상이 “x+y∈I, y∈I ⇒ x∈I”라는 빼기 폐쇄성을 갖는 이상임을 상기한다. 이를 일반적인 서명(시그니처)을 가진 대수 A와 특정 원소 ∗∈A에 대해 ‑정규 집합(‑핵)으로 정의한다. *‑정규 집합 I는 어떤 동형사상 φ:A→B의 핵과 동등하게, ∗의 동치류가 되는 집합이다. 저자는 I를 두 단계로 분해한다. 첫 단계는 I×{∗}가 생성하는 반동치(semicongruence) R을 고려하는데, R은 A×A의 부분대수이면서 반사적 관계이다. R에 대해 정의된 두 연산

• *‑귀납(I) = RI = {x | ∃y∈I, x R y}
• *‑연역(I) = IR = {x | ∃y∈I, y R x} 을 도입한다. I가 *‑귀납이면 I = *‑귀납(I), 연역이면 I = *‑연역(I)이다. 논문은 R이 생성되는 구체적 항(term) 형태를 제시하고, *‑귀납·연역 집합이 각각 R‑전상(RI)과 R‑후상(IR)에 닫혀 있음을 보인다. 중요한 정리는 “I가 *‑정규 ⇔ I가 동시에 *‑귀납이며 *‑연역”이라는 것인데, 이는 R이 C(동치)까지 확장되는 과정(zig‑zag 연쇄)에서 양방향으로 전파되는 폐쇄성을 이용해 증명한다.

다음으로 저자는 모든 대수적 범주 V에 대해 *‑귀납 차수와 *‑연역 차수를 정의한다. 차수 n은 모든 비공집합 I에 대해 n번째 귀납 연산이 고정점에 도달하는 최소 자연수이며, 존재하지 않으면 ∞라 정의한다. 이 정의를 바탕으로 여러 범주의 차수를 계산한다.

• 가환 단항군(덧셈 모노이드)에서는 *‑귀납 차수가 1이며, *‑연역 차수는 무한이다. 여기서 *‑귀납 집합은 부분반군, *‑연역 집합은 빼기 폐쇄된 부분모노이드(전통적 k‑이상)와 일치한다.
• 0‑빼기 가능(0‑subtractive) 범주, 즉 이항항 s가 s(x,x)=0, s(x,0)=0을 만족하는 경우, 차수는 최대 2이다. 특히 0‑빼기 가능 범주에서는 *‑귀납·연역 집합이 동일하고, 비공집합이면 바로 *‑클롯(반동치가 생성하는 ∗‑정규)과 같다.
• R‑모듈 범주와 가환 환 범주에서는 차수가 1이다. 여기서는 *‑귀납·연역 집합이 정확히 부분모듈(또는 이상)이며, 생성된 반동치 R이 바로 모듈(또는 환)의 표준 동치관계를 재현한다.

또한 저자는 *‑귀납·연역 차수가 1이 되는 “좋은” 범주가 뺄셈 연산이 존재하거나, Mal’cev 다양성처럼 3‑항 연산이 존재하는 경우임을 관찰한다. 흥미롭게도, 뺄셈 연산이 없지만 곱셈만으로 이루어진 반링(semiring)에서도 두 차수가 모두 1임을 증명한다. 이는 반동치 R이 곱셈과 덧셈을 동시에 이용해 빠르게 폐쇄되기 때문이다.

전반적으로 논문은 기존의 k‑이상 이론을 보다 일반적인 대수적 맥락으로 확장하고, *‑귀납·연역이라는 두 개의 독립적인 폐쇄 연산을 통해 *‑정규(핵) 구조를 정확히 포착한다. 차수 개념을 도입함으로써 각 범주의 구조적 복잡성을 정량화하고, 뺄셈 연산의 존재 여부가 차수에 미치는 영향을 명확히 드러낸다. 이러한 프레임워크는 향후 범주론적 핵 이론, 동형사상 분류, 그리고 비가환 구조에서의 이상 이론 연구에 유용한 도구가 될 것으로 기대된다.