Let $(G,\cdot)$ be a group, $n\in \mathbb{N}, n\geq 2$ and $x_1,x_2,...,x_n\in G$ where any two elements commute. If the orders of these elements are finite and any two are relatively prime, then does this relation hold: $$ord(x_1^{k_1}x_2^{k_2}...x_n^{k_n})=\frac{ord(x_1)ord(x_2)...ord(x_n)}{(k_1,ord(x_1))(k_2,ord(x_2))...(k_n,ord(x_n))}?$$
Lemma: Let $(G,\cdot)$ be a group and $x\in G$, with $ord(x)=n\in\mathbb{N^{*}}$. Then, $\forall k\in \mathbb{Z}, ord(x^k)|n$. Moreover, $$\forall k\in \mathbb{Z}, ord(x^k)=\frac{n}{(k,n)}.$$ The proof goes as follows: for $k\in\mathbb{Z}$ we have $(x^k)^n=e$, where $e$ is the neutral element of the group, thus $ord(x^k)|n$. Let $d=(k,n)$ ($ (k,n)$ represents the greatest common divisor of $k$ and $n$) and $n_1,k_1\in\mathbb{Z}$ such that $(n_1,k_1)=1$ and $n=dn_1, k=dk_1$. Because $(x^k)^{n_1}=x^{nk_1}=e$, we have $ord(x^k)|n_1$. We have $x^{ord(x^k)k}=e$ and because $ord(x)=n$, we obtain $n|ord(x^k)k$, so $dn_1|dk_1ord(x^k)$, hence $n_1|k_1ord(x^k)$. Because $(n_1,k_1)=1$, we get $n_1|ord(x^k)$, but $ord(x^k)|n_1$, thus $ord(x^k)=n_1=\frac{n}{d}=\frac{n}{(k,n)}$. The proof is finished. Now we know that $ord(x_i^{k_i})=\frac{ord(x_i)}{(k_i,ord(x_i))}, \forall i\in${$1,2,...,n$}, hence $\frac{ord(x_1)ord(x_2)...ord(x_n)}{(k_1,ord(x_1))(k_2,ord(x_2))...(k_n,ord(x_n))}=ord(x_1^{k_1})ord(x_2^{k_2})...ord(x_n^{n_n})$. Therefore it suffices to prove that $ord(x_1^{k_1}x_2^{k_2}..x_n^{k_n})=ord(x_1^{k_1})ord(x_2^{k_2})...ord(x_n^{n_n})$. I don't think this relation is true. Thank you!