Blogia
Matemáticas Áureas

Canción de amor matemático (The Klein Four Group)

Ésta es una de las frikadas más grandes que he encontrado en un año de búsqueda por la red. El grupo que canta se llama The Klein Four Group y lo componen cinco estudiantes de matemáticas que dedican sus canciones a esta ciencia. La web más completa sobre ellos es www.kleinfour.com (en inglés). En la tabla está la letra de la canción Finite Simple Group, la canción del vídeo, su mayor éxito hasta la fecha.

The path of love is never smooth
But mine’s continuous for you
You’re the upper bound in the chains of my heart
You’re my Axiom of Choice, you know it’s true

 

But lately our relation’s not so well-defined
And I just can’t function without you
I’ll prove my proposition and I’m sure you’ll find
We’re a finite simple group of order two

I’m losing my identity
I’m getting tensor every day
And without loss of generality
I will assume that you feel the same way

Since every time I see you, you just quotient out
The faithful image that I map into
But when we’re one-to-one you’ll see what I’m about
‘Cause we’re a finite simple group of order two

Our equivalence was stable,
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
Now everything is so complexified

When we first met, we simply connected
My heart was open but too dense
Our system was already directed
To have a finite limit, in some sense

I’m living in the kernel of a rank-one map
From my domain, its image looks so blue,
‘Cause all I see are zeroes, it’s a cruel trap
But we’re a finite simple group of order two

I’m not the smoothest operator in my class,
But we’re a mirror pair, me and you,
So let’s apply forgetful functors to the past
And be a finite simple group, a finite simple group,
Let’s be a finite simple group of order two
(Oughter: “Why not three?”)

I’ve proved my proposition now, as you can see,
So let’s both be associative and free
And by corollary, this shows you and I to be
Purely inseparable. Q. E. D

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 Eleccion, sabes que es verdad

 

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 sentido

Vivo en el nucleo de rango uno
Desde mi dominio, la imagen parece tan deprimente,
Porque todo lo que veo son ceros, 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 quería demostrar)

0 comentarios