모듈러 격자: 두 판 사이의 차이

다음 편집 →

내용 삭제됨 내용 추가됨

시각위키텍스트

인라인

2014년 10월 19일 (일) 09:48 판

순서론에서, 모듈러 격자(영어: modular lattice)는 일종의 약한 결합법칙을 만족시키는 격자이다.

정의

격자 $L$ 에 대하여, 다음 두 조건이 서로 동치이다.

모든 $a,b,c\in L$ 에 대하여, 만약 $a\leq b$ 라면 $a\vee (b\wedge c)=(a\vee b)\wedge c$ 이다.
모든 $a,b,c\in L$ 에 대하여, $(a\wedge c)\vee (b\wedge c)=((a\wedge c)\vee b)\wedge c$ 이다.

이 조건을 만족시키는 격자를 모듈러 격자라고 한다.

두 번째 조건은 항등식으로 서술되므로, 모듈러 격자의 모임은 대수적 구조 다양체를 이룬다. 즉, 모듈러 격자의 경우 격자 준동형사상에 대한 상 · 부분 격자 · 곱 격자 연산에 대하여 닫혀 있다.

성질

모든 분배 격자는 모듈러 격자이나, 그 역은 성립하지 않는다.

예

환의 아이디얼들의 (포함 관계에 대한) 격자는 분배 격자이며, 따라서 모듈러 격자이다. 환의 가군의 부분가군들의 (포함 관계에 대한) 격자는 모듈러 격자이다.

모듈러 격자가 아닌 가장 작은 격자는 다섯 개의 원소를 가지며, 아래와 같다.

역사와 어원

모듈러 항등식은 리하르트 데데킨트가 아이디얼의 격자 및 부분가군의 격자를 연구하면서 최초로 발견하였다.^[1]^[2] 데데킨트는 격자를 "이중군"(독일어: Dualgruppe)라고 불렀으며, 모듈러 격자를 "가군형 이중군"(독일어: Dualgruppe vom Modultypus 두알그루페 폼 모둘튀푸스^[*])이라고 불렀고, 분배 격자를 "아이디얼형 이중군"(독일어: Dualgruppe vom Idealtypus 두알그루페 폼 이데알튀푸스^[*])이라고 불렀다. 오늘날 쓰이는 용어 "모듈러 격자"(영어: modular lattice)은 "가군"(영어: module 모듈^[*])에서 왔다.

참고 문헌

↑ Dedekind, Richard (1897). “Über Zerlegungen von Zahlen Durch Ihre Grössten Gemeinsamen Theiler”. 《Fest-Schrift der Herzoglichen Technischen Hochschule Carolo-Wilhelmina》 (Vieweg): 1–40. doi:10.1007/978-3-663-07224-9_1. ISBN 978-3-663-06311-7. JFM 28.0186.04.
↑ Dedekind, Richard (1900). “Ueber die von drei Moduln erzeugte Dualgruppe”. 《Mathematische Annalen》 53 (3): 371–403. doi:10.1007/BF01448979. JFM 31.0211.01.

바깥 고리

“Modular lattice”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.

[1] Dedekind, Richard (1897). “Über Zerlegungen von Zahlen Durch Ihre Grössten Gemeinsamen Theiler”. 《Fest-Schrift der Herzoglichen Technischen Hochschule Carolo-Wilhelmina》 (Vieweg): 1–40. doi:10.1007/978-3-663-07224-9_1. ISBN 978-3-663-06311-7. JFM 28.0186.04.

[2] Dedekind, Richard (1900). “Ueber die von drei Moduln erzeugte Dualgruppe”. 《Mathematische Annalen》 53 (3): 371–403. doi:10.1007/BF01448979. JFM 31.0211.01.

[1]

[2]