求助离散数学的证明题...设为群,G中元素a的阶为k,那么,an = e当且仅当k整除n.
问题描述:
求助离散数学的证明题...
设为群,G中元素a的阶为k,那么,an = e当且仅当k整除n.
答
若a^n=e,∵a的阶为k,∴a^k=e
∴n≥k,不妨设n=mk+b,若b≠0,
则0即e=e·a^b => a^b=e,而k为a的阶,∴k≤b
这与b
a^n=a^(mk)=(a^k)^m=e^m=e.