logo

군의 데카르트 곱 📂추상대수

군의 데카르트 곱

정의 1 2

  1. $G_{1} , \cdots , G_{n}$ 들의 데카르트 곱과 그 원소 $\displaystyle (a_{1},\cdots , a_{n}), (b_{1} , \cdots , b_{n} ) \in \prod_{i=1}^{n} G_{i}$ 에 대해 $$ (a_{1},\cdots , a_{n}) (b_{1} , \cdots , b_{n} ) = (a_{1} b_{1},\cdots , a_{n} b_{n}) $$ 이면 $\displaystyle \prod_{i=1}^{n} G_{i}$ 를 $G_{1} , \cdots , G_{n}$ 들의 직곱direct product이라 한다.
  2. 특히 $G_{1}, \cdots , G_{n}$ 이 가환군이면 $\displaystyle \bigoplus_{i=1}^{n} G_{i}$ 로 쓰고 직합direct Sum이라고도 부른다.
  3. $G_{1}$ 가 $G$ 의 부분군라고 할 때, 다음을 만족하는 $G$ 의 또다른 부분군 $G_{2}$ 이 존재하면 $G_{1}$ 을 피직합군direct Summand라 부른다. $$ G = G_{1} \oplus G_{2} $$

성질

$G = G_{1} \oplus G_{2}$ 이라고 하자. 만약 $H_{1}$ 이 $G_{1}$ 의 부분군, $H_{2}$ 가 $G_{2}$ 의 부분군이라면, $H_{1}$ 와 $H_{2}$ 역시 직합으로 나타낼 수 있으며 특히 다음이 성립한다. $$ {{ G } \over { H_{1} \oplus H_{2} }} \simeq {{ G_{1} } \over { H_{1} }} \oplus {{ G_{2} } \over { H_{2} }} $$

  • [1]: $H_{1} \simeq G_{1}$ 이고 $H_{2} \simeq \left\{ 0 \right\}$ 이라 두면 $$ G / G_{1} \simeq G_{2} $$
  • [2]: $H_{1} \simeq \left\{ 0 \right\}$ 라 두면 $$ {{ G } \over { H_{2} }} \simeq G_{1} \oplus {{ G_{2} } \over { H_{2} }} $$

설명

벡터 공간은 덧셈에 대해 군이지만 은 벡터공간이 아니므로 선형대수학과의 직합과 정확하게 일치하지는 않지만, 비교가 어떤 의미를 갖게 되려면 적어도 정도는 되어야한다.

예로써 클라인 사원군은 $V \simeq \mathbb{Z}_{2} \times \mathbb{Z}_{2}$ 를 만족하며, $\gcd (m , n) = 1$ 이면 $\mathbb{Z}_{m} \times \mathbb{Z}_{n} \simeq \mathbb{Z}_{mn}$ 이 순환군이라는 정리 등이 알려져있다.

프리그룹

노테이션 상으로는 프리 아벨 그룹의 경우 그냥 정수환 $\mathbb{Z}$의 직합과 아이소멀픽하다고 표현하는 편이다. 예를 들어 $G$ 가 랭크 $3$ 인 프리 아벨 그룹이라면, $G$ 는 그냥 다음과 같이 나타내기도 한다. $$ G \simeq \mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z} $$

같이보기


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p104~105. ↩︎

  2. Munkres. (1984). Elements of Algebraic Topology: p23~24. ↩︎