Kommutative Ringtheorie/Teilbarkeit/Hauptidealcharakterisierung und Einheiten/Fakt/Beweis/Aufgabe

Es sei ein kommutativer Ring und . Zeige folgende Aussagen.

  1. Das Element ist ein Teiler von (also ), genau dann, wenn .
  2. ist eine Einheit genau dann, wenn .
  3. Jede Einheit teilt jedes Element.
  4. Teilt eine Einheit, so ist selbst eine Einheit.