군의 작용

group의 cancellation property에 의해서, $g\in G$를 고정하였을 때 $G=\{gx\mid x\in G\}$는 각 원소를 permute하므로 함수 $x\mapsto gx$는 symmetric group의 한 원소이다. 그러한 permutation $g:G\to G$을 모든 $g$들에 대해서 생각할 수 있고 $G\to(G\to G)$의 kernel에 $e$밖에 없으므로 이는 monomorphism이다. 따라서 모든 group은 symmetric group의 어떤 subgroup과 isomorphic이다. 이를 Cayley's Theorem(케일리의 정리)이라 하고, 함수 $G\to(G\to G)$를 $G$의 regular representation(정칙 표현)이라고 한다. 이는 group을 singleton set에 대한 small category로 볼 때 Yoneda lemma의 특수한 경우이다.

$G\to G$인 모든 isomorphism들은 이항 연산이 함수의 합성인 group을 이룬다. 항등원은 identity map이고 역원은 inverse morphism이며, 각 isomorphism이 $G$의 각 원소를 permute하므로 symmetric group의 어떤 subgroup과 isomorphic이다. 이를 $G$의 automorphism group(자기 동형군)이라 하고 $\Aut(G)$로 쓴다. 예를 들어 $(\Z/4\Z,\ +)$의 automorphism group을 구해 보겠다. regular representation에 대입하면 $\id_{\Z/4\Z},\ (1\ 2\ 3\ 0),\ (0\ 2)(1\ 3),\ (0\ 3\ 2\ 1)$에서 $(g_1+g_2)+a = (g_1+a)+(g_2+a)$를 만족하는 것은 $\id_{\Z/4\Z}$밖에 없다. group 연산을 보존하려면 $f(0)=0,\ f(n)=f(1)n$이어야 하므로 automorphism group의 모든 원소는 $x\mapsto a\times x$들 가운데에서 얻을 수 있다. 여기에서 $(3\ 1)$을 하나 더 얻으며, $\Z/n\Z$에 대해서 일반화하면 $\Aut(\Z/n\Z)=(\Z/n\Z)^{\times}$이다.

집합 $X$에 대해서 $G$가 작용하는 함수 $\sigma:(g,\ x)\mapsto g\cdot_{\sigma}x$가 $e\cdot_{\sigma}x=x$이고 $g_1\cdot_{\sigma}(g_2\cdot_{\sigma}x)=(g_1g_2)\cdot_{\sigma}x$이면, 즉 각 $g$가 $X$의 각 원소를 permute하면 $\sigma:G\times X\to X$를 group action of $G$ on $X$라 하고 $X$를 $G$-set이라 한다. $g\cdot_{\sigma} x=x$는 trivial action이고 $G$의 regular representation은 $X=G$에서 $g\cdot_{\sigma}x=gx$인 경우이다. $G$의 automorphism들은 $X=G$에서 conjugation $g\cdot_{\sigma} x=gxg^{-1}$인 경우에 해당할 수 있다. 여기에 속하는 것을 $G$의 inner automorphism이라 하고 이들이 이루는 군을 $\operatorname{Inn}(G)$로 쓰며, quotient group $\Aut(G)/\operatorname{Inn}(G)$를 outer automorphism이라 하고 $\operatorname{Out}(G)$로 쓴다. group action은 group homomorphism $G\to S_X$를 정의하지만 관찰을 위해서 group homomorphism $G\to\Aut(X)$를 정의한다고 가정하고는 한다.

orbit과 stabilizer

집합 $X$가 $G$-set일 때 각 $x\in X$에 대해서 $x$를 고정하여 $\sigma_x:G\to X,\ g\mapsto g\cdot_{\sigma}x$라 할 때 $\sigma_x(g)=x$인 $g$들의 집합을 $x$의 stabilizer subgroup 또는 isotropy subgroup이라 하고 모든 $g\in G$에 대해서 $\sigma_x(g)$들의 집합을 $x$의 $G$-orbit(궤도)이라 한다. $x$의 stabilizer는 $G_x$로 쓰고 orbit은 $Gx$로 쓴다. $G_x$는 $G$의 부분 집합이고 $Gx$는 $X$의 부분 집합이다. $a,\ b\in X$에 대해서 $\sigma:G\times X\to X$가 $\sigma(g,\ a)=g\cdot_{\sigma}a=b$인 $g$가 있을 때 $a\sim b$라 하면 $e\cdot_{\sigma}a=a$이고, $g\cdot_{\sigma}a=b$이면 $g^{-1}\cdot_{\sigma}b=g^{-1}\cdot_{\sigma}(g\cdot_{\sigma}a)=a$이고, $g_1\cdot_{\sigma}a=b$이고 $g_2\cdot_{\sigma}b=c$이면 $(g_2g_1)\cdot_{\sigma}a=c$이다. 따라서 $\sim$는 동치 관계이고 그 equivalence class는 $X$ 전체를 분류한다. $X$의 한 원소와 이 동치 관계에 있는 $X$의 원소들을 모은 것이 orbit이므로 서로 다른 orbit들은 서로 다른 원소를 가지고 모든 orbit들의 union은 $X$ 전체이다.

$g_1\cdot_{\sigma} x=g_2\cdot_{\sigma} x$이면 $(g_2^{-1}g_1)\cdot_{\sigma} x=x$이므로 $g_2^{-1}g_1\in G_x$이다. 즉 $g_1 \in g_2G_x$이고 서로 다른 coset은 서로소이므로 $g_1G_x=g_2G_x$이다. $b \in Ga$이면 $g\cdot_{\sigma} a=b$인 $g_1,\ g_2,\ \cdots$들이 하나 이상 있고 $g_i\in gG_a$이다. 즉 모든 $g$에 대해서 $gG_a$는 $g\cdot_{\sigma} a\in Ga$에 대응한다. $b'\in Ga$이면 $g'\cdot_{\sigma} a=b'$인 $g'_i$들에 대해서 $g'_i\in g'G_a$라 할 때 $gG_a=g'G_a$를 가정하면 $g'^{-1}g\in G_a$이므로 $(g'^{-1}g)\cdot_{\sigma} a=a$이다. 따라서 $b=(g'g'^{-1}g)\cdot_{\sigma} a=g'\cdot_{\sigma} ((g'^{-1}g)\cdot_{\sigma} a)=b'$이고, 서로 다른 $b\in Ga$는 서로 다른 $gG_a$에 대응한다. 그러므로 $f:Gx\to G/G_x,\ \sigma_x(g)\mapsto gG_x$는 bijection이다. $G_x$는 $G$의 normal subgroup일 필요가 없으므로 $G/G_x$는 group일 필요가 없다. 그러나 $G/G_x$의 coset들은 각각 같은 수의 원소를 가지므로 $|G|=|G:G_x||G_x|=|Gx||G_x|$이다. 즉 $|G|$가 유한할 때 $|Gx|$는 $|G|$의 약수이고, $|X|$가 유한할 때 $|X|$는 서로 다른 $Gx_i$들의 union이 $X$ 전체일 때 $\displaystyle \sum_{i} |G:G_{x_i}|$이다. 서로 다른 orbit이 유일하면 모든 $a,\ b\in X$에 대해서 $g\cdot_{\sigma} a = b$인 $g\in G$를 잡을 수 있고 $G$를 $X$ 위에서 transitive(추이적)라 한다. 또한 모든 $x\in X$에 대해서 $|G_x|=1$이고 $G$를 $X$ 위에서 faithful(충실한)이라고 한다.

finite group

Sylow theorems에 따라서 Sylow $p$-subgroup(쉴로브 $p$-부분군, 실로우 $p$-부분군)을 생각할 수 있다.

참고 자료

• https://math.stackexchange.com/questions/3361649/counting-number-of-groupings-using-group-actions
• https://en.wikipedia.org/wiki/List_of_representation_theory_topics
• https://en.wikipedia.org/wiki/Geometric_transformation
• https://en.wikipedia.org/wiki/Fundamental_theorem_of_Galois_theory
• 이인석. 선형대수와 군.