Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which are additive groups of some ring? I don't want to restrict the meaning "ring" here. I would like to know whether this question is answered for rings with any subset of the set of adjectives {"associative", "unitary", "commutative"} attached.

EDIT I forgot to mention that I do want to exlude some rings, that is rings with zero multiplication.

share|improve this question
When a subset of your adjectives doesn't contain "unitary," the answer is trivial, because you can take any abelian group and make it a ring by defining all products to be zero. –  Andreas Blass Mar 29 '12 at 12:11
... and every finitely generated abelian group is the additive group of some associative unitary commutative ring, by looking at the classification: en.wikipedia.org/wiki/…. Is there any (necessarily not finitely generated) abelian group which is not the underlying additive group of some commutative ring? –  Sean Eberhard Mar 29 '12 at 12:26
I realized I forgot to exclude zero multiplication right after I posted but I didn't have time to edit. Sorry! I'm editing now. –  Michał Masny Mar 29 '12 at 12:52
@SeanEberhard Yes, as far as I know there is only zero multiplication on every divisible torsion group. –  Michał Masny Mar 29 '12 at 13:08
The trivial group, with the only possible ring structure, is unitary, so by excluding zero multiplication you are in some sense excluding too much. –  Tom Goodwillie Mar 29 '12 at 13:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.