Trying to find prime factorization of ideals in number fields

asked 2016-11-15 09:41:15 +0100

nebuckandazzer
177 ●11 ●12 ●19

updated 2016-11-15 10:23:46 +0100

Let $L=\mathbb{Q}(\sqrt{-5}, i)$ and $K=\mathbb{Q}(\sqrt{-5})$. Let $O_K$ and $O_L$ be the rings of algebraic integers of $K$ and $L$. It can be checked that

$$2O_K=\langle 2, \sqrt{-5}+1\rangle^2 $$

I want to find the factorization of the ideal $\langle 2, \sqrt{-5}+1\rangle O_L$ in $O_L$ ?

The problem I am having is this. I don't know the syntax for the ideal generated by $\langle 2, \sqrt{-5}+1\rangle O_L$.

What to do ?

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2016-11-15 14:59:48 +0100

slelievre
17684 ●22 ●160 ●349 http://carva.org/samue...

updated 2016-11-15 15:03:17 +0100

Is this what you are looking for?

Define the number fields and their rings of integers.

sage: K.<a> = NumberField(x^2+5)
sage: L.<i> = K.extension(x^2+1)
sage: OK = K.ring_of_integers()
sage: OL = L.ring_of_integers()

Define the ideals generated by 2 and by a+1.

sage: J = OL.principal_ideal(2)
sage: JJ = OL.principal_ideal(a + 1)

Take the sum.

sage: H = J + JJ; H
Fractional ideal (-i + 1)

Prime factors.

sage: H.prime_factors()
[Fractional ideal (-i + 1)]

sage: H.is_prime()
True

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-11-15 09:41:15 +0100

Seen: 220 times

Last updated: Nov 15 '16

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.

Trying to find prime factorization of ideals in number fields edit

1 Answer