Some semigroup laws in groups (Q2739261)

The author proves that the identity \(x^{s+t}y^2x^t=yx^{s+2t}y\) implies the identity \([x^r,y,x^r]=e\), where \(r\) is the greatest common divisor of \(s\) and \(t\). Thus \(r\)-th powers commute with all their conjugates. If the exponent \(s\) is coprime to \(t\), then \(s\)-th powers are central.