抽象代数：证明：设群中元素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=+-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)”