Remarque 2
Étiquette 0DIA, permanente. À citer comme [Bourbaki, Tag 0DIA].
Algebra, chapter V, § 16. CRITÈRES DIFFÉRENTIELS DE SÉPARABILITÉ
Toute extension algébrique d’un corps premier est séparable (V, p. 36, cor.). Comme toute dérivation d’un corps premier est nulle, toute dérivation d’une extension algébrique d’un corps premier est nulle (prop. 4).
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.