位数2の有限単純群

Finite Simple Group (of Order Two)	位数2の有限単純群
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, be 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.	愛の道はいつも滑らかじゃないだけど君へと連続につながる君は心の鎖の上界さ君は僕の選択公理、認めるよねでも最近僕たちの関係はうまく定まらないそして僕は君なしでは作用できない僕は今から命題を証明する、わかるだろ僕たちは位数2の有限単純群なんだ僕は恒等ではいられない毎日テンソルを取っているんだそして一般性を失うことなく君も同じ気持ちだと仮定するだって僕が君を見るたび、君はただ商を取るから僕が写像を伸ばす忠実な像のでも僕らが一対一だったあの頃、君は僕の定義を見ていただって僕たちは位数2の有限単純群だから僕たちの同値性は安定だった愛の主束が奥深くに位置していたでも君が僕たちの2-形式の間にウェッジを打ち込んで今ではすべてが複素化されてしまったはじめて出会ったときは単連結だった僕の心は開だったがあまりにも稠密だった僕らの系は既に向き付けられていたある意味で有限極限を持っていた僕は階数1の写像の核にいる定義域から見るその像は真っ青だ僕が見るのは全て零点という、残酷な罠だからでも僕たちは位数2の有限単純群なんだ僕はクラスの中で最も滑らかな作用素じゃないでも僕と君とは鏡像なんだだから過去に忘却関手を作用させようそして有限単純群に、有限単純群にさあ位数2の有限単純群になろう(3にしたら？) 僕はいま命題を示した、見ただろうだから、共に結合的で自由になろうそしてその系として示している、君と僕とは純非分離だと(証明終)

Finite Simple Group (of Order Two)

位数2の有限単純群

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, be 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.

愛の道はいつも滑らかじゃない
だけど君へと連続につながる
君は心の鎖の上界さ
君は僕の選択公理、認めるよね

でも最近僕たちの関係はうまく定まらない
そして僕は君なしでは作用できない
僕は今から命題を証明する、わかるだろ
僕たちは位数2の有限単純群なんだ

僕は恒等ではいられない
毎日テンソルを取っているんだ
そして一般性を失うことなく
君も同じ気持ちだと仮定する

だって僕が君を見るたび、君はただ商を取るから
僕が写像を伸ばす忠実な像の
でも僕らが一対一だったあの頃、君は僕の定義を見ていた
だって僕たちは位数2の有限単純群だから

僕たちの同値性は安定だった
愛の主束が奥深くに位置していた
でも君が僕たちの2-形式の間にウェッジを打ち込んで
今ではすべてが複素化されてしまった

はじめて出会ったときは単連結だった
僕の心は開だったがあまりにも稠密だった
僕らの系は既に向き付けられていた
ある意味で有限極限を持っていた

僕は階数1の写像の核にいる
定義域から見るその像は真っ青だ
僕が見るのは全て零点という、残酷な罠だから
でも僕たちは位数2の有限単純群なんだ

僕はクラスの中で最も滑らかな作用素じゃない
でも僕と君とは鏡像なんだ
だから過去に忘却関手を作用させよう
そして有限単純群に、有限単純群に
さあ位数2の有限単純群になろう(3にしたら？)

僕はいま命題を示した、見ただろう
だから、共に結合的で自由になろう
そしてその系として示している、君と僕とは
純非分離だと(証明終)