Développement : Théorème de Witt

Détails/Enoncé :

Soient $(E, q)$ , $(F,\varphi)$ , $(G, \psi)$ trois espaces quadratiques réguliers. Alors $(E, q) \bot (F,\varphi)$ est isomorphe à $(E,q) \bot (G,\psi)$ si et seulement si $(F, \varphi)$ est isomorphe à $(G, \psi)$.

Autres années :

Versions :

  • Auteur :
  • Remarque :
    La version présente ici est un peu différente de celle proposée dans "Invitation aux formes quadratiques", car on ne regarde pas les prolongements d'isométries, mais les simplifications possibles dans les isomorphismes d'espaces quadratiques. Ces deux points de vue sont équivalents, mais la rédaction change un peu.















    Ce développement rentre dans des leçons sur la congruence matricielle, quitte à le reformuler dans ces termes (ce qui peut changer la démonstration).
  • Fichier :

Références utilisées dans les versions de ce développement :