Kronecker's solution of the Pell equation on a computer

DOI10.1007/S00591-005-0100-2MaRDI QIDQ2500794zbMATH OpenOpenAlexFDO

Authors Kurt Girstmair

Publication date 18 August 2006

Published in Mathematische Semesterberichte (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00591-005-0100-2

zbMATH Keywords

class number formulaDedekind eta functiongenus charactersKronecker's limit formulaPell equation

Mathematics Subject Classification ID

Quadratic and bilinear Diophantine equations (11D09) Quadratic extensions (11R11) Computer solution of Diophantine equations (11Y50)

Review text

The computation of the unit group of an algebraic number field is in general closely connected with the computation of the class number, and in most implementations, the class number \(h\) and the regulator \(R\) of a number field are determined simultaneously. One reason for this is the fact that the class number formula expresses the product \(hR\) as the residue of the Dedekind zeta function at \(s = 1\), and no one knows how to separate these siamese twins. Already Dirichlet and Jacobi observed that these class number formulas can be used to compute nontrivial solutions of the Pell equation. In this article, the author suggests using Kronecker's limit formula for computing units, and shows that this approach works in practice for discriminants of modest size. This limit formula expresses a rational multiple of \(\log \varepsilon_t\) (here \(\varepsilon_t\) is the fundamental unit of \(\mathbb Q(\sqrt{t}\,)\)) as a sum over the ideal classes of a quadratic field \(\mathbb Q(\sqrt{tu}\,)\) for a suitable negative integer \(u\); the summands are essentially logarithms of Dedekind's eta function evaluated at points in the upper half plane determined by the ideal classes. The article begins with a brief introduction to algebraic number theory, then discusses the genus theory of quadratic number fields and Dirichlet \(L\)-series, and finally the limit formulas. It was written for non-specialists and is warmly recommended for everyone who hasn't seen Kronecker's limit formula before.

Recommendations

• Kronecker's solution of Pell's equation for CM fields
• Solving the Pell equation
• On the computation of units and class numbers by a generalization of Lagrange's algorithm
• scientific article; zbMATH DE number 1995958
• scientific article; zbMATH DE number 3661454

Cites work

• A Kronecker limit formula for real quadratic fields
• Advanced Topics in Computional Number Theory
• scientific article; zbMATH DE number 435565 (Why is no real title available?)
• scientific article; zbMATH DE number 3663212 (Why is no real title available?)
• scientific article; zbMATH DE number 3719210 (Why is no real title available?)
• scientific article; zbMATH DE number 3758416 (Why is no real title available?)
• scientific article; zbMATH DE number 3498324 (Why is no real title available?)
• scientific article; zbMATH DE number 2115007 (Why is no real title available?)
• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• scientific article; zbMATH DE number 3356896 (Why is no real title available?)
• scientific article; zbMATH DE number 3358537 (Why is no real title available?)

Cited in

(1)

• Kronecker's solution of Pell's equation for CM fields

This page was built for publication: Kronecker's solution of the Pell equation on a computer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500794)