📂추상대수

군의 데카르트 곱

정의 ^{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}$$

같이보기

• 선형대수학에서의 직합
• 집합의 데카르트 곱
• 군의 데카르트 곱
• 위상 공간의 데카르트 곱