Saturday, May 31, 2008
Finite Simple Group (of order two)
Sorry for the double post but since Sian Ying posted some fun math stuff, I couldn't resist posting this:Lyrics (With wiki and mathworld links for some terms that may not be in our syllabus)
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 (See also: Lie group)
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.
As you can see, they've managed to squeeze a lot of stuff about set theory, group theory and abstract algebra in general into one song, marvellous!
You can check out the group at http://www.kleinfour.com/. Though they don't have the songs on their website, YouTube will get you their songs.
Oh, and this one they did was quite creative too:
[Click the video to see the lyrics, well approximate lyrics, on the YouTube page.]
Happy mugging!
