Un descubrimiento de mi hermano Pedro, es esta maravillosa canción del grupo de estudiantes de matemáticas Grupo 4 de Klein. Se titula "Somos un grupo finito de orden 2":
Finite Simple Group (of order two)
Letra en inglés: (Tomada de Zapp Internet)
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: (Tomada de Cambalache)
El camino del amor nunca es suave
Pero es mío es continuo para ti
Tú eres la cota superior en las series de mi corazón
Eres mi Axioma de Elección, sabes que es verdadero.
Pero últimamente nuestra relación no está tan bien definida
Y yo no tengo tu función exacta
Voy a probar mi proposición y estoy seguro de que hallarás
Que somos un grupo simple finito de orden dos
Estoy perdiendo mi identidad
Estoy obteniendo tensores cada día
Y sin pérdida de generalidad
Voy a suponer que tú sientes lo mismo
Dado que cada vez que te veo, simplemente sacas cociente
La imagen fiel que he mapeado en mí
Pero cuando estamos inyectivos (uno a uno) verás lo que hay en mí
Porque somos un grupo simple finito de orden dos
Nuestro equivalencia se mantuvo estable,
Un lazo de amor asentado profundamente
Pero entonces introdujiste una discontinuidad entre nuestras dos formas
Ahora todo se ha complejizado
Cuando nos conocimos, nos hicimos simplemente conexos
Mi corazon está abierto pero es demasiado denso
Nuestro grafo ya estaba dirigido
a tener un límite finito, en algún sentido
Vivo en el nucleo de una función 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 operador más suave de mi clase,
pero somos imagenes, yo y tú,
Asi que apliquemos los operadores de olvido al pasado
Y seamos un grupo simple finito, seamos un grupo simple finito
Seamos un grupo simple finito de orden dos
(Otro: "¿Por qué no de orden tres?")
He demostrado ahora mi proposición, como puedes comprobar,
Seamos ambos asociativos y libres
Y como corolario: Esto demuestra que tú y yo somos
puramente inseparables. Q. E. D
