Commutative unital ring
From Commalg
Contents |
This article is about a basic definition in commutative algebra. View a complete list of basic definitions in commutative algebra
Definition
A commutative unital ring is a set endowed with two binary operations
and
, and constants
and
such that:
-
is an Abelian group under
, with identity element
-
is an Abelian monoid under
, with identity element
- Left and right distributivity laws hold:
and: