Content deleted Content added
Cleanup references a bit more. |
Adding local short description: "Semigroup in abstract algebra", overriding Wikidata description "semigroup equipped with an involutive anti-automorphism" |
||
| (One intermediate revision by one other user not shown) | |||
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:
Line 125 ⟶ 126:
==See also==
* [[Dagger category]] (aka category with involution) — generalizes
* [[*-algebra]]
* [[Special classes of semigroups]]
| |||