thumb 군론에서, '''군의 작용'''(群의作用, )은 어떤 군으로부터, 어떤 집합의 대칭군으로 가는 준동형이다. 대략, 어떤 공간 위에 대칭군의 원소가 정의하는 대칭 변환의 개념을 추상화한 것이다. == 정의 == 모노이드 의, 집합 위의 '''왼쪽 작용'''()은 여러 가지로 정의할 있다. 가장 기초적으로 모노이드 작용은 특정한 함수 정의할 있으며, 특정한 모노이드 준동형으로, 또는 함자로도 생각할 있다. 모노이드 작용을 갖춘 집합을 '''-집합'''()이라고 한다. -집합 사이의 함수 가운데, 작용과 호환되는 것을 '''등변 함수'''(等變函數, )라고 한다. -집합을 대상으로 하고, 등변 함수를 사상으로 하는 범주가 존재하며, 이를 또는 으로 쓴다. 모든 군은 모노이드를 이루며, '''군의 작용'''()은 모노이드로서의 작용과 같다. (마찬가지로, 반군의 작용을 정의할 있다. 그러나 군과 모노이드 사이의 관계와 달리, 모노이드 반군 작용 가운데, 모노이드 작용이 아닌 것이 존재할 있다. 즉, 모노이드의 반군 작용에서는 항등원이 항등 함수가 아니게 작용할 있다.) === 함수를 통한 정의 === 모노이드 의, 집합 위의 '''왼쪽 작용'''()은 다음 조건들을 만족시키는 함수 이다. (모노이드 항등원은 항등 함수) 임의의 대하여, 여기서 항등원이다. (모노이드 연산은 함수의 합성) 임의의 대하여, 모노이드 의, 집합 위의 '''오른쪽 작용'''()은 다음 조건들을 만족시키는 함수 이다. (모노이드 항등원은 항등 함수) 임의의 대하여, 여기서 항등원이다. (모노이드 연산은 함수의 합성) 임의의 대하여, 모노이드 작용을 갖춘 집합 주어졌다고 하자. 사이의 '''등변 함수''' 다음 조건을 만족시키는 함수이다. 여기서 좌변은 위의 작용이고, 우변은 위의 작용이다. 즉, 다음 그림이 가환하여야 한다. === 준동형을 통한 정의 === 추상적으로, 모노이드 의, 집합 위의 '''왼쪽 작용'''은 에서 위의 자기 함수들의 모노이드 가는 모노이드 준동형 이며, 위의 '''오른쪽 작용'''은 반대 모노이드 에서 가는 모노이드 준동형 이다. 만약 군일 경우, 왼쪽 작용은 대칭군 (=자기 동형군) 으로 가는 준동형 이루며, 오른쪽 작용은 반대군에서의 준동형 이룬다. 모노이드 작용을 갖춘 집합 주어졌다고 하자. 사이의 '''등변 함수''' 다음 그림을 가환하게 만드는 함수 이다. === 범주론적 정의 === 범주론적으로, '''작용'''은 하나의 대상을 갖는 작은 범주로 간주하였을 때, 함자 동치이다. 경우, 작용하는 집합은 범주 유일한 대상 대한 이며, 작용은 대한 이다. -집합 사이의 '''등변 함수''' 함자 사이의 자연 변환과 동치이다. 구체적으로, 자연 변환 대응하는 등변 함수는 성분 이다. 따라서, -집합의 범주 사실 (작은 범주로 간주한) 에서 가는 함자 범주와 동치이다. === 궤도와 안정자군 === 집합 (왼쪽에서) 작용한다고 하자. '''궤도'''(軌道, 다음과 같다. 궤도는 위의 동치 관계 동치류와 같으며, 궤도들로 분할된다. 임의의 다음과 같다. 즉, 안정자군 원소 고정점으로 가지는 모든 원소들의 집합이다. === 작용 준군 === 모노이드 집합 위에 (왼쪽에서) 작용한다고 하자. 그렇다면, 다음과 같은 작은 범주 정의할 있다. 대상은 원소이다. 대하여, 이다. 위의 항등 사상은 이다. 이를 '''작용 범주'''(作用範疇, )라고 한다. 만약 군이라면, 위의 작용 범주는 준군을 이룬다. 이를 '''작용 준군'''(作用準群, )이라고 한다. 작용 범주는 모노이드 작용의 모든 정보를 담고 있다. 즉, 작용 범주를 알면 모노이드 작용을 재구성할 있다. == 성질 == 군의 왼쪽 작용 주어졌을 때, 대하여 전단사 함수이다. (역원은 역함수) 대하여 이다. 여기서 전단사 함수의 역함수이다. === 왼쪽 작용과 오른쪽 작용의 관계 === 임의의 모노이드 대하여, 왼쪽 -작용은 오른쪽 -작용과 같다. 여기서 반대 모노이드이다. 특히, 가환 모노이드는 스스로의 반대 모노이드와 표준적으로 동형이므로, 가환 모노이드의 경우 왼쪽 작용과 오른쪽 작용을 구별할 필요가 없다. 모든 반대군과 역원 함수를 통해 표준적으로 동형이다. 즉, 군의 동형 존재한다. 따라서, 이를 사용하여 임의의 오른쪽 -작용을 왼쪽 -작용으로 있다. 임의의 오른쪽 -작용 대하여, 정의한다면, 왼쪽 -작용을 이룬다. 마찬가지로 왼쪽 -작용 주어졌을 오른쪽 -작용을 이룬다. 따라서, 군의 왼쪽 작용의 개념과 오른쪽 작용의 개념은 서로 동치이며, 필요에 따라 서로 변환할 있다. (그러나 이는 모노이드 작용에 대하여 성립하지 않는다.) === 궤도-안정자군 정리 === 안정자군 G의 부분군이므로 왼쪽 잉여류를 생각할 있다. '''궤도-안정자군 )에 따르면, 다음 명제가 성립한다. 원소 왼쪽 잉여류 보내는 함수는 정의된다. 즉, 임의의 대하여, 라면 이다. 함수는 전단사 함수이다. 즉, 임의의 대하여, 라면 이다. 특히, 만약 유한군이면, 라그랑주 정리에 의해 다음이 성립한다. === 보편대수학적 성질 === 모노이드 대하여, -집합은 원소 대하여 1항 연산 가지며, 대수적 관계 만족시키는 대수 구조이다. 관계들은 모두 대수적이므로, -집합들은 대수 구조 다양체를 이룬다. 집합 위의 자유 -집합은 곱집합 이며, 위의 작용은 이다. === 범주론적 성질 === 모노이드 대하여, -집합의 범주 (작은 범주에서 집합의 범주로 가는 함자 범주이므로) 그로텐디크 토포스를 이룬다. 특히, 이는 완비 범주이자 쌍대 완비 범주이며 데카르트 닫힌 범주이다. 시작 대상은 (유일한 작용을 갖춘) 공집합이다. 대상은 (유일한 작용을 갖춘) 한원소 집합이다. 부분 대상 분류자 위의 오른쪽 모노이드 아이디얼들의 집합 이다. 위의 (왼쪽) 작용은 다음과 같다. 망각 함자 존재한다. 이는 왼쪽 수반 함자 오른쪽 수반 함자 갖는다. 왼쪽 수반 함자 자유 대수 함자이다. 즉, 집합 대응시킨다. 오른쪽 수반 함자 집합 함수들의 집합 으로 대응시킨다. 위의 작용은 다음과 같다. == 종류 == 집합 위에 왼쪽에서 작용한다고 하자. 그렇다면 다음과 같은 작용의 성질들을 정의할 있다. === 추이적 작용 === 군의 작용이 다음 조건을 만족시키면, 이를 '''''n''-추이적 )이라 한다. 임의의 서로 다른 원소들 임의의 서로 다른 원소들 대하여, ()인 존재한다. 만약 여기서 이러한 유일하다면, 이를 '''''n''-정추이적 )이라 한다. 즉, 군의 작용이 다음 조건을 만족시키면, 이를 ''n''-정추이적 작용이라고 한다. 임의의 서로 다른 원소들 임의의 서로 다른 원소들 대하여, ()인 유일한 존재한다. 1-추이적 작용은 단순히 '''추이적 작용'''(推移的作用, )이라 한다. 1-정추이적 작용은 단순히 '''정추이적 작용'''(正推移的作用, 또는 '''정칙 작용'''(正則作用, )이라고 한다. 이는 자유 추이적 작용과 동치이며, 아벨 군의 작용의 경우 이는 충실한 추이적 작용과 동치이다. === 충실한 작용과 자유 작용 === 군의 작용에 대하여 다음 조건이 서로 동치이며, 이를 만족시키는 군의 작용을 '''충실한 작용'''(忠實-作用, 또는 '''효과적 작용'''(效果的作用, )이라고 한다. 임의의 대하여, 만약 임의의 대하여 라면, 임의의 대하여, 만약 임의의 대하여 라면, 단사 준동형이다. 군의 작용에 대하여 다음 조건이 서로 동치이며, 이를 만족시키는 군의 작용을 '''자유 작용'''(自由作用, 또는 '''반정칙 작용'''(半正則作用, )이라고 한다. 임의의 대하여, 만약 존재한다면, 임의의 대하여, 만약 존재한다면, == 같이 보기 == 군의 표현 가군 == 참고 문헌 == == 외부 링크 == 분류:군론 분류:반군론 분류:표현론