Let $k$ and $k'$ and $n\_{1},\ldots,n\_{k}$ and $m\_{1},\ldots,m\_{k'}$ be natural numbers. Let $f\_{1}\leq \ldots \leq f\_{k}$ and $e\_{1} \leq \ldots \leq e\_{k'}$ be power primes, such that the following equations hold:


$\prod\_{j=1}^{j=k} \prod\_{i=0}^{n\_{j}-1}(f\_{j}^{n\_{j}}-f\_{j}^{i})=\prod\_{j=1}^{j=k'} \prod\_{i=0}^{m\_{j}-1}(e\_{j}^{m\_{j}}-e\_{j}^{i})$


and


$\prod\_{j=1}^{j=k}f\_{j}^{n\_{j}^{2}}=\prod\_{j=1}^{j=k'}e\_{j}^{m\_{j}^{2}}.$


Is it achievable that $k=k'$ and for each $i=1,\ldots,k$ we have $f\_{i}=e\_{i}$ and $n\_{i}=m\_{i}$?


Actually, this question arises from the question that, if two finite semisimple ring $R$ and $R'$ have the same number of members and the same number of unit members, then can we say that these rings are isomorphic together?


If there is some counterexample what additional conditions should be employed to obtain that $R\simeq R'$?



Diophantic equation from finite semisimple rings
Dear Mohsen, the answer to the ring question seems to be "no". Indeed, take $\mathbb Z\_{18}\times\mathbb Z\_{24}$ and $\mathbb Z\_{12}\times\mathbb Z\_{36}$: both have 432 elements and 48 units, while the first one has elements of order 8, and the second one hasn't. -- Mike 


