Construction of class fields over imaginary biquadratic fields

Abstract: Let

K

be an imaginary biquadratic field and

K_{1}

,

K_{2}

be its imaginary quadratic subfields. For integers

N > 0

,

m u g e q 0

and an odd prime

p

with

g c d (N, p) = 1

, let

K_{(N p^{m} u)}

and

(K_{i})_{(N p^{m} u)}

for

i = 1, 2

be the ray class fields of

K

and

K_{i}

, respectively, modulo

N p^{m} u

. We first present certain class fields

w i d e t i l d e K_{N, p, m u}^{1, 2}

of

K

, in the sense of Hilbert, which are generated by Siegel-Ramachandra invariants of

(K_{i})_{(N p^{m u + 1})}

for

i = 1, 2

over

K_{(N p^{m} u)}

and show that

K_{(N p^{m u + 1})} = w i d e t i l d e K_{N, p, m u}^{1, 2}

for almost all

m u

.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Construction of class fields over imaginary biquadratic fields