영근기

틀:위키데이터 속성 추적 환론에서 상영근기(上零根基, 틀:Llang)와 하영근기(下零根基, 틀:Llang)는 멱영원들로 구성된, 환의 특별한 아이디얼들이다. 가환환의 경우 이 둘은 일치하며, 영근기(零根基, 틀:Llang)라고 불린다.

정의

환 $R$의 왼쪽·오른쪽·양쪽 아이디얼이 멱영원들로만 구성되어 있다면, 이를 멱영원 왼쪽·오른쪽·양쪽 아이디얼(틀:Llang)이라고 한다. (이는 멱영 왼쪽·오른쪽·양쪽 아이디얼과 다르다.)

환 $R$의 상영근기(上零根基, 틀:Llang) 또는 쾨테 근기(틀:Llang)는 모든 멱영원 양쪽 아이디얼들의 합이다.틀:Rp

${\mathrm{Nil}}^{*}R=\underset{\mathrm{\forall }a\in 𝔞\mathrm{\exists }n>0:a^n=0}{⨁}𝔞$

환 $R$의 하영근기(下零根基, 틀:Llang) 또는 베어-맥코이 근기(틀:Llang)는 영 아이디얼의 소근기이다. 즉, $R$의 모든 소 아이디얼들의 교집합이다.틀:Rp

${\mathrm{Nil}}_{*}R=\sqrt{(0)}=\bigcap _{𝔭\text{ prime}}𝔭$

환 $R$의 레비츠키 근기(틀:Llang)는 모든 국소 멱영 아이디얼들의 합이다.틀:Rp 여기서 국소 멱영 아이디얼(틀:Llang) $𝔞$는 임의의 유한 부분 집합 $S\subseteq 𝔞$가 주어졌을 때, 충분히 큰 자연수 $N$에 대하여 $S^N=\{0\}$이 되는 아이디얼이다.

성질

하영근기 · 레비츠키 근기 · 상영근기는 환의 양쪽 아이디얼을 이룬다. 일반적으로 다음과 같은 포함 관계가 성립한다.

하영근기 ⊆ 레비츠키 근기 ⊆ 상영근기 ⊆ 제이컵슨 근기

상영근기의 모든 원소들은 멱영원이지만, 일반적인 환에서는 상영근기에 속하지 않는 멱영원이 존재할 수 있다.

만약 환 $R$가 가환환이거나 왼쪽 뇌터 환이거나 오른쪽 뇌터 환이라면, 상영근기 · 하영근기 · 레비츠키 근기가 모두 일치하며, 이를 영근기라고 한다.

쾨테 추측

다음 명제들은 모두 서로 동치이며, 이들이 참인지 여부를 쾨테 추측(틀:Llang)이라고 한다.

• 임의의 환에서, 두 멱영원 왼쪽 아이디얼의 합은 멱영원 왼쪽 아이디얼이다.
• 임의의 환에서, 모든 멱영원 왼쪽 아이디얼은 상영근기에 속한다.
• 임의의 환 $R$ 및 임의의 멱영원 양쪽 아이디얼 $𝔧$에 대하여, 행렬 아이디얼 $\mathrm{Mat}(2;𝔧)\subseteq \mathrm{Mat}(2;R)$은 멱영원 아이디얼이다.
• 임의의 양의 정수 $n\in {\mathbb{Z}}^{+}$ 및 임의의 환 $R$ 및 임의의 멱영원 양쪽 아이디얼 $𝔧$에 대하여, 행렬 아이디얼 $\mathrm{Mat}(n;𝔧)\subseteq \mathrm{Mat}(n;R)$은 멱영원 아이디얼이다.

쾨테 추측은 오른쪽 뇌터 환이나 다항 항등식 환에 대하여 증명되었지만, 일반적인 환에 대하여 아직 미해결 문제이다.

가환환의 경우

가환환의 경우, 영근기는 모든 멱영원의 집합과 같으며, 영 아이디얼의 소근기이다. (이는 비가환환의 경우 성립하지 않을 수 있다.)

외부 링크

• 틀:Eom
• 틀:Nlab

같이 보기

• 멱영원
• 제이컵슨 근기