로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!'''교대군'''(Alternating group, 交代群)은 [[대칭군]]의 원소들 중에서 짝수 순열(even permutation)을 모은 군을 의미한다. 짝수순열의 합성은 짝수순열이 되므로 이 부분집합은 합성연산에 대해 부분군을 이룬다. == 설명 == 우선 [[대칭군]](Symmetric Group)부터 정의를 해보자. 문서도 참조해보자. <math>(S_n , \circ) = \{ \sigma: [n] \rightarrow [n] | f(i)~ \text{bijective} \}</math>를 만족하는 군, 연산자는 함수의 합성으로 표현될 수 있다. 각각의 대칭군의 원소 σ의 경우(이를 순열(permutation)이라고 부른다), 모든 i∈[n]에 대해 ''σ(i) = j'', j∈[n] 형태로 표현이 가능하다. 즉 다른 형태로는 2×n 행렬을 이용해서 <math> \begin{pmatrix} 1 & 2 & \cdots & n \\ \sigma(1) & \sigma(2) & \cdots & \sigma(n) \end{pmatrix}</math>와 같이 표현이 가능하다. 또한 대칭군은 순환마디(Cycle structure)의 곱 형태로 표현이 가능하다. 우선 σ(i<sub>1</sub>)=i<sub>2</sub>, σ(i<sub>2</sub>)= i<sub>3</sub>,…, σ(i<sub>r</sub>)=i<sub>1</sub>라고 하면 순열 σ는 원소를i<sub>1</sub>→i<sub>2</sub>→…→i<sub>r</sub>→i<sub>1</sub>로 돌려서 보내게 되고, 따라서 (i<sub>1</sub> i<sub>2</sub> … i<sub>r</sub>)는 순열 σ의 순환마디가 된다. 마찬가지로 σ의 순환마디를 모두 찾을 수 있다. 예를 들면 <math> \sigma = \begin{pmatrix} 1 & 2 & 3& 4& 5 & 6 \\ 4 & 5 & 1 & 3 & 2 & 6 \end{pmatrix}</math>이면 σ =(1 4  : 3) (2 5)로 표현이 가능하다. 또한 각 순열은 전치순열(transpostion)의 곱으로 표현이 가능하다. 특히 순환순열(cyclic permutation) (i<sub>1</sub> i<sub>2</sub> … i<sub>r</sub>)은 (i<sub>1</sub> i<sub>r</sub>) (i<sub>1</sub> i<sub>r-1</sub>) … (i<sub>1</sub> i<sub>2</sub>), 즉 r-1개의 순열의 곱을 표현이 가능하다. 순열 중에서 짝수개의 전치순열의 곱으로 표현되는 순열을 짝수순열(even permutation), 홀수 개의 전치순열의 곱으로 표현되는 순열을 홀수순열(odd permutation)이라고 부른다. 전치순열의 곱의 표현과는 무관하개 순열의 곱은 항상 홀수개 혹은 짝수개로만 표현이 된다. {{숨김 시작|title=짝수순열은 항상 전치순열(transposition)의 짝수개의 곱으로, 홀수순열은 전치순열의 홀수개의 곱으로 표현되는 이유|bodystyle="background:#ddd;"}} * 참조 : [[Wikipedia:Parity of a permutation]] 우선 <math> \sigma= a_1 a_2 \cdots a_r = b_1 b_2 \cdots b_s</math>라고 놓자. 여기서 ''a<sub>i</sub>, b<sub>j</sub>''는 전치순열이다. 우선 항등원을 구성하는 모든 전치순열 (a b)에 대해 항상 a<b가 되게 표현할 수 있다. 또한 (a a+k) = (a a+1)(a+1 a+2)…(a+k-1 a+k)(a+k-2 a+k-1)…(a a+1)로 2k-1개의 숫자가 서로 인접한 전치순열의 곱으로 표현이 가능함을 알 수 있다. 또한 전치순열의 홀/짝의 개수와 인접한 전치순열의 홀/짝의 개수도 동일함을 보일 수 있다. 여기서 홀수 순열은 인접한 전치순열의 횟수가 홀수개로 만들 수 있으며, 짝수 순열은 인접한 전치 순열의 횟수가 짝수개 움직이는 것이므로 순열의 곱은 홀/짝이 그대로 보존된다! 증명 완료! {{숨김 끝}} 그 중 교대군(Alternative group)은 n개의 원소로 구성된 대칭군 중에서 짝수 순열을 모은 군이 된다. 짝수 순열끼리 곱하면 짝수 순열이 되므로 그 자체가 닫혀있다는 것을 알 수 있다. 또한 홀수 순열과 짝수 순열의 개수는 동일하기에 교대군의 원소의 개수는 1/2 n! (n≥2) == 교대순의 단순성 == n=2,3일 때는 각각 원소 1개와 원소 3개인 단순군이 된다. n=4일 때에는 교대군 A<sub>4</sub>는 단순군이 되지 않는다. 그 이유는 <(1 2)(3 4), (1 3)(2 4)>이 원소 4개의 [[정규부분군]](Normal Subgroup)이 되기 때문이다. 사실 [[실로우 정리]](Sylow's Theorem)을 사용할 경우 이것이 원소 4개인 유일한 부분군이므로 정규부분군이 된다. 하지만 n≥5일 때에는 교대군은 순환군(cyclic group)이 아닌 단순군이 되는데, 이를 증명한다. === n=5일 때 증명 === n=2,3일 때는 각각 원소 1개와 원소 3개인 단순군이 된다. n=4일 때에는 교대군 A<sub>4</sub>는 단순군이 되지 않는다. 그 이유는 <(1 2)(3 4), (1 3)(2 4)>이 원소 4개의 [[정규부분군]](Normal Subgroup)이 되기 때문이다. 사실 [[실로우 정리]](Sylow's Theorem)을 사용할 경우 이것이 원소 4개인 유일한 부분군이므로 정규부분군이 된다. 이제 n=5일 때 단순군이 된다는 것을 보인다. 우선 A<sub>5</sub>의 원소에 대해 순환마디 구조는 (a b c) , (a b)(c d) 또는 (a b c d e)중에 하나가 될 것이다. 이제 3-순환순열 (a b c)를 포함하는 켤레류(conjugacy class)는 모든 3-순환수열이 된다. 여기서 순서를 바꾸고자 하는 원소는 진한 글씨로, 바꾸게 만드는 순열은 기울인 글씨로 표현한다. σ(a<sub>1</sub> a<sub>2</sub> ... )(b<sub>1</sub> b<sub>2</sub> ...)...σ<sup>-1</sup>=(σ(a<sub>1</sub>) σ(a<sub>2</sub>) ... )(σ(b<sub>1</sub>), σ(b<sub>2</sub>) ...) 를 이용하면 3-순환수열의 교환은 아래 네 경우 중에 한 가지 경우가 되기 때문이다. * 원소 3개를 모두 보존 - (''b c'')(d e)<big>(a '''b c''')</big>(''b c'')(d e)=(a c b) * 원소 1개를 치환 - (''c d'' e)<big>(a b ''c'')</big>(''c'' e ''d'')= (a c d) * - (''b c d'')<big>(a ''b c'')</big>(''b d c'') = (a d b) * 원소 2개를 치환 - (''b d'')(''c e'')<big>(a '''b c''')</big>(''b d'')(''c e'') = (a d e) 한편 3-순환순열의 개수는 C(5,3)×(3-1)!=20개임을 확인할 수 있다. 다른 방법을 사용하자면 (a b c)가 켤레류 작용(conjugacy action)에 대해 안정자군(stabilizer)은 원소 3개의 부분군 <(a b c)>뿐이기에 궤도(orbit), 즉 켤레류의 크기는 60/3=20개가 된다는 것을 알 수 있다. 또한 두 개의 서로소의 순열 (a b)(c d)에 대해서도 하나를 포함하는 켤레류는 모든 형태의 (a b)(c d)꼴을 포함하게 된다. 이것도 임의의 (a b)(c d)꼴로 보내는 켤레류는 다음 네 가지 중에 한 가지 조건을 만족하기 때문이다. * 원소 4개의 위치만 변경 - (''b c'' d)<big>(a '''b''')('''c''' d)</big>(''b'' d ''c'')=(a c)(b d) * 하나의 원소를 다른 것으로 변경 - (a b)(''d e'')<big>(a b)(c '''d''')</big>(a b)(''d e'')= (a b)(c e) * (c d e)<big>(a b)(c d)</big>(c e d) = (a c)(d e) * (c e b)<big>(a b)(c d)</big>(c b e) = (a c)(b e) 또한 (ab)(cd)꼴의 순열의 개수는 1/2×C(5,2)×C(3,2)=15개임을 확인할 수 있다. 이것도 다른 방법을 사용하자면 (a b)(c d)의 안정자군은 <(ab), (cd)>이므로 역시 궤도의 크기는 60/4=15개임을 확인할 수 있다. 마지막으로 5-순환순열 (a b c d e)에 대해서는 켤레류가 두 종류로 나누어지는 것을 볼 수 있다. 이는 {b,c,d,e}를 원소로 하는 교대군 A<sub>{b,c,d,e}</sub>에 대해 켤레류를 취하면 12개의 켤레류가 나온다는 것을 알 수 있다. 만약 a를 포함하는 원소에 대해 켤레류를 취해도 (a b c)= (b d)(c e)(a b c d e)<sup>3</sup>, 적당히 A<sub>{b,c,d,e}</sub> · (a b c d e)<sup>k</sup> 안의 원소로 변환할 수 있으며, 따라서 이는 켤레의 변환자가 {b, c, d, e}안에 있는 것으로 만들어진다는 것을 알 수 있다. 사실 5-순환순열의 개수는 C(5,5)×4!=24인데 그 절반인 12임을 확인할 수 있다. 역시 다른 방법으로 (a b c d e)의 안정자군은 <(a b c d e)>, 즉 원소 5개의 군이므로 궤도의 크기는 60/5=12임을 알 수 있다. 따라서 켤레류의 원소의 개수는 각각 1, 12, 12, 15, 20인데, 1을 포함하는 어떤 켤레류도 합해서 60의 약수를 만들지 못한다. 정규부분군은 원래 군의 개수의 약수이고 모든 켤레류를 포함해야 하기에 정규부분군이 1과 A<sub>5</sub> 자신밖에 존재하지 않음을 알 수 있다. === 일반적인 경우 === 우선 다음 보조정리를 증명해보자. ==== 보조정리 ==== 교대군 A<sub>n</sub>의 정규부분군 H◁A<sub>n</sub>에 대해 H가 3-순환수열(3-cycle)을 하나 포함한다면 H=A<sub>n</sub>이다. {{숨김 시작|title=보조정리의 증명}} 우선 위의 n=5인 경우를 통해서 임의의 3-순환수열 (a b c)와 (i j k)가 같은 켤레류 안에 있다는 것을 보일 수 있다. 남은 경우는 {a,b,c}와 {i,j,k}가 서로소인 경우 뿐인데 이 경우도 켤레류를 구성하는 순열 σ=(a i)(b j)(c k)만 넣으면 증명 완료! 따라서 정규부분군 H는 모든 3-순환수열을 포함한다. 한편으로 교대군의 모든 원소는 3-순환수열의 곱으로 표현된다. 왜냐하면 모든 교대군의 원소는 짝수개의 순열의 곱으로 표현되며, 짝수 개씩 묶을 때 (a b)(a b)는 사라지고, (a b)(a c)= (a c b), (a b)(c d)=(a b c)(b c d)임을 알 수 있다. 따라서 H=A<sub>n</sub>이 된다. 증명 끝! {{숨김 끝}} 이제 본격적으로 증명을 해보자. n≥5라고 가정하고, H≠1인 정규부분군이라고 가정하자. 역시 귀납법을 사용해서 A<sub>n-1</sub>이 단순군이라고 가정을 하자. 일단 H안의 1 아닌 원소 β에 대해 β(i)=j인 i≠j가 있다는 것을 알 수 있다. 우선 β가 어떤 원소 k를 고정시킨다고 가정하자. 즉 β(k)=k일 때 집합 B<sub>k</sub>={a∈A<sub>n</sub>| a(k)=k}를 놓으면 B<sub>k</sub>=A<sub>n</sub>∩S<sub>n-1</sub>≅A<sub>n-1</sub>임을 알 수 있다. 당연히 β는 H∩B<sub>k</sub>에 있고, H가 정규부분군이고, B<sub>k</sub>는 단순군이므로 H∩B<sub>k</sub>=B<sub>k</sub>, 즉 H는 3-순환순열(3-cycle)을 하나 포함하고 보조정리에 의해 A<sub>n</sub>상의 모든 3-순환순열을 모두 포함하게 된다. 즉 H=A<sub>n</sub>. 즉 이제 가정할 것은 H안의 1 아닌 모든 원소 β가 모든 원소를 고정시키지 않을 때만을 가정해야 할 것이다. 또한 β는 순환수열 그 자체가 될 수도 없다. 왜냐하면 β=(a<sub>1</sub> a<sub>2</sub> a<sub>3</sub> a<sub>4</sub> ...)에서 <math> (a_1 a_2 )(a_3 a_4 ) \beta (a_1 a_2 )(a_3 a_4 ) = (a_2 a_1 a_4 a_3 a_5 ...) \in H (\because H \triangleleft A_n ) \\ \text{so} ~ (a_2 a_1 a_4 a_3 ...)(a_1 a_2 a_3 a_4 ....) [a_1 ] = a_1 </math> 즉, a<sub>1</sub>을 고정시키는 원소가 H 안에 존재하므로 모순이 생긴다. 나머지 경우를 살펴보면 * (a<sub>1</sub> a<sub>2</sub> a<sub>3</sub> ...)(b<sub>1</sub> b<sub>2</sub>...)... 즉 순환마디의 길이가 3 이상인 순환수열 하나를 포함한 2개 이상의 순환수열을 가지고 있거나 * (a<sub>1</sub> a<sub>2</sub>)(b<sub>1</sub> b<sub>2</sub>)(c<sub>1</sub> c<sub>2</sub>)... 즉 3개 이상의 서로소인 전치순열의 곱으로 표현되거나(n≥6이라고 가정) 둘 중 하나일 것이다. 첫 번째 경우에는 <math> (a_1 a_2 )(b_1 b_2 ) \beta (a_1 a_2 ) (b_1 b_2) = (a_2 a_1 a_3 ....) (b_2 b_1 ...)... \in H \\ \text{So} ~ (a_2 a_1 a_3 ...)(b_2 b_1 ...) ... (a_1 a_2 a_3 ...)(b_1 b_2 ...)[a_1 ]= a_1 </math> 즉 a<sub>1</sub>를 고정시키는 원소가 H 안에 있으므로 모순이 생겼다. 두 번째 경우에는 <math> (b_1 b_2 c_1) \beta (b_1 c_1 b_2 ) = (a_1 a_2 )(b_2 c_1)(b_1 c_2) ... \in H \\ \text{So} ~ (a_1 a_2 )(b_1 c_2 )(b_2 c_1) ... (a_1 a_2)(b_1 b_2 )(c_1 c_2 ) ... [a_1 ]= a_1</math> 즉 a<sub>1</sub>를 고정시키는 원소가 H 안에 있으므로 모순이 생겼다. 다시 말해 어떠한 경우에도 H는 1 이외에 특정한 값을 고정시키는 β가 존재하며, 따라서 β∈A<sub>n-1</sub>∩H◁A<sub>n-1</sub>. 즉 다시 말해 H가 A<sub>n-1</sub>를 포함하며 따라서 3-cycle 하나도 포함한다. 즉 H=A<sub>n</sub>가 되므로 A<sub>n</sub>는 단순군이 된다. == 참조 == == 같이 보기 == * [[대칭군]] * [[단순군]] [[분류:군론]] 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț 이 문서에서 사용한 틀: 틀:숨김 끝 (원본 보기) (준보호됨)틀:숨김 시작 (원본 보기) (준보호됨)