Remark 1
Tag 00LR, permanent. Cite it as [Bourbaki, Tag 00LR].
Algebra, VIII, p. 362, § 19. Quaternion Algebras
Suppose that the characteristic of K is different from 2, and set . Then is a basis of E over K, and we have . It follows that E is isomorphic to the quadratic algebra of type and F to the quaternion algebra of type .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.