[mcphage]

The purpose of the site is to be:

> So, that’s the intent of this post – to be that fast reference to the kinds of algebraic structures I care about.

I learned these structures in the early 90s; I don’t need to be told the right way to learn them. However, a “fast reference” would be useful.

[srean]

For arithmetic properties and definitions do you suggest tracing them right to Peano axioms ?

[mcphage]

If the page had arithmetic structures, then obviously yes. Groups don’t include those properties, which is why they are not listed, and that is a very important distinction.