Bourbaki

Exemple 2

Étiquette 0DGY, permanente. À citer comme [Bourbaki, Tag 0DGY].

Algebra, chapter III, § 9. Normes et traces

Soit A=K[X]/K[X]PA = K[X]/K[X]P, où P(X)=X3+pX+qP(X) = X^3 + pX + q, de sorte que si xx est l’image de XX dans AA, 1,x,x21, x, x^2 forment une base de AA sur KK et x3=−px−qx^3 = -px - q. On voit aussitôt que Tr⁡(1)=3, Tr⁡(x)=0, Tr⁡(x2)=−2p\operatorname{Tr}(1) = 3,\ \operatorname{Tr}(x) = 0,\ \operatorname{Tr}(x^2) = -2p, et en tenant compte de la relation x3=−px−q, Tr⁡(x3)=−3qx^3 = -px - q,\ \operatorname{Tr}(x^3) = -3q et Tr⁡(x4)=2p2\operatorname{Tr}(x^4) = 2p^2, d’où facilement DA/K(1,x,x2)=−4p3−27q2D_{A/K}(1, x, x^2) = -4p^3 - 27q^2.

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.

Transcrit du volume imprimé. Non traduit.