TOPICS

# Free Idempotent Monoid

A free idempotent monoid is a monoid that satisfies the identity and is generated by a set of elements. If the generating set of such a monoid is finite, then so is the free idempotent monoid itself. The number of elements in the monoid depends on the size of the generating set, and the size the generating set uniquely determines a free idempotent monoid. On zero letters, the free idempotent monoid has one element (the identity). With one letter, the free idempotent monoid has two elements . With two letters, it has seven elements: . In general, the numbers of elements in the free idempotent monoids on letters are 1, 2, 7, 160, 332381, ... (OEIS A005345). These are given by the analytic expression

where is a binomial coefficient. The product can be done analytically, giving the sum

in terms of derivatives of the polylogarithm with respect to its index and the Lerch transcendent with respect to its second argument.

Monoid

Portions of this entry contributed by Todd Rowland

## Explore with Wolfram|Alpha

More things to try:

## References

Berstel, J. and Reutenauer, C. In Combinatorics on Words (Ed. M. Lothaire). Cambridge, England: Cambridge University Press, p. 32, 1997.Green, J. and Rees, D. "On Semigroups in which ." Math. Proc. Cambridge Philos. Soc. 48, 35-40, 1952.Lallement, G. Semigroups and Combinatorial Applications. New York: Wiley, 1979.

## Referenced on Wolfram|Alpha

Free Idempotent Monoid

## Cite this as:

Rowland, Todd and Weisstein, Eric W. "Free Idempotent Monoid." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/FreeIdempotentMonoid.html