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

Loading [MathJax]/jax/output/HTML-CSS/jax.js

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?

add a comment

1 Answer

Sort by » oldest newest most voted

answered 9 years ago

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)

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: 9 years ago

Seen: 1,157 times

Last updated: Feb 11 '16

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

1 Answer