Fundamentals of Semigroup Theory¶
Howie, J. M. (1995). Fundamentals of Semigroup Theory. Oxford University Press.
Cited by¶
5 citations across 5 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Identity Element
- Neither implies the other, and neither is unique: the operation x • y = y makes every member a left identity while admitting no right identity at all on a carrier with more than one element.
This sourceTreats left and right identities as logically independent conditions, gives the left-meets-right uniqueness argument, the right-zero semigroup in which every element is a left identity and none a right identity, the adjunction of an identity to a semigroup, and the monoid-homomorphism obligation to preserve the unit.
- Neither implies the other, and neither is unique: the operation x • y = y makes every member a left identity while admitting no right identity at all on a carrier with more than one element.
- Monoid
- If e and e' are both two-sided identities for the same operation, then e = e • e' = e', so a monoid has exactly one identity; "the" identity is precise language, not a convenient abuse of it.
This sourceLondon Mathematical Society Monographs, New Series 12. Clarendon Press, Oxford, 1995. Supplies the uniqueness of a two-sided identity, the adjunction of an identity to any semigroup, the monoid homomorphism conditions including preservation of the unit, and the Cayley embedding into the endofunction monoid by translation.
- If e and e' are both two-sided identities for the same operation, then e = e • e' = e', so a monoid has exactly one identity; "the" identity is precise language, not a convenient abuse of it.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Links previously used in the corpus¶
Before the registry existed this work was also linked 1 other way.
Registry ID ref:b2f2f1eafa5f · see in the full table