취소 메도우의 일반적 기초 정리와 확장 연산자들의 적용

본 논문은 영-전역화된 역연산자를 갖는 가환환, 즉 ‘메도우(meadow)’라는 대수 구조를 중심으로 전개된다. 메도우는 기본적으로 0⁻¹=0이라는 규칙을 통해 나눗셈을 전역 함수로 만들며, 12개의 방정식(Md)으로 정의된다. 이러한 메도우 중에서도 ‘취소 메도우(cancellation meadow)’는 추가적인 역법칙(IL) x≠0 → x·x⁻¹=1을 만족해 제로 디바이더가 존재하지 않는 특성을 가진다. 저자는 이러한 취소 메도우에 대해 보다 일반적인 기초 정리(Generic Basis Theorem)를 제시한다. 정리의 핵심 전제는 서명 Σ가 기본 메도우 서명 Σ_m을 포함하고, 방정식 집합 E가 Md를 포함하며, ‘가짜 단위(pseudo‑unit)’와 ‘가짜 영(pseudo‑zero)’ 전파 성질을 만족한다는 것이다. 전파 성질은 임의의 컨텍스트 C