Proposition 4
Tag 0DN5, permanent. Cite it as [Bourbaki, Tag 0DN5].
Algebra, chapter IX, § 8. Types de formes quadratiques
*Let Q be a non-degenerate quadratic form on a finite-dimensional vector space E over A. Suppose that A is of characteristic , and let be an orthogonal basis of V. Let be the type of the quadratic form defined on the vector space A and such that . The type of Q is then .
Indeed the form Q is equivalent to
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.