산술 메도우와 그 변형

초록

본 논문은 0을 역원으로 정의해 전역적인 곱셈 역원을 갖는 교환환인 “역산 메도우(inversive meadow)”를 확장한다. 덧셈 항등원과 덧셈 역원을 없애고, 역산 메도우와 나눗셈 메도우(divisive meadow)의 변형을 정의한 뒤, 이들 구조에 대한 완전한 등식 공리계를 제시한다. 또한 몇몇 구체적인 인스턴스를 통해 제시된 공리계의 타당성을 검증한다.

상세 분석

논문은 먼저 기존 메도우 이론을 재검토한다. 역산 메도우는 전통적인 환(ring) 구조에 “0⁻¹ = 0”이라는 규칙을 추가함으로써 곱셈 역원을 전역 함수로 만든다. 이는 부분 함수가 아닌 전역 함수이므로, 표준 대수적 연산과 동일한 수준에서 다룰 수 있다는 장점이 있다. 저자는 이러한 메도우 개념을 “산술 메도우(arithmetical meadow)”라는 관점에서 재구성한다. Peacock의 산술 대수 전통을 차용해, 덧셈 항등원(0)과 덧셈 역원(−)을 의도적으로 배제한다. 즉, ‘+’ 연산은 존재하지만, 0이라는 특별한 원소와 그에 대한 부정 원소가 없어진다. 이는 전통적인 환의 정의와는 근본적으로 다르며, 연산의 폐쇄성만을 보장한다는 점에서 흥미롭다.

다음으로 저자는 두 종류의 변형을 제시한다. 첫 번째는 “역산 산술 메도우(inversive arithmetical meadow)”로, 기존 메도우의 곱셈 역원 연산을 그대로 유지하되, 0에 대한 역원을 0으로 정의한다. 두 번째는 “나눗셈 산술 메도우(divisive arithmetical meadow)”로, 역원 연산을 제거하고 대신 ‘÷’ 연산을 도입한다. 여기서 ‘a ÷ b’는 b = 0인 경우 0을 반환하도록 정의되어, 나눗셈 역시 전역 함수가 된다.

핵심 공리계는 크게 세 그룹으로 나뉜다. (1) 기본 환 공리(교환법칙, 결합법칙, 곱셈 항등원 1 존재)와 곱셈 분배법칙, (2) 역원·나눗셈에 대한 전역 정의와 그와 관련된 항등식(예: a·a⁻¹ = 1·(a ≠ 0) + 0·(a = 0) 형태의 조건부 등식), (3) 덧셈 항등원·역원 부재를 반영한 부가 공리(예: a + b = b + a는 유지하지만 a + 0 = a는 없어진다). 특히, 저자는 “0이 아닌 원소에 대해서만 역원이 존재한다는” 직관을 등식 형태로 변환하는 방법을 상세히 제시한다. 이는 기존 메도우에서 사용되는 ‘pseudo‑inverse’ 개념과 유사하지만, 덧셈 항등원을 배제함으로써 보다 간결한 형태를 얻는다.

논문은 또한 몇몇 구체적인 인스턴스를 제시한다. 예를 들어, 자연수 집합 ℕ에 0을 제외한 역원 연산을 정의하고, 0에 대해서는 0을 반환하도록 만든 구조가 역산 산술 메도우의 모델이 된다. 또 다른 예로, 실수 집합 ℝ에 동일한 규칙을 적용한 경우, 전통적인 필드와는 달리 0⁻¹ = 0이므로, 일부 대수적 성질이 변형된다. 이러한 인스턴스들은 제시된 공리계가 실제 수 체계에 적용 가능함을 보여준다.

마지막으로 저자는 향후 연구 방향으로, 이러한 메도우 변형을 프로그래밍 언어의 정수 연산, 오류 처리 메커니즘, 그리고 형식 검증 시스템에 적용하는 가능성을 제시한다. 전역적인 역원·나눗셈 정의는 ‘division by zero’ 오류를 논리적으로 회피할 수 있는 수학적 기반을 제공한다는 점에서 실용적 가치가 크다.