반직접곱 (semidirect product)

수학노트
이동: 둘러보기, 검색

개요

  • 주어진 두 군으로부터 새로운 군을 얻는 방법의 하나
  • 두 군 $N$, $H$와 준동형사상 \(\varphi\colon H\to\operatorname{Aut}(N)\)이 주어져 있을 때, 집합 \(N\times H\)에 다음과 같이 연산을 정의하자

$$ (n_1,h_1)\cdot(n_2,h_2)=(n_1\varphi(h_1)(n_2),h_1h_2) $$

  • 이 연산은 $N\times H$에 군의 구조를 준다
    • 항등원은 $(1,1)$
    • $(n,h)$의 역원은 $(\varphi(h^{-1})(n^{-1}),h^{-1})$
  • 이렇게 얻어진 군을 $N \rtimes H$로 나타낸다


정이면체군

\[\left\langle a,b\mid a^2=b^n=1, a^{-1}ba=b^{-1}\right\rangle\]

  • 크기가 $n$인 순환군 $C_{n}$과 $\mathbb{Z}_{2}=\{\pm 1\}$
  • 준동형사상 $\varphi\colon \mathbb{Z}_{2} \to\operatorname{Aut}(C_n)$를 $\varphi(1)(g)=g,\, \varphi(-1)(g)=g^{-1}$로 정의하자
  • \(D_{n}= C_{n} \rtimes \mathbb{Z}_{2}\) 로 쓸 수 있다

푸앵카레 군

  • 로렌츠 변환과 로렌츠 군
  • 로렌츠군 $SO(3,1)$은 $\mathbb{R}^{3,1}$에 작용한다
  • 반직접곱 $\mathbb{R}^{3,1}\rtimes SO(3,1)$을 푸앵카레 군이라 부른다
  • 푸앵카레 군의 원소 $(a,\Lambda)$는 로렌츠군의 원소 $\Lambda : \mathbb{R}^{3,1}\to \mathbb{R}^{3,1}$와 벡터 $a\in \mathbb{R}^{3,1}$에 의해 주어진다


메모

  • semidirect product
  • semi-direct product


사전 형태의 자료