크룰 차원

위키백과, 우리 모두의 백과사전.

가환대수학대수기하학에서 크룰 차원(Krull次元, 영어: Krull dimension)은 가환환에 대한 차원의 일종이다. 소 아이디얼로 이루어진 진부분집합들의 사슬들의 크기의 상한이다.

정의[편집]

위상 공간의 차원[편집]

위상 공간 기약 집합(영어: irreducible set)은 기약 공간이며 공집합이 아닌 닫힌집합이다.[1]:3 (이는 아핀 스킴의 경우 소 아이디얼에 대응한다.) 크룰 차원의 기약 집합들의 사슬

의 길이들의 상한 이다.[1]:5 만약 기약 집합이 아예 존재하지 않을 경우 (즉, 공간이 공집합인 경우), 크룰 차원은 이다.

보통, 스킴의 차원이란 이 크룰 차원을 말한다. 이 정의에 따라 자명환스펙트럼의 크룰 차원은 이다.

위상 공간 열린 덮개 가 주어졌을 때, 다음이 성립한다.

가군의 차원[편집]

가환환 위의 가군 크룰 차원은 다음과 같다.[2]:226

여기서 소멸자이며, 환의 스펙트럼이다. 대수기하학적으로, 이는 위의 가군층으로 여겼을 때, 그 지지 집합의 차원에 해당한다.

아이디얼의 높이[편집]

가환환 소 아이디얼 높이(영어: height) 는 다음과 같은 소 아이디얼의 사슬의 최대 길이 이다.

이는 국소화 의 크룰 차원과 같다.

가환환 아이디얼 높이(영어: height) 를 포함하는 소 아이디얼들의 높이의 하한이다.

(초른 보조정리에 따라, 를 포함하는 극대 아이디얼이 항상 존재하며, 극대 아이디얼은 소 아이디얼이므로 이는 항상 공집합이 아니다.)

대수기하학적으로, 이는 여차원과 같다.

성질[편집]

가환환의 차원[편집]

가 (1을 갖춘) 가환환이라고 하자. 만약 소 아이디얼가 다음과 같은 진부분집합의 사슬

을 이룰 때, 음이 아닌 정수 을 집합 의 원소로 정의하자. 그렇다면 가환환 크룰 차원상한이다.[1]:6 즉,

자명환의 경우, 크룰 차원은 이다.

그렇다면, 다음 세 개의 차원들이 서로 같다.

  • 의 환으로서의 크룰 차원
  • 스펙트럼 의 크룰 차원
  • 를 스스로 위의 가군으로 여겼을 때, 의 가군 크룰 차원

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

  • 이다.
  • 크룰 차원이 0인 정역이다.

가환환 에 대하여, 다음 두 조건이 서로 동치이다.[2]:227, Corollary 9.1[3]:90, Theorem 8.5

일반적인 가환환 에 대하여, 다음이 성립한다.

만약 뇌터 환이라면, 다음이 성립한다.[2]:Corollary 10.13

대수다양체의 차원[편집]

대수적으로 닫힌 체 위의 대수다양체의 크룰 차원은 유한하며, 쌍유리 변환 아래 불변량이다.

대수적으로 닫힌 체 에 대한 아핀 대수다양체 (소 아이디얼)에 대하여, 다음 조건들이 서로 동치이다.[3]:124–125

  • 의 크룰 차원이 이다.
  • 의 임의의 비특이점에서의 뇌터 국소환의 크룰 차원이 이다.
  • 유리 함수체 에 대한 초월 차수이다.
  • 힐베르트 다항식차 다항식이다.

대수적으로 닫힌 체 에 대한 사영 대수다양체 (는 동차 소 아이디얼)에 대하여, 다음 조건들이 서로 동치이다.

  • 의 크룰 차원이 이다.
  • 의 임의의 비특이점에서의 국소환의 크룰 차원이 이다.
  • 에 대한 초월 차수이다.

뇌터 국소환의 차원[편집]

뇌터 국소환 의 차원은 다음과 같이 세 가지 방법으로 정의할 수 있다.[3]:119 이들은 모두 같으며, 항상 유한하다.

  • 의 크룰 차원
  • 에서, 자명환이 아닌 아르틴 환이 되는 아이디얼 의 생성원들의 최소 크기
  • 가 임의의 -으뜸 아이디얼이라고 하자. 그렇다면 형식적 멱급수
    를 정의할 수 있다 (, 가군의 길이). 이는 항상 유리 함수이며, 에서의 극점의 차수를 라고 하자. 이 값은 의 선택에 관계없다.

이렇게 정의하면, 항상

이다.

정칙 국소환의 차원[편집]

정칙 국소환 의 차원은 다음과 같이 정의할 수 있으며, 이 정의들은 모두 같다.[3]:123, Theorem 11.22

  • 뇌터 국소환으로서의 차원 (모든 정칙 국소환은 뇌터 국소환이다.)
  • . 여기서 위의 벡터 공간의 차원이다.
  • 의 최소 생성 집합의 크기
  • 일 때, . 여기서 이다.

[편집]

가환환의 차원[편집]

크룰 차원이 인 유일한 가환환은 자명환이다.

소 아이디얼은 (0)뿐이다. 따라서 모든 는 크룰 차원이 0이다. 주 아이디얼 정역의 경우, 모든 0이 아닌 소 아이디얼극대 아이디얼이다. 따라서 체가 아닌 주 아이디얼 정역의 크룰 차원은 1이다.

가 체라고 하자. 그렇다면 주 아이디얼 정역이므로 이다. 보다 일반적으로, 이다.[1]:6

자연수 에 대하여, 가환환 의 크룰 차원은 다음과 같다.

위상 공간의 차원[편집]

위상 공간의 크룰 차원은 자리스키 위상과는 잘 호환되지만, 하우스도르프 위상과는 호환되지 않는다. 하우스도르프 공간의 경우, 기약 집합은 한원소 집합이며, 따라서 공집합이 아닌 하우스도르프 공간의 차원은 항상 0이다.

시에르핀스키 공간 , 의 기약 집합은 이므로, 시에르핀스키 공간의 크룰 차원은 1이다.

벡터 공간의 크룰 차원[편집]

위의 벡터 공간 가군으로서의 크룰 차원은 항상 0이다. 이 경우 이며, 는 항상 한원소 공간으로서 크룰 차원이 0차원이다. 즉, 가군의 크룰 차원은 벡터 공간의 차원과 관계가 없다.

무한 차원의 뇌터 가환환[편집]

에 대하여, 무한 개의 변수의 다항식환

를 생각하자. 임의의 증가 정수열

가 주어졌을 때, 소 아이디얼들의 열

을 생각하자. 그렇다면

국소화하면, 뇌터 환이며, 그 크룰 차원은

이다. 만약 라면, 이는 무한 크룰 차원의 뇌터 환이 된다. 이 예는 나가타 마사요시가 제시하였다.[4]:Appendix, Example E1[2]:229, Exercise 9.6

역사[편집]

볼프강 크룰이 1928년 크룰 높이 정리를 증명하면서 그 기본 개념을 도입하였다.[5]

같이 보기[편집]

참고 문헌[편집]

  1. Hartshorne, Robin (1977). 《Algebraic Geometry》. Graduate Texts in Mathematics (영어) 52. Springer. doi:10.1007/978-1-4757-3849-0. ISBN 978-0-387-90244-9. ISSN 0072-5285. MR 0463157. Zbl 0367.14001. 
  2. Eisenbud, David (1995). 《Commutative algebra with a view toward algebraic geometry》. Graduate Texts in Mathematics (영어) 150. Springer-Verlag. doi:10.1007/978-1-4612-5350-1. ISBN 978-0-387-94269-8. ISSN 0072-5285. MR 1322960. Zbl 0819.13001. 
  3. Atiyah, Michael; Ian G. MacDonald (1969). 《Introduction to commutative algebra》 (영어). Addison-Wesley. 
  4. Nagata, Masayoshi (1962). 《Local rings》. Interscience Tracts in Pure and Applied Mathematics (영어) 13. Wiley Interscience. 
  5. Krull, Wolfgang (1928년 12월 1일). “Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen”. 《Mathematische Zeitschrift》 (독일어) 28 (1): 481–503. doi:10.1007/BF01181179. 

외부 링크[편집]