Körper/Monogene Algebra/Reduziert/Charakterisierung/Fakt

Es sei ${}K$ ein Körper und ${}A=K[X]/(F)$ mit einem normierten Polynom ${}F\in K[X]$ . Dann sind folgende Aussagen äquivalent.

${}F$ und ${}F'$ erzeugen das Einheitsideal.

Zu jeder Körpererweiterung ${}K\subseteq L$ besitzt ${}F$ in ${}L$ nur einfache Nullstellen.

Zu jeder Körpererweiterung ${}K\subseteq L$ ist ${}A\otimes _{K}L=L[X]/(F)$ reduziert.

${}A=L_{1}\times \cdots \times L_{m}$ ist ein Produkt von Körpern ${}L_{j}$ und die Körpererweiterungen ${}K\subseteq L_{j}$ sind separabel.

Einen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.