Monoid
- Editore:
Alphascript Publishing
- EAN:
9786130237653
- ISBN:
6130237650
- Pagine:
- 108
- Formato:
- Paperback
- Lingua:
- Inglese
Descrizione Monoid
In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element. Monoids are studied in semigroup theory as they are naturally semigroups with identity. Monoids occur in a number of branches of mathematics and capture the idea of function composition; indeed, this notion is abstracted in category theory, where the monoid is a category with one object. Monoids are also commonly used to provide an algebraic foundation for computer science; in this case, the transition monoid and syntactic monoid are used in describing a finite state machine, whereas trace monoids and history monoids provide a foundation for process calculi and concurrent computing. Some of the more important results in the study of monoids are the Krohn-Rhodes theorem and the star height problem. The history of monoids, as well as a discussion of additional general properties, are found in the article on semigroups.