adjoining an identity to a semigroup
It is easy to verify that this defines a semigroup (associativity is the only thing that needs to be checked).
As a matter of notation, it is customary to write for the semigroup with an identity adjoined in this manner, if does not already have one, and to agree that , if does already have an identity.
Despite the simplicity of this construction, however, it rarely allows one to simplify a problem by considering monoids instead of semigroups. As soon as one starts to look at the structure of the semigroup, it is almost invariably the case that one needs to consider subsemigroups and ideals of the semigroup which do not contain the identity.
|Title||adjoining an identity to a semigroup|
|Date of creation||2013-03-22 13:01:19|
|Last modified on||2013-03-22 13:01:19|
|Last modified by||mclase (549)|