사슬 조건(Chain condition)은 수학, 특히 순서 이론과 대수학에서 부분집합·부분구조들의 사슬(chain)에 대한 제한을 의미한다. 사슬이란, 포함 관계·부분 순서 등에 의해 전부가 서로 비교 가능한 원소들의 집합을 말한다. 사슬 조건은 이러한 사슬이 무한히 연장되지 못하도록 하는 제한을 두어 구조의 성질을 파악하는 데 사용된다.
주요 종류
| 종류 | 정의 | 주요 적용 분야 |
|---|---|---|
| 상향 사슬 조건(Ascending Chain Condition, ACC) | 부분집합·아이디얼·서브그룹 등에서, 원소들의 포함 관계가 점점 커지는 사슬 $A_1 \subseteq A_2 \subseteq A_3 \subseteq \dots$ 이 유한 단계 이후에는 더 이상 엄격히 커지지 않고 결국 일정해지는 조건. | 가환대수학(노에디얼 링, Noetherian ring), 모듈 이론, 대수적 기하학 등 |
| 하향 사슬 조건(Descending Chain Condition, DCC) | 포함 관계가 점점 작아지는 사슬 $B_1 \supseteq B_2 \supseteq B_3 \supseteq \dots$ 이 유한 단계 이후 일정해지는 조건. | 아르틴-제네리(Artinian) 링·모듈, 체인 복합체 등 |
| 양방향 사슬 조건(Both ACC and DCC) | 상향·하향 사슬 조건을 동시에 만족하는 경우. | 완전 유한 구조, 예컨대 유한 차원 벡터 공간 등 |
정의와 성질
-
정의(일반적인 순서 집합)
순서 집합 $(P,\leq)$에 대해, 모든 상승 사슬 $x_1 \leq x_2 \leq \dots$ 에 대해 어떤 $n$이 존재하여 $x_n = x_{n+1}= \dots$ 일 때, $(P,\leq)$는 상향 사슬 조건(ACC)을 만족한다.
하향 사슬에 대해 유사하게 정의하면 하향 사슬 조건(DCC)가 된다. -
대수적 구조에서의 적용
- 노에디얼 링(Noetherian ring): 모든 아이디얼에 대해 ACC를 만족한다. 이는 아이디얼이 유한 생성임을 의미한다.
- 아르틴 링(Artinian ring): 모든 아이디얼에 대해 DCC를 만족한다.
- 노에디얼 모듈, 아르틴 모듈: 각각 모듈의 부분모듈들에 대해 ACC, DCC를 적용한다.
-
동등성
- 유한 생성 모듈은 노에디얼이며, 따라서 ACC를 만족한다.
- 가군이 유한 차원을 가질 경우, 그 가군은 동시에 노에디얼·아르틴이며, 양쪽 사슬 조건을 모두 만족한다.
예시
- 정수 링 $\mathbb{Z}$ 은 노에디얼이지만 아르틴이 아니다.
- 아이디얼 $(2) \subset (4) \subset (8) \subset \dots$ 은 무한히 상승하지만, 모든 아이디얼이 유한 생성이므로 ACC는 만족한다.
- 다항식 링 $k[x_1,\dots,x_n]$ (필드 $k$ 위) 역시 노에디얼이다.
- 행렬 링 $M_n(k)$ 은 아르틴이며, 모든 왼쪽·오른쪽 아이디얼이 제한된 사슬을 이루어 DCC를 만족한다.
관련 개념
- 웰-정리(Well-ordering principle): 모든 비공허한 부분집합이 최소 원소를 가지는 전순서. 이는 사슬 조건과는 별개지만, 순서 구조의 ‘무한히 내려가는 사슬이 없음’이라는 관점에서 연관된다.
- 체인 복합체(Chain complex): 호몰로지 이론에서 사슬이 아니라 사슬 복합체를 의미한다. 용어가 유사하지만 개념은 다르다.
참고 문헌·자료
- M. F. Atiyah, I. G. Macdonald, Introduction to Commutative Algebra, 1969.
- H. Matsumura, Commutative Ring Theory, 1989.
- S. Lang, Algebra, 3rd ed., 2002.
(위 내용은 일반적인 수학 교과서·전공 서적에 기초한 객관적 정보이며, 별도의 출처가 명시되지 않은 경우는 백과사전적 합의에 따라 정리한 것이다.)