Orthogonal decompositions of integral trace forms of cyclotomic fields and their canonical forms over the ring of \(p\)-adic integers (Q2436774): Difference between revisions

Let \(K/{\mathbb{Q}}\) be a finite field extension. With it we associate the trace form, which is defined by \[ \operatorname{Tr}_{K/{\mathbb{Q}}}:K\times K\rightarrow {\mathbb{Q}}:(x,y)\mapsto \operatorname{trace}_{K/{\mathbb{Q}}}(xy). \] By restrictions to the ring \(O_k\) of integers of \(K\) we get an integral trace form. The author considers the integral trace form of cyclotomic fields \(K(\zeta_n)\). More precisely, he gives an orthogonal decomposition of symmetric \({\mathbb{Z}}\)-modules \(O_{{\mathbb{Q}}(\zeta_n)}\) into rank one and rank 2 symmetric \({\mathbb{Z}}\)-bilinear modules. First, the author considers the case \(n=p^e\), where \(p\) is a prime number. The main tool in the proof is matrix theory. The general case follows by considering a compositum of cyclotomic fields.