Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

Realizable classes of tetrahedral extensions

Let k be a number field and O_k its ring of integers. Let Γ be the alternating group A₄. Let be a maximal O_k-order in k[Γ] containing O_k[Γ] and its class group. We denote by the set of realizable classes, that is the set of classes such that there exists a Galois extension N/k at most tamely ramified, with Galois group isomorphic to Γ, for which the class of is equal to c, where O_N is the ring of integers of N. In this article we determine and we prove that it is a subgroup of provided that k and the 3rd cyclotomic field of are linearly disjoint, and the class number of k is odd.