I apologize in advance, as this is not a particularly precise question, but I was thinking a bit in my spare time and the following occurred to me:
There exists no nonassociative ring with a cyclic additive group generated by the multiplicative identity.
One can prove this pretty simply by an application of the distributive property (for arbitrary elements a, b, c, and multiplicative identity e):
(ab)c = (a(e+e...+e))c = (a+a...+a)c = ac+ac...+ac = a(c+c...+c) = a((e+e...+e)c) = a(bc)
But what about nonassociative rings with cyclic additive groups that are not generated by the multiplicative identity? Such a ring clearly must be infinite, but I see no obvious reason why one could not exist.
Moreover, it seems to me that such structures, while not truly associative, seem to be "almost associative" in some sense.
In particular, while the multiplicative identity does not generate the additive group, one can express any element as a product of the generator of the additive group and some element generated by the multiplicative identity. For example, say our generator is g. Then, for arbitrary element a and multiplicative identity e,
a = g+g...+g = g(e+e...+e)
By similar reasoning to what was done above, then, for arbitrary elements a, b, and c,
(ab)c = (ag)((e+e...+e)c)
In other words, any element that is generated by the multiplicative identity will associate, and any element which is not can be split up into a product of the generator and such an element (with the latter part, thus, associating).
So, here's my (admittedly hopelessly broad) question: Is this at all a useful notion that leads to anything interesting (maybe a classification of such rings)? Do such nonassociative rings even exist? If so, can anyone provide an example of one?