To check whether a given ideal of an order is principal or not

asked 2016-02-11 15:53:14 +0100

user2893829
11 ●1 ●1 ●2

Suppose $\theta$ is a root of a irreducible monic polynomial $f$ of degree $n$. (In practice, I would like to deal with $n=3$ case.) Then, define the ideal class group of $\mathbb{Z}[\theta]$, $C(\mathbb{Z}[\theta])$ by the set of invertible fractional ideals modulo principal ideals.

Given a polynomial $f$ and a fractional ideal $I$ of $\mathbb{Z}[\theta]$, is there any way to decide I is principal or not?

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2016-04-02 19:04:53 +0100

B r u n o
1603 ●5 ●21 ●43

The reference manual gives the solution (if I understand you question correctly):

sage: K.<a, b> = NumberField([x^2 - 23, x^2 + 1])
sage: I = K.ideal([7, (-1/2*b - 3/2)*a + 3/2*b + 9/2])
sage: I.is_principal()
True
sage: I
Fractional ideal ((1/2*b + 1/2)*a - 3/2*b - 3/2)

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

Stats

Asked: 2016-02-11 15:53:14 +0100

Seen: 1,085 times

Last updated: Feb 11 '16

To check whether a given ideal of an order is principal or not edit

1 Answer