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 \(a^0 = e\) 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

Use of emphasis in speech

Generating a lot of language data with a theorem prover

"Litany Against Fear" in Present Tense

When it's time to party we will party hard

these are people who died

divine carrot

the frog

what it’s like to get nail phenolization

Why 0 to the power of 0 is 1

Lines and Points are Circles