Algebra/Algebraisch unabhängig/Charakterisierungen/Fakt/Beweis/Aufgabe

Es sei eine kommutative -Algebra über einem kommutativen Ring und seien eine Elementfamilie. Zeige, dass folgende Aussagen äquivalent sind.

  1. Die Elemente sind algebraisch unabhängig.
  2. Der Einsetzungshomomorphismus

    ist injektiv.

  3. Der Einsetzungshomomorphismus

    ist bijektiv.