Anisotropy and the integral closure (Q2637189): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:22, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Anisotropy and the integral closure |
scientific article |
Statements
Anisotropy and the integral closure (English)
0 references
7 February 2014
0 references
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.
0 references
ring of integers
0 references
Dedekind domain
0 references
integral closure
0 references
completion
0 references
anisotropy of bilinear forms
0 references
order
0 references
number field
0 references