모듈러 격자

틀:위키데이터 속성 추적 틀:대수 구조 순서론에서 모듈러 격자(틀:Llang)는 일종의 약한 결합 법칙을 만족시키는 격자이다.

정의

오각형 격자(틀:Llang)는 다음과 같은 유계 격자이다.

격자 $L$에 대하여, 다음 세 조건이 서로 동치이며, 이 조건을 만족시키는 격자를 모듈러 격자라고 한다.

• (A) 모든 $a,b,c\in L$에 대하여, 만약 $a\le c$라면 $a\vee (b\wedge c)=(a\vee b)\wedge c$이다.
• (B) 모든 $a,b,c\in L$에 대하여, $(a\wedge c)\vee (b\wedge c)=((a\wedge c)\vee b)\wedge c$이다.
• (C) 오각형 격자를 부분 격자로 하지 않는다.틀:Rp틀:Rp

두 번째 조건은 항등식으로 서술되므로, 모듈러 격자의 모임은 대수 구조 다양체를 이룬다. 즉, 모듈러 격자의 경우 격자 준동형사상에 대한 상 · 부분 격자 · 곱 격자 연산에 대하여 닫혀 있다. 틀:증명 조건 (A) ⇔ 조건 (B). $a\le c$는 $a\wedge c=a$와 동치이므로 자명하다.

조건 (A) ⇒ 조건 (C). 오각형 격자

$N_5=\{\mathrm{\perp },a,b,c,\mathrm{\top }\}$

$\mathrm{\perp }\le a\le c\le \mathrm{\top }$

$\mathrm{\perp }\le b\le \mathrm{\top }$

에서,

$a\le c$

$(a\vee b)\wedge c=\mathrm{\top }\wedge c=c$

$a\vee (b\wedge c)=a\vee \mathrm{\perp }=a$

이다. 따라서, $L$은 오각형 격자를 부분 격자로 할 수 없다.

조건 (C) ⇒ 조건 (A). 임의의 격자 위에서, 만약 $a\le c$라면, $a\vee (b\wedge c)\le (a\vee b)\wedge c$이다. $a\le c$이며 $a\vee (b\wedge c)<(a\vee b)\wedge c$인 $a,b,c\in L$이 존재한다고 가정하자.

$a^{\prime }=a\vee (b\wedge c)$

$c^{\prime }=(a\vee b)\wedge c$

라고 하자. 그렇다면,

$a\vee b=a^{\prime }\vee b\le c^{\prime }\vee b\le (a\vee b)\vee b=a\vee b$

$b\wedge c=c^{\prime }\wedge b\ge a^{\prime }\wedge b\ge (b\wedge c)\wedge b=b\wedge c$

이다. 즉,

$a^{\prime }\vee b=c^{\prime }\vee b=a\vee b$

$a^{\prime }\wedge b=c^{\prime }\wedge b=b\wedge c$

이다. 따라서,

$\{b\wedge c,a^{\prime },b,c^{\prime },a\vee b\}$

는 $L$의 오각형 부분 격자를 이룬다. 틀:증명 끝

성질

모든 분배 격자는 모듈러 격자이나, 그 역은 성립하지 않는다. 모든 데자르그 격자(틀:Llang)는 모듈러 격자이나, 그 역은 성립하지 않는다.

예

환의 아이디얼들의 (포함 관계에 대한) 격자는 분배 격자이며, 따라서 모듈러 격자이다. 환의 가군의 부분가군들의 (포함 관계에 대한) 격자는 모듈러 격자이다. 보다 일반적으로, 아벨 범주의 대상의 부분 대상들의 격자는 모듈러 격자이다.

오각형 격자는 모듈러 격자가 아닌 가장 작은 격자이다.

역사와 어원

모듈러 항등식은 리하르트 데데킨트가 아이디얼의 격자 및 부분가군의 격자를 연구하면서 최초로 발견하였다. 데데킨트는 격자를 "이중군"(틀:Llang)라고 불렀으며, 모듈러 격자를 "가군형 이중군"(틀:Llang)이라고 불렀고, 분배 격자를 "아이디얼형 이중군"(틀:Llang)이라고 불렀다. 오늘날 쓰이는 용어 "모듈러 격자"(틀:Llang)은 "가군"(틀:Llang)에서 왔다.

외부 링크

• 틀:Eom