Monoid -- the class of all monoids

Monoid -- the class of all monoids

The type Monoid is a member of the class Type. Each object of class Monoid is called a monoid. Each monoid is also a member of class Type.

More general types (whose methods may also apply) :

Type -- the class of all types

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

Types of monoid :

OrderedMonoid -- the class of all ordered monoids

A monoid is a set with a multiplicative operation on it and an identity element. A typical monoid is the set of monomials in a polynomial ring, which we consider to be created before the polynomial ring is created.

Functions and methods returning a a monoid :

degreesMonoid GeneralOrderedMonoid

degreesMonoid ZZ

Monoid ** Monoid -- tensor product of monoids

monoid [...] -- make a polynomial ring or monoid ring

monoid Ring -- get the monoid from a monoid ring

tensor(Monoid,Monoid)

Methods for using a monoid :

Monoid _ List

Monoid _ ZZ -- get a generator of a monoid

options Monoid -- get values used for optional arguments

ZZ _ Monoid -- get unit element