Definability and decidability for rings of integers in totally imaginary fields

Abstract: We show that the ring of integers of

m a t h b b Q^{e x t t r}

is existentially definable in the ring of integers of

m a t h b b Q^{e x t t r} (i)

, where

m a t h b b Q^{e x t t r}

denotes the field of all totally real numbers. This implies that the ring of integers of

m a t h b b Q^{e x t t r} (i)

is undecidable and first-order non-definable in

m a t h b b Q^{e x t t r} (i)

. More generally, when

L

is a totally imaginary quadratic extension of a totally real field

K

, we use the unit groups

R^{i} m e s

of orders

R s u b s e t e q m a t h c a l O_{L}

to produce existentially definable totally real subsets

X s u b s e t e q m a t h c a l O_{L}

. Under certain conditions on

K

, including the so-called JR-number of

m a t h c a l O_{K}

being the minimal value

e x t J R (m a t h c a l O_{K}) = 4

, we deduce the undecidability of

m a t h c a l O_{L}

. This extends previous work which proved an analogous result in the opposite case

e x t J R (m a t h c a l O_{K}) = i n f t y

. In particular, unlike prior work, we do not require that

L

contains only finitely many roots of unity.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Definability and decidability for rings of integers in totally imaginary fields