Browsing Master's Theses by Subject "abelian"
Now showing items 1-1 of 1
-
First Order Definition of Rings Using Group of Units
(East Carolina University, 2023-05-03)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 ...