가군의 근기

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

환론에서, 가군근기(根基, 영어: radical 래디컬[*])는 모든 극대 부분 가군에 포함되는 가장 큰 부분 가군이다. 반대로, 가군주각(柱脚, 영어: socle 소클[*])은 모든 극소 부분 가군을 포함하는 가장 작은 부분 가군이다.

환을 스스로 위의 가군으로 여겼을 때의 근기를 제이컵슨 근기(Jacobson根基, 영어: Jacobson radical)라고 한다. 이는 대략 단순 가군으로서 관찰할 수 없을 정도로 "나쁜" 원소들로 구성된 아이디얼이다.

정의[편집]

위의 왼쪽 가군 이 주어졌다고 하자. 의 진부분 가군 가운데 극대 원소극대 부분 가군이라고 하자. (즉, 극대 부분 가군 단순 가군이 되는 것이다.) 마찬가지로, 의, 영가군이 아닌 부분 가군 가운데 극소 원소(즉, 부분 가군 가운데 단순 가군인 것)를 극소 부분 가군(영어: minimal submodule)이라고 하자.

위의 왼쪽 가군 이 주어졌을 때, 그 특별한 부분 가군인 근기(根基, 영어: radical) 주각(柱脚, 영어: socle) 을 정의할 수 있으며, 이 둘은 서로 쌍대 개념이다.

왼쪽 가군 의 모든 극대 부분 가군들의 교집합잉여적 부분 가군들의 합과 일치하며, 이를 근기 라고 한다. (만약 극대 부분 가군이 존재하지 않는다면 이는 과 같다.) 왼쪽 가군 의 모든 극소 부분 가군들의 합은 본질적 부분 가군들의 교집합과 일치하며, 이를 주각 이라고 한다. (만약 극소 부분 가군이 존재하지 않는다면 이는 영가군이다.) 오른쪽 가군의 근기 및 주각 역시 마찬가지로 정의된다.

환의 근기와 주각[편집]

를 스스로 위의 왼쪽 가군 또는 오른쪽 가군 으로 생각할 수 있다. 이 경우, 의 근기 및 주각을 생각할 수 있다.

의 근기는 의 동일한 부분 집합을 정의한다.

이는 (왼쪽 아이디얼이자 오른쪽 아이디얼이므로) 양쪽 아이디얼을 이루며, 제이컵슨 근기(영어: Jacobson radical)라고 한다.

근기의 경우와 달리, 일반적으로 (=모든 단순 왼쪽 아이디얼의 합)과 (=모든 단순 오른쪽 아이디얼의 합)은 일반적으로 서로 다르며, 이를 왼쪽 주각(영어: left socle) 및 오른쪽 주각(영어: right socle)이라고 한다.

성질[편집]

임의의 -가군 준동형 에 대하여, 다음이 성립한다.

모든 유한 생성 가군은 (초른의 보조정리에 따라) 적어도 하나 이상의 극대 부분 가군을 가지므로, 영가군이 아닌 가군 의 경우 이다.

가군의 (유한 또는 무한) 직합

에 대하여, 다음이 성립한다.

모든 왼쪽 가군 에 대하여, 다음이 성립한다.

환·가군 성질의 필요충분조건[편집]

왼쪽 가군 에 대하여 다음 두 조건이 서로 동치이다.

  • 반단순 가군이다.
  • 이다.

에 대하여 다음 조건들이 서로 동치이다.

  • 반단순환이다.
  • 이다.
  • 이다.
  • 모든 왼쪽 가군 에 대하여 이다.
  • 모든 오른쪽 가군 에 대하여 이다.

에 대하여 다음 두 조건이 서로 동치이다.

  • 반원시환이다.
  • 이다.

아이디얼성[편집]

제이컵슨 근기는 양쪽 아이디얼이다. 모든 환은 (초른의 보조정리에 따라) 적어도 하나 이상의 극대 아이디얼을 가지므로, 자명환이 아닌 환 의 경우 이다.

의 왼쪽 주각 및 오른쪽 주각은 둘 다 양쪽 아이디얼이다.

나카야마 보조정리[편집]

위의 왼쪽 가군 이 주어졌다고 하자. 아이디얼이므로,

부분 가군을 이룬다. 나카야마 보조정리(영어: Nakayama lemma)에 따르면, 다음 세 명제 가운데 적어도 하나가 성립한다.

  • 유한 생성 왼쪽 가군이 아니다.
  • 이다.
  • 이다.

증명:

영가군이 아닌 유한 생성 왼쪽 가군이라고 하자. 가 다음 조건들을 만족시킨다고 하자.

  • (생성 집합)
  • (극소성) 임의의 에 대하여,

영가군이 아니므로 이다.

귀류법을 사용하여, 이라고 가정하자. 그렇다면,

가 되는 가 존재한다. 제이컵슨 근기의 성질에 의하여, 모든 에 대하여 가역원이다. 따라서,

가 되며, 이는 의 극소성과 모순된다.

제이컵슨 근기의 원소의 성질[편집]

의 원소 에 대하여 다음 조건들이 서로 동치이다.

  • 이다.
  • 임의의 왼쪽 단순 가군 에 대하여, 이다.
  • 임의의 오른쪽 단순 가군 에 대하여, 이다.
  • 모든 왼쪽 극대 아이디얼 에 대하여,
  • 모든 오른쪽 극대 아이디얼 에 대하여,
  • 모든 에 대하여, 가역원이다.
  • 모든 에 대하여, 가역원이다.
  • 모든 에 대하여, 가역원이다.

즉, 제이컵슨 근기는 모든 (왼쪽 또는 오른쪽) 극대 아이디얼들의 교집합이자 모든 (왼쪽 또는 오른쪽) 단순 가군들의 소멸자들의 교집합이다. (이는 가환환영근기가 모든 소 아이디얼들의 교집합인 것과 유사하다.)

가환환 의 제이컵슨 근기는 영근기를 부분 아이디얼로 갖는다.

만약 가환환 정수환 위의 유한 생성 단위 결합 대수이거나, 아니면 위의 유한 생성 단위 결합 대수라면, 제이컵슨 근기는 영근기와 같다.

[편집]

환의 근기와 주각[편집]

영 아이디얼와 전체 아이디얼 밖의 아이디얼을 갖지 않는다. 따라서 체의 근기는 영 아이디얼이며, 체의 주각은 전체 아이디얼이다.

보다 일반적으로, 모든 원시환의 근기는 영 아이디얼이다. 정수환 의 근기는 영 아이디얼이다.

국소환 의 근기는 (극대 아이디얼이 하나밖에 없으므로) 유일한 극대 아이디얼 이다.

정수환의 몫환 의 극대 아이디얼들은 의 소인수들의 주 아이디얼이다. 따라서, 소인수 분해

라면, 의 제이컵슨 근기는 다음과 같은 주 아이디얼이다. 이는 영근기와 같으며, 만약 제곱 인수가 없는 정수라면 이는 영 아이디얼과 같다.

아벨 군의 근기와 주각[편집]

아벨 군정수환 위의 가군과 같으며, 따라서 아벨 군의 근기와 주각을 정의할 수 있다.

순환군[편집]

무한 순환군 은 극소 부분군을 갖지 않으며, 극대 부분군은 소수 에 대하여 의 꼴이다. 따라서, 근기와 각주 둘 다 자명군이다.

임의의 자연수 소인수 분해

가 주어졌다고 하자. 그렇다면, 자연수의 근기

를 정의할 수 있다. 순환군 의 극소 부분군은 의 소인수 크기의 순환군 이며, 극대 부분군은 크기의 순환군 에 대응한다. 따라서, 이 경우

이다.

나눗셈군[편집]

나눗셈군(예를 들어, 유리수체의 덧셈군이나 프뤼퍼 군)은 극대 부분군을 갖지 않으므로, 나눗셈군은 스스로의 근기와 같다. 유리수체의 덧셈군은 극소 부분군 또한 갖지 않으므로, 주각은 자명군이다.

프뤼퍼 군의 부분군들은

이므로, 그 유일한 극소 부분군은 이며, 이는 그 주각과 같다.

역사[편집]

의 주각의 개념은 장 디외도네가 1942년에 도입하였다.[1][2]:168

제이컵슨 근기의 개념은 네이선 제이컵슨이 1945년에 도입하였다.[3]

나카야마 보조정리는 나카야마 다다시가 1951년에 도입하였다.[4]

참고 문헌[편집]

  1. Dieudonné, Jean (1942). “Sur le socle d’un anneau et les anneaux simple infinis”. 《Bulletin de la Société Mathématique de France》 (프랑스어) 70: 46–75. ISSN 0037-9484. Zbl 0060.07203. 
  2. Lambek, Joachim (1986). “Lectures on rings and modules” (영어) 3판. Chelsea Publishing Company. MR 0206032. 
  3. Jacobson, Nathan (1945). “The radical and semi-simplicity for arbitrary rings”. 《American Journal of Mathematics》 (영어) 67: 300–320. doi:10.2307/2371731. ISSN 0002-9327. MR 12271. 
  4. Nakayama, Tadasi (1951). “A remark on finitely generated modules”. 《Nagoya Mathematical Journal》 (영어) 3: 139–140. ISSN 0027-7630. MR 0043770. Zbl 0044.26304. 

외부 링크[편집]

같이 보기[편집]