로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.중간의 다른 편집과 충돌하여 이 편집을 되돌릴 수 없습니다. 스팸 방지 검사입니다. 이것을 입력하지 마세요!{{다른뜻| 라그랑주의 정리}} '''라그랑주의 정리(Lagrange's Theorem)'''는 군과 그 부분군의 위수의 관계를 나타내는 정리다. == 진술 == ''K''를 [[군 (수학)|유한군]] ''G''의 부분군이라고 가정하자. 그러면 ''K''의 [[위수 (군론)|위수]] |''K''|는 ''G''의 위수 |''G''|를 나눈다. 특히, 다음 식이 성립한다. : <math>|G|=|K|[G:K]</math> 이때 <math>[G:K]</math>는 ''G''에 대한 ''K''의 [[부분군의 지표|지표]]를 뜻한다. == 증명 == <math>[G:K]=n</math>이라고 하자. 그러면 지표의 정의에 의해 ''G''를 ''n''개의 서로 다른 [[잉여류 (군론)|우잉여류]]의 합집합으로 나타낼 수 있다. <math>c_1,\cdots,c_n</math>을 서로 다른 ''G''의 원소라고 하자. 그러면 : <math>G=\bigcup_{i=1}^n Kc_i</math> 이다. 이때 <math>Kc_1,\cdots,Kc_n</math>은 [[서로소]]이므로, : <math>|G|=\sum_{i=1}^n |Kc_i|</math> 이다. <math>|Kc_i|=|K|</math>이므로 : <math>|G|=\sum_{i=1}^n |K|=n|K|=|K|[G:K]</math> 이다. == 따름정리 == * ''g''를 유한군 ''G''의 원소라 하자. 그러면 ''g''의 위수는 ''G''의 위수를 나눈다. * <math>|G|=k</math>이면 임의의 <math>g\in G</math>에 대해 <math>a^k=e</math>이다. * ''H'', ''K''가 유한군 ''G''의 부분군이고 ''K''⊆''H''이라고 하자. 그러면 <math>[G:K]=[G:H][H:K]</math>이다. ==예== [[군론]](group theory)에서 라그랑주 정리(Lagrange theorem)는 임의의 유한군 G에 대해 그 부분군 H의 [[위수]](位數,order)는 G의 위수를 나눈다는 정리로 이로써 [[대칭군]] G 의 부분군 H가 ‘G 의 위수 = H 의 위수 · 잉여류의 갯수’ 라는 라그랑주정리로부터 잉여류(coset)를 조사할수있다.<br /> :<math>3!</math>인 [[위수]](order) <math> |G6| \text{또는} Ord(G6) = \left\{ (123), (231),(312), (132),(213),(321) \right\}</math>를 가정하면 [[순환군]]으로부터 부분군 <math>H = \left\{ I,II,III ,IV\right\}</math>는 :<math>I = \left\{ (312), (123),(231) \right\}</math> :<math>II = \left\{ (132) , (123) \right\}</math> :<math>III = \left\{ (213), (123) \right\}</math> :<math>IV = \left\{ (321), (123) \right\}</math> 에서 {| class="wikitable" |- ! <math>III = \left\{ (213), (123) \right\}</math> !! <math>III \cdot G</math> !! <math>G \cdot III </math> !! 잉여류(coset) |- | <math>G= \left\{ (123), (231),(312), (132),(213),(321) \right\} \text{중} \left\{ (123) \right\} </math>||<math>\begin{matrix}123 \cdot 123 =123 \\ 213 \cdot 123 = 213 \end{matrix} </math> || <math>\begin{matrix} 123 \cdot 123= 123 \\ 123 \cdot 213 = 213 \end{matrix} </math> || 좌잉여류(left coset) <math>gH(III \cdot G) = (123),(213)</math> <br /> 우잉여류(right coset) <math>Hg(G \cdot III ) = (123),(213)</math>는 서로 같다. |- | <math>G \text{중} (231) </math>|| <math>\begin{matrix}123 \cdot 231 = 231 \\ 213 \cdot 231 = 321 \end{matrix} </math> || <math>\begin{matrix}231 \cdot 123 = 231 \\ 231 \cdot 213 = 132 \end{matrix} </math>|| 좌잉여류(left coset) <math>gH(III \cdot G) = (231),(132)</math> <br /> 우잉여류(right coset) <math>Hg(G \cdot III ) = (231),(321)</math>는 서로 같지않다. |- | <math>G \text{중} (312) </math> || <math>\begin{matrix}123 \cdot 312 = 312 \\ 213 \cdot 312 = 132 \end{matrix} </math> || <math>\begin{matrix}312 \cdot 123 = 312 \\ 312 \cdot 213 = 321 \end{matrix} </math>|| 좌잉여류(left coset) <math>gH(III \cdot G) = (312),(321)</math> <br /> 우잉여류(right coset) <math>Hg(G \cdot III ) = (312),(132)</math>는 서로 같지않다 |- | <math>G \text{중} (132) </math> ||<math>\begin{matrix}123 \cdot 132 = 132 \\ 213 \cdot 132 = 312 \end{matrix} </math> || <math>\begin{matrix}132 \cdot 123 = 132 \\ 132 \cdot 213 = 231 \end{matrix} </math>|| 좌잉여류(left coset) <math>gH(III \cdot G) = (132),(231)</math> <br /> 우잉여류(right coset) <math>Hg(G \cdot III ) = (132),(312)</math>는 서로 같지않다 |- | <math>G \text{중} (213) </math> || <math>\begin{matrix}123 \cdot 213 = 213 \\ 213 \cdot 213 = 123 \end{matrix} </math> || <math>\begin{matrix}213 \cdot 123 = 213 \\ 213 \cdot 213 = 123 \end{matrix} </math>|| 좌잉여류(left coset) <math>gH(III \cdot G) = (213),(123)</math> <br /> 우잉여류(right coset) <math>Hg(G \cdot III ) = (213),(123)</math>는 서로 같다 |- | <math>G \text{중} (321) </math> || <math>\begin{matrix}123 \cdot 321 = 321 \\ 213 \cdot 321 = 231 \end{matrix} </math> || <math>\begin{matrix}321 \cdot 123 = 321 \\ 321 \cdot 213 = 312 \end{matrix} </math>|| 좌잉여류(left coset) <math>gH(III \cdot G) = (321),(312)</math> <br /> 우잉여류(right coset) <math>Hg(G \cdot III ) = (321),(231)</math>는 서로 같지않다 |} [[좌잉여류]](left coset) <math>gH </math>는 <math> \left\{ (123),(213) \right\} \text{ 와 } \left\{ (312),(321) \right\} \text{ 그리고 } \left\{(132),(231)\right\}</math> 이다. 좌잉여류(left coset)는 3개이다. : <math> {{ |G|} \over { |H|}} = gH(\text{잉여류}) </math> : <math>{{6} \over {2}} = 3 </math> 따라서 'G 의 위수 = H 의 위수 · 잉여류의 갯수'를 확인할수있다. == 관련 문서 == * [[실로우 정리]] == 참고문헌 == * Thomas W. Hungerford (2012). ''Abstract Algebra: An Introduction.'' (3rd ed). Cengage Learning. {{ISBN|1111573336}} *[참고] A First Course in Abstract Algebra, 7th Edition by John B. Fraleigh ,Pearson 2002 *[참고] Basic Modern Algebra 알기쉬운 현대대수학 조용욱 경문사 2016 [[분류:군론]] [[분류:수학 정리]] 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 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: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț 이 문서에서 사용한 틀: 틀:ISBN (원본 보기) (준보호됨)틀:다른 뜻 (원본 보기) (준보호됨)틀:다른뜻 (편집)