군의 작용

군론에서, 군의 작용(群의作用, 영어: group action)은 어떤 군으로부터, 어떤 집합의 대칭군으로 가는 군 준동형사상이다. 대략, 어떤 공간 위에 대칭군의 원소가 정의하는 대칭 변환의 개념을 추상화한 것이다.

정의

G 가 군이고 X 가 집합이라 하자. 다음과 같은 함수

$* : G \times X \to X$

가 있고, 함수의 상 *(g, x) 를 gx 로 쓰자. 이때, 다음의 두 조건

1. 모든 x ∈ X 와 G 의 항등원 e 에 대해 ex = x
2. 모든 g₁, g₂ ∈ G 와 x ∈ X 에 대해 (g₁g₂)x = g₁(g₂x)

이 성립하면 이 함수를 G 의 X 에 대한 좌작용(영어: left action of G on X)이라 하고, X를 좌 G-집합(영어: left G-set)이라 하며, G 가 X 의 왼쪽에서 작용한다고 말한다.

마찬가지로, G 의 X 에 대한 우작용 또한 정의할 수 있다. 다음과 같은 함수

$*' : X \times G \to X$

가 있고, 함수의 상 *'(x, g) 를 xg 로 쓰자. 이때, 다음의 두 조건

1. 모든 x ∈ X 와 G 의 항등원 e 에 대해 xe = x
2. 모든 g₁, g₂ ∈ G 와 x ∈ X 에 대해 x(g₁g₂) = (xg₁)g₂

이 성립하면 이 함수를 G 의 X 에 대한 우작용(영어: right action of G on X)이라 하고, X를 우 G-집합(영어: right G-set)이라 하며, G 가 X 의 오른쪽에서 작용한다고 말한다.

두 작용의 차이점은 단지 G 의 원소의 곱 g₁g₂ 가 X 에 작용하는 순서가 다르다는 점뿐이다. 좌작용에선 g₂ 가 먼저 작용하는 반면에 우작용에선 g₁ 가 먼저 작용하게 된다.

임의의 우작용은 다음과 같은 방법을 통해 좌작용으로 쓸 수 있다. r 을 G 의 X 에 대한 우작용이라 하고 다음과 같은 함수

$\begin{align} l :& \;G \times X \rightarrow X \\ & \;(g, x) \mapsto r(x,g^{-1}) \end{align}$

를 정의하자. 이때,

$\begin{align} l(e,x) & = r(x,e^{-1})\\ & = r(x,e) \\ & = x \end{align}$

$\begin{align} l(gh,x) & = r(x,h^{-1}g^{-1}) \\ & = r(r(x,h^{-1}),g^{-1})\\ & = r(l(h,x),g^{-1})\\ & = l(g,l(h,x)) \end{align}$

이므로 l 은 G 의 X 에 대한 좌작용이 된다. 마찬가지로 임의의 좌작용 또한 우작용으로 쓸 수 있다. 따라서 앞으로는 둘을 구별하지 않고, 좌작용을 작용이라고 쓰고, 좌 G-집합을 G-집합이라 쓰기로 하자.

위의 정의로부터, g 가 G 의 원소일 때 X 의 원소 x 를 gx 로 보내는 함수는 X 에서 X 로의 전단사 함수임을 알 수 있다. 따라서 작용이라는 것을 G 에서 대칭군 S_X로의 군 준동형사상으로 정의해도 된다.

작용의 종류

군 G 가 집합 X 위에 좌작용한다고 하자. 그렇다면 다음과 같은 작용의 성질들을 정의할 수 있다.

추이적 작용

X 의 임의의 서로 다른 원소들 x₁, ..., x_n 과 임의의 서로 다른 원소들 y₁, ..., y_n 에 대해 G 의 원소 g 가 존재해서 각 1 ≤ k ≤ n 에 대해 g·x_k = y_k 이면 이를 n-추이적 작용(n-推移的作用, 영어: n-transitive action)이라 한다. 만약 여기서 이러한 $g$가 유일하다면, 이를 n-정추이적 작용(n-正推移的作用, 영어: sharply n-transitive action)이라 한다.

1-추이적 작용은 단순히 추이적 작용(推移的作用, 영어: transitive action)이라 한다. 즉, X 의 임의의 원소 x, y 에 대해 G 의 원소 g 가 존재해서 g·x = y 가 성립하면 이를 추이적 작용이라 한다. 1-정추이적 작용은 단순히 정추이적 작용(正推移的作用, 영어: sharply transitive action) 또는 정칙작용(영어: regular action)이라고 한다. 이는 자유 추이적 작용과 동치이다.

충실한 작용과 자유 작용

G의 임의의 서로 다른 두 원소 g, h 에 대해 X 의 원소 x 가 존재해서 g·x ≠ h·x 이면 이를 충실한 작용(영어: faithful action) 또는 효과적 작용(영어: effective action)이라 한다. 이는 G 의 임의의 단위원이 아닌 원소 g 에 대해 X 의 원소 x 가 존재해서 g·x ≠ x 라는 것과 동치인 조건이다.

G 의 임의의 서로 다른 두 원소 g, h 와 X 의 임의의 원소 x 에 대해 g·x ≠ h·x 이면 이를 자유 작용(영어: free action) 혹은 반정칙 작용(영어: semiregular action)이라 한다. 이는 G 의 임의의 단위원이 아닌 원소 g 와 X 의 임의의 원소 x 에 대해 g·x ≠ x 라는 것과 동치인 조건이다.

궤도와 안정자군

군 G가 집합 X에 (왼쪽에서) 작용 한다고 가정하면, x $\in$ X 의 궤도(軌道, 영어: orbit) Gx는 다음과 같이 정의된다.

$Gx = \left\{ g\cdot x \mid g \in G \right\}$

적당한 g $\in$ G 에 대해 g·x = y 로 정의되는 관계 x ~ y 가 동치관계이므로, x의 궤도 Gx는 동치류가 되고 X는 이런 동치류들로 분할됨을 쉽게 보일 수 있다.

X의 원소 x에 대해, 안정자군(安定子群, 영어: stabilizer subgroup) $G_x$는 다음과 같이 정의된다.

$G_x = \{g \in G \mid g\cdot x = x\}$

즉, 안정자군 $G_x$는 G의 원소 중 x를 고정시키는 모든 원소들의 집합이다.

$G_x$이 G의 부분군이기 때문에 좌잉여류를 생각할 수 있는데, $Gx$의 원소 g·x를 좌잉여류 g$G_x$로 보내는 사상은 잘 정의되고 전단사 함수이다. 따라서 G가 유한군이면, 라그랑주의 정리에 의해,

$|Gx| = [G:G_x] = |G| / |G_x|.$

이것을 궤도-안정자군 정리(軌道-安定子群定理, 영어: orbit–stabilizer theorem)라고 부른다.

바깥 고리

• “Action of a group on a manifold” (영어). 《Encyclopedia of Mathematics》. Springer. 2001. ISBN 978-1-55608-010-4. 
• “Stabilizer” (영어). 《Encyclopedia of Mathematics》. Springer. 2001. ISBN 978-1-55608-010-4. 
• Eric Wolfgang Weisstein. “Group action” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• Eric Wolfgang Weisstein. “Transitive group action” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• Eric Wolfgang Weisstein. “Faithful group action” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• Eric Wolfgang Weisstein. “Group orbit” (영어). 《Wolfram MathWorld》. Wolfram Research. 
• Eric Wolfgang Weisstein. “Stabilizer” (영어). 《Wolfram MathWorld》. Wolfram Research.