환 (수학) (r1)

환 준동형은 두 환 사이의 구조를 보존하는 함수이다. 구체적으로, 환 \(R\)과 \(S\) 사이의 함수 \(f: R \to S\)가 다음 두 조건을 만족하면 환 준동형이라고 한다. 첫째, \(f\)는 덧셈에 대한 군 준동형이어야 한다. 즉, 모든 \(r, s \in R\)에 대해 \(f(r + s) = f(r) + f(s)\)가 성립한다. 둘째, \(f\)는 곱셈에 대한 모노이드 준동형이어야 한다. 즉, 모든 \(r, s \in R\)에 대해 \(f(rs) = f(r)f(s)\)가 성립하고, 곱셈 항등원을 보존하여 \(f(1_R) = 1_S\)를 만족해야 한다.

이 정의는 환의 두 가지 기본 연산인 덧셈과 곱셈의 구조를 동시에 존중한다. 덧셈 보존 조건은 \(f\)가 아벨 군 준동형임을 의미하며, 이는 \(f(0_R) = 0_S\)와 \(f(-r) = -f(r)\)를 함의한다. 곱셈 보존 조건은 \(f\)가 모노이드 준동형임을 보장하며, 특히 곱셈 항등원의 보존은 환 준동형이 유사환 준동형과 구분되는 핵심 조건이다. 모든 환 준동형은 유사환 준동형이지만, 그 역은 일반적으로 성립하지 않는다.

환 준동형의 개념은 대수 구조 사이의 사상을 연구하는 범주론의 관점에서 자연스럽게 등장한다. 환과 환 준동형은 범주 \(\operatorname{Ring}\)을 형성한다. 이 범주에서 동형 사상은 전단사인(bijective) 환 준동형이며, 이 경우 역함수 역시 환 준동형이 된다. 준동형의 핵(kernel) \(\ker f = \{r \in R : f(r) = 0_S\}\)은 \(R\)의 양쪽 아이디얼이 되며, 이는 몫환 \(R / \ker f\)을 구성하는 데 사용된다. 준동형의 상(image) \(f(R)\)은 \(S\)의 부분환이 된다.

환 준동형은 다양한 수학 분야에서 핵심 도구로 활용된다. 예를 들어, 정수환 \(\mathbb{Z}\)에서 유리수체 \(\mathbb{Q}\)로의 포함 사상은 환 준동형의 한 예이다. 또한, 다항식환 \(R[x]\)에서 환 \(R\)로 평가 함수(evaluation map)를 보내는 사상, 혹은 행렬환 사이의 사상 등이 모두 환 준동형의 예에 해당한다. 이 개념은 가환대수학, 대수기하학, 표현론 등에서 구조를 비교하고 변환하는 데 필수적이다.

부분환은 주어진 환의 부분 집합으로, 그 자체로 원래 환과 같은 연산을 사용하여 환의 구조를 가지는 것을 말한다. 구체적으로, 환 \(R\)의 부분 집합 \(S\)가 부분환이 되기 위해서는 두 가지 조건을 만족해야 한다. 첫째, \(S\)는 덧셈에 대해 닫혀 있어야 하며, 덧셈의 항등원인 0을 포함하고, 각 원소의 덧셈 역원도 포함해야 한다. 즉, \(S\)는 덧셈에 관한 아벨 군의 구조를 가진 부분군이어야 한다. 둘째, \(S\)는 곱셈에 대해 닫혀 있어야 하며, 곱셈의 항등원인 1을 포함해야 한다. 즉, \(S\)는 곱셈에 관한 모노이드의 구조를 가진 부분 모노이드이어야 한다.

부분환의 개념은 군론에서의 부분군이나 선형대수학에서의 부분공간과 유사한 역할을 한다. 예를 들어, 정수환 \(\mathbb{Z}\)에서 짝수들의 집합은 덧셈과 곱셈에 닫혀 있지만, 곱셈 항등원 1을 포함하지 않으므로 부분환이 아니다. 반면, 정수환 자체는 유리수체 \(\mathbb{Q}\)의 부분환이 된다. 또한, 행렬환에서 대각 행렬들의 집합은 부분환을 이룬다.

부분환은 아이디얼과 구별되는 개념이다. 아이디얼은 환의 구조를 분석하는 데 중요한 도구이지만, 일반적으로 곱셈 항등원을 포함하지 않으므로 부분환이 될 수 없다. 부분환은 원래 환의 대수적 성질을 상속받아 연구의 기본 단위로 활용되며, 가환환 이론이나 대수기하학에서 다양하게 응용된다.

환의 이론에서 가군과 아이디얼은 매우 중요한 개념이다. 가군은 환이 아벨 군 위에 작용하는 구조를 일반화한 것으로, 벡터 공간이 체 위에서 정의되는 것과 유사하게, 환 위에서 정의된다. 구체적으로, 환 R에 대한 왼쪽 가군은 아벨 군 M과 R의 원소가 M에 작용하는 스칼라 곱셈 연산을 갖추고, 이 연산이 환의 연산 및 군의 덧셈과 분배 법칙을 만족하는 대수 구조이다. 오른쪽 가군도 유사하게 정의된다. 가군 이론은 선형대수학을 비가환 환으로 확장하는 틀을 제공하며, 호몰로지 대수학과 표현론의 기초가 된다.

아이디얼은 환의 특별한 부분 집합으로, 부분환보다 더 강한 조건을 만족한다. 환 R의 부분 집합 I이 왼쪽 아이디얼이 되려면, I이 덧셈에 대해 아벨 군의 부분군을 이루고, R의 임의의 원소 r과 I의 임의의 원소 a에 대해 곱 r·a가 다시 I에 속해야 한다. 오른쪽 아이디얼과 양쪽 아이디얼도 유사하게 정의된다. 아이디얼은 정규 부분군이 군에서 몫군을 정의하는 것과 마찬가지로, 환에서 몫환을 정의하는 데 사용된다. 즉, 양쪽 아이디얼 I이 주어지면, 동치류들의 집합 R/I 위에 자연스러운 환 구조를 부여할 수 있다.

가군과 아이디얼은 밀접하게 연결되어 있다. 예를 들어, 환 R 자체는 자연스럽게 왼쪽 R-가군이자 오른쪽 R-가군이 된다. 이때, R의 왼쪽 아이디얼은 왼쪽 R-가군으로서의 부분 가군에 해당한다. 마찬가지로 오른쪽 아이디얼은 오른쪽 가군의 부분 가군이다. 또한, 가군 M이 주어졌을 때, M의 원소를 0으로 보내는 R의 원소들의 집합인 소멸자는 아이디얼을 이룬다. 이러한 개념들은 가환대수학과 대수기하학에서 스킴 이론의 기초를 이루며, 비가환 기하학에서도 핵심적인 역할을 한다.

주어진 환의 곱셈 연산의 순서를 바꾸어 정의한 대수 구조를 반대환이라고 한다. 구체적으로, 환 $(R, +, \cdot)$에 대해 새로운 곱셈 연산 $\cdot'$을 $r \cdot' s = s \cdot r$ (모든 $r, s \in R$)로 정의하면, $(R, +, \cdot')$ 역시 환을 이루며, 이를 $R$의 반대환이라고 하고 $R^{\text{op}}$로 표기한다. 이는 덧셈 아벨 군 구조는 그대로 유지하되, 곱셈 모노이드 구조만 원래 환의 반대 모노이드로 바꾼 것이다.

반대환의 개념은 범주론적 관점에서 자연스럽게 이해할 수 있다. 환을 하나의 대상을 갖는, 아벨 군의 모노이드 범주 위의 풍성한 범주로 생각할 때, 반대환은 그 반대 범주에 해당하는 구조이다. 또한, 왼쪽 가군과 오른쪽 가군의 개념과도 밀접하게 연관되어 있다. 어떤 환 $R$ 위의 오른쪽 가군은 그 반대환 $R^{\text{op}}$ 위의 왼쪽 가군으로 간주할 수 있다.

반대환 연산은 스스로에게 두 번 적용하면 원래의 환으로 돌아온다, 즉 $(R^{\text{op}})^{\text{op}} \cong R$이 성립한다. 만약 환 $R$의 곱셈이 교환 법칙을 만족하는 가환환이라면, 반대환은 원래 환과 동형이다($R^{\text{op}} \cong R$). 이는 가환환에서 곱셈 순서를 바꾸어도 연산 결과가 동일하기 때문이다.

몫환은 주어진 환과 그 안의 양쪽 아이디얼로부터 새로운 환을 구성하는 연산이다. 이는 군론에서 정규 부분군에 대한 몫군을 취하는 것, 또는 선형대수학에서 부분공간에 대한 몫공간을 정의하는 것과 유사한 개념이다.

구체적으로, 환 \(R\)과 그 양쪽 아이디얼 \(\mathfrak{a}\)가 주어졌을 때, 집합 \(R\) 위에 \(r \sim s \iff r-s \in \mathfrak{a}\)라는 동치 관계를 정의한다. 이 동치류들의 집합을 \(R/\mathfrak{a}\)로 표기하며, 여기에 다음과 같은 연산을 부여한다: \((r + \mathfrak{a}) + (s + \mathfrak{a}) = (r+s) + \mathfrak{a}\) 그리고 \((r + \mathfrak{a})(s + \mathfrak{a}) = rs + \mathfrak{a}\). 이 연산들은 대표원의 선택에 무관하며, \(R/\mathfrak{a}\)는 이 연산 아래에서 환의 구조를 갖는다. 이때 덧셈 항등원은 \(0 + \mathfrak{a}\)이고, 곱셈 항등원은 \(1 + \mathfrak{a}\)이다.

몫환을 구성하는 과정에는 표준적인 전사 환 준동형 \(\pi: R \twoheadrightarrow R/\mathfrak{a}\)가 동반되며, 이는 \(r \mapsto r + \mathfrak{a}\)로 정의된다. 이 준동형의 핵은 정확히 아이디얼 \(\mathfrak{a}\)가 된다. 몫환의 개념은 정수환 \(\mathbb{Z}\)을 소수 \(p\)에 의해 생성된 아이디얼 \((p)\)로 나누어 얻는 유한체 \(\mathbb{Z}/p\mathbb{Z}\)와 같은 중요한 예시들을 포함한다.

몫환의 이론은 가환대수학과 대수기하학에서 핵심적인 도구로, 특히 환 준동형과 아이디얼의 성질을 연구하는 데 필수적이다. 예를 들어, 소 아이디얼에 대한 몫환은 정역이 되며, 극대 아이디얼에 대한 몫환은 체를 이룬다.

직접곱은 주어진 환들의 집합으로부터 새로운 환을 구성하는 연산이다. 이는 범주론적으로 환의 범주에서의 곱에 해당하며, 아벨 군으로서는 아벨 군들의 직접곱과, 모노이드로서는 모노이드들의 직접곱과 일치한다.

구체적으로, 환들의 집합 {R_i}_{i ∈ I}가 주어졌을 때, 그 직접곱 ∏_{i ∈ I} R_i는 각 성분별 덧셈과 곱셈이 정의된 데카르트 곱이다. 즉, 직접곱의 원소는 각 i에 대해 R_i의 원소를 성분으로 가지는 순서쌍이며, 두 순서쌍의 덧셈과 곱셈은 각 성분별로 수행된다. 이 연산에 의해 ∏_{i ∈ I} R_i는 다시 하나의 환을 이룬다.

직접곱 연산은 환 준동형을 보존한다. 각 j ∈ I에 대해, j번째 성분으로 사영하는 사영 준동형 π_j: ∏_{i ∈ I} R_i → R_j가 존재한다. 또한, 다른 환 S로부터 직접곱으로 가는 준동형 집합은 자연스럽게 각 성분으로 가는 준동형들의 집합과 일대일 대응한다. 이 성질이 직접곱을 범주론적 곱으로 만든다. 직접곱의 중요한 예로는 유한 개의 체나 정수환 Z의 여러 복사본을 곱하는 경우가 있다.

다항식환은 주어진 환에 하나 이상의 형식적 변수를 추가하여 구성하는 환이다. 주어진 환 \(R\)과 변수 집합 \(X = \{x_i\}_{i \in I}\)에 대해, \(R\) 위의 다항식환 \(R[X]\)는 계수가 \(R\)에 속하고 변수가 \(X\)인 다항식들의 집합으로 정의된다. 이 집합 위에는 다항식의 덧셈과 곱셈이 자연스럽게 정의되어 환의 구조를 이룬다.

다항식환의 연산은 계수들의 연산과 변수의 형식적 조작을 통해 이루어진다. 예를 들어, 다항식 \(f = \sum a_\alpha x^\alpha\)와 \(g = \sum b_\alpha x^\alpha\)의 합은 \(f+g = \sum (a_\alpha + b_\alpha) x^\alpha\)로, 곱은 \(fg = \sum (\sum_{\beta+\gamma=\alpha} a_\beta b_\gamma) x^\alpha\)로 정의된다. 이때 덧셈과 곱셈은 각각 아벨 군과 모노이드의 구조를 따르며, 분배법칙을 만족시킨다.

만약 기저 환 \(R\)이 가환환이라면, 구성된 다항식환 \(R[X]\) 역시 가환환이 된다. 그러나 변수들 사이의 곱셈이 교환되지 않도록 정의하면 비가환 다항식환 \(R\langle X \rangle\)을 얻을 수 있다. 이는 텐서 대수의 특별한 경우로 볼 수 있으며, 일반적으로 행렬환이나 군환과 같은 비가환 구조를 연구하는 데 유용하다.

다항식환은 대수기하학에서 대수적 다양체를 정의하는 데 핵심적 역할을 하며, 가환대수학에서 아이디얼과 몫환을 연구하는 기본 도구이다. 또한 호몰로지 대수학에서 자유 가군이나 사영 가군을 구성할 때도 빈번히 등장하는 개념이다.

환의 기초적 성질은 환의 정의로부터 직접 유도되는 기본적인 산술 규칙을 포함한다. 환의 덧셈과 곱셈 연산이 만족시켜야 하는 공리들로부터, 환의 원소들 사이에 성립하는 여러 간단한 등식들을 증명할 수 있다. 이러한 성질들은 정수나 실수와 같은 익숙한 수 체계에서의 계산 규칙과 유사하지만, 모든 환에서 보편적으로 성립한다는 점에서 중요하다.

예를 들어, 임의의 환에서 덧셈의 항등원인 0과 다른 원소를 곱한 결과는 항상 0이 된다. 즉, 임의의 원소 r에 대해 0r = r0 = 0이 성립한다. 또한, 곱셈의 항등원인 1의 덧셈 역원인 -1과 다른 원소를 곱하면 그 원소의 덧셈 역원이 됨을 보일 수 있다. 즉, (-1)r = r(-1) = -r이다. 이로부터 일반적으로 (-r)s = r(-s) = -(rs)가 성립함을 알 수 있다.

가역원에 대해서도 중요한 성질이 있다. 만약 두 원소 r과 s가 각각 곱셈에 대한 역원을 가진다면, 그들의 곱 rs 역시 가역원이며, 그 역원은 (rs)^(-1) = s^(-1)r^(-1)이다. 이는 역원의 순서가 뒤바뀐다는 점에서 주의할 필요가 있다. 모든 가역원들의 집합은 곱셈에 대해 군을 이루며, 이를 그 환의 가역원군이라고 부른다.

한편, 환에서 덧셈 항등원과 곱셈 항등원이 같을 수 있는 경우는 오직 자명환 뿐이다. 만약 0 = 1이라면, 임의의 원소 r에 대해 r = 1r = 0r = 0이 되어 환의 모든 원소가 0이기 때문이다. 이러한 기초적 성질들은 더 복잡한 환론적 개념을 이해하고 증명하는 데 필수적인 토대가 된다.

환의 범주론적 성질은 환을 단순히 대수 구조로 보는 것을 넘어, 그들 사이의 관계와 변환을 체계적으로 다룬다. 환과 환 준동형 사상으로 이루어진 범주는 대수 구조 다양체의 범주이므로, 완비 범주이자 쌍대 완비 범주이다. 이는 다양한 극한과 쌍대극한이 존재함을 의미한다.

이 범주의 시작 대상은 정수환 Z이며, 끝 대상은 자명환 0이다. 범주론적 곱은 환들의 직접곱에 해당하고, 쌍대곱은 자유곱에 해당한다. 또한, 두 환 준동형의 동등자는 집합과 함수의 범주에서의 동등자와 일치하며, 쌍대동등자는 특정 아이디얼에 대한 몫환으로 구성된다.

환의 범주는 아벨 군의 범주와 모노이드의 범주로 가는 망각 함자를 가지며, 각각 덧셈 구조와 곱셈 구조를 잊는다. 이들 망각 함자는 왼쪽 수반 함자를 가진다. 예를 들어, 아벨 군 G는 그 텐서 대수 T(G)에 대응되고, 모노이드 M은 모노이드 환 Z[M]에 대응된다. 또한, 환의 범주에서 유사환의 범주로 가는 포함 함자는 왼쪽 수반 함자를 가지며, 이를 통해 유사환에 곱셈 항등원을 추가한 '단위화'를 수행할 수 있다.

환의 덧셈 구조는 아벨 군을 이루며, 이는 환의 군론적 성질을 연구하는 기초가 된다. 모든 환은 덧셈에 대하여 아벨 군이므로, 환의 분류와 구조를 이해하는 데 군론의 방법론이 유용하게 적용된다. 예를 들어, 환의 표수는 그 덧셈군의 구조에서 직접 유도되는 중요한 군론적 불변량이다. 또한, 유한 생성 아벨 군에 대한 기본 정리는 해당 군을 덧셈군으로 갖는 환의 가능한 구조에 대한 정보를 제공한다.

구체적으로, 순환군 위에 정의될 수 있는 환 구조는 제한적이다. 유한 순환군 $\operatorname{Cyc}(n)$을 덧셈군으로 하는 환은 정수환의 몫환 $\mathbb{Z}/(n)$과 동형이다. 무한 순환군 $\operatorname{Cyc}(\infty)$를 덧셈군으로 하는 환은 정수환 $\mathbb{Z}$ 밖에 없다. 이는 환의 곱셈 구조가 덧셈군의 생성원에 의해 크게 제약받음을 보여준다. 한편, 모든 꼬임 아벨 군이 환의 덧셈군이 될 수 있는 것은 아니다. 예를 들어, 프뤼퍼 군이나 유리수의 군 $\mathbb{Q}$를 정수의 군 $\mathbb{Z}$로 나눈 몫군 $\mathbb{Q}/\mathbb{Z}$와 같은 군은 환의 덧셈군이 될 수 없다.

환의 또 다른 중요한 군론적 측면은 가역원군이다. 환 $R$의 가역원 전체는 곱셈에 대해 군을 이루며, 이를 $R^{\times}$로 표기한다. 이 군의 구조는 원환의 비가환성이나 기하학적 성질을 반영한다. 반대로, 주어진 군 $G$로부터 군환 $\mathbb{Z}[G]$을 구성하면, $G$는 이 군환의 가역원군의 부분군으로 자연스럽게 포함된다. 이는 군의 표현론이나 대수적 위상수학에서 중요한 연결고리를 제공한다.

환은 덧셈과 곱셈 연산을 갖춘 대수 구조로서, 모형 이론의 관점에서 연구될 수 있다. 모형 이론은 수학적 구조를 논리학의 언어와 방법론을 사용하여 연구하는 분야이다. 환은 두 개의 이항 연산(덧셈, 곱셈), 한 개의 일항 연산(덧셈의 역원 취하기), 그리고 두 개의 상수 연산(덧셈 항등원 0, 곱셈 항등원 1)으로 구성된 1차 논리 언어로 기술할 수 있는 구조이다. 이 언어로 환의 공리, 예를 들어 분배법칙이나 결합법칙 등을 명제로 표현할 수 있다.

환들의 모임은 대수 구조 다양체를 이룬다. 이는 환의 공리들이 보편문장, 즉 '모든' 양화사만을 사용한 논리식으로 표현될 수 있기 때문이다. 이 성질로 인해 환의 범주는 자유환, 직접곱, 부분환 등의 구성이 가능하다. 모형 이론에서 환의 합동 관계는 아이디얼과 일대일로 대응한다는 중요한 결과가 있다. 즉, 환 R 위의 임의의 합동 관계 ∼는 유일한 양쪽 아이디얼 a = {r ∈ R | r ∼ 0}에 의해 결정된다.

이러한 논리적 틀은 다양한 종류의 환을 분류하고 그 성질을 연구하는 데 유용하다. 예를 들어, 가환환이나 특정 표수를 갖는 환들의 모임 역시 대수 구조 다양체를 이룬다. 또한 폰 노이만 정칙환과 같은 특수한 환들의 성질도 모형 이론적 도구를 통해 탐구할 수 있다. 모형 이론은 환론의 개념들을 보다 추상적이고 일반적인 수준에서 이해하는 통합된 시각을 제공한다.

환의 양쪽 아이디얼들의 집합은 포함 관계에 따라 완비 모듈러 격자를 이룬다. 이 격자에서 두 아이디얼의 만남(∧)은 교집합에 해당하며, 이음(∨)은 두 아이디얼의 합에 해당한다. 즉, 임의의 양쪽 아이디얼 a와 b에 대해 a ∧ b = a ∩ b이고, a ∨ b = a + b이다. 모든 가군의 부분 가군 격자가 완비 모듈러 격자라는 일반적인 정리에 따라, 이 성질은 왼쪽 아이디얼이나 오른쪽 아이디얼의 집합에 대해서도 성립한다.

아이디얼의 격자가 분배 격자인 환을 산술환이라고 부른다. 또한, 환의 모든 유한 생성 양쪽 아이디얼들의 집합은 모듈러 이음 반격자를 이룬다. 환의 부분환들의 집합도 포함 관계 하에서 완비 격자를 이루며, 이는 대수적 격자의 성질을 가진다. 이러한 격자 이론적 구조는 환의 아이디얼론과 가군론을 연구하는 데 중요한 틀을 제공한다.

가환환은 곱셈 연산이 교환법칙을 만족하는 환이다. 즉, 환 \(R\)의 임의의 두 원소 \(a, b\)에 대해 \(a \cdot b = b \cdot a\)가 성립하면 \(R\)을 가환환이라고 한다. 가환환은 비가환환에 비해 구조가 잘 알려져 있으며, 가환대수학이라는 독립된 분야에서 연구된다. 가환대수학의 이론은 대수기하학과 대수적 수론의 기초를 이루는 중요한 도구이다.

가환환에는 여러 특수한 종류가 있으며, 그 포함 관계는 다음과 같다. 모든 체는 가환환이며, 정역은 0이 아닌 두 원소의 곱이 0이 되지 않는 가환환이다. 정역의 중요한 예로는 정수환, 다항식환 등이 있다. 정역보다 더 강한 조건을 가진 구조로는 유일 인수 분해 정역, 주 아이디얼 정역, 유클리드 정역 등이 있으며, 이들은 데데킨트 정역과 같은 개념과 함께 현대 대수학의 중심적인 연구 대상이다.

가환환의 이론은 리하르트 데데킨트와 다비트 힐베르트에 의해 수체의 정수환 연구에서 비롯되었다. 이후 에미 뇌터가 1921년 논문에서 가환환을 공리적으로 체계화함으로써 현대적인 추상대수학의 기초를 마련하였다. 오늘날 가환환론은 순수수학뿐만 아니라 암호학과 코딩 이론 같은 응용 분야에서도 널리 활용되고 있다.