제이컵슨 밀도 정리

수학, 특히 비가환 환론, 추상대수학, 가군론에서 제이컵슨 밀도 정리()는 환 에 대한 단순 가군에 관한 정리이다.Isaacs, p. 184

이 정리는 모든 원시환을 벡터 공간의 선형 변환 환의 "조밀한" 부분환으로 볼 수 있음을 보여주는 데 적용될 수 있다.이러한 선형 변환 환은 전선형환으로도 알려져 있다.Isaacs, Corollary 13.16, p. 187 이 정리는 1945년 네이선 제이컵슨의 유명한 논문 "무한성 가정이 없는 단순 환의 구조 이론(Structure Theory of Simple Rings Without Finiteness Assumptions)"에서 처음 등장했다.Jacobson, Nathan "Structure Theory of Simple Rings Without Finiteness Assumptions" 이것은 단순환 아르틴 환의 구조에 대한 아르틴-웨더번 정리의 결론을 일종의 일반화로 볼 수 있다.

 동기와 형식적인 서술 
을 환이라고 하고 를 오른쪽 단순 -가군이라고 하자. 만약 가 의 0이 아닌 원소이면, 이다 (여기서 은 에 의해 생성된 의 순환 부분가군이다). 그러므로, 만약 가 의 0이 아닌 원소이면, 를 로 변환하는 의 자기 사상을 유도하는 의 원소가 존재한다. 이제 자연스러운 질문은 이것이 임의의 (유한한) 원소 튜플로 일반화될 수 있는가 하는 것이다. 더 정확하게 말하면, 튜플 과 에 대해 각각 필요한 충분 조건을 찾아, 모든 에 대해  속성을 갖는 의 원소가 존재하도록 하는 것이다. 만약 가 의 모든 -가군 자기 사상들의 집합이라면, 슈어 보조정리는 가 나눗셈환임을 주장하고, 제이컵슨 밀도 정리는 들이  위에서 선형 독립이라면 튜플에 대한 질문에 긍정적인 답변을 제공한다.

위 내용을 염두에 두고, 이 정리는 다음과 같이 진술될 수 있다:

제이컵슨 밀도 정리. 를 오른쪽 단순 -가군, , 그리고 를 유한하고 -선형 독립인 집합이라고 하자. 만약 가 의 -선형 변환이라면, 이 존재하여 의 모든 에 대해 이 성립한다.Isaacs, Theorem 13.14, p. 185

 증명 
제이컵슨 밀도 정리에서 오른쪽 -가군 는 자연스러운 방식으로 인 왼쪽 -가군으로 동시에 간주된다: . 이것이 실제로 에 대한 왼쪽 가군 구조임을 확인할 수 있다.덧붙여, 이는 또한  쌍가군 구조이기도 하다. 이전에 언급했듯이, 슈어 보조정리는 가 단순 가군이면 가 나눗셈환임을 증명하므로, 는  위의 벡터 공간이다.

증명은 또한  p. 185에 증명된 다음 정리에 의존한다:

정리. 를 오른쪽 단순 -가군, , 그리고 를 유한 집합이라고 하자. 에서 의 소멸자를 로 쓰자. 의 원소 가 을 만족한다고 하자. 그러면 는 에 속한다; 이는 의 -선형 생성이다.

 제이컵슨 밀도 정리의 증명 
일반적으로 에 대한 수학적 귀납법을 사용한다. 만약 가 공집합이면, 정리는 자명하게 참이므로 귀납법의 기본 단계가 확인된다.

가 공집합이 아니라고 가정하고, 를 의 한 원소로, 로 쓰자. 만약 가 의 임의의 -선형 변환이라면, 귀납 가설에 의해 모든  in 에 대해 를 만족하는 가 존재한다. 로 쓰자. 는 의 부분가군임을 쉽게 알 수 있다. 만약 이라면, 이전 정리에 의해 는 의 -선형 생성에 속하게 되어, 의 -선형 독립성에 모순된다. 따라서 이다. 는 단순 가군이므로, 이다. 이므로, 의 원소 가 존재하여 이다.

로 정의하고, 의 모든 에 대해 다음을 관찰한다.

이제 에 대해 같은 계산을 한다:

따라서, 원하는 대로 의 모든 에 대해 이 성립한다. 이것으로 증명의 귀납 단계가 완료된다. 이제 수학적 귀납법에 따라 정리는 모든 크기의 유한 집합 에 대해 참이다.

 위상적 특성화 
환 은 제이컵슨 밀도 정리의 결론을 만족할 경우 단순 오른쪽 -가군 에 조밀하게 작용한다고 말한다.Herstein, Definition, p. 40 을 "조밀하다"고 설명하는 위상적 이유가 있다. 첫째, 의 각 원소를 오른쪽 곱셈에 의해 유도되는  선형 변환과 동일시함으로써 의 부분환으로 식별할 수 있다. 만약 에 이산 위상이 주어지고, 에 곱위상이 주어지며, 가 의 부분공간으로 간주되고 부분공간 위상이 주어졌을 때, 은 이 위상에서 의 조밀 집합일 때 그리고 그 때에만 에 조밀하게 작용한다.이 경우 이 위상은 콤팩트-열린집합 위상과 동일하다는 것이 밝혀졌다. Herstein, p. 41에서는 이 설명을 사용한다.

 결과 
제이컵슨 밀도 정리는 환의 구조 이론에서 여러 중요한 결과를 가진다.Herstein, p. 41 특히 아르틴-웨더번 정리의 단순 오른쪽 아르틴 환의 구조에 대한 결론이 다시 얻어진다. 제이컵슨 밀도 정리는 또한 오른쪽 또는 왼쪽 원시환을 특정 -벡터 공간 의 -선형 변환 환의 조밀한 부분환으로 특성화한다. 여기서 는 나눗셈환이다.

 다른 결과와의 관계 
이 결과는 힐베르트 공간 상의 연산자의 *-대수 에 대해 이중 교환자 가 주어진 유한 벡터 집합에 대해 로 근사될 수 있음을 나타내는 폰 노이만 이중 교환자 정리와 관련이 있다. 다시 말해, 이중 교환자는 약작용자 위상에서 의 폐포이다.(폰 노이만 대수 설정에서 카플란스키 밀도 정리도 참조)

 내용주 

 각주 




 외부 링크 


분류:가군론