Kommutative Ringtheorie/Teilbarkeit/Hauptidealcharakterisierung/Fakt

Aus Wikiversity

Es sei ein kommutativer Ring und . Dann gelten folgende Aussagen.

  1. Das Element ist ein Teiler von (also ), genau dann, wenn .
  2. ist eine Einheit genau dann, wenn .
  3. Ist ein Integritätsbereich, so gilt genau dann, wenn und assoziiert sind.