Ask Your Question

Group of units of number field mod ideal

asked 2016-11-10 08:33:57 +0200

user58293 gravatar image

I am wondering whether Sage has a built-in function that takes an ideal $\mathfrak{a}$ of a number field and returns the unit group of the quotient ring $(\mathcal{O}_K / \mathfrak{a})^{\times}.$

More specifically the problem is to iterate through the characters of $(\mathcal{O}_K / \mathfrak{a})^{\times}$ (essentially Hecke characters) and apply them to a given element of $\mathcal{O}_K$. I am at a bit of a loss as to how to do this in Sage.

edit retag flag offensive close merge delete

1 Answer

Sort by ¬Ľ oldest newest most voted

answered 2016-11-10 10:26:27 +0200

slelievre gravatar image

updated 2016-11-10 10:34:02 +0200

To construct $(O_K / A)^\times$, use the method ìdealstar.

See the documentation here:

Following the documentation.

Define a number field $K$ and an ideal $A$.

sage: K.<a> = NumberField(x^3 - 11)
sage: A = K.ideal(5)

The method idealstar gives you $(O_K / A)^\times$.

sage: G = A.idealstar(); G
Multiplicative Abelian group isomorphic to C24 x C4
sage: G.gens()
(f0, f1)

Using the optional argument flag=2, the generators of $(O_K / A)^\times$ are computed as elements in $K$.

sage: G = A.idealstar(flag=2)
sage: G.gens()
(f0, f1)
sage: G.gens_values()
(2*a^2 + a - 2, 2*a^2 + 2*a - 2)

To work with characters, use the method dual_group.

See the documentation here:

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools


Asked: 2016-11-10 08:33:57 +0200

Seen: 480 times

Last updated: Nov 10 '16