En las matemáticas, el F4 es el nombre de un grupo de mentira y también de su . Es uno de los cinco grupos de mentira simples excepcional que el F 4 de tiene 4 espesos y dimensión 52. La forma compacta está conectada simplemente y su grupo externo del automorfismo es el grupo trivial . Su representación fundamental es 26 dimensionales.
La forma verdadera compacta de F4 es el grupo de Isometry de un múltiple Riemannian dimensional 16 conocido como el “plano descriptivo octonionic”, OP2. Esto se puede ver sistemáticamente usar una construcción conocida como el '' cuadrado mágico '', debido al Juan Freudenthal y a los Tits de Jacques.
Hay las formas verdaderas 3: compacto, una fractura una, y tercera.
La álgebra de mentira del F 4 puede ser construida agregando 16 generadores que transforman como espinor al dimensional de la álgebra de mentira 36 tan (9), en analogía con la construcción E8 .
Diagrama de Dynkin
Raíces de F4
, \ P. 1)