아이디얼

아이디얼은 환의 특수한 부분집합으로, 덧셈에 대해 닫혀 있고 곱셈에 대해 흡수적이며, 준동형 사상의 핵 역할을 하고 몫환을 형성하는 대상이 됩니다.

Definition

환 R의 아이디얼은 R의 원소에 의한 곱셈을 흡수하는 덧셈 부분군입니다. 가환환에서 부분집합 I가 아이디얼이라는 것은 덧셈에 대해 닫혀 있고, R의 모든 r과 I의 모든 i에 대해 ri가 I에 속한다는 것을 의미합니다.

Scope

이 주제는 좌, 우, 양측 아이디얼; 주, 극대, 소 아이디얼; 합, 곱, 교집합과 같은 아이디얼 연산; 몫환과 대응 정리; 그리고 극대 및 소 아이디얼에 의한 체와 정역의 특성화를 다룹니다.

Core questions

• 아이디얼은 환 준동형 사상의 핵과 어떻게 관련됩니까?
• 소 아이디얼과 극대 아이디얼은 무엇이 다르며, 그 몫환은 어떤 형태를 가집니까?
• 합, 곱, 교집합을 통해 기존 아이디얼로부터 새로운 아이디얼을 어떻게 구성합니까?
• 아이디얼의 격자는 환의 구조를 어떻게 반영합니까?

Key theories

핵으로서의 아이디얼

환의 부분집합이 어떤 환 준동형 사상의 핵이 되는 것은 그 부분집합이 아이디얼인 경우에 한하며, 아이디얼로 몫을 취하는 것은 이를 소멸시키는 보편적인 준동형 사상을 생성하는데, 이는 군론의 정규 부분군과 유사합니다.

소 아이디얼과 극대 아이디얼

항등원을 갖는 가환환에서 아이디얼은 그 몫환이 정역일 때 소 아이디얼이고, 그 몫환이 체일 때 극대 아이디얼이므로, 극대 아이디얼은 소 아이디얼입니다.

격자 대응

몫환의 아이디얼은 선택된 아이디얼을 포함하는 원래 환의 아이디얼과 일대일 대응 관계를 가지므로, 구조적 질문을 환과 그 몫환 사이에서 전환할 수 있습니다.

Clinical relevance

아이디얼은 환론의 중심적인 조직 개념입니다. 소 아이디얼은 대수 기하학 스펙트럼의 점들이며, 아이디얼은 다항식 방정식 시스템을 부호화하고, 아이디얼에 의한 몫 구성은 유한체 및 다양체의 좌표환과 같은 새로운 환을 구축합니다.

History

아이디얼이라는 단어는 대수적 수론에서 유일 인수분해를 복원하기 위해 고안된 Kummer의 이상수(ideal numbers)에서 유래했습니다. Dedekind는 이를 현대적인 아이디얼인 집합으로 재정의했습니다. Emmy Noether의 아이디얼에 대한 사슬 조건은 이후 추상 환론의 중추가 되었습니다.

Key figures

• Richard Dedekind
• Ernst Kummer
• Emmy Noether
• David Hilbert

Seminal works

• dummit2004
• atiyah1969
• hungerford1974

Frequently asked questions

임의의 부분환이 아닌 아이디얼로만 환을 몫을 취할 수 있는 이유는 무엇입니까?

몫환에서의 곱셈은 부분집합이 모든 환 원소에 의한 곱셈을 흡수할 때만 잘 정의되는데, 이것이 바로 아이디얼의 조건입니다. 환 연산에 대해서만 닫혀 있는 부분환은 일반적으로 잘 정의된 몫환을 제공하지 않습니다.

소 아이디얼과 극대 아이디얼은 어떻게 다릅니까?

아이디얼은 그 몫환이 정역일 때 소 아이디얼이고, 그 몫환이 체일 때 극대 아이디얼입니다. 모든 체는 정역이므로 극대 아이디얼은 항상 소 아이디얼이지만, 그 역은 성립하지 않으며, 이 차이는 환의 차원을 반영합니다.