An elementary proof of the theorem on the imaginary quadratic fields with class number 1
Authors:
James E. Carter
Abstract:
Let $D$ be a square-free integer other than 1. Let $K$ be the quadratic field ${\mathbb Q}(\sqrt D)$. Let $δ\in \{1,2\}$ with $δ=2$ if $D\equiv 1 \pmod 4$. To each prime ideal $\mathcal P$ in $K$ that splits in $K/\mathbb Q$ we associate a binary quadratic form $f_{\mathcal P}$ and show that when $K$ is imaginary then $\mathcal P$ is principal if and only if $f_{\mathcal P}$ represents $δ^2$, and…
▽ More
Let $D$ be a square-free integer other than 1. Let $K$ be the quadratic field ${\mathbb Q}(\sqrt D)$. Let $δ\in \{1,2\}$ with $δ=2$ if $D\equiv 1 \pmod 4$. To each prime ideal $\mathcal P$ in $K$ that splits in $K/\mathbb Q$ we associate a binary quadratic form $f_{\mathcal P}$ and show that when $K$ is imaginary then $\mathcal P$ is principal if and only if $f_{\mathcal P}$ represents $δ^2$, and when $K$ is real then $\mathcal P$ is principal if and only if $f_{\mathcal P}$ represents $\pm δ^2$. As an application of this result we obtain an elementary proof of the well-known theorem on the imaginary quadratic fields with class number 1. The proof reveals some new information regarding necessary conditions for an imaginary quadratic field to have class number 1 when $D\equiv 1 \pmod 4$.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
On the restricted Hilbert-Speiser and Leopoldt properties
Authors:
Nigel P. Byott,
James E. Carter,
Cornelius Greither,
Henri Johnston
Abstract:
Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if, for every tame G-Galois extension L/K, the ring of integers O_L is free as an O_K[G]-module. If O_L is free over the associated order A_{L/K} for every G-Galois extension L/K, then K is called a Leopoldt field of type G. It is well-known (and easy to see) that if K is Leopoldt of type G, then K is Hil…
▽ More
Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if, for every tame G-Galois extension L/K, the ring of integers O_L is free as an O_K[G]-module. If O_L is free over the associated order A_{L/K} for every G-Galois extension L/K, then K is called a Leopoldt field of type G. It is well-known (and easy to see) that if K is Leopoldt of type G, then K is Hilbert-Speiser of type G. We show that the converse does not hold in general, but that a modified version does hold for many number fields K (in particular, for K/Q Galois) when G=C_p has prime order. We give examples with G=C_p to show that even the modified converse is false in general, and that the modified converse can hold when the original does not.
△ Less
Submitted 10 March, 2010; v1 submitted 17 May, 2009;
originally announced May 2009.