모듈러 격자(모듈러 격자, modular lattice)는 순서 이론 및 대수 구조에서 다루어지는 격자 구조 중 하나로, 다음과 같은 모듈러 법칙을 만족하는 격자를 말한다.
$$ \forall,x, y, z \in L ; (x \leq z ;\Rightarrow; x \vee (y \wedge z) = (x \vee y) \wedge z) $$
여기서 $L$은 격자, $\leq$는 격자의 순서, $\vee$와 $\wedge$는 각각 합(join)과 교 meet 연산을 나타낸다.
위 식은 “$x$가 $z$보다 작거나 같을 때, $x$와 $y$를 먼저 만나고 그 결과와 $z$를 교하는 것과, $y$와 $z$를 먼저 만나고 그 결과와 $x$를 합하는 것이 같다”는 의미를 갖는다.
주요 성질
- 분배 격자와의 관계
- 모든 분배 격자(distributive lattice)는 모듈러 격자이지만, 반대는 일반적으로 성립하지 않는다.
- 동등한 정의
- 격자 $L$이 모듈러 격자라면, 임의의 사슬(chain) $x \leq y$에 대해 $[x, y]$ 구간이 제한된 사슬(lattice interval) 로서 모듈러 법칙을 만족한다.
- 동형 사상 보존
- 격자 동형사상(isomorphism)은 모듈러 법칙을 보존한다. 즉, 모듈러 격자의 동형사는 역시 모듈러 격자이다.
- 서브격자
- 모듈러 격자의 서브격자(sublattice)도 모듈러 법칙을 만족한다면 모듈러 격자가 된다.
대표적인 예
- 분배 격자: 모든 분배 격자는 모듈러 격자이다. 예를 들어, 집합의 멱집합(power set) $(\mathcal{P}(X), \cup, \cap)$은 모듈러 격자이다.
- 벡터 공간의 부분공간 격자: 임의의 벡터 공간 $V$에 대해 그 부분공간들의 격자 $(\text{Sub}(V), +, \cap)$는 모듈러 격자이며, 일반적으로 분배 격자는 아니다.
- 군의 부분군 격자: 군 $G$의 부분군들로 이루어진 격자 $(\text{Sub}(G), \langle\cdot\rangle, \cap)$는 만족하는 경우에 따라 모듈러 격자가 될 수 있다. 예를 들어, 아벨 군의 경우 전역적으로 모듈러 격자를 형성한다.
역사적 배경
모듈러 격자는 영국 수학자 리처드 디드킨(Richard Dedekind, 1831‑1916)에 의해 처음 체계화되었다. Dedekind는 특히 정수론과 대수학에서 부분 구조들의 관계를 조사하면서 모듈러 법칙을 도입하였다. 이후 격자 이론이 발전함에 따라 모듈러 격자는 대수 구조와 위상 공간, 논리학 등 다양한 분야에서 활용된다.
관련 개념
- 분배 격자 (Distributive lattice)
- 완비 격자 (Complete lattice)
- 조합 격자 이론 (Lattice theory)
- 모듈러 법칙 (Modular law)
참고문헌
- B. A. Davey, H. A. Priestley, Introduction to Lattices and Order, 2nd ed., Cambridge University Press, 2002.
- G. Grätzer, Lattice Theory: Foundation, Birkhäuser, 2011.
- R. Dedekind, “Zur Theorie der ganzen Zahlen”, Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 1897.
(※ 본 내용은 수학적 정의와 널리 알려진 예시들을 기반으로 작성되었습니다.)
