MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hello! Does anybody know an image of a graph featuring the hierarchy of algebraic structures? Something rather complete.

So far I've found similar images describing the hierarchies of classes/categories in various programming languages. For example

share|cite|improve this question
"Something rather complete" sounds like too tall an order. There must be thousands of algebraic structures that mathematicians are interested in. – Todd Trimble Aug 14 '11 at 13:28

Page 2 of "Is 'the theory of everything' merely the ultimate ensemble theory?" by Max Tegmark contains the following image:

Relationships between various basic mathematical structures

share|cite|improve this answer
What on earth are double fields and triple fields??? Also, why does the dodecahedron group belong to that chart? ...strange choices. – André Henriques Aug 15 '11 at 14:29
+1 to André's comment. However much I respect physics and physicists, I personally think the article in question is a truly bizarre choice of a reference when it comes to dealing with algebraic structures. – Vladimir Dotsenko May 14 '12 at 8:41
There are some pieces one might consider useful, but a lot of it inspires a resounding "LOLWUT" – rschwieb Jul 14 '15 at 2:54

This is sort of a delayed response, but I came upon this question while googling for the visualization of the hierarchy of structures used in the Coq proof of the Feit-Thompson Odd Order theorem. That visualization is located here, image copied below:enter image description here

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.