Kurt Foster on Sat, 03 Nov 2012 18:21:49 +0100
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
- To: Pari Users <email@example.com>
- Subject: Trace problem
- From: Kurt Foster <firstname.lastname@example.org>
- Date: Fri, 2 Nov 2012 08:47:31 -0600
- Delivery-date: Sat, 03 Nov 2012 18:21:49 +0100
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=dk20050327; d=earthlink.net; b=hSRkm2+pLgC2lrmx60JEdwHHjD9COFiLeeDZe3S68N4BcXLa+AwAhR5RK47M5RO+; h=Received:Message-Id:From:To:Content-Type:Content-Transfer-Encoding:Mime-Version:Subject:Date:X-Mailer:X-ELNK-Trace:X-Originating-IP;
- Mailing-list: contact email@example.com; run by ezmlm
Let K = bnfinit(T)) (T monic and irreducuble in Z[x]) be a number
field, R = K.zk its ring of integers, x an element of R. I want to
determine all units u such that trace(Mod(x*u,T)) is zero.
It's certainly possible to obtain a Z-basis of the set of y in R for
which trace(Mod(x*y, T)) is zero. But how to determine which units
(if any) are in the Z-module spanned by that basis has me flummoxed.
Perhaps I am overlooking something obvious.
I suppose you could reduce modulo a rational integer m and look at the
units mod mR. That might lead to a proof of nonexistence if no such
units exist. Perhaps localization would help?