¿Es S ^ na Lie group para cada n?

[math] S ^ n [/ math] es solo un grupo de Lie para [math] n = 0, 1, 3 [/ math]. Incluso los valores positivos de [matemática] n [/ matemática] se descartan por su característica de Euler (la característica de Euler de un grupo compacto de Mentiras conectado de dimensión positiva es cero), y descarta valores positivos impares mayores de [matemática] n [/ matemáticas] es un poco más complicado y requiere una topología más algebraica o una inspección cuidadosa de la clasificación de los grupos de Lie.

Es un buen ejercicio en clases características para mostrar que si [matemática] S ^ n [/ matemática] es un grupo de Mentiras, entonces [matemática] n = 2 ^ k – 1 [/ matemática] es uno menos que una potencia de dos.

[matemática] S ^ 7 [/ matemática] es casi, pero no del todo, un grupo de Lie: tiene una estructura más débil, es decir, una estructura de espacio H, derivada de la multiplicación en los octoniones. Se sabe que [matemáticas] n = 0, 1, 3, 7 [/ matemáticas] son ​​las únicas esferas que admiten dicha estructura (correspondiente a la multiplicación de números reales, números complejos, cuaterniones y octoniones, si te gusta eso tipo de cosa).

Solo [math] \ mathbb {S} ^ {0}, \ mathbb {S} ^ {1} \ mathbb {S} ^ {3} [/ math]

y aparentemente [math] \ mathbb {S} ^ {7} [/ math]

http://www.unizar.es/acz/05Publi…