수학 노래 소개 //finite simple group of order 2

simple group 하니까 이 노래가 떠올랐다. Northwestern University 의 수학과 대학원생들이 만든 노래이다.

두 연인의 사랑과 관련된 노래로

노래의 제목인 finite simple group of order 2 는 Z_2 를 말하는 것으로

원소가 두개다 ㅋㅋㅋ

이 노래는 여러가지 Z_2 의 성질들을 나열해놓고 inseparable 즉 너와 나는 떨어질수 없다를 증명하는 것으로 마무리 짔는다.

[노래가사-유투브 자막 설정에서도 볼 수 있음 ]

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

Pi 에 관한 노래는 많은데 솔직히 좀 별로인듯..

Rap 도 있는데 one geometry 저 노래보다 조금 더 테크니컬한 주제를 다루고 있다.

이 노래는 푸앙카레 추측에 대한 배경지식과 역사를 간략하게 설명(?) 하고 있는데
앞의 finite simple group of order 2 가 너무 잘 만들어져서 크게 빛을 받은 노래는 아니다.

진짜 finite simple group of order 2 이 노래는 너무나 잘 만들어진듯 ㅋㅋ

기회가 되면 이 노래에 주석(?) 해석을 좀 달아볼까? ㅋㅋ