The Wild Prologue

Semigroups are like groups but semigroup elements don’t always have inverses, necessarily.

Semigroups obey the associative law:

  • a then b, then c       =       b then c, after a.

but not necessarily the commutative law (3+14=14+3). Aristotle observed that time obeys the associative law.

It is commonly agreed that time moves forward only and not backward. Time is noncommutative — it can’t always be reversed. So, John Rhodes says, we should model time with semigroups.


Speaking in terms of sets and sequences, (a,b,c,d,e) is equivalent to (a, ab, abc, abcd, abcde). The two representations (let’s call them events and timelines) serve different functions mathematically but are isomorphic. With this identification in hand, Rhodes launches into a tornadic discussion of groups, commutative and noncommutative:

  1. groups have fundamental constituent parts;
  2. we have found all of them;
  3. we know how they combine to form larger actions;
  4. so we essentially know everything about every group;
  5. and this bears on Life, The Universe, and Everything.

Rhodes co-invented the wreath product , which explains how to combine the fundamental units of semigroups into any semigroup at all.


If semigroups represent all the logical options that anyone can do with anything, then the total classification of finite simple groups is an achievement with epic implications. It would mean a mathematical theory of all the things that can be done. “Do” and “thing”, that is breaking it down pretty much to the basics.

I read some of The Wild Book at a friend’s house a couple months ago (I haven’t bought a copy yet). Skimming throughout the text, it looks like a really fun read — jumping from abstract algebra to (mathematical) cellular automata to the Krebs cycle to religion.


However, Rhodes draws some unwarranted conclusions, or otherwise demonstrates overly simplistic thinking.

  • He equates “religion” with beliefs about the afterlife.

    And he’s an Egyptologist or something?
  • His example of a semigroup loses all knowledge right away rather than things being gradually more covert depending on ingenuity.
  • Does the semigroup therefore model our understanding or the progress of the physical world?
  • He says that scientific understanding is equivalent to the introduction of spacetime coordinates. Um, dissection & anatomy? Synthesis of urea? Germ hypothesis, periodic table, polio vaccine?

    Also, by existence I think he means experience. Existence does not imply feedback.

  • Just because there are many different “models” of time or space, doesn’t reduce the credibility of any religion. Unless the religion specifically stated “The body moves around in ³ forever — throughout time, which is ¹.” I can’t remember reading that in Scripture.
  • And semigroups are supposed to be unpopular because they controvert religion? I assume it’s just because they’re abstruse.

Has it really been proven that information is lost when a person dies and is buried or cremated? The smoke from the funeral pyre is in a lower entropic state than the atoms of the nervous system were, but doesn’t the specific configuration parametrise the smoke which affects the wind and so on? Information may be chaotically scrambled but is that the same thing as lost?


I’m not insulting what John Rhodes produced: a rare jewel that looks at scientific and philosophical questions through the lens of abstract algebra. These questions are meant to provoke further discussion of his ideas.


About isomorphismes

Argonaut: someone engaged in a dangerous but potentially rewarding adventure.
This entry was posted in Uncategorized and tagged , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

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

You are commenting using your 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 )

Google+ photo

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

Connecting to %s