Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

How to compute different ideal in Sage?

I want to compute the different ideal for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ where $\zeta_3$ is a $n$-th root of unity.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute different ideal in Sage?

I want to compute the different ideal for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ where $\zeta_3$ is a $n$-th root of unity.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of number field extension in Sage?

I want to compute the different ideal for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ where $\zeta_3$ $\zeta_n$ is a $n$-th root of unity.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of number field extension in Sage?

I want to compute the different ideal for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ where $\zeta_n$ is a $n$-th root of unity.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of an number field extension in Sage?

I want to compute the different ideal $\mathfrak{d}$ for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ and check the formula of $N_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})} (\mathfrak{d})=\delta_{\mathfrak{d}}$ where $\zeta_n$ is a $n$-th root of unity.unity and $\delta_{\mathfrak{d}}$ is relative discriminat of $$\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of an number field extension in Sage?

I want to compute the different ideal $\mathfrak{d}$ for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ and check the formula of $N_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})} (\mathfrak{d})=\delta_{\mathfrak{d}}$ where $\zeta_n$ is a $n$-th root of unity and $\delta_{\mathfrak{d}}$ $\Delta_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})}$ is relative discriminat of $$\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.$\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of an number field extension in Sage?

I want to compute the different ideal $\mathfrak{d}$ for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ and check the formula of $N_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})} (\mathfrak{d})=\delta_{\mathfrak{d}}$ (\mathfrak{d})=\Delta$ where $\zeta_n$ is a $n$-th root of unity and $\Delta_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})}$ $\Delta:=\Delta_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})}$ is relative discriminat of $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of an number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$ $K/F$ and check the formula of $N_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})} $N_{K/F} (\mathfrak{d})=\Delta$ where $\zeta_n$ is a $n$-th root of unity and $\Delta:=\Delta_{\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})}$ $\Delta:=\Delta_{K/F}$ is relative discriminat of $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$.$K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of an number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $K/F$ and check the formula of $N_{K/F} (\mathfrak{d})=\Delta$ (\mathfrak{d})=\Delta_{K/F}$ where $\zeta_n$ is a $n$-th root of unity and $\Delta:=\Delta_{K/F}$ $\Delta_{K/F}$ is relative discriminat of $K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?

How to compute the different ideal of an number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $K/F$ and check the formula of $N_{K/F} (\mathfrak{d})=\Delta_{K/F}$ where $\zeta_n$ is a $n$-th root of unity and $\Delta_{K/F}$ is the relative discriminat of $K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code?code for this and for original setting?

How to compute the different ideal of an number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $K/F$ and check the formula of $N_{K/F} (\mathfrak{d})=\Delta_{K/F}$ where $\zeta_n$ is a $n$-th root of unity and $\Delta_{K/F}$ is the relative discriminat of $K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code for this and for original setting?

How to compute the different ideal of an a number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $K/F$ and check the formula of $N_{K/F} (\mathfrak{d})=\Delta_{K/F}$ where $\zeta_n$ is a $n$-th root of unity and $\Delta_{K/F}$ is the relative discriminat of $K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$.$(2\sqrt{-5})$ since $\Dalta_{\mathbb{Q}(\sqrt{-5})/\mathbb{Q}}=(20)$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code for this and for original setting?

How to compute the different ideal of a number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $K/F$ and check the formula of $N_{K/F} (\mathfrak{d})=\Delta_{K/F}$ where $\zeta_n$ is a $n$-th root of unity and $\Delta_{K/F}$ is the relative discriminat of $K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$ since $\Dalta_{\mathbb{Q}(\sqrt{-5})/\mathbb{Q}}=(20)$.$\Delta_{\mathbb{Q}(\sqrt{-5})/\mathbb{Q}}=(20)$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code for this and for original setting?

How to compute the different ideal of a number field extension in Sage?

Let $K/F$ be $\mathbb{Q}(\sqrt[3]{2},\zeta_3)/\mathbb{Q}(\sqrt[3]{2})$. I want to compute the different ideal $\mathfrak{d}$ for $K/F$ and check the formula of $N_{K/F} (\mathfrak{d})=\Delta_{K/F}$ where $\zeta_n$ is a $n$-th root of unity and $\Delta_{K/F}$ is the relative discriminat of $K/F$.

But, at first, I tried to compute one more easier case for $\mathbb{Q}(\sqrt{-5})/\mathbb{Q}$. It might be $(2\sqrt{-5})$ $\mathfrak{d}_{\mathbb{Q}(\sqrt{-5})/\mathbb{Q}}=(2\sqrt{-5})$ since $\Delta_{\mathbb{Q}(\sqrt{-5})/\mathbb{Q}}=(20)$.

My attempt is following:

x=polygen(ZZ, 'x')
K.<a>=NumberField(x^2+5)
gp(K.diff)

But this makes an error. Could you show me the correct code for this and for original setting?