환 준동형 사상

환 준동형 사상은 환 사이의 구조를 보존하는 사상으로, 그 핵(kernel)은 아이디얼(ideal)이고 상(image)은 부분환(subring)이며, 동형 정리(isomorphism theorems)에 의해 지배되는 환 이론의 사상입니다.

Definition

환 준동형 사상은 덧셈, 곱셈, 그리고 (관례적으로) 곱셈 항등원을 보존하여 대수적 연산이 존중되도록 하는 환 사이의 함수입니다.

Scope

이 주제는 환 준동형 사상 및 동형 사상의 정의, 핵과 상, 환에 대한 네 가지 동형 정리, 표수(characteristic)와 소부분환(prime subring), 그리고 몫환(quotient rings)과 평가 사상(evaluation maps)의 보편적 성질을 다룹니다.

Core questions

• 사상이 환 구조를 보존한다는 것은 무엇을 의미하는가?
• 준동형 사상의 핵과 상은 아이디얼 및 부분환과 어떻게 관련되는가?
• 동형 정리는 준동형 사상을 몫을 통해 어떻게 인수분해하는가?
• 평가 사상과 축소 사상은 환 준동형 사상으로 어떻게 발생하는가?

Key theories

환에 대한 제1 동형 정리

모든 환 준동형 사상은 그 상으로의 전사(surjection)와 이은 포함 사상(inclusion)으로 인수분해되며, 그 상은 정의역을 핵(아이디얼)으로 나눈 몫환과 동형입니다.

대응 정리 및 동형 정리

아이디얼로 몫을 취하는 것은 해당 아이디얼을 포함하는 아이디얼과 몫환의 아이디얼 사이에 전단사(bijection)를 설정하며, 제2, 제3, 제4 동형 정리는 부분환, 아이디얼, 몫이 준동형 사상 하에서 어떻게 상호작용하는지 설명합니다.

몫의 보편적 성질

핵이 주어진 아이디얼을 포함하는 준동형 사상은 그 아이디얼로 나눈 몫을 통해 유일하게 인수분해되므로, 몫환은 해당 아이디얼을 소멸시키는 동형 사상 이미지 중에서 보편적입니다.

Clinical relevance

환 준동형 사상은 정수를 법으로 하는 축소(reduction modulo an integer or polynomial), 다항식의 평가(evaluation of polynomials), 그리고 환을 더 큰 환에 포함시키는 것과 같은 대수학의 기본 연산을 형식화합니다. 이는 환을 범주(category)로 만들고, 수론(number theory)과 대수 기하학(algebraic geometry)에서 구조와 계산이 전달되는 사상입니다.

History

준동형 사상 및 동형 정리는 1920년대 에미 뇌터(Emmy Noether)의 구조적 대수학 프로그램의 일환으로 군론(group theory)에서 환으로 추상화되었으며, 이전에는 수론과 방정식 이론에서 개별적으로 다루어졌던 구성들을 통합했습니다.

Key figures

• Emmy Noether
• Richard Dedekind
• Emil Artin

Seminal works

• dummit2004
• hungerford1974
• lang2002

Frequently asked questions

환 준동형 사상의 핵이 반드시 아이디얼이어야 하는 이유는 무엇인가?

핵은 덧셈에 대해 닫혀 있으며, 사상이 곱셈을 보존하고 핵 원소의 이미지가 0이기 때문에, 임의의 환 원소와의 곱셈을 흡수합니다. 이러한 흡수 성질이 바로 아이디얼의 정의입니다.

일상적인 대수학에서 환 준동형 사상의 예시는 무엇인가?

정수를 n으로 나눈 나머지(reduction of integers modulo n), 고정된 수에서의 다항식 평가(evaluation of a polynomial at a fixed number), 그리고 복소수 켤레(complex conjugation)는 모두 환 준동형 사상입니다. 각각은 합과 곱을 보존하며, 동형 정리는 그 이미지를 몫환으로 설명합니다.