Hi, Vijay,

Let K be a number field and O_k be its ring of integers. Given an ideal J 
of O_k, I want to find the dual of J, which is defined as the O_k-module:

J^*={x\in K| Tr(xJ)\subset Z}.

Thanks.

Cindy

On Tuesday, September 4, 2012 3:20:35 PM UTC+8, Vj wrote:
>
> Cindy,
>
> Could you elaborate little more, what is precisely you need.
>
> Regards,
> Vijay
>
> On Tue, Sep 4, 2012 at 12:42 PM, David Loeffler 
> <d.a.lo...@warwick.ac.uk<javascript:>
> > wrote:
>
>> What exactly do you mean by the dual of an ideal? Do you mean dual
>> with respect to the trace pairing, so the dual of the ideal (1) is the
>> inverse different?
>>
>> David
>>
>> On 4 September 2012 04:15, Cindy <cindy42...@gmail.com <javascript:>> 
>> wrote:
>> > Hi,
>> >
>> > How can I calculate the dual of an ideal using sage?
>> >
>> > Thanks.
>> >
>> > Cindy
>> >
>> > --
>> > You received this message because you are subscribed to the Google 
>> Groups
>> > "sage-support" group.
>> > To post to this group, send email to 
>> > sage-s...@googlegroups.com<javascript:>
>> .
>> > To unsubscribe from this group, send email to
>> > sage-support...@googlegroups.com <javascript:>.
>> > Visit this group at http://groups.google.com/group/sage-support?hl=en.
>> >
>> >
>>
>> --
>> You received this message because you are subscribed to the Google Groups 
>> "sage-support" group.
>> To post to this group, send email to sage-s...@googlegroups.com<javascript:>
>> .
>> To unsubscribe from this group, send email to 
>> sage-support...@googlegroups.com <javascript:>.
>> Visit this group at http://groups.google.com/group/sage-support?hl=en.
>>
>>
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.


Reply via email to