Anisotropy and the integral closure (Q2637189)

Let \(K\) be a number field and \(\mathcal{O}_K\) its ring of integers. The main aim of the paper is to provide an explicit description of \(\mathcal{O}_K\) using the notion of anisotropy and quasi-anisotropy of non-degenerate symmetric bilinear form introduced by the author in [Comm. Algebra 42, No. 11, 4911--4931 (2014; Zbl 1328.13024)] (we can find the definitions of these notions in Section 8 and 11 of the paper under review). Suppose that \(K=\mathbb{Q}(\alpha)\), where \(\alpha\) is an algebraic integer, and let \(A=\mathbb{Z}[\alpha]\). The trace dual \(A^{\dagger}\) of \(A\) is defined as \(A^{\dagger}=\{x\in K, Tr_{K/\mathbb{Q}}(xA)\subset Z\}\), where \(Tr_{K/\mathbb{Q}}\) is the trace map in the extension \(K/\mathbb{Q}\). We have: \(A\subset A^{\dagger}\) and \(A^{\dagger}/A\) is a finite abelian group. If \((G, +)\) is a finite abelian group, the lower root of \(G\) is defined as \(lr(G)=\sum_{r\in \mathbb{\mathbb{Z}}}rG\cap G[r]\), where \(G[r]=\{g\in G, rg=0\}\). Under the assumption that a certain form is anisotropic or quasi-anisotropic, the author proves that \((\mathcal{O}_K/A)=lr(A^{\dagger}/A)\), from which one deduces an explicit description of \(\mathcal{O}_K\); some examples are given. We point out that the author proves his result on the description of \(\mathcal{O}_K\) in a more general setting considering orders over Dedekind domains.