# Question about denoting/designating of algebraic structures

I saw this image on Wikipedia (Template:Group-like structures, current revision): 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?

• 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. – Martin Sleziak Dec 17 '17 at 12:06
• @MartinSleziak No problem, thank you for your effort. – user114642 Dec 17 '17 at 12:07
• I've met the term "semigroupoid" in a different context: used for a category where any objects with a morphism between them are isomorphic. – მამუკა ჯიბლაძე Dec 17 '17 at 15:45
• 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. – Gerhard Paseman Dec 17 '17 at 16:50

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.