1: \begin{abstract} 

2: An order is a commutative ring that as an abelian

3: group is finitely generated and free. A commutative ring is reduced if it has no non-zero nilpotent elements.

4: In this paper we use a new tool, namely, the fact that every reduced order has a universal grading, to answer questions about realizing orders as group rings. In particular, we address the Isomorphism Problem for group rings in the case where the ring is a reduced order.

5: We prove that any non-zero reduced order $R$ can be written as a group ring in a unique ``maximal'' way, up to

6: isomorphism. More precisely, there exist a ring $A$ and a finite abelian group $G$, both uniquely determined up to

7: isomorphism, such that $R\cong A[G]$ as rings, and such that

8: if $B$ is a ring and $H$ is a group, then $R\cong B[H]$ as

9: rings if and only if there is a finite abelian group $J$ such

10: that $B\cong A[J]$ as rings and $J\times H\cong G$ as groups. 

11: Computing $A$ and $G$ for given \(R\) can be done by means of an algorithm that is not quite polynomial-time.

12: We also give a description of the automorphism group of $R$ in terms of

13: $A$ and~$G$.

14: \end{abstract}

15: