First Order Definition of Rings Using Group of Units
No Thumbnail Available
Date
2023-05-03
Access
Authors
Kardos, Michael
Journal Title
Journal ISSN
Volume Title
Publisher
East Carolina University
Abstract
We discuss the technical background and relevant research regarding the undecidability of $O_{\mathbb{Q}^{\text{ab}}}$. Given an algebraic extension $K/\mathbb{Q}$, we consider the subring defined by
$$R_K=\{x\in O_K\,|\,\forall \varepsilon\in U_K\setminus\{1\}\,\exists\delta\in U_K:\delta-1\equiv x(\varepsilon-1)\bmod(\varepsilon-1)^2\}.$$
We later consider a similar construction over subrings of $\mathbb{Q}$ of characteristic $0$. In doing this, we hope to gain insight into the result of the construction of $R_K$ when $K=\mathbb{Q}^{\text{ab}}$.