E7 (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir E7.

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

En mathématiques, E₇ est le nom d'un groupe de Lie complexe de type exceptionnel. Son algèbre de Lie est notée $\textstyle{\mathfrak{e}_7}$ . E₇ est de rang 7 et de dimension 133. Le groupe fondamental de sa forme compacte est le groupe cyclique Z₂. sa représentation fondamentale est de dimension 56.

La forme compacte réelle de E₇ est le groupe d'isométrie d'une variété riemannienne de dimension 64 appelé plan projectif quateroctionique. Ce nom vient du fait qu'il peut être construit en utilisant une algèbre qui est construite comme produit tensoriel des quaternions avec les octonions. Ce type de construction est analysé en détail par Hans Freudenthal et Jacques Tits dans leur construction du carré magique.

Sommaire

1 Algèbre
- 1.1 Diagramme de Dynkin
- 1.2 Matrice de Cartan
2 Voir aussi

[modifier] Algèbre

[modifier] Diagramme de Dynkin

[modifier] Matrice de Cartan

$\begin{pmatrix} 2 & -1 & 0 & 0 & 0 & 0 & 0 \\ -1 & 2 & -1 & 0 & 0 & 0 & 0 \\ 0 & -1 & 2 & -1 & 0 & 0 & 0 \\ 0 & 0 & -1 & 2 & -1 & 0 & -1 \\ 0 & 0 & 0 & -1 & 2 & -1 & 0 \\ 0 & 0 & 0 & 0 & -1 & 2 & 0 \\ 0 & 0 & 0 & -1 & 0 & 0 & 2 \end{pmatrix}$