[理工] 离散 9.6 陪集 - 循环群证明

楼主: befdawn (橙花雨露)   2018-10-16 19:46:21
请问这边为什么能够直接设 a 为 generator?也就是为什么能够直接假设 G 有 cycl
ic subgroup 呢?
https://i.imgur.com/l2GLcjI.jpg
作者: Ricestone (麦饭石)   2018-10-16 20:09:00
因为元素个数有限,随便拿一个a不断自乘一定会有重复a^i=a^k , 再来两边消掉,你就得到一个cyclic grp
楼主: befdawn (橙花雨露)   2018-10-16 20:35:00
原来是这个想法... 想好久都想不到XD 感谢R大
作者: Ricestone (麦饭石)   2018-10-16 20:46:00
这照理说应该放定理,有限群中一定会有循环子群也许那本觉得太容易吧...

Links booklink

Contact Us: admin [ a t ] ucptt.com