NetNews Usenet Archive 1992 #23/NN_1992_23.iso/spool/sci/math/13180

Text File | 1992-10-14 | 1.2 KB | 27 lines

Newsgroups: sci.math
Path: sparky!uunet!destroyer!sol.ctr.columbia.edu!usenet.ucs.indiana.edu!bronze.ucs.indiana.edu!alvisd
From: [e-mail] (dean alvis)
Subject: number theory question
Message-ID: <[e-mail]>
Sender: [e-mail] (USENET News System)
Nntp-Posting-Host: bronze.ucs.indiana.edu
Organization: Indiana University
Date: Wed, 14 Oct 1992 19:17:08 GMT
Lines: 15

Let $p$ be an odd prime, and assume $\beta$ is an algebraic
integer of the form $$\beta = \sum_\omega \mu_\omega (1-\omega),$$
where the coefficients $\mu_\omega$ are nonnegative rational
integers and $\omega$ ranges over the primitive complex $p$-th
roots of unity.  Assume further that $\beta$ is irrational,
so the coefficients don't assume a constant value, that the
coefficients of $\beta$ are relatively prime, and that
the product of the algebraic conjugates of $\beta$ is a power
of $p$ (so the norm of $\beta$, in the field-theoretic sense,
is a power of $p$).  Does it necessarily follow that $\beta$
has the form $1-\omega$ or $2 Re(1-\omega)$?

Any information on this problem would be helpful.
Please respond via e-mail to [e-mail]