Kurt Foster on Sat, 03 Nov 2012 18:21:49 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Trace problem |
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?