Xref: utzoo comp.theory:1592 sci.math:15454
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!helios!bcm!dimacs.rutgers.edu!seismo!uunet!mcsun!unido!laura!heike-fbi!muenx
From: muenx@heike-fbi.informatik.uni-dortmund.de (Holger Muenx)
Newsgroups: comp.theory,sci.math
Subject: Re: Algebra & Number Theory (& Elliptic Curves Primality Test)
Message-ID: <3070@laura.UUCP>
Date: 28 Feb 91 21:34:56 GMT
References: <3069@laura.UUCP>
Sender: news@laura.UUCP
Reply-To: muenx@heike-fbi.informatik.uni-dortmund.de (Holger Muenx)
Organization: University of Dortmund, Germany
Lines: 26

In article <3069@laura.UUCP>, muenx@heike-fbi.informatik.uni-dortmund.de (Holger Muenx) writes:
[...]
|> Now my problem: They claim that the following is equivalent.
|> 
|> 	 (i) p = x*conj(x) for one x in A
|> 	(ii) u*x is a root of X^2-t*X+p for all units u in A
|> 
|> In (ii) conj(x) is the complex conjugation of x. The implication (ii) => (i)
[...]

Ooops! First posting, then thinking... :-(

Line (ii) above is wrong. It should be:

	(ii) there is at least one unit a in A so that:

			 u*x is a root of X^2-t*X+p.

Now it is right! Sorry!!

                                                       -Holger

===========================================================================
|| Holger Muenx, IRB, Universitaet Dortmund, 4600 Dortmund, West-Germany ||
||          Internet: muenx@heike.informatik.uni-dortmund.de             ||
===========================================================================