Je pense que l'existence de ce groupe avait été prouvée, mais qu'il avait été jusque là impossible de le construire. En gros, on devait savoir à quoi ressemblaient les éléments du groupe, mais on avait pas réussi à définir clairement la base de l'espace vectoriel...
Par exemple, si on parle de |R x |R (donc le plan euclidien), on a su très rapidement qu'il était engendré par la matrice
[[v1, 0]
[0, v2]]
où v1 et v2 sont des scalaires. Tout point du plan peut être écrit comme le produit de cette base [[1,0],[0,1]] avec un vecteur à 2 coordonnées... Et pour le groupe de !lie, il manquait cette matrice.
# En effet
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Y a-t-il un mathématicien dans la salle ?. Évalué à 6.
Par exemple, si on parle de |R x |R (donc le plan euclidien), on a su très rapidement qu'il était engendré par la matrice
[[v1, 0]
[0, v2]]
où v1 et v2 sont des scalaires. Tout point du plan peut être écrit comme le produit de cette base [[1,0],[0,1]] avec un vecteur à 2 coordonnées... Et pour le groupe de !lie, il manquait cette matrice.
Enfin, je pense qu'il s'agit de ça...