# 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: