I saw this image on Wikipedia (Template:Group-like structures, current revision):

enter image description here

Since there are five "properties" that we can have (in this context), namely: totality, associativity, identity, invertibility and commutativity, there are $\binom {5}{1}+ \binom{5}{2}+ \binom {5} {3} + \binom {5}{4} + \binom {5}{5}=5+10+10+5+1=31$ possible structures that we can have and there are only $10$ of them listed here, which are well known.

It could be that among other $21$ structures not listed here some are also studied and have a name but as the number of operations on a structure increases or/and as a number of properties of operations increases, then it would be very hard to remember the names of all structures, so I would like to propose the following:

If we denote totality by $T$, associativity by $A$, identity by $I$, invertibility by $In$ and commutativity by $C$, then we could denote a group as a $(T,A,I,In)$ structure. where it is immediately seen that group has properties of totality, associativity, has an identity, and every element has an inverse.

Another example, loop would be $(T,I,In)$ structure.

All of this can be made more precise but it is just some start, so maybe more rigour is needed.

This could be more generalized to structures over which there are more than one operation defined, but I will not do that here, I just want to ask:

Is this a well-known approach to designation of algebraic structures? Has anything similar been done? Would this lead to simplifications of some sort? What are your thoughts about this approach?

  • 1
    $\begingroup$ I have added link to the Wikipedia template. (There are several articles where it is used.) Since you mentioned that you have taken this from WP, I considered adding a link as a reasonable think to do. Of course, if some of the articles containing the template is more suitable to be included, feel free to edit link to a different one. $\endgroup$ – Martin Sleziak Dec 17 '17 at 12:06
  • $\begingroup$ @MartinSleziak No problem, thank you for your effort. $\endgroup$ – user114642 Dec 17 '17 at 12:07
  • $\begingroup$ I've met the term "semigroupoid" in a different context: used for a category where any objects with a morphism between them are isomorphic. $\endgroup$ – მამუკა ჯიბლაძე Dec 17 '17 at 15:45
  • $\begingroup$ In Universal Algebra, look up lattice of sub varieties. For properties that are equational in nature (identical might be a better word), a Hasse diagram for a lattice is used, and captures many of the properties listed above. A similar one for Totality can be made for partial algebras. The chart form is a different way of organizing concepts which requires no lattice theoretic knowledge, and yet there is the notion of "concept lattice" which suggests a different arrangement of such information. Gerhard "Calls It General Algebra Now" Paseman, 2017.12.17. $\endgroup$ – Gerhard Paseman Dec 17 '17 at 16:50

As Gerhard Paseman mentions, you should definitely look up Universal Algebra. Also worth a read is the wikipedia page Outline of algebraic structures. You will encounter a link to Jipsen's list of algebraic structures -- currently at 328, but that cheats a little because it includes a lot of structures with many symbols (and even many sorts). My old question on this topic similarly didn't get any takers.

If you continue with this line of thinking, you will eventually ask the same question of other structures -- in particular, of logics. Because, well, logics can also be seen as theories, in a meta-logic. And there you'll find John Halleck's list invaluable.

But these are 'just lists', and do not have kind of systematic exploration. As far as being systematic, the only attempt that I am aware of is ⟨warning, self-promotion ahead⟩ my work on the MathScheme Library, as part of the MathScheme project.

Long story short: at the 'bottom' of the hierarchy, almost every theory has been given a name. Every time I think I've found the 'smallest' one which is new, I subsequently find that it has been looked at before. The only ones that seem to be nameless are ones with quite odd. For example, theories involving $\left(x*y\right)*x = x*y$ as an (apparently nameless?) axiom.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy