모듈러 격자

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

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

정의[편집]

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

  • 모든 에 대하여, 만약 라면 이다.
  • 모든 에 대하여, 이다.

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

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

성질[편집]

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

[편집]

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

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

Smallest nonmodular lattice 2.svg

역사와 어원[편집]

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

참고 문헌[편집]

  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. ISBN 978-3-663-06311-7. JFM 28.0186.04. doi:10.1007/978-3-663-07224-9_1. 
  2. Dedekind, Richard (1900). “Ueber die von drei Moduln erzeugte Dualgruppe”. 《Mathematische Annalen》 (독일어) 53 (3): 371–403. JFM 31.0211.01. doi:10.1007/BF01448979. 

외부 링크[편집]