1. Quand la notion de groupe orthogonal $O(n)$ a-t-elle été principalement formalisée dans la littérature mathématique moderne ?
Dans la seconde moitié du 19ème siècle, avec le développement de l'algèbre linéaire
Explanation
La formalisation du groupe orthogonal $O(n)$ dans le cadre de l'algèbre linéaire et de la géométrie euclidienne s'est principalement consolidée au cours de la seconde moitié du 19ème siècle, notamment grâce aux travaux de Cayley et d'autres mathématiciens qui ont systématisé la notion de groupe de transformations orthogonales.