Finite Simple Group (of Order Two): A Mathematical Love Song by the Klein Four Group.

Me encantan sobremanera este tipo de frikadas, el video que pongo
a continuación, es de unos estudiantes de Matemáticas de una
universidad americana, que hacen una canción de amor a capela,
utilizando conceptos de teoría de grupos, quien lea ésto y vea
después el video, si no ha estudiado nada de teoría de grupos, no
se enterará de mucho, o no le hará gracia algunos "giros", pero
bueno, tampoco hace falta para disfrutar del alto grado de frikerío.

La letra de la canción en este enlace, y aquí en los comentarios de esta pagina alguien dejó una traducción:

El camino hacia el amor nunca es suave
Pero el mio es continuo para ti
Eres la cota superior en la cadena de mi corazon
Eres mi Axioma de Seleccion, sabes que es verdadero

Pero sin embargo, nuestra relacion no está bien definida
Y no puedo calcular esa funcion sin ti
Voy a demostrar mi proposicion y estoy seguro de que la entenderas
Somos un grupo simple y finito de orden dos

Estoy perdiendo mi identidad
Estoy obteniendo el tensor cada dia
Y sin perdida de generalidad
Asumo que sientes en ese mismo modo
porque cada vez que te veo, simplemente sacas el cociente

La imagen fiel que he mapeado en mi
pero cuando estemos uno a uno podras ver que hay en mi
Porque somos un grupo simple finito de orden dos
Nuestra equivalencia es estable
Un conjunto principal de amor asentado profundamente

Pero entonces introdujiste una discontinuidad entre nuestras dos formas
Ahora todo se ha vuelto complejo
Cuando hablamos la primera vez, simplemente conectamos
Mi corazon esta abierto pero es demasiado denso

Nuestro sistema ya fue dirijido
para tener un limite finito, en algun modo
Vivo en el nucleo de rango uno
Desde mi dominio, la imagen parece tan deprimente,

Porque todo lo que veo son zeros, es una trampa cruel
Pero somos un grupo simple finito de orden dos
No soy el mas suave de los operadores en mi clase
pero somos imagenes, tu y yo

Asi que dejame aplicar los operadores de olvido al pasado
y seamos un grupo simple finito, seamos un grupo simple finito
vamos a ser un grupo simple finito de orden dos
(En el publico: "Porque no de orden tres?")

He demostrado mi proposicion, como puedes ver
asi que seamos ambos asociativos y libres
Corolario: Esto demuestra que tu y yo podemos ser
puros e inseparables. C.Q.D (Como queda demostrado)