A rig (R,+,) is a set R together with two binary operationsMathworldPlanetmath +:R2R:(a,b)a+b and :R2R:(a,b)ab, such that both (R,+) and (R,) are monoids, where distributes over +. That is if {a,b,c,d}R then (a+b)(c+d)=ac+ad+bc+bd. The natural numbersMathworldPlanetmath with ordinary additionPlanetmathPlanetmath and multiplication (𝐍,+,) is a rig.

A rig (R,+,) is a ring if (R,+) is a group. The integers with ordinary addition and multiplication (𝐙,+,) is a ring.

Title rig
Canonical name Rig
Date of creation 2013-03-22 14:44:29
Last modified on 2013-03-22 14:44:29
Owner HkBst (6197)
Last modified by HkBst (6197)
Numerical id 8
Author HkBst (6197)
Entry type Definition
Classification msc 20M99
Related topic semigroup
Related topic ring