Anisotropy and the integral closure (Q2637189): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1109.6733 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4317713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3516073 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Anisotropic Modules over Artinian Principal Ideal Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2770573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3688455 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4871722 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3615924 / rank | |||
Normal rank |
Latest revision as of 07:50, 7 July 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