대형 존슨 프레임을 가진 비조정가능 격자

1. 서론에서는 섹션ally 보완 모듈러 격자와 반정규 링 사이의 전통적인 동형 관계를 소개한다. von Neumann의 코디네이트 정리와 조슨이 확장한 “큰 n‑프레임” 개념을 설명하고, 1962년 조슨이 제시한 “카운터블 코피날 시퀀스가 있으면 조정가능”이라는 가정을 명시한다. 저자는 이 가정이 실제로 필요하지 않을 수도 있다는 질문을 제기한다. 2. 기본 개념 섹션에서는 부분순서 집합, 격자, 중립 아이디얼, 큰 프레임, n/m‑전체성 등 필요한 정의를 정리한다. 특히 “큰 4‑프레임”을 갖는 격자는 중립 아이디얼이 전체 격자를 생성하는 원소 a₀와 동등한 관계를 만족하는 독립한 원소들의 집합 (a₀,a₁,a₂,a₃) 로 정의한다. 3. Banaschewski 함수 섹션에서는 Banaschewski 함수의 정의와 기존 결과(모든 가산 보완 모듈러 격자는 Banaschewski 함수를 가진다)를 요약한다. 이어서 저자는 ℵ₁ 크기의 격자에서는 이러한 함수가 존재하지 않을 수 있음을 보이기 위해 새로운 반정규 링 S_F를 구성한다. 4. 링 S_F의 구성은 다음과 같다. 가산 필드 F를 선택하고, 자유 대수 F⟨X⟩에 “준역원” 관계를 부여하는 일련의 생성자와 관계식을 도입한다. 결과적으로 얻어지는 S_F는 유닛‑정규이며, 모든 원소가 세 번 곱하면 0이 되는 지수 3의 닐포텐스를 가진다. 중요한 정리 4.4에서는 L(S_F) 가 Banaschewski 함수를 전혀 갖지 못함을 증명한다. 이는 S_F가 ℵ₁ 크기이면서도 보완 구조가 충분히 복잡함을 보여준다. 5. 격자 L의 구축 단계에서는 L을 L(S_F)와 동형인 섹션ally 보완 모듈러 격자로 정의한다. 이 격자는 큰 4‑프레임을 포함한다는 것을 직접 확인한다(프레임 원소들은 S_F의 특정 아이디얼에 대응). 그러나 앞서 증명한 바와 같이 Banaschewski 함수가 없으므로 조슨의 코피날 가정이 없이는 조정가능성을 보장할 수 없으며, 실제로 L은 어떠한 반정규 링 R에 대해서도 L(R)와 동형이 아니다. 6. 다음으로 저자는 Lemma 7.4와 Theorem 7.5를 통해 L을 스팬 5‑프레임을 가진 보완 모듈러 격자 L′의 아이디얼로 삽입한다. 여기서 L′는 전통적인 코디네이트 정리를 만족하는 반정규 링의 주이데얼 격자와 동형이다. 이 과정에서 Condensate Lifting Lemma(CLL)을 활용한다. CLL는 다이어그램 수준에서 존재하지 않는 리프팅을 객체 수준에서 “콘덴세이트”라는 새로운 구조로 변환한다. 결과적으로 L′는 조정가능하지만, 그 아이디얼 L은 조정불가능한 구조를 유지한다. 7. 결론에서는 본 연구가 조슨 정리의 “코피날 시퀀스 필요성” 가정을 부정하고, ℵ₁ 크기의 큰 4‑프레임을 가진 비조정가능 격자의 존재를 증명함으로써 격자 이론과 반정규 링 이론 사이의 경계를 명확히 함을 강조한다. 또한 Banaschewski 함수의 존재 여부가 조정가능성에 미치는 영향을 새롭게 조명하고, 향후 연구 방향으로 더 높은 기수와 다른 종류의 프레임 조건을 탐구할 필요성을 제시한다.