群表現の直和

도입

두 ベクトル空間 $V_{1}$과 $V_{2}$가 주어졌다고 하자. 이 둘의 直和을 $V = V_{1} \oplus V_{2}$와 같이 나타내자. 그러면 $v \in V$는 $v = v_{1} + v_{2} (v_{1} \in V_{1}, v_{2} \in V_{2})$로 유일하게 나타난다.

이제 群 $G$의 表現 $(\rho_{1}, V_{1})$를 생각해보자.

$$ \rho_{1} : G \to \operatorname{GL}(V_{1}) $$

$\rho_{1}$은 $g \in G$를 線形変換(=行列) $\rho_{1}(g) : V_{1} \to V_{1}$로 대응시킨다. 마찬가지로 表現 $(\rho_{2}, V_{2})$에 대해서 $\rho_{2}(g) : V_{2} \to V_{2}$이다. 이를 바탕으로 두 表現의 直和을 다음과 같이 정의할 수 있다.

定義

群 $G$의 두 表現 $(\rho_{1}, V_{1})$과 $(\rho_{2}, V_{2})$의 直和^{direct sum}을 $(\rho, V) = (\rho_{1} \oplus \rho_{2}, V_{1} \oplus V_{2})$와 같이 나타내고, 다음과 같이 定義한다.

$$ \begin{align*} \rho : G &\to \operatorname{GL}(V_{1} \oplus V_{2}) \\ g &\mapsto \rho(g) : V \to V \end{align*} $$

$$ \rho(g)(v) = \rho_{1}(g)(v_{1}) + \rho_{2}(g)(v_{2}), \quad \forall v = v_{1} + v_{2} \in V $$

一般化

表現 $(\rho_{i}, V_{i})$들의 直和 $(\rho, V) = (\bigoplus_{i} \rho_{i}, \bigoplus V_{i})$는 다음과 같이 定義된다.

$$ \rho(g) v = \sum_{i} \rho_{i}(g)(v_{i}), \quad \forall v = \sum_{i} v_{i} \in V $$

説明

逆に、群 $G$의 表現 $(\rho, V)$에 대해서, $V = \bigoplus_{i} V_{i}$이고 각각의 $V_{i}$가 $\rho$-不変인 部分空間이라고 하자. 그러면 $\rho$는 $V_{i}$ 위의 表現 $\rho_{i}(g) = \rho(g)|_{V_{i}}$들의 直和으로 나타낼 수 있다.

$$ \rho = \bigoplus_{i} \rho_{i} = \bigoplus_{i} \rho(g)|_{V_{i}} $$

$\rho(g)$를 行列로 表現하면 아래와 같다.

$$ \rho : g \mapsto \begin{bmatrix} [\rho_{1}(g)] & O \\ O & [\rho_{2}(g)] \end{bmatrix} $$

$$ [\rho(g)] = \begin{bmatrix} [\rho_{1}(g)] & O \\ O & [\rho_{2}(g)] \end{bmatrix} $$

事実上行列の直和과 같다.

性質

(a) $G$의 두 表現의 直和도 $G$의 表現이다.

証明

(a)

$\rho(gh) = \rho(g)\rho(h)$임을 보이면 된다. 行列形で 보면 어렵지 않게 보일 수 있다. 対角行列同士の積も対角行列이므로、

$$ \begin{align*} \rho(g) \rho(h) &= \begin{bmatrix} \rho_{1}(g) & O \\ O & \rho_{2}(g) \end{bmatrix} \begin{bmatrix} \rho_{1}(h) & O \\ O & \rho_{2}(h) \end{bmatrix} \\ &= \begin{bmatrix} \rho_{1}(g)\rho_{1}(h) & O \\ O & \rho_{2}(g)\rho_{2}(h) \end{bmatrix} \\ &= \begin{bmatrix} \rho_{1}(gh) & O \\ O & \rho_{2}(gh) \end{bmatrix} \\ &= \rho(gh) \end{align*} $$

■