From Semigroup To Group, Through Power Notation

If we consider the exponential notation used in abstract algebra, we get a nice mnemonic for semigroups, monoids, and groups:

  • Semigroup: Only positive powers are defined
  • Monoid: The identity element makes defined, so non-negative powers are defined
  • Group: inverses define negative powers, so all integer powers are defined

By remembering the completion of the natural numbers into the integers, we can remember what exactly defines semigroups, monoids, and groups (I know I mix them up all the time).

Related Posts

How I feel about ebooks

List of places where the US has been involved in regime change, with multiplicity

Accuracy vs Precision

Handy command line benchmarking tool

Stan Rogers

Ultimate Hot Couch Guy

Quote on Java Generics

The Programmer Tendency

Figure out undocumented JSON with gron

Mental Model of Dental Hygiene