Grupo Finito de Orden 2

Un muy buen aporte a la Matemática esta cancion. Realmente una forma muy particular de cantar.

The path of love is never smooth / El camino hacia el amor nunca es suave
But mine’s continuous for you / Pero el mio es continuo para ti
You’re the upper bound in the chains of my heart / Eres la cota superior en la cadena de mi corazon
You’re my Axiom of Choice, you know it’s true / Eres mi Axioma de Eleccion, sabes que es verdad
But lately our relation’s not so well-defined / Pero sin embargo, nuestra relacion no está bien definida
And I just can’t function without you / Y no puedo calcular esa funcion sin ti
I’ll prove my proposition and I’m sure you’ll find / Voy a demostrar mi proposicion y estoy seguro de que la entenderas
We’re a finite simple group of order two / Somos un grupo simple y finito de orden dos
I’m losing my identity / Estoy perdiendo mi identidad
I’m getting tensor every day / Estoy obteniendo el tensor cada dia
And without loss of generality / Y sin perdida de generalidad
I will assume that you feel the same way / Asumo que sientes en ese mismo modo
Since every time I see you, you just quotient out / Porque cada vez que te veo, simplemente sacas el cociente
The faithful image that I map into / La imagen fiel que he mapeado en mi
But when we’re one-to-one you’ll see what I’m about / Pero cuando estemos uno a uno podras ver que hay en mi
‘Cause we’re a finite simple group of order two / Porque somos un grupo simple finito de orden dos
Our equivalence was stable, / Nuestra equivalencia es estable
A principal love bundle sitting deep inside / Un conjunto principal de amor asentado profundamente
But then you drove a wedge between our two-forms / Pero entonces introdujiste una discontinuidad entre nuestras dos formas
Now everything is so complexified / Ahora todo se ha vuelto complejo
When we first met, we simply connected / Cuando hablamos la primera vez, simplemente conectamos
My heart was open but too dense / Mi corazon esta abierto pero es demasiado denso
Our system was already directed / Nuestro sistema ya fue dirijido
To have a finite limit, in some sense / Para tener un limite finito, en algun sentido
I’m living in the kernel of a rank-one map / Vivo en el nucleo de rango uno
From my domain, its image looks so blue, / Desde mi dominio, la imagen parece tan deprimente,‘
Cause all I see are zeroes, it’s a cruel trap / Porque todo lo que veo son ceros, es una trampa cruel
But we’re a finite simple group of order two / Pero somos un grupo simple finito de orden dos
I’m not the smoothest operator in my class, / No soy el mas suave de los operadores en mi clase
But we’re a mirror pair, me and you, / Pero somos imagenes, tu y yo
So let’s apply forgetful functors to the past / Asi que dejame aplicar los operadores de olvido al pasado
And be a finite simple group, a finite simple group, / Y seamos un grupo simple finito, seamos un grupo simple finito
Let’s be a finite simple group of order two / Vamos a ser un grupo simple finito de orden dos(Oughter: “Why not three?”) / (En el publico: “Porque no de orden tres?”)
I’ve proved my proposition now, as you can see, / He demostrado mi proposicion, como puedes ver
So let’s both be associative and free / Asi que seamos ambos asociativos y libres
And by corollary, this shows you and I / Corolario: Esto demuestra que tu y yo
To bePurely inseparable. / Podemos serpuros e inseparables.Q. E. D / C.Q.D (Como queríamos demostrar).