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:

  • generators -- get the generators of the monoid
  • 1_G -- get the unit element
  • G_i -- get a generator from a monoid
  • Ring Monoid -- make a monoid ring

    • Keys:

  • index
  • syms

    • Go to main index.

    Go to concepts index.