$\mathbb{C}[x,y\,|\,x^m=1,y^n=1]\cong\mathbb{C}[z\,|\,z^{mn}=1]$ as complex algebras? If $G$ is any finite abelian group and $K$ an algebraically closed field with $|G|\neq 0$ in $K$, then the group algebra $K[G]\cong M_{n_1}(K)\times\cdots\times M_{n_k}(K)$ by Maschke's and Artin-Wedderburn's theorem. Since $K[G]$ is commutative, we have $n_1=\cdots=n_k=1$ and $K[G]\cong\prod_{g\in G}K$. 
Thus only the cardinality of $G$ matters. For example, if $C_n$ is the cyclic group of order $n$, then $\mathbb{C}[C_m\times C_n]\cong\mathbb{C}[C_{mn}]$ even though $C_m\times C_n\ncong C_{mn}$ when $\gcd(m,n)\neq1$. This means $\mathbb{C}[C_m\times C_n]\cong \mathbb{C}[C_m]\otimes\mathbb{C}[C_n]\cong \mathbb{C}[x\,|\,x^m-1]\otimes\mathbb{C}[y\,|\,y^n-1]\cong\mathbb{C}[x,y\,|\,x^m-1,y^n-1]$ is isomorphic to $\mathbb{C}[C_{mn}]\cong\mathbb{C}[z\,|\,z^{mn}-1]$. I'd like a concrete isomorphism for this.
I'm guessing $x\mapsto z^n$ and $y\mapsto z^m$, but how should I send $z\mapsto f(x,y)$?
 A: First, it is worth considering how $\mathbb C[x]/\left<x^k-1\right>\cong \mathbb C^k$.
Namely, the isomorphism sends:
$$f(x)\to \left(f(1),f(\zeta_k),f(\zeta_k^2),\dots,f(\zeta_k^{k-1})\right)$$
where $\zeta_k$ is a primitive $k$th root of unity.
Now, $$\mathbb C[x,y]/\langle x^n-1,y^m-1\rangle\cong \mathbb C[x]/\langle x^n-1\rangle\otimes \mathbb C[y]/\left<y^m-1\right>$$
So the isomorphism to $C^{nm}$ has has $\langle i,j\rangle$th component equal to $f(\zeta_n^i,\zeta_m^j)$. 
The inverse of these functions involves a messy Chinese Remainder Theorem stuff (or linear algebra,) and is heavily dependent on the order of the list of components. There is no obviously primary isomorphism.
When $m,n$ relatively prime, there is an obvious way to map the values $0,1,\dots,mn-1$ to the pairs $\langle i,j\rangle$ using Chinese Remainder Theorem. But there are lots of other ring isomorphisms even in this case.
If you look at the case $m=n=2$, you get that $z\to \frac{1+i}{2}\left(x-ixy\right)$ is an isomorphism, for example. That's hardly obvious.
Another approach is to find a set of orthogonal idempotents for each ring.
The idempotents for $\mathbb C[x]/\langle x^k-1\rangle$ are defined in terms of $P(X)=1+X+\dots+X^{k-1}$ and $\zeta_k$ a primitive $k$th root of unity. Then we get the following idempotents:
$$\frac{1}{k}P(\zeta_k^i x)$$ for $i=0,1,\dots,k-1$.
This makes the idempotents for $\mathbb C[x^2=1,y^2=1]$ to be $\frac{1}{4}(1\pm x)(1\pm y)$.
The idempotents for $\mathbb C[z^4=1]$ are $$\frac{1}{4}(1+z+z^2+z^3)\\\frac14(1+iz-z^2-iz^3)\\\frac14(1-z+z^2-z^3)\\\frac14(1-iz-z^2+iz^3)$$
In this latter ring, if you write $z$ as the linear combination of these idempotents, and you send the idempotents to any shuffling of the idempotents in the former ring, you can figure out where $z$ goes.
