반원시환

3. 성질

다음과 같은 함의 관계가 성립한다.^[1]

또한, 모든 폰 노이만 정칙환(영어: von Neumann regular ring)은 반원시환이다.

왼쪽 아르틴 환 또는 오른쪽 아르틴 환의 경우, 반단순환 · 반원시환 · 반소환의 개념이 일치하며, 단순환 · 왼쪽 원시환 · 오른쪽 원시환 · 소환의 개념이 일치한다.

반원시환들의 직접곱은 반원시환이다. 환의 야코브슨 근기가 영 아이디얼이면, 그 환을 '''반원시환''' 또는 '''야코브슨 반단순환'''이라고 부른다.

환이 반원시환일 필요충분조건은 충실 가군인 반단순 가군 왼쪽 가군을 갖는 것이다. 반원시성은 좌우 대칭적이므로, 환이 반원시환일 필요충분조건은 충실한 반단순 오른쪽 가군을 갖는 것이다.

환이 반원시환일 필요충분조건은 좌원시환의 부분 직접곱이다.

가환환은 그것이 체의 부분 직접곱일 필요충분조건이며 반원시환이다.

왼쪽 아르틴 환이 반원시환일 필요충분조건은 반단순환일 때이다. 이러한 환은 때때로 반단순 아르틴 환이라고 불린다.

4. 예

정수환 $\backslash mathbb\; Z$는 반원시환이지만 아르틴 환이 아니며, 따라서 반단순환이 아니다. 정수환은 다음과 같이 소수 크기의 유한체들의 직접곱의 부분환으로 나타내어지므로 반원시환이다.

:$\backslash mathbb\; Z\backslash hookrightarrow\backslash prod\_p\backslash mathbb\; F\_p$

:$n\backslash mapsto(n\backslash mod\; p)\_\{p=2,3,5,\backslash dots\}$

정수환 위의 가군은 아벨 군이며, 정수환 위의 단순 가군은 아벨 단순군이므로 소수 크기의 순환군이며, 정수환 위의 반단순 가군은 소수 크기의 순환군들의 직합이다. 다음과 같은 아벨 군은 정수환 위의 충실한 반단순 가군을 이루므로, 정수환이 반원시환임을 다른 방법으로 알 수 있다.

:$\backslash bigoplus\_\{p=2,3,5,\backslash dots\}\backslash operatorname\{Cyc\}(p)$

• 정수환, 유리 정수환은 반원시적이지만 반단순적이지 않다.
• 모든 원시환, 임의의 원시환은 반원시적이다.
• 두 체의 곱, 두 체의 직적환은 반원시적이지만 원시적이지 않다.
• 모든 폰 노이만 정규환, 임의의 폰 노이만 정칙환은 반원시적이다.