So far I've got
and where or .
We also know for some .
I'm lost after this...
Define such that .
and , hence is a homomorphism.
Suppose , then which forces since we're working in an integral domain. Thus is injective.
given for some . So choose said to get . Hence is surjective.
Therefore is an isomorphism with for these additive groups.
Finally we get as additive abelian groups.
**For some reason I'm not too confident in this solution, so someone else might want to look it over.**