| r1 ➤ r2 |
| 1 | [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://web.archive.org/web/20160316144437/http://mathwiki.net/%EC%BD%94%EC%8B%9C%EC%9D%98_%EC%A0%95%EB%A6%AC_(%EA%B5%B0%EB%A1%A0)|링크]])[분류:가져온 문서/오메가]] |
| 24 | [math(Gx_1, ⋯, Gx_k)]를 원소가 둘 이상인 궤도라 할 때, [math(|S| = |S_0| + \sum_{i=1}^k |Gx_i|)]이다. 이 때 궤도-안정자군 정리에 의해 [math(|Gx_i|=p)]이다. 또한 [math(p\mid |S|)]이므로, [math(p\mid |S_0|)]이다. 그런데 [math((e,e,\cdots,e)\in S_0)]이다. 따라서 [math(|S_0|\ge p)]여야 한다. 그러므로 어느 [math(a\neq e)]가 있어 [math(a^p=e)]이다. |
| 25 | |
| 26 | == 영상 == |
| 27 | [youtube(wVpsgVuNHsI)] |
| 28 | |
| 29 | [Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://web.archive.org/web/20160316144437/http://mathwiki.net/%EC%BD%94%EC%8B%9C%EC%9D%98_%EC%A0%95%EB%A6%AC_(%EA%B5%B0%EB%A1%A0)|링크]])] |
