… for all the maths geeks …

… or really not for them, because they’ll have seen this already.

This is the one, the only: Klein Four Group!
They’re an acapella male group, here singing “Finite Simple Group (of Order Two)”.

It’s a love song, written to cram in as much maths jargon as possible. I’ve gone through the lyrics below and bolded everything I believe to be maths-speak – feel free to correct me if I’ve missed something – I’m hoping this will let people who don’t know all the jargon appreciate just how carefully written it all is. And by the way, if anyone can think of a reason why the “every time I see you you just quotient out …” bit should be romantic at all, please let me know … that’s the one bit that I think works as maths-thrown-together but doesn’t work as love-song.

The lyrics for Finite Simple Group (of Order Two):

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.

This entry was posted in Uncategorized and tagged . Bookmark the permalink.

2 Responses to … for all the maths geeks …

  1. Hazelnut says:

    Lol, I love this! 😛

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s