공통 멱등원 존재론

초록

이 논문은 컴팩트한 좌측 위상 반대수인 좌측 반링(왼쪽 분배법을 만족하는 두 연산)에서 가법·곱법 모두에 대해 멱등인 원소가 동시에 존재함을 증명한다. 이를 βℕ의 초필터에 적용해 가법·곱법 공통 멱등 초필터의 존재를 부분적으로 확인하고, 같은 방법이 비결합적 보편대수에도 확장될 수 있음을 보여준다.

상세 분석

논문은 먼저 전통적인 엘리스‑누마쿠라 정리(컴팩트한 좌측 위상 반군은 멱등원을 가진다)를 회고하고, 이를 두 개의 연산이 동시에 정의된 구조, 즉 좌측 반링(left semiring)으로 일반화한다. 좌측 반링은 (S,+,·)가 두 개의 이항연산을 가지고, (+)는 결합법칙과 항등원을, (·)는 결합법칙을 만족하며, 왼쪽 분배법 a·(b+c)=a·b+a·c을 만족한다는 점에서 일반적인 반군보다 강한 제약을 가진다. 저자는 “좌측 위상”이라는 조건을 두 연산 모두에 대해 동일하게 적용한다. 즉, 각 연산의 첫 번째 인자를 고정했을 때 두 번째 인자에 대한 함수가 연속이라는 의미이다. 이 가정 하에, 먼저 Zorn의 보조정리를 이용해 최소의 비공허한 닫힌 좌측 반링을 존재시킨다. 최소성은 어떠한 비공허한 닫힌 부분반링도 포함하지 않음을 의미하며, 이는 전통적인 최소 아이디얼 구조와 유사하게 작용한다. 그런 다음, 최소 반링 안에서 임의의 원소 x에 대해 x·x와 x+x를 고려한다. 좌측 연속성 덕분에 함수 f(y)=x·y와 g(y)=x+y가 최소 반링을 자기 자신으로 사상한다. 최소성 때문에 f와 g의 고정점이 존재하고, 이 고정점은 동시에 f와 g의 불변점이므로 x·e=e와 x+e=e를 만족한다. 특히 e=e·e=e+e가 되므로 e는 가법·곱법 모두에 대한 멱등원, 즉 “공통 멱등원”이다.

이러한 존재 증명은 실제로는 “공통 멱등원”이 최소 반링 전체에 걸쳐 동일하게 작용한다는 강한 결론을 낳는다. 즉, 모든 원소가 e와 곱하거나 더해도 e가 반환된다. 저자는 이를 βℕ(자연수의 스톤–체브 콤팩트화) 위에 정의된 두 연산(초필터 덧셈·곱셈)으로 옮겨, 가법·곱법 공통 멱등 초필터가 존재함을 보인다. 이는 기존에 알려진 가법 멱등 초필터(히든스톤 정리)와 곱법 멱등 초필터(베르그만-라스카르 정리)를 동시에 만족하는 초필터가 존재한다는 의미이며, 초필터의 대수적 구조에 대한 여러 미해결 질문에 부분적인 답을 제공한다.

마지막으로 저자는 이 논법이 연산의 결합법칙 자체를 필요로 하지 않으며, 오직 왼쪽 연속성과 특정 항등식(예: 왼쪽 분배법)만 있으면 충분하다는 점을 강조한다. 따라서 비결합적 보편대수(예: 왼쪽 스터디, 라무르 연산 등)에도 동일한 “공통 멱등원 존재 정리”를 적용할 수 있다. 이는 기존 위상대수 이론에서 “멱등원 존재”가 주로 군·반군에 국한되었던 관점을 크게 확장한다.