théorème de Cartan-Dieudonné

ALGEBRE

Si E est un espace vectoriel euclidien de dimension finie n muni d’une forme bilinéaire symétrique non dégénérée, alors, tout élément du groupe orthogonal O(E) s’écrit comme produit d’au plus n réflexions.