Journal of Advances in Mathematics and Computer Science

In this paper we make a conjecture about the norm of the fundamental unit, N(e), of some real quadratic number fields that have the form k = Q(√(p₁.p₂) where p₁ and p₂ are distinct primes such that p_i = 2 or  p_i ≡ 1 mod 4, i = 1, 2. Our conjecture involves the case where the Kronecker symbol (p₁/p₂) = 1 and the biquadratic residue symbols (p₁/p₂)₄ = (p₂/p₁)₄ = 1, and is based upon Stevenhagen’s conjecture that if k = Q(√(p₁.p₂) is any real quadratic number field as above, then P(N(e) = -1)) = 2/3, i.e., the probability density that N(e) = -1 is 2/3. Given Stevenhagen’s conjecture and some theoretical assumptions about the probability density of the Kronecker symbols and biquadratic residue symbols, we establish that if k is as above with (p₁/p₂) = (p₁/p₂)₄ = (p₂/p₁)₄ = 1, then P(N(e) = -1)) = 1/3, and we support our conjecture with some preliminary heuristic data.