Mathematics. an Abelian group with a set of left or right operators forming a ring such that for any two operators and any group element the result of having the first operator act on the element, giving a second element, and the second operator act on the second element is equal to the result of having a single operator, formed by adding or multiplying the two operators, act on the first element.
Compare
ring^{1} (def 23).