So far we have studied algebraic structures with only one operation. Now we study rings which are sets with two (compatible) binary operations. Unlike groups, these two operations are usually denoted by + and · . One can, of course, go for general notations for these operations. However, that generalization doesn’t seem to pay much, but complicates matters. We stick to the conventions.
A ring (R, +, ·) (or R in short) is a set R together with two binary operations + and · on R such that the following conditions are satisfied. As in the case of multiplicative groups we write ab for a · b.