이 문서의 과거 버전 (r1)을 보고 있습니다. 수정일: 2026.02.21 07:14
가환군은 군의 일종으로, 군 연산이 교환 법칙을 만족하는 구조이다. 즉, 군의 모든 원소 a, b에 대해 a + b = b + a가 성립한다. 이 성질 때문에 '가환(可換)군' 또는 '아벨 군(Abelian group)'이라고도 불린다. 이름은 닐스 헨리크 아벨의 업적을 기리기 위해 붙여졌다.
가환군은 정수환 Z 위의 가군으로 볼 수 있다는 점에서 중요한 성질을 지닌다. 이 관점에서, 군 연산은 가군의 덧셈으로, 정수배 스칼라 곱은 군 원소의 거듭제곱(또는 반복 덧셈)에 해당한다. 이 덕분에 가환군 이론은 선형대수학의 벡터 공간 이론과 많은 유사점을 공유하며, 보다 일반적인 가환환 위의 가군 이론의 기초를 이룬다.
가환군의 예는 수학 전반에 걸쳐 매우 흔하다. 모든 정수의 집합 Z, 유리수의 집합 Q, 실수의 집합 R, 복소수의 집합 C는 덧셈에 대해 가환군을 이룬다. 또한, 임의의 환의 덧셈 구조, 벡터 공간의 덧셈 구조는 항상 가환군이다. 유한군의 경우, 순환군 Zn이나 그 직합 또한 대표적인 가환군의 예이다.
가환군의 구조는 비가환군에 비해 훨씬 잘 알려져 있으며, 특히 유한 생성 가환군에 대해서는 완전한 분류 정리가 존재한다. 이 정리에 따르면, 모든 유한 생성 가환군은 자유 가환군 부분과 꼬임 부분군의 직합으로 표현된다.
아벨 군은 군의 일종으로, 그 이항 연산이 교환 법칙을 만족시키는 구조이다. 즉, 군 $(G, +)$의 모든 원소 $g, h \in G$에 대해 $g + h = h + g$가 성립한다. 이 연산은 일반적으로 덧셈 기호 '+'로 표기하며, 따라서 '가환군' 또는 '아벨 군'이라 부른다.
동등하게, 아벨 군은 정수환 $\mathbb{Z}$ 위의 가군으로 정의될 수 있다. 임의의 군 $(G, +)$가 주어졌을 때, 정수 $n \in \mathbb{Z}$와 원소 $g \in G$에 대한 스칼라 곱을 $n \cdot g = \underbrace{g + g + \cdots + g}_{n\text{번}}$ (n>0), $0 \cdot g = 0$, $n \cdot g = (-n) \cdot (-g)$ (n<0)와 같이 정의하면, 이는 정수환 위의 가군 구조를 이룬다. 반대로, 정수환 위의 가군은 그 덧셈 연산이 교환 법칙을 만족시키는 군이 된다. 이 두 관점은 동치이며, 아벨 군의 이론을 가군론의 도구를 활용하여 풍부하게 발전시킬 수 있는 기반을 제공한다.
아벨 군의 중요한 하위 분류로 유한 생성 아벨 군이 있다. 이는 유한개의 원소로부터 모든 원소를 정수 계수의 선형 결합으로 생성할 수 있는 아벨 군을 말한다. 보다 일반적으로, 아벨 군 $G$의 생성 집합은 $G$의 모든 원소가 그 집합의 원소들의 정수 계수 유한 선형 결합으로 표현될 수 있는 부분 집합이다.
아벨 군 G의 생성 집합 S는 G의 부분 집합으로, G의 모든 원소가 S의 원소들의 정수 계수 선형 결합으로 유일하게 표현될 수 있는 집합이다. 보다 정확히 말하면, 임의의 g ∈ G에 대해, 유한 개의 s ∈ S와 정수 n_s가 존재하여 g = Σ_{s∈S} n_s s 형태로 쓸 수 있어야 한다. 이때, 합에서 n_s ≠ 0인 s는 유한 개만 존재한다.
유한 개의 원소로 이루어진 생성 집합을 가진 아벨 군을 유한 생성 아벨 군이라고 한다. 모든 유한 생성 아벨 군은 자유 아벨 군의 몫군으로 나타낼 수 있다. 생성 집합의 크기가 가장 작은 것을 최소 생성 집합이라고 하며, 그 크기는 유일하게 결정되지 않을 수 있다. 예를 들어, 순환군 Z/6Z의 경우 {1}과 {2, 3} 모두 최소 생성 집합이 될 수 있다.
개념 | 설명 |
|---|---|
군의 모든 원소를 그 원소들의 정수 계수 선형 결합으로 나타낼 수 있는 부분 집합 | |
유한한 생성 집합을 가지는 아벨 군 | |
크기가 가장 작은 생성 집합 (유일하지 않을 수 있음) | |
주어진 생성 집합으로부터 자유롭게 생성된 아벨 군 (모든 선형 결합 관계가 자명함) |
생성 집합의 개념은 아벨 군의 구조를 이해하는 데 핵심적이다. 특히 유한 생성 아벨 군의 기본 정리는 이러한 군들이 자유 아벨 군 부분과 유한 아벨 군(꼬임 부분)의 직합으로 분해됨을 보여준다. 이 정리에 따르면, 유한 생성 아벨 군의 계수는 그 자유 부분의 계수, 즉 생성 집합에서 독립적인 생성원의 최대 개수와 일치한다.
아벨 군의 계수는 그 군의 '크기'나 '차원'을 나타내는 중요한 불변량 중 하나이다. 이는 벡터 공간의 차원 개념을 일반화한 것으로 볼 수 있다.
아벨 군 G의 계수는 두 가지 동치인 방식으로 정의된다. 첫째, G의 일차 독립 부분 집합들의 크기 중 최댓값으로 정의한다. 여기서 부분 집합 A = {a_i}가 일차 독립이라는 것은, 정수 계수 n_i를 가진 선형 결합 Σ n_i a_i = 0이 모든 n_i = 0일 때만 성립함을 의미한다. 둘째, G를 유리수체 Q와 텐서곱하여 얻은 벡터 공간 G ⊗ Q의 차원으로 정의한다. 즉, rank G = dim_Q (G ⊗ Q)이다.
계수는 아벨 군의 구조를 이해하는 데 핵심적이다. 예를 들어, 계수가 0인 아벨 군은 꼬임 부분군만으로 구성된 군이다. 계수가 1인 자유 아벨 군은 정수군 Z와 동형이다. 일반적으로, 계수가 n인 자유 아벨 군은 n개의 Z의 직합 Z^n과 동형이다. 유한 생성 아벨 군의 기본 정리에 따르면, 모든 유한 생성 아벨 군은 유한 개의 순환군과 하나의 자유 아벨 군의 직합으로 분해되며, 이때 자유 아벨 군 성분의 계수가 전체 군의 계수가 된다.
아벨 군의 직접곱은 집합론적 데카르트 곱에 군 연산을 성분별로 정의한 것이다. 두 아벨 군 (G, +_G)와 (H, +_H)의 직접곱 G × H는 순서쌍 (g, h) (g ∈ G, h ∈ H)들의 집합이며, 덧셈은 (g₁, h₁) + (g₂, h₂) = (g₁ +_G g₂, h₁ +_H h₂)로 정의된다. 이 연산은 각 성분이 가환이므로 전체 연산도 가환성을 만족시켜, G × H 역시 아벨 군이 된다. 직접곱은 유한 개뿐만 아니라 무한 개의 아벨 군에 대해서도 정의될 수 있다.
직합은 직접곱의 특별한 경우로, 성분의 거의 대부분이 항등원인 원소들만을 모은 부분군이다. 구체적으로, 군의 집합 {G_i}_{i ∈ I}의 직합 ⨁_{i ∈ I} G_i는 직접곱 ∏_{i ∈ I} G_i의 부분군으로, 각 원소 (g_i)에서 유한 개의 인덱스 i를 제외한 모든 g_i가 0_G_i인 원소들의 모임이다. 유한 개의 군에 대해서는 직접곱과 직합이 일치한다.
직합과 직접곱의 관계는 다음과 같은 표로 정리할 수 있다.
개념 | 정의 | 특징 |
|---|---|---|
직접곱 (∏) | 모든 성분의 일반적인 순서쌍의 모임 | 사영 사상(projection) π_j: ∏ G_i → G_j가 존재한다. |
직합 (⊕) | 유한 개의 성분만 0이 아닌 순서쌍의 모임 | 단사 사상(injection) ι_j: G_j → ⊕ G_i가 존재한다. |
유한 개의 경우 | ∏_{i=1}^n G_i = ⨁_{i=1}^n G_i | 두 개념이 완전히 일치한다. |
직합은 자유 아벨 군을 구성하는 데 핵심적인 역할을 한다. 집합 S로 생성된 자유 아벨 군은 S의 각 원소에 대응하는 무한 순환군 Z의 직합, 즉 ⨁_{s ∈ S} Z와 동형이다. 또한, 유한 생성 아벨 군의 기본 정리에 따르면, 모든 유한 생성 아벨 군은 유한 개의 무한 순환군의 직합과 유한 순환군(꼬임 부분군)의 직합으로 분해된다.
아벨 군은 그 구조가 일반적인 군에 비해 단순하고 잘 알려져 있어 다양한 성질을 가진다. 이러한 성질은 군론, 가군론, 범주론 등 여러 수학 분야에서 연구된다.
군론적으로, 모든 아벨 군은 멱영군이자 가해군이다. 또한, 모든 부분군은 정규 부분군이며, 이에 따라 아벨 군의 몫군 역시 항상 아벨 군이 된다. 아벨 군의 부분군들의 집합은 격자를 이룬다. 아벨 군의 자기 동형 사상들은 자기 동형군을 형성하며, 이는 일반적으로 비가환적이다.
가군론적 관점에서, 아벨 군은 정수환 Z 위의 가군으로 볼 수 있다. 이 관점은 아벨 군의 이론을 일반적인 가군 이론의 틀 안에서 연구할 수 있게 한다. 예를 들어, 아벨 군의 직합과 직접곱은 가군의 직합 및 직접곱과 일치한다. 모든 아벨 군은 자유 아벨 군의 몫군으로 나타낼 수 있다. 유한 생성 아벨 군의 기본 정리는 이러한 구조를 명확히 분류한다.
범주론에서, 아벨 군들의 범주 Ab는 중요한 성질을 가진다. 이는 아벨 범주의 전형적인 예시이며, 영 객체를 가지며 모든 핵과 여핵이 존재한다. 또한, Ab는 완비 범주이자 쌍대 완비 범주이며, 직합과 직접곱이 일치하지 않는 대표적인 범주이다. 아벨 군의 범주는 군의 범주 Grp의 완전 반사 부분 범주를 이룬다.
아벨 군의 군론적 성질은 일반적인 군의 성질 중에서도 교환 법칙에 의해 특별히 단순화되거나 강화된 성질들을 포함한다.
가장 기본적인 성질은 모든 아벨 군이 멱영군이자 가해군이라는 점이다. 이는 아벨 군의 모든 부분군이 정규 부분군이며, 그 몫군 또한 아벨 군이기 때문에 성립한다. 또한, 아벨 군의 모든 부분군은 특성 부분군이다. 아벨 군의 중심은 항상 자기 자신이며, 이는 아벨 군이 멱영군일 때 그 멱영 계수가 1임을 의미한다.
교환 법칙으로 인해 아벨 군에서의 연산은 덧셈 기호(+)로 표기하는 것이 일반적이다. 이 표기법 하에서, 항등원은 0으로, 원소 g의 역원은 -g로 표기한다. 또한, 아벨 군의 모든 유한 생성 부분군은 그 자신이 유한 생성 아벨 군이다. 아벨 군 G와 그 부분군 H에 대해, H가 G의 직접곱 인수일 필요충분조건은 H의 여집합인 부분군 K가 존재하여 G가 H와 K의 내부직접곱이 되는 것이다.
아벨 군은 정수환 Z 위의 가군으로 볼 수 있다. 이 관점에서 아벨 군의 성질은 가군론의 언어로 기술된다. 특히, 모든 아벨 군은 자유 가군의 몫가군으로 나타낼 수 있다. 즉, 어떤 자유 아벨 군 F와 그 부분군 K에 대해 G ≅ F / K의 형태로 표현된다. 이때 K를 G의 관계 부분군이라 한다.
아벨 군의 중요한 가군론적 성질 중 하나는 사영 가군과 단사 가군의 성질이다. 모든 자유 아벨 군은 사영 가군이지만, 그 역은 일반적으로 성립하지 않는다. 반면, 모든 나눗셈 아벨 군은 단사 가군이다. 정수환 위의 가군 범주에서, 사영 대상은 자유 아벨 군과 동치이며, 단사 대상은 나눗셈 아벨 군과 동치이다.
아벨 군의 또 다른 가군론적 구조는 텐서곱과 Hom 함자를 통해 연구된다. 두 아벨 군 A와 B의 텐서곱 A ⊗ B는 다시 아벨 군을 이룬다. 이 연산은 쌍선형성을 만족시키며, 특히 A ⊗ Z는 A 자신과 동형이다. 반면, Hom(A, B)는 A에서 B로 가는 모든 군 준동형 사상들의 집합으로, 이 역시 아벨 군의 구조를 가진다. 이들 연산 사이에는 중요한 수반 관계가 성립한다.
범주론에서, 아벨 군의 범주 $\mathsf{Ab}$는 중요한 성질을 많이 지닌 범주이다. 이는 가환환 위의 가군의 범주 $\mathsf{Mod}_R$의 특별한 경우로, $R = \mathbb{Z}$인 경우에 해당한다[1].
$\mathsf{Ab}$는 아벨 범주의 전형적인 예시이다. 이는 모든 유한 극한과 유한 쌍대극한이 존재하며, 모든 단사 사상은 정규 단사 사상이고, 모든 전사 사상은 정규 전사 사상이며, 핵과 여핵이 존재하는 등의 풍부한 구조를 가진다. 또한, $\mathsf{Ab}$는 가법 범주이기도 하여, 두 대상 사이의 사상 집합이 자연스럽게 아벨 군의 구조를 가지며, 사상의 합성이 쌍선형이다.
$\mathsf{Ab}$는 완비 범주이자 쌍대완비 범주이다. 즉, 모든 작은 극한(예: 곱, 당김)과 모든 작은 쌍대극한(예: 쌍대곱, 밂)이 존재한다. 특히, 유한 개의 아벨 군의 직접곱과 직합은 범주론적으로 동일한 대상을 정의한다. $\mathsf{Ab}$는 또한 그로텐디크 범주의 조건도 만족시킨다.
성질 | 설명 |
|---|---|
자명군 $\{0\}$ | |
자명군 $\{0\}$ | |
자명군 $\{0\}$ (시작 대상과 끝 대상이 일치) | |
직접곱 (데카르트 곱) | |
직합 (유한 개일 경우 직접곱과 동형) | |
집합 $S$에 대한 자유 대상은 $S$로 생성되는 자유 아벨 군 $\bigoplus_{s \in S} \mathbb{Z}$이다. |
$\mathsf{Ab}$에서의 함자는 중요한 연구 대상이다. 예를 들어, Hom 함자 $\operatorname{Hom}_{\mathsf{Ab}}(A, -)$와 $\operatorname{Hom}_{\mathsf{Ab}}(-, B)$는 모두 완전 함자는 아니지만, 왼쪽 완전 함자이다. 또한, 텐서곱 함자 $A \otimes -$는 오른쪽 완전 함자이다. 이러한 함자들의 성질은 호몰로지 대수학의 기초를 이룬다.
아벨 군의 분류는 그 구조를 체계적으로 이해하는 데 핵심적인 문제이다. 분류의 난이도와 결과는 군에 부과된 추가 조건에 크게 의존한다. 가장 완전한 분류 결과는 유한 생성 아벨 군과 아벨 유한군에 대해 알려져 있다.
유한 생성 아벨 군은 구조 정리에 의해 완전히 분류된다. 이 정리에 따르면, 모든 유한 생성 아벨 군 G는 자유 아벨 군 부분과 유한 꼬임 부분군의 직합으로 표현된다. 구체적으로, G는 다음과 같은 형태의 군과 동형이다.
\[
\mathbb{Z}^r \oplus \mathbb{Z}_{q_1} \oplus \mathbb{Z}_{q_2} \oplus \cdots \oplus \mathbb{Z}_{q_t}
\]
여기서 r은 G의 계수인 비음의 정수이며, \(\mathbb{Z}^r\)은 r개의 \(\mathbb{Z}\)의 직합인 자유 아벨 군을 나타낸다. \(q_1, q_2, \ldots, q_t\)는 1보다 큰 정수들로, 각 \(q_i\)는 다음 \(q_{i+1}\)을 나눈다(\(q_1 \mid q_2 \mid \cdots \mid q_t\)). 이 수열은 유일하게 결정된다. \(\mathbb{Z}_{q_i}\)는 크기가 \(q_i\)인 순환군을 의미한다. 이 표현에서 자유 부분 \(\mathbb{Z}^r\)은 군의 무한한 성분을, 나머지 유한 순환군들의 직합은 군의 꼬임 부분을 담당한다.
아벨 유한군은 유한 생성 아벨 군 분류의 특별한 경우로, 계수 r이 0인 경우에 해당한다. 따라서 모든 아벨 유한군은 위의 구조 정리에서 \(\mathbb{Z}^r\) 부분이 없는 형태, 즉 유한 순환군들의 직합으로 분해된다. 보다 구체적으로, 위수 n인 아벨 유한군 G는 소수의 거듭제곱을 위수로 갖는 순환군들의 직합으로 쓸 수 있다. 이때, 다음과 같은 두 가지 표준형이 존재한다.
분해 형태 | 설명 | 유일성 |
|---|---|---|
초등 제수 분해 | 위수가 소수 거듭제곱인 순환군들의 직합: \(\mathbb{Z}_{p_1^{k_1}} \oplus \mathbb{Z}_{p_2^{k_2}} \oplus \cdots\) | 분해 자체는 유일하지 않을 수 있다. |
불변 인수 분해 | 위수가 서로 나누어지는 순환군들의 직합: \(\mathbb{Z}_{d_1} \oplus \mathbb{Z}_{d_2} \oplus \cdots \oplus \mathbb{Z}_{d_t}\), \(d_1 \mid d_2 \mid \cdots \mid d_t\) | 수열 \(d_1, \ldots, d_t\)는 군에 의해 유일하게 결정된다[2]. |
불변 인수 분해는 구조 정리에서 언급된 형태와 정확히 일치한다. 예를 들어, 위수 8인 아벨 군은 \(\mathbb{Z}_8\), \(\mathbb{Z}_4 \oplus \mathbb{Z}_2\), \(\mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2\)의 세 가지 동형류만 존재한다. 이 분류는 아벨 군의 기본 정리로도 불린다.
무한 생성 아벨 군이나 위수가 큰 군의 경우 일반적인 완전한 분류는 매우 복잡하며, 알려진 체계적인 결과는 많지 않다.
유한 생성 아벨 군의 구조는 매우 잘 알려져 있으며, 이는 아벨 군 이론의 핵심 정리 중 하나이다. 이 정리에 따르면, 모든 유한 생성 아벨 군은 자유 아벨 군 부분과 꼬임 부분군으로 구성된 유한 개의 순환군의 직합으로 유일하게 분해된다.
보다 구체적으로, 유한 생성 아벨 군 G는 다음 형태로 표현된다.
G ≅ Z^r ⊕ Z/d₁Z ⊕ Z/d₂Z ⊕ ... ⊕ Z/dₖZ
여기서 r은 음이 아닌 정수인 계수이며, d₁, d₂, ..., dₖ는 1보다 큰 정수로, 각 dᵢ는 그 다음 수 dᵢ₊₁을 나눈다 (즉, d₁ | d₂ | ... | dₖ). 이 정수들 r, d₁, ..., dₖ는 군 G에 의해 유일하게 결정된다.
이 분해에서 Z^r은 자유 아벨 군 부분에 해당하며, 나머지 유한 개의 순환군들의 직합 Z/d₁Z ⊕ ... ⊕ Z/dₖZ는 G의 꼬임 부분군 T(G)와 동형이다. 정수 d₁, ..., dₖ를 초등 제수 또는 불변 인자라고 부른다. 계수 r은 G/T(G)의 계수와 같으며, G ⊗_Z Q가 유리수체 Q 위에서 생성하는 벡터 공간의 차원과도 일치한다.
이 분류 정리의 중요한 결과 중 하나는 유한 생성 아벨 군이 유한할 필요충분조건이 그 계수 r이 0인 것이다. 또한, 이 정리는 유한 생성 아벨 군의 구조를 완전히 이해할 수 있게 해주며, 두 군이 동형인지 판별하는 알고리즘을 제공한다. 이 정리는 정수 계수 행렬을 스미스 표준형으로 변환하는 과정을 통해 증명될 수 있다[3].
아벨 유한군은 그 구조가 완전히 분류되었다. 모든 아벨 유한군은 소수 거듭제곱 차수의 순환군들의 직합과 동형이다. 구체적으로, 유한 아벨 군 $G$는 다음 형태로 유일하게 표현된다.
$$G \cong \mathbb{Z}_{p_1^{k_1}} \oplus \mathbb{Z}_{p_2^{k_2}} \oplus \cdots \oplus \mathbb{Z}_{p_n^{k_n}}$$
여기서 $p_i$들은 소수(서로 같을 수 있음)이고 $k_i$들은 양의 정수이다. 이 표현에서 소인수 분해의 순서는 무시할 수 있다.
이 분류는 유한 생성 아벨 군의 분류 정리의 특별한 경우로, 유한 생성 아벨 군의 자유 부분이 0인 경우에 해당한다. 분류의 핵심은 초기 기본 정리를 통해 군을 소수 거듭제곱 차수의 순환군들로 분해하는 것이다.
아벨 유한군의 분류는 군의 구조를 이해하는 데 매우 유용하다. 예를 들어, 군의 위수(order)가 주어지면 가능한 모든 아벨 군 구조를 나열할 수 있다. 위수가 $p^n$ (p는 소수)인 아벨 군의 동형류의 개수는 $n$의 자연수 분할의 개수 $p(n)$과 같다.
가환군의 가장 기본적인 예는 정수의 집합 Z이다. 정수는 덧셈 연산 아래에서 닫혀 있고, 결합 법칙과 교환 법칙을 만족하며, 항등원 0과 각 정수 n의 역원 -n을 가진다. 모든 순환군은 정수군 Z 또는 그 몫군인 유한 순환군 Z/nZ와 동형이므로, 가환군이다.
모든 체 위의 벡터 공간은 덧셈에 대해 가환군을 이룬다. 예를 들어, 실수체 R 위의 n차원 벡터 공간 R^n은 성분별 덧셈을 통해 가환군이 된다. 더 일반적으로, 임의의 가환환 R에 대해, R 위의 가군은 덧셈 연산에 대해 가환군이다.
유한한 예로, 클라인 4원군 V_4는 네 개의 원소를 가지며, 모든 원소가 자기 자신의 역원인 비순환적 가환군이다. 이는 두 개의 2차 순환군의 직합 Z/2Z ⊕ Z/2Z와 동형이다.
군 | 설명 | 비고 |
|---|---|---|
Z | 정수의 덧셈군 | 자유 가환군의 기본 예 |
Z/nZ | n을 법으로 하는 합동류의 덧셈군 | n차 유한 순환군 |
Q | 유리수의 덧셈군 | 꼬임 부분군이 없는 가산 무한 계수의 예 |
R | 실수의 덧셈군 | 꼬임 부분군이 없는 연속체 계수의 예 |
S^1 | 복소수 단위원의 곱셈군 | 원군, 위상적 가환군의 예 |
(Z/2Z)^n | n개의 Z/2Z의 직합 | 유한 아벨 2-군의 예 |
유한 생성 아벨 군의 기본 정리에 따르면, 모든 유한 생성 가환군은 자유 가환군 Z^r와 유한 순환군들의 직합으로 분해된다. 예를 들어, Z^2 ⊕ Z/4Z ⊕ Z/6Z는 계수 2의 자유 부분과 4차 및 6차 순환군의 꼬임 부분을 가진 가환군이다.
아벨 군의 개념은 19세기 초 닐스 헨리크 아벨의 이름을 따서 명명되었다. 아벨은 가환성을 만족하는 군의 특성을 연구했으며, 특히 아벨 적분과 아벨 방정식을 다루는 과정에서 이러한 군 구조의 중요성을 발견했다[4].
19세기 후반에 이르러 레오폴트 크로네커와 카를 프리드리히 가우스를 비롯한 수학자들은 정수론과 대수학에서 가환군을 체계적으로 연구하기 시작했다. 특히 유한 생성 아벨 군의 기본 정리는 1860년대에 가우스의 제자였던 레오폴트 크로네커에 의해 그 초기 형태가 제시되었다. 이 정리는 후에 에른스트 슈타이니츠와 에밀 아르틴에 의해 더욱 일반화되고 엄밀하게 정립되었다.
20세기 초 다비트 힐베르트와 에미 뇌터는 가환환 위의 가군으로서의 관점을 도입함으로써 아벨 군 이론을 호몰로지 대수학과 대수기하학의 핵심 도구로 발전시켰다. 이 시기를 거치며 아벨 군은 단순한 대수적 구조를 넘어 현대 수학의 다양한 분야에서 필수적인 기초 개념으로 자리 잡게 되었다.
가환군은 정수환 위의 가군으로 볼 수 있다. 이 관점에서, 가환군은 가환환 위의 가군이라는 더 일반적인 대수 구조의 특별한 경우에 해당한다. 특히, 체 위의 가군은 벡터 공간이 된다.
가환환과의 관계는 다음과 같다. 임의의 가환환 $R$이 주어지면, $R$ 위의 가군은 덧셈에 대해 가환군을 이룬다. 반대로, 가환군 $G$는 정수환 $\mathbb{Z}$ 위의 가군 구조를 가진다. 이는 정수 $n$에 대한 스칼라 곱셈을 $n \cdot g = g$를 $n$번 더한 것으로 정의함으로써 얻어진다. 따라서 가환군의 이론은 가환환 위의 가군론의 기초를 제공한다.
벡터 공간과의 관계도 중요하다. 체 $F$ 위의 벡터 공간은 덧셈에 대해 가환군이며, 여기에 $F$의 원소를 스칼라로 하는 곱셈 연산이 추가된 구조이다. 모든 벡터 공간은 가환군이지만, 그 역은 성립하지 않는다. 예를 들어, 유리수의 덧셈군 $\mathbb{Q}$는 체 위의 벡터 공간이지만, 정수의 덧셈군 $\mathbb{Z}$는 어떤 체 위의 벡터 공간도 아니다. 가환군 $G$에 대해 텐서곱 $G \otimes_{\mathbb{Z}} \mathbb{Q}$를 취하면 유리수체 $\mathbb{Q}$ 위의 벡터 공간을 얻으며, 그 차원은 $G$의 계수와 같다.
이러한 관계는 가환군 이론이 선형대수학과 호몰로지 대수학을 연결하는 중요한 다리 역할을 하게 한다. 가환군의 성질을 연구하는 것은 보다 일반적인 가환환 위의 모듈 이론의 출발점이 된다.
가환환은 덧셈에 대하여 가환군을 이루는 환이다. 모든 가환환은 덧셈 연산을 통해 자연스럽게 하나의 가환군 구조를 가진다. 반대로, 주어진 가환군 G에 대해, 적절한 곱셈 구조를 정의하여 가환환을 만들 수 있는지 여부는 중요한 문제이다. 예를 들어, 정수환 Z 위의 가군으로서의 가환군 구조는, 그 가환군에 자연스러운 Z-선형 곱셈 작용을 부여한다는 점에서 가환환 Z와 밀접하게 연관된다.
가환군 이론의 많은 도구와 개념은 가환환 위의 가군 이론으로 일반화된다. 가환환 R 위의 가군은 본질적으로 덧셈에 대한 가환군에, R의 원소를 스칼라로 하는 선형 작용이 추가된 구조이다. 따라서 가환군은 정수환 Z 위의 가군에 해당한다. 이 관점에서, 가환군의 직합, 직접곱, 자유 가군, 사영 가군, 평탄 가군 등의 개념은 임의의 가환환 위의 가군 이론으로 확장되어 연구된다.
특히, 호몰로지 대수학에서 가환군 범주 Ab는 가환환 위의 가군 범주 Mod_R의 기본적인 예시로 여겨진다. Ab에서의 많은 성질, 예를 들어 완전열이나 함자의 완전성 등은 Mod_R에서도 유사하게 논의된다. 또한, 가환환의 아이디얼 이론이나 국소화는 해당 환을 덧셈 가환군으로 볼 때의 부분군 구조와 깊은 연관을 가진다.
가환군은 정수환 위의 가군으로 볼 수 있다. 이 관점은 벡터 공간이 체 위의 가군인 것과 유사하다. 가장 큰 차이는 스칼라의 범위에 있다. 벡터 공간은 체 위에서 정의되므로, 모든 0이 아닌 스칼라에 대한 역원이 존재하여 스칼라 곱의 역연산이 가능하다. 반면, 가환군은 정수환 위의 가군이므로, 스칼라 곱은 본질적으로 덧셈의 반복 연산(예: 3·g = g+g+g)이며, 일반적으로 나눗셈에 해당하는 연산은 정의되지 않는다.
이 관계는 텐서곱을 통해 더 명확해진다. 임의의 가환군 G에 유리수체 Q와의 텐서곱 G⊗Q를 취하면, 그 결과는 Q 위의 벡터 공간이 된다. 이 벡터 공간의 차원은 원래 가환군 G의 계수와 일치한다. 이 과정은 가환군의 구조에서 '꼬임' 성분을 제거하고 자유로운 부분만을 추출하는 효과가 있다.
특성 | 벡터 공간 (체 K 위) | 가환군 (정수환 Z 위) |
|---|---|---|
스칼라 집합 | 체 K | 정수환 Z |
스칼라 곱의 역연산 | 항상 가능 (0 제외) | 일반적으로 불가능 |
자유 대상 | 모든 벡터 공간은 자유 가군이다. | 모든 유한 생성 가환군은 자유 부분과 꼬임 부분의 직합이다. |
차원/계수 | 차원(dim_K V) | 계수(rank G) |
따라서, 벡터 공간은 체 위의 특별히 단순한 구조를 가진 가군인 반면, 가환군은 정수환 위의 가군으로서 훨씬 더 풍부하고 복잡한 구조(예: 꼬임 부분군)를 가질 수 있다. 이는 가환환 위의 모듈 이론의 출발점이 된다.
니엘스 헨리크 아벨의 이름을 딴 '아벨 군'이라는 용어는 그가 사망한 지 1년 후인 1830년에 카를 구스타프 야코프 야코비가 처음 사용했다. 하지만 아벨은 군론을 직접 연구한 적이 없으며, 그의 업적은 주로 타원함수와 아벨 적분에 있었다. 그의 이름이 붙은 것은 교환 법칙이 그의 연구에서 빈번히 등장했기 때문이다[5].
가환환 위의 가군의 특별한 경우로, 정수환 ℤ 위의 가군이 바로 가환군이다. 이 관점은 가환군 이론을 호몰로지 대수학의 강력한 도구를 이용해 연구할 수 있게 하는 중요한 통찰이었다.
유한 생성 가환군의 기본 정리는 다항식의 인수분해와 유사한 형태를 보인다. 이는 데데킨트 정역 위의 유한 생성 가군의 분류 정리의 가장 간단한 예시로, 더 일반적인 대수적 구조 연구의 출발점이 된다.
모든 유한 가환군은 순환군의 직합으로 나타낼 수 있다. 이 분해는 소수의 거듭제곱을 크기로 갖는 순환군들로 이루어지며, 이는 중국인의 나머지 정리와 밀접한 관련이 있다.
가환군의 범주 Ab는 아벨 범주의 원형이자 가장 중요한 예시이다. 아벨 범주의 개념은 대수적 위상수학과 대수기하학에서 호몰로지 이론을 발전시키는 데 결정적인 역할을 했다.
게오르크 칸토어는 무한 가환군을 체계적으로 연구한 최초의 수학자 중 한 명이었다. 그는 특히 유리수의 덧셈군이 가산 무한 집합이면서도 자유 아벨 군이 아님을 보였다.
표현론에서, 유한군의 복소수 기약 표현의 차원은 군의 크기를 나눈다는 정리가 있다. 가환 유한군의 경우, 모든 기약 표현의 차원이 1이라는 사실은 이 정리의 직접적인 결과이다.
위상수학에서, 호모토피 군 π₁(X)는 일반적으로 가환적이지 않지만, 2차 이상의 호모토피 군 πₙ(X) (n≥2)은 항상 가환군이다. 이는 에일렌베르크-매클레인 공간 이론의 기초가 되는 사실이다.
정수 격자 ℤⁿ은 자유 아벨 군의 전형적인 예이다. 이는 대수적 수론에서 이데알 유군이나 대수적 정수환의 유한 생성 가군으로서 등장한다.
폰트랴긴 쌍대성 정리는 국소 콤팩트 가환군의 구조를 그 쌍대군의 구조와 연결짓는다. 이 정리는 푸리에 해석을 임의의 국소 콤팩트 가환군 위로 일반화하는 핵심 도구이다.
그로텐디크 군 K₀는 가환환에서 정의되는 중요한 가환군이다. 이는 유한 생성 사영 가군의 동치류로 구성되며, 대수적 K-이론의 출발점이다.
컴퓨터 과학에서, 특히 암호학과 코딩 이론에서는 유한 가환군(주로 순환군)의 연산이 널리 활용된다. 예를 들어, RSA 암호는 곱셈에 대한 잉여류 ℤ/nℤ의 가역원 군의 구조에 의존한다.
모든 가환군은 꼬임 부분군과 꼬임 없는 부분군의 직합으로 분해될 수 없다. 이는 유한 생성 가환군에만 성립하는 성질이며, 일반적인 경우 분해가 불가능한 반례가 존재한다[6].