Definition 1.1 (Rings). The algebraic structure “ring” R is a set with two binary operations + and ·, respectively named addition and multiplication, satisfying • (R,+) is an abelian group (i.e. a group with commutative addition), • is associative (i.e. 8a, b, c 2 R, (a · b) · c = a · (b · c)) , • and the distributive law holds (i.e. 8a, b, c 2 R, (a+ b) · c = a · c+ b · c, a · (b+ c) = a · b+ ...