12
$\begingroup$

Jensen and Yui (Polynomials with $D_p$ as Galois group J. Number Theory 15, 347–375 (1982)) proved that if $p = 4n+1$ is a regular prime, then there is no normal extension of the rationals with Galois group $D_p$ (dihedral of order $2p$) ramified only at $p$. When I first read it I noticed that such an extension exists if and only if $p$ divides $u$, where $t+u\sqrt{p}$ is the fundamental unit of the real quadratic number field with discriminant $p$ (Ankeny, Artin and Chowla conjectured that this never happens; it is known that this property is equivalent to the divisibility of the Bernoulli number $B_{(p-1)/2}$ by $p$, hence implies that $p$ is irregular).

I recall having seen this result in print a few years later, but can't find it anymore. Can anyone help me?

$\endgroup$
3
  • $\begingroup$ reference-request tag? $\endgroup$ Commented Jan 28, 2010 at 8:01
  • $\begingroup$ Maybe the result is in Louboutin, Park, and Lefeuvre, Construction of the real dihedral number fields of degree $2p$, Acta Arith 89 (1999) 201-215, MR 2000g:11101. $\endgroup$ Commented Mar 18, 2010 at 2:02
  • $\begingroup$ Another paper that might be relevant is Bernat Plans, On the minimal number of ramified primes in some solvable extensions of {\bf Q}, Pac J Math 215 (2004) 381-391. $\endgroup$ Commented Mar 26, 2010 at 6:32

2 Answers 2

5
$\begingroup$

It appears that my former officemate Andreas Reinhart (University of Graz, Austria) has disproven the Ankeny–Artin–Chowla conjecture: more precisely, Andreas has found that $$ d := 331914313984493$$ is a counterexample to the conjecture, see A counterexample to the Conjecture of Ankeny, Artin and Chowla (especially Theorem 2.3) for further details. This is not exactly an answer to the OP, but seems relevant nonetheless.

$\endgroup$
2
$\begingroup$

As I am currently writing up my thesis in English I noticed that I had referred to this result in the preface. It appears as Proposition 1 in an article by Nakagoshi. See also the recent article by Cohen and Thorne.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .