Difference between revisions of "Definition:군의 작용"

From Beloveds
m (Beloveds moved page 군의 작용 to Definition:군의 작용 without leaving a redirect)
Line 5: Line 5:
 
집합 $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)$를 정의한다고 가정하고는 한다.<ref>https://math.stackexchange.com/questions/4514354/equivalent-definitions-of-a-group-acting-on-a-group</ref>
 
집합 $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)$를 정의한다고 가정하고는 한다.<ref>https://math.stackexchange.com/questions/4514354/equivalent-definitions-of-a-group-acting-on-a-group</ref>
  
−
== counting ==
+
== ... ==
 
집합 $X$가 $G$-set일 때 각 $x\in X$에 대해서 $\sigma_x:G\to X,\ g\mapsto g\cdot_{\sigma}x$의 range를 $x$의 '''$G$-orbit'''(궤도)이라 하고 $x$의 preimage를 $x$의 '''stabilizer subgroup'''(안정자 부분군) 또는 '''stabilizer'''라고 한다. $x$의 orbit은 $Gx$로 쓰고 stabilizer는 $G_x$로 쓴다. $Gx$는 $X$의 부분 집합이고 $G_x$는 $G$의 부분 집합이다. $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$ 전체를 분류한다. $a\not\sim b$이면 $a$를 $b$로 보내는 $g$가 없으므로 서로 다른 $Gx$는 서로 다른 원소를 가진다.
 
집합 $X$가 $G$-set일 때 각 $x\in X$에 대해서 $\sigma_x:G\to X,\ g\mapsto g\cdot_{\sigma}x$의 range를 $x$의 '''$G$-orbit'''(궤도)이라 하고 $x$의 preimage를 $x$의 '''stabilizer subgroup'''(안정자 부분군) 또는 '''stabilizer'''라고 한다. $x$의 orbit은 $Gx$로 쓰고 stabilizer는 $G_x$로 쓴다. $Gx$는 $X$의 부분 집합이고 $G_x$는 $G$의 부분 집합이다. $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$ 전체를 분류한다. $a\not\sim b$이면 $a$를 $b$로 보내는 $g$가 없으므로 서로 다른 $Gx$는 서로 다른 원소를 가진다.
  
 
$g_1\cdot_{\sigma} x=g_2\cdot_{\sigma} x$이면 $g_2^{-1}g_1G_x=G_x$이므로 $g_1G_x=g_2G_x$이다. 따라서 $f:Gx\to G/G_x,\ g\cdot_{\sigma} x\mapsto gG_x$는 bijection이다. $G_x$가 $G$의 normal subgroup일 필요는 없다. $|G|$가 유한할 때 이는 $x$를 보내는 서로 다른 $g\cdot_{\sigma}x$의 개수에 $x$를 $x$로 보내는 $g$의 개수를 곱한 것이다. $|X|$는 서로 다른 각 orbit들의 $x$에 대응하는 $|G:G_x|$들을 더한 것이다.
 
$g_1\cdot_{\sigma} x=g_2\cdot_{\sigma} x$이면 $g_2^{-1}g_1G_x=G_x$이므로 $g_1G_x=g_2G_x$이다. 따라서 $f:Gx\to G/G_x,\ g\cdot_{\sigma} x\mapsto gG_x$는 bijection이다. $G_x$가 $G$의 normal subgroup일 필요는 없다. $|G|$가 유한할 때 이는 $x$를 보내는 서로 다른 $g\cdot_{\sigma}x$의 개수에 $x$를 $x$로 보내는 $g$의 개수를 곱한 것이다. $|X|$는 서로 다른 각 orbit들의 $x$에 대응하는 $|G:G_x|$들을 더한 것이다.
  
−
== Sylow $p$-subgroup ==
+
== ... ==
 
[[Theorem:실로우 정리｜$p$가 소수이고 $p$와 $m$이 서로소일 때 음이 아닌 정수 $a$에 대해서 $|G|=p^am$이면 $p^a$를 order로 가지는 subgroup이 $pk+1$개 있고 $m$은 $pk+1$로 나누어떨어진다.]]에 따라서 '''Sylow $p$-subgroup'''(쉴로브 $p$-부분군, 실로우 $p$-부분군)을 생각할 수 있다.
 
[[Theorem:실로우 정리｜$p$가 소수이고 $p$와 $m$이 서로소일 때 음이 아닌 정수 $a$에 대해서 $|G|=p^am$이면 $p^a$를 order로 가지는 subgroup이 $pk+1$개 있고 $m$은 $pk+1$로 나누어떨어진다.]]에 따라서 '''Sylow $p$-subgroup'''(쉴로브 $p$-부분군, 실로우 $p$-부분군)을 생각할 수 있다.
  

Revision as of 13:09, 12 April 2023

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의 특수한 경우이다.[1]

$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)$를 정의한다고 가정하고는 한다.[2]

...

집합 $X$가 $G$-set일 때 각 $x\in X$에 대해서 $\sigma_x:G\to X,\ g\mapsto g\cdot_{\sigma}x$의 range를 $x$의 $G$-orbit(궤도)이라 하고 $x$의 preimage를 $x$의 stabilizer subgroup(안정자 부분군) 또는 stabilizer라고 한다. $x$의 orbit은 $Gx$로 쓰고 stabilizer는 $G_x$로 쓴다. $Gx$는 $X$의 부분 집합이고 $G_x$는 $G$의 부분 집합이다. $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$ 전체를 분류한다. $a\not\sim b$이면 $a$를 $b$로 보내는 $g$가 없으므로 서로 다른 $Gx$는 서로 다른 원소를 가진다.

$g_1\cdot_{\sigma} x=g_2\cdot_{\sigma} x$이면 $g_2^{-1}g_1G_x=G_x$이므로 $g_1G_x=g_2G_x$이다. 따라서 $f:Gx\to G/G_x,\ g\cdot_{\sigma} x\mapsto gG_x$는 bijection이다. $G_x$가 $G$의 normal subgroup일 필요는 없다. $|G|$가 유한할 때 이는 $x$를 보내는 서로 다른 $g\cdot_{\sigma}x$의 개수에 $x$를 $x$로 보내는 $g$의 개수를 곱한 것이다. $|X|$는 서로 다른 각 orbit들의 $x$에 대응하는 $|G:G_x|$들을 더한 것이다.

...

[[Theorem:실로우 정리｜$p$가 소수이고 $p$와 $m$이 서로소일 때 음이 아닌 정수 $a$에 대해서 $|G|=p^am$이면 $p^a$를 order로 가지는 subgroup이 $pk+1$개 있고 $m$은 $pk+1$로 나누어떨어진다.]]에 따라서 Sylow $p$-subgroup(쉴로브 $p$-부분군, 실로우 $p$-부분군)을 생각할 수 있다.

참고 자료

  1. ↑ https://math.stackexchange.com/questions/1701/yoneda-lemma-as-generalization-of-cayleys-theorem
  2. ↑ https://math.stackexchange.com/questions/4514354/equivalent-definitions-of-a-group-acting-on-a-group
Retrieved from "https://beloved.wiki/index.php?title=Definition:군의_작용&oldid=1061"