Muy buenas, hoy querría acordarme de unos grandes amigos (Kike y Cris) que el pasado 26 de noviembre cumplieron su primer aniversario de boda. Se conocieron gracias a las matemáticas, y gracias a ellas se acabaron casando el año pasado, y gracias también a las matemáticas pude conocer a estas dos tan grandes personas. ¡Felicidades y gracias por ser como sois!

Una anécdota de la boda fue el momento de cortar el pastel, en el que sonó una canción conocida para muy pocos. Se llamaba Finite Simple Group, del grupo The Klein Four Group, y es la que está en este vídeo (Actualización: he puesto otro vídeo, este con subtítulos y una traducción un poco diferente a la mía):

¿Quién dijo que el amor y las matemáticas no podían estar relacionados? Un grupo finito simple de orden dos viene a ser un conjunto de dos elementos, dotado de una operación (por ejemplo, la suma), con una serie de propiedades y axiomas. De hecho, ¿qué es el amor, salvo una pareja de elementos y la relación entre ambos? Si queréis conocer la letra (friki pero bonita) y traducción (difícil pero he hecho lo que he podido), podéis mirarlo a continuación…

Versión original:

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.

Traducción:

El camino del amor nunca es derivable
pero el mío es continuo hacia ti.
Eres la cota superior en la cadena de mi corazón
Eres mi Axioma de Elección, sabes que es verdad.

Pero últimamente nuestra relación no está bien definida
Y no puedo calcular esta función sin ti.
Demostraré mi proposición y sé que lo entenderás
Somos un grupo finito simple de orden dos.

Estoy perdiendo mi identidad.
Estoy más tensor cada día
Y sin pérdida de generalidad
Asumiré que sientes lo mismo.

Porque cada vez que te veo, simplemente sacas cociente.
La imagen fiel que he mapeado en ti.
Pero cuando estamos uno a uno verás lo que hay en mí
Porque somos un grupo finito simple de orden dos.

Nuestra equivalencia era estable
Un conjunto principal de amor asentado profundamente
Pero entonces tú introdujiste una discontinuidad entre nuestras «dos-formas»
Y ahora todo se ha vuelto complejo.

La primera vez que nos vimos, simplemente conectamos
Mi corazón estaba abierto pero demasiado denso
Nuestro sistema ya fue dirigido
Para tener un límite finito, en algún sentido.

Vivo en el núcleo de una aplicación de rango 1
Desde mi dominio, su imagen parece tan deprimente
Porque todo lo que veo son ceros, es una trampa cruel
Pero somos un grupo finito simple de orden dos.

No soy el operador más suave de mi clase
Pero somos imágenes, tú y yo,
Así que apliquemos functores olvidadizos al pasado
Y así ser un grupo finito simple, un grupo finito simple,
Seamos un grupo finito simple de orden dos
(Voz: «¿Por qué no tres?»)

He demostrado mi proposición, como puedes ver
Así que seamos asociativos y libres
Y por corolario, esto demuestra que tú y yo somos
Puramente inseparables C.Q.D. (como queríamos demostrar)