semigroup

 

In abstract algebra, a semigroup is an algebraic structure with a binary operation over its elements that is both closed and satisfies the associative property.  So for semigroup S with generic operator •:

for all a, b, c in S, the equation (a • b) • c = a • (b • c) holds.

Again, closure also holds for this operation. So:

•: S x S → S

A semigroup can be thought of as an associative magma.

 

« Back to Glossary Index
 Posted by at 4:16 pm

 Leave a Reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code class="" title="" data-url=""> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong> <pre class="" title="" data-url=""> <span class="" title="" data-url="">

(required)

(required)