완비 국소환

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
3. 성질
- 3.1. 매틀리스 쌍대성
- 3.2. 국소화 함자
4. 분류
5. 예
- 5.1. 완비 국소환이 아닌 환
6. 역사
참조

1. 개요

완비 국소환은 국소 가환환의 극대 아이디얼의 거듭제곱에 대한 몫환들의 완비화가 자기 자신과 동형인 환이다. 완비 국소환은 헨젤 환이며, 매틀리스 쌍대성과 같은 중요한 성질을 가진다. 코언 구조 정리에 따라, 모든 뇌터 완비 국소환은 완비 정칙 국소환의 몫환으로 표현될 수 있으며, 완비 정칙 국소환은 형식적 멱급수환 등으로 분류된다. 형식적 멱급수환과 p진 정수환이 완비 국소환의 예시이며, p진수체의 대수적 폐포의 완비화는 완비 국소환이 아니다.

더 읽어볼만한 페이지

가환대수학 - 매개계
매개계는 뇌터 국소 가환환과 유한 생성 가군을 사용하여 정의되며, 가군의 길이와 크룰 차원을 활용하여 정칙 국소환에서 정칙 매개계의 성질을 규명하고, 추상대수기하학에서 기하학적 대상의 분류와 연구에 중요한 역할을 한다.
가환대수학 - 크룰 차원
크룰 차원은 환 내의 소수 아이디얼 체인의 길이를 이용하여 정의되며, 환론 및 대수기하학에서 중요한 역할을 하고 다양한 개념으로 확장되어 사용된다.

완비 국소환
개요
종류	환
성질	완비 국소환
정의
정의	위상환 A가 주어졌을 때, A의 완비화 Â가 A와 환으로서 동형인 경우 A를 완비환이라고 한다. 만약 A가 또한 뇌터 환이면서 국소환이라면, A를 완비 국소환이라고 한다.

2. 정의

국소 가환환 $(R,\mathfrak m,\kappa)$ 이 주어졌다고 하자. 이 경우 극대 아이디얼 $\mathfrak m$ 의 거듭제곱에 대한 몫환

: $\dotsb \to R/\mathfrak m^3 \to R/\mathfrak m^2 \to R/\mathfrak m = \kappa$

을 취할 수 있으며, 이에 대한 완비화

: $\hat R=\varprojlim_{n\to\infty} \frac R{\mathfrak m^n}$

를 취할 수 있다. 환 준동형

: $\phi_n \colon R \to R/\mathfrak m^n$

으로부터 표준적인 환 준동형

: $\phi_\infty \colon R \to \hat R$

이 존재한다. 만약 이 준동형이 전단사 함수(동형 사상)라면, $R$ 를 '''완비 국소환'''이라고 한다. 이는 위상환을 이룬다.

보다 구체적으로, 다음 두 조건이 성립해야 한다.

(하우스도르프 조건) $\textstyle\bigcap_{n=0}^\infty \mathfrak m^n = 0$
(완비성) 임의의 원소열 $r_0,r_1,r_2,\dotsc \in R$ 에 대하여, 만약 $r_i - r_{i-1} \in \mathfrak m^i$ 라면, 충분히 큰 $i$ 에 대하여 $r = r_i = r_{i+1} = r_{i+2} = \dotsb$ 가 되는 $r\in R$ 가 존재한다.

3. 성질

모든 완비 국소환은 헨젤 환이다. 모든 아르틴 국소 가환환은 (자명하게) 뇌터 완비 국소 가환환이다. 이 경우 충분히 큰 $n$ 에 대하여 $\mathfrak m^n = 0$ 이다. 모든 뇌터 완비 가환환은 탁월한 가환환이다.

3. 1. 매틀리스 쌍대성

(R,\mathfrak m,\kappa)

가 뇌터 완비 국소환이며,

E

가

\kappa

의 단사 껍질이라고 하자. 그렇다면,

R

위의 뇌터 가군의 범주

\operatorname{NoetMod}_R

의 반대 범주와 아르틴 가군의 범주

\operatorname{ArtMod}_R

사이에 다음과 같은 범주의 동치가 존재한다.

:

D \colon \operatorname{NoetMod}_R^{\operatorname{op}} \to \operatorname{ArtMod}_R

:

D \colon M \mapsto \hom_R(M,E)

:

D^{-1} \colon M \mapsto \hom_R(M,E)

이를 '''매틀리스 쌍대성'''(Matlis duality^영어)이라고 한다.

특히, 뇌터 가군이자 아르틴 가군인 가군(즉, 길이가 유한한 가군)의 범주는 스스로의 반대 범주와 동치이다.

3. 2. 국소화 함자

임의의 국소 가환환

(R,\mathfrak m,\kappa)

에 대하여, 완비화를 통해 완비 국소환

:

\hat R = \varprojlim_{n\to\infty}\frac R{\mathfrak m^n}

을 정의할 수 있다. 이는 국소환과 국소 준동형의 범주에서 완비 국소환과 국소 준동형의 범주로 가는 함자

:

\hat{} \colon \operatorname{LocCRing} \to \operatorname{compLocCRing}

를 정의한다.

이 함자 아래,

\hat R

의 극대 아이디얼은

:

\hat{\mathfrak m} = \{(r_1+\mathfrak m,r_2+\mathfrak m^2,\dotsc)\in \hat R\colon r_1 + \mathfrak m = \mathfrak m\}

이다. 그 잉여류체는 원래 국소환의 잉여류체와 표준적으로 같다.

:

R / \mathfrak m \cong \hat R / \hat{\mathfrak m}

이 함자 아래, 다음 두 조건이 서로 동치이다.

$R$ 가 뇌터 국소 가환환이다.
$\hat R$ 가 뇌터 완비 국소환이다.

4. 분류

코언 구조 정리에 따르면, 모든 뇌터 완비 국소환은 어떤 완비 정칙 국소환의 몫환으로 표현될 수 있다.

모든 완비 정칙 국소환은 완전히 분류되었다. 구체적으로, 완비 정칙 국소환은 다음과 같이 분류된다.

어떤 자연수 $n \in \mathbb N$ 및 체 $K$ 에 대하여, 형식적 멱급수환 $Kx_1,x_2,\dotsc,x_n$
이 경우, 크룰 차원은 $n$ 이다.
어떤 자연수 $n\in\mathbb N$ 및 $p$ -코언 환 $K$ 에 대하여, 형식적 멱급수환 $Kx_1,x_2,\dotsc,x_n$
이 경우, 크룰 차원은 $n+1$ 이다.
어떤 자연수 $n\in\mathbb N$ 및 $p$ -코언 환 $K$ 에 대하여, 형식적 멱급수환의 몫 $Kx_1,x_2,\dotsc,x_n/(p - x)$ . 여기서 $x \in \mathfrak m^2 \setminus (p)$ 이며, $\mathfrak m = (p,x_1,x_2,\dotsc,x_n)$ 은 $Kx_1,\dotsc,x_n$ 의 유일한 극대 아이디얼이다.
이 경우, 크룰 차원은 $n$ 이다.

여기서, 소수

p

에 대하여,

p

-'''코언 환'''은 완비 이산 값매김환

(D,\mathfrak m,\kappa)

가운데,

\operatorname{char}D = 0

이며

\operatorname{char}\kappa = p

이며

\mathfrak m = (p)

인 것이다. 예를 들어,

p

진 정수환

\mathbb Z_p

는 코언 환이다.

5. 예

체 $K$ 에 대한 형식적 멱급수환 $K[\![x]\!]$ 는 완비 국소환이다. 소수 $p$ 에 대한 $p$ 진 정수환 $\mathbb Z_p$ 또한 완비 국소환이다.

5. 1. 완비 국소환이 아닌 환

p|p^영어진수체 의 대수적 폐포의 완비화 '''C'''_''p''를 생각하자. 이 역시 대수적으로 닫힌 체이다. 이에 대응하는 값매김환(즉, '''C'''_''p''에서 p|p^영어진 값매김이 음이 아닌 정수인 원소로 구성된 부분환)의 극대 아이디얼 \mathfrak m은

: 0 \ne \mathfrak m = \mathfrak m^2 = \mathfrak m^3 = \dotsb

을 만족시킨다. 따라서 이는 하우스도르프 조건을 만족시키지 못해 완비 가환환을 이루지 못한다.

6. 역사

어빈 솔 코언이 1946년에 코언 구조 정리를 증명하였다.^[2]

참조

_[1] 서적 Lectures around complete local rings
_[2] 논문 On the structure and ideal theory of complete local rings

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com