유한생성 아벨군의 기본정리
Pythagoras0 (토론 | 기여)님의 2013년 5월 30일 (목) 12:31 판
개요
- $G$ : 유한생성 아벨군
$$ G\cong \mathbb{Z}^r \oplus G_{\operatorname{Tor}} \cong \mathbb{Z}^n \oplus \mathbb{Z}_{d_1} \oplus \cdots \oplus \mathbb{Z}_{d_u}, $$ 이 때, $d_1|d_2|\cdots |d_u$
예
- 1부터 n까지의 양의 정수들은 덧셈 (mod n) 에 대한 군의 구조를 이룸
- 이 군을 \(\mathbb{Z}/n\mathbb{Z}\) 로 표현함
- 1부터 n까지의 양의 정수 중에 n과 서로소인 수로 구성된 집합은 곱셈 (mod n) 에 대한 군의 구조를 이룸
- 이 군을 \((\mathbb{Z}/n\mathbb{Z})^\times\) 로 표현함
역사
메모
관련된 항목들