群中元素有理幂定义相关问题：当x^m=y^n且gcd(m,n)=1时，x、y是否分别存在n次根、m次根？
嘿，这个问题问得好！你在定义群元素的有理幂时遇到的这个卡点，其实触及了群论里关于根存在性的一个有意思的区别——一般群和特殊群（比如阿贝尔群）的行为差异。先直接给结论：这个命题在一般群里不成立，我给你举几个好懂的反例，再聊聊特殊情况里的结论。
反例：一般群中的情况
1. 有限群的例子：对称群S₃
取G=S₃（3个元素的对称群），选x=(1 2)（一个对换，阶为2），m=2，那么x²=e（单位元）；再选y=(1 2 3)（一个3阶循环），n=3，y³=e。显然gcd(2,3)=1，且x²=y³=e，但：
- x=(1 2)没有3次根：S₃里的元素阶只能是1、2、3。如果存在g∈S₃使得g³=x，那么g的阶必须是6（因为g³的阶是2，所以g的阶是lcm(3,2)=6），但S₃里根本没有6阶元素，矛盾。
- y=(1 2 3)没有2次根：同理，如果存在g∈S₃使得g²=y，g的阶需要是6，同样不存在这样的元素。
2. 无限非阿贝尔群的例子
考虑由两个元素a、b生成的群G，满足关系：a² = b³ 且 a b a⁻¹ = b⁻¹
（这个关系保证了a和b不交换，且群是无挠的——没有非单位元的有限阶元素）
取x=a，m=2，那么x²=b³；取y=b，n=3，显然gcd(2,3)=1，且x²=y³，但：
- x=a没有3次根：假设存在c∈G使得c³=a，c只能写成
a^ε b^k（ε=0或1，k∈ℤ）。若ε=0，c=bk，则c³=b{3k}=a，但a无法表示为b的幂（否则a²=b^{2k}=b³→2k=3，k不是整数）；若ε=1，c=a b^k，利用b a = a b⁻¹的交换规则计算c³，最终会发现结果不可能等于a，矛盾。 - y=b没有2次根：同理，假设存在d∈G使得d²=b，d写成
a^ε b^k后，无论ε取0还是1，计算d²的结果都无法等于b，矛盾。
特殊情况：结论成立的场景
1. 阿贝尔群
在阿贝尔群里，这个命题是成立的！证明很直接：
因为gcd(m,n)=1，根据贝祖定理，存在整数s、t使得s m + t n = 1。
对于x，我们可以拆分指数：x = x^{s m + t n} = (x^m)^s · x^{t n} = (y^n)^s · x^{t n} = (y^s · x^t)^n
（阿贝尔群里乘法交换，所以指数可以自由分配）
这就说明x是y^s · x^t的n次根。同理，y可以写成(x^t · y^s)^m，即y有m次根。
2. 有序阿贝尔群
有序阿贝尔群是同时满足阿贝尔性和全序关系（且序和乘法兼容）的群，比如整数加群ℤ、有理数加群ℚ等。这类群自带“唯一根性质”：如果g^n = h^n（n>0），则g=h。结合阿贝尔群的证明，显然结论成立——甚至每个元素的k次根都是唯一的。
3. 其他特殊群
比如幂零群或可解群的某些子类，也可能满足这个结论，但不如阿贝尔群和有序阿贝尔群的结论普遍，需要具体分析群的结构。
备注：内容来源于stack exchange，提问作者Atom
