循环群证明一个技巧: 如果某个子群 H H H<群 G G G是最小正整数 a m a^m am生成的,那么要证明 H ⊆ ( a m ) H\subseteq(a^m) H⊆(am),我们可以设 ∀ x ⊆ H , x = a k , k = q m + r \forall x \subseteq H,x=a^k,k=qm+r ∀x⊆H,x=ak,k=qm+r. x = a q m + r = a q m a r x=a^{qm+r}=a^{qm}a^r x=a
HIT-2022spr-抽代期末补天任世军老师网课网址1.群论1. 循环群循环群证明一个技巧:如果某个子群HHH<群GGG是最小正整数ama^mam生成的,那么要证明H⊆(am)H\subseteq(a^m)H⊆(am),我们可以设∀x⊆H,x=ak,k=qm+r\forall x \subseteq H,x=a^k,k=qm+r∀x⊆H,x=ak,k=qm+r.x=aqm+r=aqmarx=a^{qm+r}=a^{qm}a^rx=aqm+r=aqmar∵aqm∈G,a−qm∈G\bec