Talk:Inverse semigroup

Examples of inverse semigroups
I tried to learn by example looking at the example but it felt a bit like an exercise. Could the inverses be added to the example. I am not into that field but ist is a^{-1) = a, b^{-1) = b, c^{-d} = d, d^{-1} = c, e^{-1} = e ? 11:28, 28 November 2022 (UTC) — Preceding unsigned comment added by Janlo (talk • contribs)

Merge maybe?
I realize that symmetric group and group (mathematics) have different pages, so by that logic Symmetric inverse semigroup and Inverse semigroup should have different pages, but there doesn't seem to be a whole lot of material on the Symmetric inverse semigroup stub... JMP EAX (talk) 23:28, 23 August 2014 (UTC)
 * I've changed my mind, because there seems to be plenty in about them in Lipscomb's book of that's not in the more general books about inverse semigroups, e.g. in Lawson's. JMP EAX (talk) 02:55, 27 August 2014 (UTC)

Newbie says, 'What?'
I just changed something. It's my first time changing something other than a typo. Be nice! Did I do okay? — Preceding unsigned comment added by OmneBonum (talk • contribs) 13:46, 3 July 2016 (UTC)

A semilattice is not necessarily inverse
Inverse elements in a semilattice need not be unique, please revise. — Preceding unsigned comment added by Math Badger (talk • contribs) 09:10, 20 April 2019 (UTC)
 * I'm pretty sure the example of semilattices is correct -- the only inverse of a is a. Jlsfrey (talk) 00:41, 31 March 2021 (UTC)

Magma to group
The recent update to the 'magma to group' diagram is incorrect; I'm not claiming that inverse semigroups aren't important, and I really like the colours, but not all inverse semigroups with identity are groups (as stated with examples on this article), and in fact only the ones that are groups are quasigroups with associativity, so the other two edges on that vertex are misleading. (Also, is 'inverse semigroup' in a bigger font?) Adam Dent (talk) 10:35, 19 December 2019 (UTC)

Specialization diagram wrong?
The specialization diagram shows inverse semigroups as being both semigroups and quasigroups, but that is not the case. Only cancellative inverse semigroups are quasigroups. See explanation at. SMWatt (talk) 01:01, 19 September 2020 (UTC)