Definition For a group and a ring , the group ring is the ring of formal linear combinations of elements of with coefficients in . In symbols, an element of is of the form Note this is a ring, as you add coefficients, and multiply using the multiplication rule