Théorie algébrique des nombres avec GP
Informations calculées
? K.disc
%11 = -1975
? K.zk
%12 = [1,1/2*x^2-1/2*x-1/2,x,1/2*x^3-1/2*x^2-1/2*x]
? w = K.zk[2];
K est de discriminant −1975, et son anneau d’entiers est
ZK = Z+Z
α2 − α − 1
2
+Zα+Z
α3 − α2 − α
2
= Z+Zw+Zα+Zwα.