Fields on the bottom (Q284488)

Let \(\mathbb{Q}_{tr}\) denote the field of totally real algebraic numbers. For a set \(S\) of prime numbers, let \(\mathbb{Q}^{(S)}\) denote the maximal Galois extension of \(\mathbb{Q}\) whose degree is divisible only by the prime numbers occurring in \(S\) and \(\mathbb{Q}_{tr,S}\) stand for \(\mathbb{Q}_{tr} \cap \mathbb{Q}^{(S)}\). In this paper the authors prove that for each \(S\), \(\mathbb{Q}_{tr,S}\) has no proper subfield \(M\) with degree \([\mathbb{Q}_{tr,S}: M]<\infty\). It is also proved that \(\mathbb{Q}^{(S)}\) has no proper subfield \(N\) such that degree \([\mathbb{Q}^{(S)}:N]<\infty\) if and only if \(2\notin S\).