Content deleted Content added
→See also: Dagger categories have identity. A one object dagger category is a *-monoid. |
Adding local short description: "Semigroup in abstract algebra", overriding Wikidata description "semigroup equipped with an involutive anti-automorphism" |
||
Line 1:
{{Short description|Semigroup in abstract algebra}}
In [[mathematics]], particularly in [[abstract algebra]], a '''semigroup with involution''' or a '''*-semigroup''' is a [[semigroup]] equipped with an [[Involution (mathematics)|involutive]] [[anti-automorphism]], which—roughly speaking—brings it closer to a [[group (mathematics)|group]] because this involution, considered as [[unary operator]], exhibits certain fundamental properties of the operation of taking the inverse in a group:
| |||