Monoid

Monoid -- denotes the class of all monoids.

A monoid is a set with a multiplicative operation on it and an identity element.

  • OrderedMonoid
  • GeneralOrderedMonoid
  • GeneralOrderedGroup

    • Methods for creating monoids:

  • group
  • monoid

    • Operations on monoids:

  • Monoid ** Monoid -- product of monoids.
  • generators -- get the generators of the monoid
  • ZZ _ Monoid -- get the unit element
  • Monoid _ ZZ -- get a generator from a monoid
  • Ring OrderedMonoid -- make a monoid ring

    • Keys:

  • index
  • generatorExpressions
  • generatorSymbols

    • topindexpreviousupnext