Commutative ring/Ideal/Definition

Ideal

A subset of a commutative ring is called an ideal, if the following conditions are fulfilled:

  1. .
  2. For all , we have .
  3. For all and , we have .