El amor y las Matemáticas

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

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)