Defining \mathbb Z using unit groups

Abstract: We consider first-order definability and decidability questions over rings of integers of algebraic extensions of

m a t h b b Q

, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order definition of

m a t h b b Z

. Namely, we prove that for a large collection of algebraic extensions

K / m a t h b b Q

,

{x in {mathcal O}_K : ext{

f o r a l l v a r e p s i l o n i n {m a t h c a l O}_{K}^{i} m e s; e x i s t s d e l t a i n {m a t h c a l O}_{K}^{i} m e s

such that

d e l t a - 1 e q u i v (v a r e p s i l o n - 1) x p m o d (v a r e p s i l o n - 1)^{2}

}} = mathbb Z

where

{m a t h c a l O}_{K}

denotes the ring of integers of

K

.

This page was built for publication: Defining $\mathbb Z$ using unit groups