I was wondering if "rings" with noncommutative addition are studied at all? Of course, if a ring $R$ has a $1$, then for all $a, b\in R$, $a+a+b+b=(1+1)a+(1+1)b=(1+1)(a+b)=(a+b)+(a+b)=a+b+a+b$, from which it follows from cancellation that $a+b=b+a$. Thus, rings with $1$ automatically must have commutative addition.
• The enveloping near-ring of the endomorphisms of a non-abelian group is an interesting and useful such thing (with identity). Rather than lacking an identity, it lacks one of the distributive laws (but has the other). As a silly example: $x^{g+2h}$ is shorthand for $x^g (x^2)^h$, and $g+2h$ lives in that near-ring. Similarly $x^{-1+g} = x^{-1} x^g$ is shorthand for $[x,g]$, and it is nice to have $-1+g$ apart from the $x$. $-1+g$ is called $ad(g)$ in some areas, I guess. – Jack Schmidt Jun 13 '14 at 20:23