challenge ciphertext

Finite Simple Group (of order two)

A Klein Four original by Matt Salomone

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.

愛の道は滑らかじゃない
(でも僕のは君に続いてる
君は僕の心の鎖の上界だ
君は僕の選択公理だ，君はそれが真だと知ってる
 
でも最近僕たちの関係はそんなにwell-definedじゃない
そして僕は君なしに働けない
今から僕が命題を証明すれば君はきっと分かってくれるだろう
僕たちは位数2の有限巡回群なんだ
 
僕は単位元を失ってしまった
僕は毎日テンソルを得ている
そして一般性を失うことなしに
君も同じように感じていると仮定する
 
毎日君に会うと君は割っている
忠実な像で僕が中へ写されるところを
でも僕たちが一対一なら君は僕が何に対応するか分かるだろう
だって僕たちは位数2の有限巡回群だから
 
僕たちの同値性は安定だった，
主ラヴ束は深い奥にあった
でも君は僕たちの間の2-formを仲たがい(drove a wedge)させた
今では全部複素化している
 
僕たちが最初に会ったとき，僕たちは単連結だった
僕の心は開だった(My heart was open)けどdenseすぎた
僕たちの系は向き付けられていた
適当な意味で有限の極限を持つために
 
僕はランク1の写像の核に住んでいる
僕の定義域からの像はブルーだ
なぜなら僕が見るのは全部ゼロで，それは残酷な罠だ
でも僕たちは位数2の有限巡回群だ
 
僕は僕のクラスでは滑らかな作用素でない，
でも僕と君は鏡像の組だ
だから過去に忘却函手を適用しよう
そして有限単純群になろう，有限単純群になろう，
位数2の有限単純群になろう
(Oughter: なんで3じゃないの？)
 
君が見てきたように僕は命題を証明したよ
だから結合的で自由になろう
そうすれば系として，君と僕が
真に分離不能であることが示される．Q.E.D.