抽象代数：证明：设群中元素a的阶无限,则 = s=+-t
证：”＝＝＞” 若=,则存在整数m,n,使得a^s=(a^t)^m=a^(tm) a^t=(a^s)^n=a^(sn),从而由|a|=∞可知,s=tm,t=sn,故s=snm,nm=1,解得s=+-t.
我不懂“若=,则存在整数m,n,使得a^s=(a^t)^m=a^(tm)”