Let \(m\neq 1\) be a square-free integer and \(d\) the discriminant of the quadratic field \(K=\mathbb{Q}(\sqrt m)\). Let \(p_ 1,\dots,p_ s\) be the odd prime divisors of \(n\). If \(A\) and \(B\) are ideals in \(K\) such that \(A=(\rho)B\) and \(N_ \rho>0\) we write \(A\sim B\). Gauss' duplication theorem asserts that if \(A\) is an ideal coprime with \(d\) then \(A\sim B^ 2\) for some ideal \(B\) if and only if \(\left({NA\over p_ i}\right)=1\), \(1\leq i\leq s\). The authors give a beautiful elementary proof of this famous result, which makes use of Legendre's familiar necessary and sufficient condition for the equation \(ax^ 2+by^ 2=z^ 2\) to have a non-trivial integral solution. The proof only takes about twenty lines and one's reaction is ``Now why didn't I think of that? (The ideal \(A\) should be nonzero in Proposition 1).
- scientific article; zbMATH DE number 1102644
- The number of genera of arbitrary orders in real-quadratic number fields
- A generalization of Gauss' theorem on the genera of quadratic forms
- An elementary proof of a theorem on quadratic forms over the rational numbers
- An Elementary Proof of the Quadratic Reciprocity Law
- On a theorem of Scholz on the class number of quadratic fields
- Even sets of nodes and Gauss genus theory
- Congruent elliptic curves with non-trivial Shafarevich-Tate groups
- The quadratic fields with discriminant divisible by exactly two primes and with ``narrow class number divisible by 8
- On efficient computation of the 2-parts of ideal class groups of quadratic fields
This page was built for publication: An elementary proof of Gauss' genus theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1201488)
