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 to Disable Disqus Ads on your Blog

Derivation of Reservoir Sampling

Fun with Python Iterators: Linked Lists Made Easy

Notes for November 11, 2018

Underrated Vim Option: undofile and undodir

Hot Take on Solo Travel: Starve

Alan Perlis

Book Notes: The Map of My Life by Goro Shimura


Way to remember the definition of local finiteness