If you are given an abelian group $\ (G, +)$, is there some algorithm to find all possible semigroups $\ (G, ×)$, such that $\ (G, +, ×)$ is a ring?
If not, can you at least decide, if the ring must have zero divisors?