J‑자명 단조의 Cross 다양체 완전 규정

초록

본 논문은 J‑자명(mon​oid) 다양체에서 Cross 다양체를 정확히 구분한다. 14개의 거의‑Cross(Almost Cross) 다양체를 열거하고, 이들을 모두 배제하면 해당 부분다양체는 finitely based, finitely generated, 그리고 작은(small) 성질을 동시에 만족하는 Cross 다양체가 됨을 증명한다.

상세 분석

J‑자명(mon​oid)이라는 개념은 두 원소가 서로 다른 경우 그들이 생성하는 양측이상(두‑측 아이디얼)이 서로 다르다는 조건으로 정의된다. 이러한 단조들은 자동이론에서 조각별 테스트 언어와 일대일 대응하므로 구조적 연구가 활발히 진행되어 왔다. 논문은 먼저 Cross 다양체의 정의를 상기한다. 즉, 한 다양체가 (i) 유한 기반(finitely based), (ii) 유한 생성(finitely generated), (iii) 부분다양체 격이 유한(small)인 경우를 말한다. 이 세 조건은 서로 독립적이며, 모두 만족할 때만 Cross라 부른다.

기존 연구에서는 특정 클래스(예: 군, 반군, 가환 단조 등)에서 거의‑Cross(Almost Cross) 다양체, 즉 Cross가 아니면서 모든 진부분다양체는 Cross인 최소한의 다양체들을 규명해 왔다. J‑자명 단조 클래스는 이미 알려진 12개의 거의‑Cross 다양체를 포함하고 있었으며, 이는 A​com(가환 아이디empotent 단조)와 그 하위 클래스 A​cen(중심 아이디empotent 단조)에서 유도된 것들이다.

본 논문은 두 가지 주요 단계로 진행된다. 첫 번째 단계에서는 비유한 생성(almost Cross) 다양체들을 조사한다. 여기서는 기존의 F, ←F, H, ←H, L, P, ←P 등 7개의 쌍을 포함해 총 10개의 비유한 생성 다양체를 확인한다. 특히, 새로운 거의‑Cross 다양체 H와 그 대칭인 ←H를 구성함으로써 기존 목록을 확장한다. 두 번째 단계에서는 유한 생성(almost Cross) 다양체들을 다룬다. 여기서는 I, ←I, K, ←K, Y₁, Y₂, Z 등 7개의 다양체를 분석한다. 각 다양체는 특정 항등식(예: xⁿ⁺¹≈xⁿ, (xy)ⁿ≈(yx)ⁿ, xhx≈x²h 등)이나 Rees quotient 구조를 통해 특징지어진다.

핵심 기술은 다음과 같다. (1) Lemma 2.4와 2.5를 이용해 Rees quotient Rq W가 어떤 다양체에 포함되는지를 단어가 isoterm인지 여부로 판단한다. (2) Lemma 2.1과 2.3을 통해 로컬 유한성(local finiteness)과 완전 정규성(completely regular) 사이의 관계를 정리하고, 이를 바탕으로 J₁ 이하의 가환 부분다양체가 자동으로 Cross임을 보인다. (3) Proposition 2.8에서는 O∩J₂라는 특수한 교차점에서 비가환 부분다양체가 제한된 형태의 항등식 집합으로 정의됨을 증명한다. 이는 이후 섹션 4에서 각 거의‑Cross 다양체가 O∩J₂ 혹은 J₂의 특정 하위클래스에 속함을 확인하는 데 활용된다.

마지막으로 Section 5의 주요 정리(Theorem 5.1)는 “J‑자명 다양체 V가 Cross가 되려면, 위에서 열거한 14개의 거의‑Cross 다양체를 모두 포함하지 않아야 한다”는 명시적 조건을 제시한다. 이는 Zorn의 보조정리를 이용해 거의‑Cross 다양체들의 최소성(minimality)을 보이고, 그 배제 조건이 충분조건이자 필요조건임을 증명한다. 결과적으로 J‑자명 단조 클래스 내에서 Cross 다양체를 완전하게 규정할 수 있게 된다.