맨위로가기

반소환

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
목차

1. 개요

반소환은 환에 대한 조건들을 만족하는 환을 의미한다. 영 아이디얼이 반소 아이디얼이거나, 특정 아이디얼의 제곱이 0이면 해당 아이디얼이 0이 되는 등의 조건을 갖는다. 반소 아이디얼은 환의 진 아이디얼로, 특정 조건을 만족하는 아이디얼을 의미하며, 소 아이디얼의 성질과 유사하다. 반소환은 소 아이디얼들의 교집합이며, 아이디얼의 근기는 반소 아이디얼이다. 반소환은 베어 하위 닐래디컬이 0인 환과 동치이며, 체, 정역, 영역, 축소환, 소환 등의 개념과 관련된다. 반소 우 골디 환은 반단순 아르틴 우 고전적 분수 환을 가지며, 골디 환의 중요한 연구 대상이다.

더 읽어볼만한 페이지

  • 환론 - 뇌터 환
    뇌터 환은 환론에서 아이디얼의 특정 조건을 만족하는 환을 지칭하며, 가환환의 경우 왼쪽, 오른쪽, 양쪽 뇌터 환의 개념이 일치하지만 비가환환의 경우 구별해야 하고, 힐베르트 기저 정리에 따라 뇌터 환 R에 대해 다항식환 R[X] 역시 뇌터 환이 된다.
  • 환론 - 다항식환
    다항식환은 환을 계수로 하는 다항식들의 집합으로, 덧셈과 곱셈 연산에 대해 환을 이루며, 계수환이 체일 경우 유클리드 정역이 되고 대수기하학 등 다양한 분야에서 중요한 역할을 한다.
반소환

2. 정의

환 R에 대하여 다음 조건들은 서로 동치이며, 이를 만족시키는 환을 '''반소환'''이라고 한다.


  • 영 아이디얼이 반소 아이디얼이다.[3]
  • 모든 양쪽 아이디얼 \mathfrak a에 대하여, \mathfrak a^2=0이면 \mathfrak a=0이다.[3]
  • 모든 왼쪽 아이디얼 \mathfrak A에 대하여, \mathfrak A^2=0이라면 \mathfrak A=0이다.[3]
  • 모든 오른쪽 아이디얼 \mathfrak A에 대하여, \mathfrak A^2=0이라면 \mathfrak A=0이다.[3]

2. 1. 반소 아이디얼

가환환 ''R''에 대해, 진 아이디얼 ''A''가 다음 조건 중 하나를 만족하면 반소수 아이디얼이라고 한다.

  • ''x''''k''가 양의 정수 ''k''와 ''R''의 원소 ''x''에 대해 ''A''에 속하면, ''x''는 ''A''에 속한다.
  • ''y''가 ''R''에 속하지만 ''A''에 속하지 않으면, ''y''의 모든 양의 정수 거듭제곱은 ''A''에 속하지 않는다.


이는 소 아이디얼의 여집합이 곱셈에 대해 닫혀 있다는 사실과 유사하게, 반소 아이디얼의 여집합은 "거듭제곱에 대해 닫혀 있다"는 성질을 가진다.

소 아이디얼과 마찬가지로, 비가환환으로 확장할 수 있다. 환 ''R''의 아이디얼 ''A''가 반소 아이디얼이 되기 위한 동등한 정의는 다음과 같다.

  • ''R''의 임의의 아이디얼 ''J''에 대해, 양의 자연수 ''k''에 대해 ''J''''k''⊆''A''이면, ''J''⊆''A''이다.
  • ''R''의 임의의 ''오른쪽'' 아이디얼 ''J''에 대해, 양의 자연수 ''k''에 대해 ''J''''k''⊆''A''이면, ''J''⊆''A''이다.
  • ''R''의 임의의 ''왼쪽'' 아이디얼 ''J''에 대해, 양의 자연수 ''k''에 대해 ''J''''k''⊆''A''이면, ''J''⊆''A''이다.
  • ''R''의 임의의 ''x''에 대해, ''xRx''⊆''A''이면, ''x''는 ''A''에 속한다.


환 ''R''의 공집합이 아닌 부분 집합 ''S''는 임의의 ''s''∈''S''에 대해 어떤 ''r''∈''R''이 존재하여 ''srs''∈''S''가 될 때 '''n-시스템'''이라고 한다. ''R''\''A''가 n-시스템인 것도 반소 아이디얼이 되기 위한 조건이다.[1]

3. 성질

소 아이디얼은 반소 아이디얼이다.[3] 가환환에서, 반소 일차 아이디얼은 소 아이디얼이다. 소 아이디얼들의 교집합은 반소 아이디얼이다. 모든 반소 아이디얼은 소 아이디얼들의 모임의 교집합이다. 환 ''R''의 임의의 아이디얼 ''B''에 대해, ''B''의 근기는 ''B''를 포함하는 가장 작은 반소 아이디얼이다. 아이디얼 ''A''가 반소 아이디얼일 필요충분조건은 √(A) = A이다. (√(A)는 A를 포함하는 모든 소 아이디얼들의 교집합이다.) 환 ''R''이 반소환일 필요충분조건은 √(0) = 0이다. (√(0)은 ''R''의 베어 하위 닐래디컬, 베어-맥코이 래디컬, 또는 소 래디컬이라고도 불린다.)

4. 반소 골디 환

골디 정리에 따르면, 반소 우 골디 환은 정확히 반단순 아르틴 우 고전적 분수 환을 갖는 환이다. 아르틴-베더번 정리는 이 분수 환의 구조를 완전히 결정한다. 반소환인 골디 환은 중요한 연구 대상이다.

참조

[1] 문서 The full ring of two-by-two matrices over a field is semiprime with nonzero nilpotent elements.
[2] 문서 体上の2次全行列環は0でないベキ零元をもつ半素環である。
[3] 서적 A first course in noncommutative rings Springer 2001


본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com