반완전환

환론에서 반완전환(半完全環, )은 모든 유한 생성 가군이 사영 덮개를 갖는 환이다.

 정의 
환 에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 환을 반완전환()이라고 한다.
 가 되는, 국소 멱등원들의 직교 유한 집합 가 존재한다.
 는 반단순환이며, 의 모든 멱등원 에 대하여 가 되는 -멱등원 가 존재한다.
 모든 -유한 생성 왼쪽 가군이 사영 덮개를 갖는다.
 모든 -유한 생성 오른쪽 가군이 사영 덮개를 갖는다.
(여기서 모든 반단순환은 왼쪽 아르틴 환·오른쪽 아르틴 환이며, 는 제이컵슨 근기를 뜻한다.)

환 에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 환을 왼쪽 완전환(-完全環, )이라고 한다.
 모든 -왼쪽 가군이 사영 덮개를 갖는다.
 모든 -평탄 왼쪽 가군은 사영 왼쪽 가군이다.
 (배스 정리 P ) -주 오른쪽 아이디얼들 은 내림 사슬 조건을 만족시킨다. (※ 왼쪽이 아니라, 주 오른쪽 아이디얼이다.)
 는 반단순환이며, 임의의 열 에 대하여 이 되는 자연수 이 존재한다.
 는 반단순환이며, 모든 -왼쪽 가군은 영가군이 아니라면 극대 부분 가군을 갖는다.
마찬가지로 오른쪽 완전환(-完全環, )의 개념을 정의할 수 있다. 반완전환과 달리, 완전환의 개념은 왼쪽·오른쪽이 서로 다르다.

 성질 
반완전환·왼쪽 완전환·오른쪽 완전환의 개념은 (가군만을 통해 정의되므로) 모리타 동치에 대하여 불변이다.

 함의 관계 
임의의 (곱셈 항등원을 갖는) 환에 대하여, 다음과 같은 함의 관계가 존재한다.
 오른쪽 아르틴 환  ⇒  오른쪽 뇌터 환   오른쪽 완전환  ⇘   ⇗   ⇘   반으뜸환   국소환  ⇒  반완전환  ⇒  반국소환  ⇗   ⇘   ⇗ 왼쪽 아르틴 환  ⇒  왼쪽 뇌터 환   왼쪽 완전환
여기서 반으뜸환(半-環, )은 그 제이컵슨 근기 가 멱영 아이디얼이며, 제이컵슨 근기에 대한 몫환 가 반단순환인 환 를 뜻한다.

 사영 가군 
가 반완전환이며, 가 서로 직교인 국소 멱등원들의 집합이라고 하자.

반완전환  위의 모든 유한 생성 사영 왼쪽 가군 은 다음과 같은 꼴의 유한 직합으로 분해된다.

여기서 각 은 자연수이다.

가 추가로 왼쪽 완전환이라고 하자.  위의 모든 사영 왼쪽 가군 은 다음과 같은 꼴 직합으로 분해된다.

여기서 각 는 (무한 또는 유한) 기수이다.

 주 분해 불가능 가군 
가 반완전환이라고 하자. 그렇다면, 원시 멱등원 에 대하여, 와 같은 꼴의 왼쪽 가군을 주 분해 불가능 왼쪽 가군()이라고 한다. 이들은 분해 불가능 가군이며 사영 가군이다.

그렇다면,  위의 단순 왼쪽 가군들의 동형류 집합은  위의 주 분해 불가능 왼쪽 가군들의 동형류 집합과 표준적으로 일대일 대응한다. 구체적으로, 원시 멱등원 가 주어졌을 때, 주 분해 불가능 왼쪽 가군 에 대응하는 단순 왼쪽 가군은

이다.

 나카야마 순열 
반완전환 가 유한 개의 원시 멱등원 을 갖는다고 하자. 만약

라면, 를 의 나카야마 순열([中山]順列, )이라고 한다. 이는 나카야마 다다시가 도입하였다.

 분류 
반완전환 는 다음과 같은 유한 직접곱으로 나타낼 수 있다.

여기서 각 는 중심에 속하는 원시 멱등원들이다. 각 는 항등원 를 갖는 반완전환이다.

반완전환 의 기초 멱등원() 는 다음과 같은 꼴의 멱등원이다.

여기서
 각 는 원시 멱등원이며, 이다.
 는 각각 서로 동형이 아닌 주 분해 불가능 가군들에 대응한다.
기초 멱등원 가 주어졌을 때, 는 반완전환을 이루며, 이는 의 모리타 동치류의 표준적인 대표원을 이룬다.

 역사 
1956년에 사무엘 에일렌베르크는 모든 대상이 사영 덮개를 갖는 아벨 범주를 "완전 범주"()라고 명명하였다. 이후 에일렌베르그의 용어를 차용하여, 하이먼 배스가 1960년에 완전환 및 반완전환의 개념을 도입하였다.

 참고 문헌 

 외부 링크 



분류:환론