미분 메도우: 차분 연산자를 갖는 영전체화 필드의 새로운 체계

본 논문은 영전체화 필드(0⁻¹=0)를 기반으로 하는 대수 구조인 메도우에 미분 연산자를 도입한 ‘미분 메도우’를 정의하고, 그 연산자를 위한 유한한 등식 기반 공리계를 제시한다. 또한, 가환 대수기하의 자르키 위상을 이용해 미분 취소 메도우(Zero‑Divisor가 없는 메도우)의 존재를 증명한다.

저자: Jan A. Bergstra, Alban Ponse

본 논문은 ‘메도우’라는 대수 구조에 미분 연산자를 도입해 ‘미분 메도우’를 정의하고, 그 이론적 기반을 체계적으로 구축한다. 메도우는 필드 연산에 영전체화(0⁻¹=0)를 적용한 구조로, 기본 공리 Md는 CRU(가환환 단위), Reflex(역원 반사 법칙), RIL(역원 제한 법칙)으로 구성된다. 취소 메도우는 추가로 IL(역원법칙) x≠0 ⇒ x·x⁻¹=1을 만족해 영분해가 없으며, 이는 기존 메도우와 구별되는 중요한 성질이다. 저자는 먼저 기존 메도우 이론을 요약하고, ‘가짜 단위’와 ‘가짜 영’ 전파 성질을 정의한다. 이는 식 1ₜ·C

원본 논문

고화질 논문을 불러오는 중입니다...

댓글 및 학술 토론

Loading comments...

의견 남기기