Negatively reduced ideals of a real quadratic field and a problem of Eisenstein (Q1329049)

Sei \(D\in\mathbb{N}\) kein Quadrat, \(D\equiv 5\bmod 8\) und \(O_ D\) die quadratische Ordnung mit Diskriminante \(D\). Dann sind die (primitiven) Ideale von \(O_ D\) von der Form \(I(\varphi)= a(\mathbb{Z}+ \mathbb{Z}\varphi)\) mit \(\varphi= (b+ \sqrt{D})/2a\), wobei \(a,b\in \mathbb{Z}\), \(a>0\), \(c= (D- b^ 2)/4a\in \mathbb{Z}\) und \((a,b,c)=1\). Die quadratische Irrationalität \(\varphi\) und das Ideal \(I(\varphi)\) heißen reduziert bzw. negativ reduziert, wenn \(-1< \varphi'<0 <1<\varphi\) bzw. \(0<\varphi'<1<\varphi\) (wobei \(\varphi'= (b- \sqrt{D}) /2a)\). In jeder Idealklasse (im engeren Sinne) von \(O_ D\) bilden die reduzierten bzw. die negativ reduzierten Ideale \(I(\varphi)\) eine Periode, welche die Periode der regelmäßigen bzw. der reduziert-regelmäßigen Kettenbruchentwicklung von \(\varphi\) entspricht. Die Autoren beweisen eine Relation zwischen den Periodenlängen entsprechender Klassen von \(O_ D\) und \(O_{4D}\); aus dieser folgt ein Kriterium für die Existenz ungerader Lösungen der Pell'schen Gleichung \(x^ 2- Dy^ 2 =4\).