장 18 PID 구조 정리

이 장의 요지는 유한 생성 아벨 군에 대한 분류 정리를 다루는 것입니다. 이는 오래 걸리지 않으므로, 원하신다면 첫 번째 절만 읽고 넘어가셔도 됩니다.

하지만 이왕 여기까지 온 김에, 훨씬 더 일반적인 구조 정리의 특수한 경우로서 그 결과를 서술하겠습니다. 그 따름정리들은 다음을 포함합니다

•

모든 유한 차원 벡터 공간은 $k^{\oplus n}$ 입니다.
•

유한 생성 아벨 군에 대한 분류 정리,
•

앞서 나온 행렬의 조르당 분해,
•

행렬의 또 다른 표준형인 ”프로베니우스 표준형”,

18.1 유한 생성 아벨 군

비고 18.1.1.

이어지는 내용에서 아벨 군에 관해 이야기하겠지만, 사실 이러한 구조를 이해하는 도덕적으로 올바른 방법은 이를 $\mathbb{Z}$ -가군으로 보는 것입니다.

정의 18.1.2.

아벨 군 $G=(G,+)$ 가 $\mathbb{Z}$ -가군으로서 유한 생성이면 유한 생성이라고 합니다. (즉, 유한 개의 원소 모임 $b_{1},\dots,b_{m}\in G$ 가 존재하여, 모든 $x\in G$ 가 어떤 $c_{1},\dots,c_{m}\in\mathbb{Z}$ 에 대해 $c_{1}b_{1}+\dots+c_{m}b_{m}$ 의 형태로 쓰일 수 있음을 의미합니다.)

예제 18.1.3 (유한 생성 아벨 군의 예시).

(a)

$\mathbb{Z}$ 는 ( $1$ 에 의해) 유한 생성됩니다.
(b)

$\mathbb{Z}/n\mathbb{Z}$ 은 ( $1$ 에 의해) 유한 생성됩니다.
(c)

$\mathbb{Z}^{\oplus 2}$ 는 (두 원소 $(1,0)$ 과 $(0,1)$ 에 의해) 유한 생성됩니다.
(d)

$\mathbb{Z}^{\oplus 3}\oplus\mathbb{Z}/9\mathbb{Z}\oplus\mathbb{Z}/2016\mathbb{Z}$ 은 다섯 개의 원소에 의해 유한 생성됩니다.
(e)

$\mathbb{Z}/3\mathbb{Z}\oplus\mathbb{Z}/5\mathbb{Z}$ 는 두 개의 원소에 의해 유한 생성됩니다.

연습문제 18.1.4.

사실 $\mathbb{Z}/3\mathbb{Z}\oplus\mathbb{Z}/5\mathbb{Z}$ 는 하나의 원소에 의해 생성됩니다. 그것은 무엇일까요?

이 예시들이 그다지 다양하지 않다는 것을 눈치채셨을지도 모릅니다. 그 이유는 이것들이 실제로 유일한 예시들이기 때문입니다:

정리 18.1.5 (유한 생성 아벨 군의 기본 정리).

$G$ 를 유한 생성 아벨 군이라고 합시다. 그러면 다음을 만족하는 정수 $r$ 과 소수의 거듭제곱 $q_{1}$ , …, $q_{m}$ (반드시 서로 다를 필요는 없음)이 존재합니다

G\cong\mathbb{Z}^{\oplus r}\oplus\mathbb{Z}/q_{1}\mathbb{Z}\oplus\mathbb{Z}/q_% {2}\mathbb{Z}\oplus\dots\oplus\mathbb{Z}/q_{m}\mathbb{Z}.

이 분해는 $\mathbb{Z}/q_{i}\mathbb{Z}$ 들의 순열을 제외하면 유일합니다.

정의 18.1.6.

유한 생성 아벨 군 $G$ 의 계수란 위의 정수 $r$ 을 말합니다.

이제 이 정리를 증명할 수도 있지만, 전체 구조 정리를 서술하고 증명하여 정공법으로 나아가는 것이 더 흥미롭습니다.

18.2 환론의 몇 가지 선행 지식

대표적인 예: $R=\mathbb{Z}$ .

주요 정리를 서술하기 전에, $\mathbb{Z}$ 와 매우 비슷하게 행동하는 UFD에 대한 몇 가지 용어를 정의해야 합니다:

$R=\mathbb{Z}$ 인 경우에 대한 직관은 기본적으로 그대로 이어집니다.

소 아이디얼을 다룰 필요조차 없으며, 대신 원소를 인수분해할 수 있습니다.

정의 18.2.1.

$R$ 이 UFD라면, $(p)$ 가 소 아이디얼이고 $p\neq 0$ 일 때 $p\in R$ 을 소원소라고 합니다. UFD의 경우 이는 다음과 동치입니다: $p=xy$ 이면 $x$ 또는 $y$ 중 하나는 단원입니다.

그러므로 예를 들어 $\mathbb{Z}$ 에서 소원소의 집합은 $\{\pm 2,\pm 3,\pm 5,\dots\}$ 입니다. 이제 $R$ 이 UFD이므로, 모든 원소 $r$ 은 소원소들의 곱으로 인수분해됩니다

r=up_{1}^{e_{1}}p_{2}^{e_{2}}\dots p_{m}^{e_{m}}

정의 18.2.2.

어떤 $r^{\prime}\in R$ 에 대해 $s=r^{\prime}r$ 이면 $r$ 이 $s$ 를 나눈다고 합니다. 이는 $r\mid s$ 로 표기합니다.

예제 18.2.3 ( $\mathbb{Z}$ 에서의 나눗셈).

수 $0$ 은 $\mathbb{Z}$ 의 모든 원소로 나누어집니다. 그 외의 나눗셈은 예상한 대로입니다.

질문 18.2.4.

$r$ 에서 각 소원소의 지수가 $s$ 에서의 대응하는 지수보다 작거나 같을 때, 그리고 오직 그때만 $r\mid s$ 임을 보이십시오.

이제 관심 있는 경우는 $R$ 이 PID인, 훨씬 더 강한 경우입니다:

명제 18.2.5 (PID는 뇌터 UFD입니다).

$R$ 이 PID이면, 이는 뇌터 환이며 또한 UFD입니다.

증명.

$R$ 이 뇌터라는 사실은 자명합니다. $R$ 이 UFD임을 보이기 위해서는 $\mathbb{Z}$ 에 대한 증명을 본질적으로 반복하며, $(a,b)$ 가 주 아이디얼이라는 사실을 이용해 $\gcd(a,b)$ 를 추출합니다. ∎

이 경우, 원소에 대한 중국인의 나머지 정리를 가집니다.

정리 18.2.6 (환에 대한 중국인의 나머지 정리).

$m$ 과 $n$ 을 서로소인 원소, 즉 $(m)+(n)=(1)$ 이라고 하겠습니다. 그러면

R/(mn)\cong R/(m)\times R/(n).

여기서 환의 곱은 예제 4.3.8에서 정의한 대로입니다.

증명.

이는 일반적인 중국인의 나머지 정리의 증명과 같습니다. 먼저, $(m,n)=(1)$ 이므로 어떤 $a$ 와 $b$ 에 대해 $am+bn=1$ 입니다. 그러면 다음과 같은 사상을 가집니다

R/(m)\times R/(n)\to R/(mn)\quad\text{~{}에 의해}\quad(r,s)\mapsto r\cdot bn+s% \cdot am.

이 사상이 잘 정의되어 있고 환의 동형사상임을 확인할 수 있습니다. (근면한 독자는 직접 확인해 보시기 바랍니다.) ∎

마지막으로, 뇌터 $R$ -가군의 개념을 도입해야 합니다.

정의 18.2.7.

$R$ -가군 $M$ 은 다음 두 동치 조건 중 하나를 만족하면 뇌터라고 합니다:

•

$M$ 의 부분가군은 오름 사슬 조건을 만족합니다: 즉 $M_{1}\subsetneq M_{2}\subsetneq\dots$ 와 같은 무한 수열의 가군은 존재하지 않습니다.
•

$M$ 의 모든 부분가군은 ( $M$ 자신을 포함하여) 유한하게 생성됩니다.

이는 뇌터 환의 개념을 일반화한 것입니다: 뇌터 환 $R$ 은 $R$ 이 $R$ -가군으로서 뇌터인 환입니다.

질문 18.2.8.

이 두 조건이 동치임을 확인하십시오. (환에 대한 증명을 그대로 따르십시오.)

18.3 구조 정리

우리의 구조 정리는 두 가지 형태를 취합니다:

정리 18.3.1 (구조 정리, 불변량 형식).

$R$ 을 PID라 하고 $M$ 을 임의의 유한 생성 $R$ -가군이라 합시다. 그러면

M\cong\bigoplus_{i=1}^{m}R/(s_{i})

어떤 $s_{i}$ (0일 수도 있음)에 대해 $s_{1}\mid s_{2}\mid\dots\mid s_{m}$ 을 만족합니다.

따름정리 18.3.2 (구조 정리, 준소 형식).

$R$ 을 PID라 하고 $M$ 을 임의의 유한 생성 $R$ -가군이라 합시다. 그러면

M\cong R^{\oplus r}\oplus R/(q_{1})\oplus R/(q_{2})\oplus\dots\oplus R/(q_{m})

여기서 $q_{i}=p_{i}^{e_{i}}$ 이며, 어떤 소원소 $p_{i}$ 와 정수 $e_{i}\geq 1$ 에 대해 성립합니다.

따름정리의 증명.

( $R$ 이 UFD이므로) 각 $s_{i}$ 를 소인수로 분해한 다음, 중국인의 나머지 정리를 사용합니다. ∎

비고 18.3.3.

두 정리 모두에서 그 분해는 합산항들의 순열을 제외하면 유일합니다.

18.4 자유 $R$ -가군 사이의 사상으로의 환원

정의 18.4.1.

자유 $R$ -가군이란 $R^{\oplus n}$ 꼴의 가군을 말합니다(더 일반적으로는, 무한 기저를 허용하기 위해 어떤 첨수 집합 $I$ 에 대한 $\bigoplus_{I}R$ ).

구조 정리의 증명은 두 가지 주요 단계로 진행됩니다. 먼저, 문제를 자유 $R$ -가군 $R^{\oplus d}$ 가 관여하는 선형대수 문제로 환원합니다. 이것이 끝나면, 그저 행렬을 다루기만 하면 되는데, 이는 다음 절에서 다룹니다.

$M$ 이 $d$ 개의 원소로 유한 생성된다고 합시다. 그러면 다음과 같은 전사 $R$ -가군 사상이 존재합니다

R^{\oplus d}\twoheadrightarrow M

$R^{\oplus d}$ 의 기저에 대한 상이 $M$ 의 생성원인 사상을 생각합니다. $K$ 를 그 핵이라 합니다.

우리는 $K$ 역시 유한 생성임을 주장합니다. 이를 위해 다음을 증명합니다

보조정리 18.4.2 (뇌터 가군의 직합은 뇌터 가군이다).

$M$ 과 $N$ 을 두 뇌터 $R$ -가군이라 합시다. 그러면 직합 $M\oplus N$ 역시 뇌터 $R$ -가군입니다.

증명.

$L\subseteq M\oplus N$ 이면 $L$ 이 유한 생성임을 보이는 것으로 충분합니다. 한 가지 추측은 $L=P\oplus Q$ 인데, 여기서 $P$ 와 $Q$ 는 $L$ 을 $M$ 과 $N$ 으로 사영한 것입니다. 안타깝게도 이는 거짓입니다( $M=N=\mathbb{Z}$ 이고 $L=\{(n,n)\mid n\in\mathbb{Z}\}$ 인 경우를 생각해 보십시오), 따라서 우리는 더 조심해야 합니다.

다음 부분가군들을 생각해 봅시다

	$\displaystyle A$	$\displaystyle=\left\{x\in M\mid(x,0)\in L\right\}\subseteq M$
	$\displaystyle B$	$\displaystyle=\left\{y\in N\mid\exists x\in M:(x,y)\in L\right\}\subseteq N.$

( $A$ 와 $B$ 에 대한 비대칭성에 주목하십시오: 그렇지 않으면 증명이 성립하지 않습니다.) 그러면 $A$ 는 $a_{1}$ , …, $a_{k}$ 에 의해 유한 생성되고, $B$ 는 $b_{1}$ , …, $b_{\ell}$ 에 의해 유한 생성됩니다. $x_{i}=(a_{i},0)$ 이라 하고 $y_{i}=(\ast,b_{i})$ 를 $L$ 의 원소라 합시다(여기서 $\ast$ 는 우리가 신경 쓰지 않는 임의의 것입니다). 그러면 $x_{i}$ 와 $y_{i}$ 가 함께 $L$ 을 생성합니다. ∎

질문 18.4.3.

$R$ 이 PID일 때 $R^{\oplus d}$ 가 뇌터 가군임을 이끌어 내십시오.

따라서 $K\subseteq R^{\oplus d}$ 는 주장한 대로 유한 생성입니다. 그러므로 우리는 또 다른 전사 사상 $R^{\oplus f}\twoheadrightarrow K$ 를 찾을 수 있습니다. 결과적으로, 우리는 다음과 같은 합성을 얻습니다

$M$ 이 선형 사상 $T$ 의 여핵임을 관찰하십시오, 즉 다음이 성립합니다

M\cong R^{\oplus d}/\operatorname{im}(T).

따라서 사상 $T$ 를 잘 이해하는 것으로 충분합니다.

18.5 준소 형식의 유일성

이 절에서 우리는, $M\cong R^{\oplus r}\oplus R/(q_{1})\oplus R/(q_{2})\oplus\cdots\oplus R/(q_{m})$ 이면 정수 $r$ 과 소수 거듭제곱 $q_{i}$ 가 순열을 제외하면 유일함을 증명할 것입니다.

먼저, $M$ 이 자유가군인 경우를 고려합니다.

정리 18.5.1 (자유가군의 계수의 유일성).

가환 정역 $R$ 에 대해, 자유가군 $M$ 이 유한 기저를 가진다면, 다른 모든 기저도 같은 개수의 원소를 가집니다.

정리 9.4.7에서 증명 전략이 체의 경우로 넘어가는 것이라는 점을 한 번 언급한 바 있습니다. 실제로, 우리는 $R$ 의 분수체인 체 $F$ 로 넘어간 다음, 벡터 공간에 대한 차원 정리를 직접 적용할 것입니다.

증명.

이전과 마찬가지지만, 이번에는 귀류법으로 증명합니다. $v_{1},\dots,v_{n}$ 이 계수 $n$ 인 자유가군 $M$ 의 기저이고, $w_{1},\dots,w_{m}$ 은 $m>n$ 을 만족하는 $M$ 의 임의의 원소들이라고 가정합니다.

$F$ 를 $R$ 의 분수체라 하고, $R$ -가군 $M\cong R^{n}$ 을 $F$ -벡터 공간 $V\cong F^{n}$ 에 매장시킵니다.

그러면 $m>n$ 이므로 $V$ 의 원소로서 $w_{1},\dots,w_{m}$ 은 선형종속이며, 이는 모두 0은 아닌 어떤 원소 $f_{1},\dots,f_{m}\in F$ 가 존재하여 $f_{1}w_{1}+\cdots+f_{m}w_{m}=0$ 이 성립함을 의미합니다.

분모를 제거함으로써, 모두 0은 아닌 환의 원소 $r_{1},\dots,r_{m}\in R$ 을 얻을 수 있으며, 이는 $r_{1}w_{1}+\cdots+r_{m}w_{m}=0$ 을 만족합니다. 이는 $w_{1},\dots,w_{m}$ 이 $M$ 의 기저가 될 수 없음을 의미합니다. ∎

다음으로, 계수 $r$ 이 $0$ 인 경우를 증명합니다. 이 경우는 다른 전략이 필요하지만, 여전히 적절히 구성된 벡터 공간에 대해 차원 정리를 적용하는 것으로 귀결됩니다.

정리 18.5.2.

$R$ 을 PID라 하고, $p$ 를 $R$ 의 소원이라 하고, 양의 정수 $e_{1},\dots,e_{m}$ 에 대해 $M\cong R/(p^{e_{1}})\oplus R/(p^{e_{2}})\oplus\cdots\oplus R/(p^{e_{m}})$ 이라 합시다. 그러면 $e_{i}$ 들은 순열까지 감안하면 유일합니다.

직관적으로, 다음 증명이 시도하는 것은 다음과 같습니다:

$M$ 의 본질적인 성질로부터 지수 $e_{i}$ 를 계산할 수 있다면, 그 지수들은 유일할 수밖에 없습니다.

간단한 경우를 생각해봅시다 — $R=\mathbb{Z}$ 이고 $M=\mathbb{Z}/4\mathbb{Z}$ 인 경우를 생각해봅시다. 이 가군은 원소가 $4$ 개이지만, $\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$ 와 같지는 않습니다. 이 경우, 두 가군의 차이는 $M$ 에서 원소 $1\pmod{4}$ 에 $2$ 를 곱하면 0이 되지 않는 반면, $\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$ 의 모든 원소는 $2$ 를 곱하면 0이 된다는 사실로 확인할 수 있습니다.

표기의 편의를 위해,

정의 18.5.3.

$r\in R$ 과 $R$ -가군 $M$ 에 대해, $rM=\{rm\mid m\in M\}$ 을 정의합니다. (이것이 여전히 $R$ -가군임을 확인하십시오.)

그러면, 위 문단이 말하는 바는 $|2M|=2\neq 1=|2(\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z})|$ 이므로 $M\not\cong\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$ 라는 것입니다. 다시 말해, 이 경우 $2M$ 의 원소 개수를 세는 것만으로 두 가군을 구별하기에 충분합니다.

$R=\mathbb{Z}$ 일 때 $M\cong R/(p^{e_{1}})\oplus R/(p^{e_{2}})\oplus\cdots\oplus R/(p^{e_{m}})$ 형태의 가군에 대해서는, 이는 일반적으로 거의 통합니다 — 다만 $p M$ , $p^{2}M$ , $p^{3}M$ 등의 원소 개수도 고려해야 합니다.

동등하게, 연속적인 몫 $M/pM$ , $pM/p^{2}M$ , $p^{2}M/p^{3}M$ 등의 원소 개수를 고려할 수도 있습니다.

예제 18.5.4.

$R=\mathbb{Z}$ , $p=3$ , $M=\mathbb{Z}/3^{2}\mathbb{Z}\oplus\mathbb{Z}/3^{5}\mathbb{Z}$ 라 합시다. 그러면:

•

$|M/3M|=9$ ,
•

$|3M/3^{2}M|=9$ ,
•

$|3^{2}M/3^{3}M|=3$ ,
•

$|3^{3}M/3^{4}M|=3$ ,
•

$|3^{4}M/3^{5}M|=3$ ,
•

모든 정수 $e\geq 5$ 에 대해 $|3^{e}M/3^{e+1}M|=1$ 입니다.

이것이 어디로 향하는지 이미 알 수 있을 것입니다 — 몫의 크기가 감소할 때마다 소수의 거듭제곱 $p^{e_{i}}$ 하나에 대응합니다.

그러나 몫이 무한할 때는 더 이상 이렇게 할 수 없습니다. 하지만 다음을 주목하십시오:

보조정리 18.5.5.

모든 정수 $e\geq 0$ 에 대해, $p^{e}M/p^{e+1}M$ 은 $R/(p)$ -벡터 공간입니다.

따라서, $p^{e}M/p^{e+1}M$ 의 원소 개수를 세는 대신, $p^{e}M/p^{e+1}M$ 을 $R/(p)$ -벡터 공간으로서의 차원을 셉니다 — 정리 9.4.7에 의해, 이는 실제로 가군 $M$ 에 본질적인 성질입니다.

정리 18.5.2의 증명.

$M\cong R/(p^{e_{1}})\oplus R/(p^{e_{2}})\oplus\cdots\oplus R/(p^{e_{m}})$ 이므로, 다음이 성립함에 유의하십시오.

\pi(M)\cong\pi(R/(p^{e_{1}}))\oplus\pi(R/(p^{e_{2}}))\oplus\cdots\oplus\pi(R/(% p^{e_{m}}))

여기서 $\pi(M)=p^{e}M/p^{e+1}M$ 이며, $e\geq 0$ 은 임의의 정수입니다.

이는 $R/(p)$ -벡터 공간으로서 다음을 의미합니다.

\dim\pi(M)=\dim\pi(R/(p^{e_{1}}))+\dim\pi(R/(p^{e_{2}}))+\cdots+\dim\pi(R/(p^{% e_{m}})).

각 항 $R/(p^{e_{i}})$ 에 대해, 다음이 성립함에 유의하십시오.

\dim p^{e}(R/(p^{e_{i}}))/p^{e+1}(R/(p^{e_{i}}))=\begin{cases}1&e<e_{i}\\ 0&\text{그렇지 않으면}.\end{cases}

약간의 계산을 통해, 값 $e_{i}$ 가 실제로 $\dim p^{e}M/p^{e+1}M$ 에 의해 순열까지 고려하여 유일하게 결정됨을 알 수 있습니다. ∎

이는 분모의 소수들이 서로 다른 경우로도 쉽게 일반화될 수 있음에 유의하십시오. 왜냐하면 $R$ 의 서로 다른 소수 $p$ 와 $q$ 에 대해, $p^{e}(R/(q))/p^{e+1}(R/(q))$ 는 $0$ 차원 $R/(p)$ -벡터 공간이기 때문입니다.

마지막으로, 일반적인 경우를 다룹니다.

정리 18.5.6.

$M\cong R^{\oplus r}\oplus R/(q_{1})\oplus R/(q_{2})\oplus\cdots\oplus R/(q_{m})$ 이면, 정수 $r$ 과 소수 거듭제곱 $q_{i}$ 들은 순열까지 고려하여 유일합니다.

증명.

위의 두 정리로부터, $R^{\oplus r}$ 부분과 $R/(q_{1})\oplus R/(q_{2})\oplus\cdots\oplus R/(q_{m})$ 부분이 $M$ 으로부터 유일하게 결정됨을 증명하면 충분합니다.

표기의 편의를 위해, $r\neq 0$ 인 $r\in R$ 이 존재하여 $ra=0$ 을 만족시킬 때 원소 $a\in M$ 을 꼬임 원소라고 부릅니다.

그러면,

•

원소 $a\in M$ 의 $R^{\oplus r}$ 성분이 영이면, $q_{1}q_{2}\cdots q_{m}\cdot a=0$ 이므로 $a$ 는 꼬임 원소입니다.
•

원소 $a\in M$ 의 $R^{\oplus r}$ 성분이 영이 아니면, $a$ 는 꼬임 원소가 아닙니다.

다시 말해, 모든 꼬임 원소로 이루어진 부분가군은 $R^{\oplus r}$ 성분이 영인 원소들의 부분가군과 일치하므로, $R/(q_{1})\oplus R/(q_{2})\oplus\cdots\oplus R/(q_{m})$ 과 동형입니다.

표기의 편의를 위해, $\operatorname{Tor}(M)$ 을 $M$ 의 모든 꼬임 원소로 이루어진 부분가군이라고 합시다. 그러면 $\operatorname{Tor}(M)\cong R/(q_{1})\oplus R/(q_{2})\oplus\cdots\oplus R/(q_{m})$ 이고 $M/\operatorname{Tor}(M)\cong R^{\oplus r}$ 이며, 다시 말해 $R^{\oplus r}$ 부분과 $R/(q_{1})\oplus R/(q_{2})\oplus\cdots\oplus R/(q_{m})$ 부분은 $M$ 으로부터 유일하게 결정되므로, 증명이 끝났습니다. ∎

18.6 스미스 표준형

이제 우리의 문제가 선형 사상 $T\colon R^{\oplus m}\to R^{\oplus n}$ 을 연구하는 것으로 환원되었다는 것이 아이디어이며, 이는 일반적인 행렬로 생각할 수 있습니다.

T=\begin{bmatrix}a_{11}&\dots&a_{1m}\\ \vdots&\ddots&\vdots\\ a_{n1}&\dots&a_{nm}\end{bmatrix}

$R^{\oplus m}$ 의 기저 $e_{1}$ , …, $e_{m}$ 과 $R^{\oplus n}$ 의 기저 $f_{1}$ , …, $f_{n}$ 에 대해서입니다.

물론, 예상할 수 있듯이 $T$ 의 주어진 기저를 바꾸어 $T$ 가 더 나은 행렬 형태를 갖도록 하는 것이 가능할 것입니다. 우리는 이미 조르당 형식에서 이를 본 적이 있는데, 그때는 사상 $T\colon V\to V$ 가 있었고 기저를 바꾸어 $T$ 가 ”거의 대각”이 되도록 했습니다. 이번에는 바꿀 수 있는 기저가 두 세트이므로, 대각 기저, 혹은 그보다 더 나은 것을 얻을 수 있기를 기대해 볼 수 있습니다.

진행하기 전에, 행렬을 어떻게 편집할 수 있을지 생각해 봅시다: 어떤 연산이 허용됩니까? 다음은 몇 가지 예입니다.

•

행과 열을 바꾸는 것으로, 이는 단순히 기저의 재정렬에 해당합니다.
•

한 열의 배수를 다른 열에 더하는 것입니다. 예를 들어, 첫 번째 열의 $3$ 배를 두 번째 열에 더하면, 이는 기저를 다음으로 바꾸는 것과 동치입니다.

$(e_{1},e_{2},e_{3},\dots,e_{m})\mapsto(e_{1},e_{2}+3e_{1},e_{3},\dots,e_{m}).$
•

한 행의 배수를 다른 행에 더하는 것입니다. 첫 번째 행의 $3$ 배를 두 번째 행에 더하는 것이 기저를 다음으로 바꾸는 것과 동치임을 알 수 있습니다.

$(f_{1},f_{2},f_{3},\dots,f_{n})\mapsto(f_{1}-3f_{2},f_{2},f_{3},\dots,f_{n}).$

더 일반적으로,

$A$ 가 가역 $n\times n$ 행렬이면 $T$ 를 $A T$ 로 바꿀 수 있습니다.

이는 다음을 바꾸는 것에 대응됩니다

(f_{1},\dots,f_{n})\mapsto((FA^{-1})_{1},\dots,(FA^{-1})_{n})

(“가역” 조건은 후자가 기저임을 보장할 뿐입니다). 여기서 $F$ 는 열이 $f_{1},\dots,f_{n}$ 인 $n\times n$ 행렬이고, $(FA^{-1})_{1}$ 은 $FA^{-1}$ 의 첫 번째 열을 나타냅니다.

물론 마찬가지로 $B$ 가 가역 $m\times m$ 행렬일 때 $T$ 를 $T B$ 로 바꿀 수 있습니다; 이는 다음에 대응됩니다

(e_{1},\dots,e_{m})\mapsto((EB)_{1},\dots,(EB)_{m})

여기서 $E$ 는 열이 $e_{1},\dots,e_{m}$ 인 $m\times m$ 행렬입니다.

이 지식으로 무장하여, 이제 다음을 다룰 수 있습니다:

정리 18.6.1 (스미스 표준형).

$R$ 을 PID라 합시다. $M=R^{\oplus m}$ 과 $N=R^{\oplus n}$ 을 자유 $R$ -가군이라 하고 $T\colon M\to N$ 을 선형 사상이라 합시다. $k=\min\{m,n\}$ 으로 놓습니다.

그러면 $M$ 과 $N$ 에 대해 새로운 기저 쌍을 선택하여 $T$ 가 대각 성분 $s_{1}$ , $s_{2}$ , …, $s_{k}$ 만 가지며 $s_{1}\mid s_{2}\mid\dots\mid s_{k}$ 가 되도록 할 수 있습니다.

따라서 $m>n$ 이면, 행렬은 다음 형태를 취해야 합니다

\begin{bmatrix}s_{1}&0&0&0&\dots&0\\ 0&s_{2}&0&0&\dots&0\\ \vdots&\vdots&\ddots&\vdots&\dots&\vdots\\ 0&0&0&s_{n}&\dots&0\end{bmatrix}.

$m\leq n$ 일 때도 마찬가지입니다.

질문 18.6.2.

스미스 표준형이 구조 정리를 함의함을 보이십시오.

비고 18.6.3.

이것이 조르당 표준형의 일반화가 아님에 유의하십시오.

•

조르당 표준형에서는 사상 $T\colon V\to V$ 를 고려합니다; 정의역과 공역이 같으며, 공간 $V$ 에 대해 하나의 기저를 고려하고 있음에 유의하십시오.
•

스미스 표준형에서는 사상 $T\colon M\to N$ 이 서로 다른 가군 사이에 있으며, 두 개의 기저 집합(하나는 $M$ 에 대해, 하나는 $N$ 에 대해)을 선택합니다.

예제 18.6.4 (스미스 표준형의 예).

증명 아이디어의 느낌을 전달하기 위해, $\mathbb{Z}$ -행렬을 사용한 구체적인 예를 함께 살펴봅시다

\begin{bmatrix}18&38&48\\ 14&30&32\end{bmatrix}.

모든 성분의 GCD는 $2$ 이며, 이에 착안하여 왼쪽 열에 대해 유클리드 호제법을 수행합니다: 첫 번째 행에서 두 번째 행을 빼고, 그다음 두 번째 행에서 첫 번째 행의 세 배를 뺍니다:

\begin{bmatrix}18&38&48\\ 14&30&32\end{bmatrix}\mapsto\begin{bmatrix}4&8&16\\ 14&30&32\end{bmatrix}\mapsto\begin{bmatrix}4&8&16\\ 2&6&-16\end{bmatrix}.

이제 GCD인 $2$ 가 나타났으므로, 두 행을 바꾸어 이를 왼쪽 위로 옮긴 다음, 같은 행/열에 있는 모든 성분을 소거합니다; $2$ 가 처음부터 GCD였으므로, $2$ 를 완전히 고립시킬 수 있습니다:

\begin{bmatrix}4&8&16\\ 2&6&-16\end{bmatrix}\mapsto\begin{bmatrix}2&6&-16\\ 4&8&16\end{bmatrix}\mapsto\begin{bmatrix}2&6&-16\\ 0&-4&48\\ \end{bmatrix}\mapsto\begin{bmatrix}2&0&0\\ 0&-4&48\end{bmatrix}.

이로써 문제는 $1\times 2$ 행렬로 축소됩니다. 그러므로 그곳에도 유클리드 호제법을 다시 적용하기만 하면 됩니다:

\begin{bmatrix}2&0&0\\ 0&-4&0\end{bmatrix}\mapsto\begin{bmatrix}2&0&0\\ 0&4&0\end{bmatrix}.

이제 남은 일은 이 증명을 임의의 PID에 대해 작동하도록 일반화하는 것뿐입니다. 이를 어떻게 할지는 직관적으로 명확합니다: PID 조건이 대체로 유클리드 호제법을 수행할 수 있게 해 줍니다.

스미스 표준형의 증명.

일반적인 행렬로 시작합니다

T=\begin{bmatrix}a_{11}&\dots&a_{1m}\\ \vdots&\ddots&\vdots\\ a_{n1}&\dots&a_{nm}\end{bmatrix}

우리는 일련의 연산(주어진 기저를 점진적으로 바꾸는 것)을 통해 이 행렬을 스미스 표준형으로 재배열할 수 있음을 보이고자 합니다.

$\gcd(x,y)$ 를 주 아이디얼 $(x,y)$ 의 임의의 생성원으로 정의합니다.

주장 18.6.5 (“유클리드 호제법”).

$a$ 와 $b$ 가 같은 행 또는 열의 성분이면, 기저를 바꾸어 $a$ 를 $\gcd(a,b)$ 로, $b$ 를 다른 무언가로 바꿀 수 있습니다.

증명.

열(column)의 경우만 다룹니다. 가정에 의해 어떤 $x,y\in R$ 에 대해 $\gcd(a,b)=xa+yb$ 입니다. 이제 (UFD에 있으므로) $(x,y)=(1)$ 이어야 합니다. 따라서 $xu+yv=1$ 을 만족하는 $u$ 와 $v$ 가 존재합니다. 그러면

\begin{bmatrix}x&y\\ -v&u\end{bmatrix}\begin{bmatrix}a\\ b\end{bmatrix}=\begin{bmatrix}\gcd(a,b)\\ \text{무언가}\end{bmatrix}

원하는 대로 첫 번째 행렬은 가역입니다 (이를 확인해 보십시오!). ∎

$s_{1}=(a_{ij})_{i,j}$ 를 모든 성분의 GCD라 합시다. 이제 이 알고리즘을 반복 적용하여 $s_{1}$ 이 좌상단에 나타나도록 만들 수 있습니다. 그런 다음 이를 이용해 첫 번째 행과 첫 번째 열의 모든 성분을 소거하여 다음과 같은 행렬에 이릅니다

\begin{bmatrix}s_{1}&0&0&\dots&0\\ 0&a_{22}^{\prime}&a_{23}^{\prime}&\dots&a_{2n}^{\prime}\\ 0&a_{32}^{\prime}&a_{33}^{\prime}&\dots&a_{3n}^{\prime}\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ 0&a_{m2}^{\prime}&a_{m3}^{\prime}&\dots&a_{mn}^{\prime}\\ \end{bmatrix}.

이제 이 우하단 $(m-1)\times(n-1)$ 행렬에 대해 같은 절차를 반복하고, 이를 계속 진행합니다. 이로써 스미스 표준형(Smith normal form)을 얻습니다. ∎

스미스 표준형을 이용하면 원래 상황에서 다음이 성립합니다

M\cong R^{\oplus d}/\operatorname{im}T

그리고 $T$ 에 정리를 적용하면 구조 정리의 증명이 완성됩니다.

18.7 생각해 볼 만한 조금 더 어려운 문제

이제 우리는 구조 정리를 적용할 수 있습니다!

문제 18A (유한 차원 벡터 공간은 모두 동형이다).

체 $k$ 위의 벡터 공간 $V$ 가 유한 생성 집합을 가진다고 합시다. 어떤 $n$ 에 대해 $V\cong k^{\oplus n}$ 임을 보이십시오.

힌트. 구조 정리에서 $k/(s_{i})\in\{0,k\}$ 입니다.

문제 18B (프로베니우스 표준형).

$T\colon V\to V$ 가 있고, $V$ 는 임의의 체 $k$ (반드시 대수적으로 닫혀 있을 필요는 없음) 위의 유한 차원 벡터 공간이라 합시다. $T$ 를 다음 형태의 블록들로 이루어진 블록 대각 행렬로 쓸 수 있음을 보이십시오

\begin{bmatrix}0&0&0&\dots&0&\ast\\ 1&0&0&\dots&0&\ast\\ 0&1&0&\dots&0&\ast\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 0&0&0&\dots&1&\ast\\ \end{bmatrix}.

( $V$ 를 작용 $x\cdot v=T(v)$ 를 갖는 $k[x]$ -가군으로 간주하십시오.)

힌트. 정리에 의해 어떤 다항식 $s_{i}$ 들에 대해 $V\cong\bigoplus_{i}k[x]/(s_{i})$ 입니다. 각 블록을 설명된 형태로 쓰십시오.

문제 18C (조르당 표준형).

$T\colon V\to V$ 가 있고, $V$ 는 대수적으로 닫힌 임의의 체 $k$ 위의 유한 차원 벡터 공간이라 합시다. $T$ 가 조르당 형태로 쓰일 수 있음을 증명하십시오.

힌트. 앞선 증명을 그대로 따라가되, 구조 정리의 다른 형태를 사용하십시오. $k[x]$ 가 대수적으로 닫혀 있으므로 각 $p_{i}$ 는 일차 인수입니다.

문제 18D.

^†^†margin:

서로 동형이 아니지만 단사 준동형사상 $G\hookrightarrow H$ 와 $H\hookrightarrow G$ 가 존재하는 두 아벨 군 $G$ 와 $H$ 를 찾으십시오.

힌트. 여기서 구조 정리는 반대 결과를 줍니다: 이는 유한 생성 아벨 군으로는 성립하지 않음을 어느 정도 함의합니다. 그러므로 무한 생성 예시를 찾아보십시오.

풀이. $G=\mathbb{Z}/3\mathbb{Z}\oplus\mathbb{Z}/9\mathbb{Z}\oplus\mathbb{Z}/9\mathbb{% Z}\oplus\mathbb{Z}/9\mathbb{Z}\oplus\dots$ 이고 $H=\mathbb{Z}/9\mathbb{Z}\oplus\mathbb{Z}/9\mathbb{Z}\oplus\mathbb{Z}/9\mathbb{% Z}\oplus\mathbb{Z}/9\mathbb{Z}\oplus\dots$ 라고 합시다. 그러면 사상 $G\hookrightarrow H$ 와 $H\hookrightarrow G$ 가 존재하지만, 이 군들은 동형이 아닙니다. 예를 들어 $G$ 에는 위수가 $3$ 인 원소 $g\in G$ 가 있는데, $g=3g^{\prime}$ 를 만족하는 $g^{\prime}\in G$ 가 존재하지 않기 때문입니다.

문제 18E.