OurBigBook.comSite Source code

Nondegeneracy of the trace form of a number field

For nonzero

x \in K

, choose

y = x^{- 1}

. Then

B (x, y) = Tr_{K / Q} (1) = [K : Q] \neq = 0,

so the trace form is nondegenerate.

 Ancestors (7)

 Incoming links (1)

Solution