[논문 리뷰] Proatomic modular ortholattices: Representation and equational theory

Christian Herrmann, Michael Roddy|arXiv (Cornell University)|2015. 01. 11.

Advanced Algebra and Logic참고 문헌 34인용 수 9

한 줄 요약

이 논문은 유한 차원 MOL로부터 생성되는 라티스의 클래스로 proatomic 모듈라 올드라티스(MOLs)를 도입하며, 이들이 원자적 확장과 기하적 표현을 갖는 라티스와 동치임을 증명한다. 주요 기여는 Bruns와 Roddy의 기법을 사용해, proatomic MOLs가 정확히 기하적 표현을 갖거나 원자적 MOL 확장을 갖는 라티스임을 특징짓는 정리이다.

ABSTRACT

We study modular ortholattices in the variety generated by the finite dimensional ones from an equational and geometric point of view. We relate this to coordinatization results.

연구 동기 및 목표

• 유한 차원 MOL로부터 생성되는 모듈라 올드라티스의 다양체를 특징짓고, 'proatomic' MOLs의 개념을 도입하는 것.
• proatomic MOLs, 원자적 MOL 확장을 갖는 라티스, 기하적 표현을 갖는 라티스 사이의 동치성을 확립하는 것.
• 특히 좌표화와 라티스 다양체와의 관계에서 MOLs의 등식적 및 기하적 구조를 탐구하는 것.
• 직교 프레임과 부분직접 기저가 있는 MOLs에서의 사영성의 역할을 조사하는 것.
• 라티스 이론적 표현을 통해 $*$-정규환과 바일-망골드 대수와의 연결을 도모하는 것.

제안 방법

• Bruns와 Roddy의 MOL-구성 기법을 사용해 proatomic MOLs를 생성하고 분석하는 것.
• Herrmann와 Roddy의 직교의미론 개념을 사용해 MOLs 내의 의미론과 합동관계를 분석하는 것.
• Frink의 임bedding과 Jónsson의 보존 정리 정리를 적용해 라티스 항등식과 등식적 닫힘을 연결하는 것.
• 최소 합동관계와 사영성 관계를 통해 부분직접 기저가 있는 MOLs를 분석하는 것.
• 직교 3-프레임로부터 생성된 임의의 유한 및 무한 높이의 proatomic MOLs의 예를 구성하는 것.
• 라티스 합동관계와 중립 이상을 사용해 다양체 및 그 부분다양체를 특징짓는 것.

실험 결과

연구 질문

• RQ1 모든 모듈라 올드라티스가 유한 차원으로부터 생성되는가(즉, proatomic MOLs인가)?
• RQ2 모든 proatomic MOLs는 비이성적 극성과 함께 사영 공간에서 기하적 표현을 갖는가?
• RQ3 모든 연속적이고 가산 완비성 있는 MOLs는 proatomic이며, 유한 차원 MOLs로 생성된 준다양체에 속하는가?
• RQ4 모든 아르게이시안 proatomic MOLs는 직교 기저를 갖는 공간을 사용해 표현될 수 있는가?
• RQ5 높이 ≥3인 부분직접 기저가 있는 좌표화 가능한 MOLs 중에서 직교 큰 부분 n-프레임이 없는 것이 존재하는가?

주요 결과

• 세 성질—proatomic임, 원자적 MOL 확장을 갖는 것, 기하적 표현을 갖는 것—의 동치성은 proatomic MOLs의 클래스를 정의한다.
• 모든 유한 및 무한 높이에서 직교 3-프레임으로 생성된 부분직접 기저가 있는 proatomic MOLs가 존재한다.
• 유한 차원 MOLs로 생성된 다양체는 부분대수와 곱에 대해 닫혀 있으며, Frink의 임베딩에서 유지되는 항등식에 의해 공리화된다.
• 최소 합동관계를 갖는 보완 가능한 모듈라 라티스는 비자명한 합동관계의 교차를 갖는 유한 부분직접 기저가 있는 라티스를 생성한다.
• 기하적 표현의 존재는 라티스가 아르게이시안 법칙을 만족하고, 특정 프레임 조건 하에서 좌표화 가능하다는 것을 암시한다.
• $*$-정규환의 경우, 주로 오른쪽 이상의 라티스가 proatomic이면서 직교 큰 부분 $n$-프레임을 갖는다면, 그 환은 유닛 정규환이다.