# Tagged Questions

The tag has no usage guidance.

34 views

### How is $ss^{-1}$ idempotent in an inverse monoid?

An inverse monoid S is a monoid such that for all $s \in S$, there exists a $t \in S$ such that $s=sts$ and $t=tst$. In this case, we write $t = s^{-1}$. Why is $ss^{-1}$ an idempotent? I don't ...
14 views

### Generators and relations of symmetric inverse semigroup $I_{3}$

Let $I_{3}$ be an inverse semigroup consisting of all partial bijections on a set $\{1,2,3\}$, called the symmetric inverse semigroup. Then \begin{align*} I_{3}=\left\{\emptyset, \binom{1}{1}，\binom{...
80 views

### GAP tells this semigroup is not a group.

Happy Nowruz 2016 to every one here! Using the code which James pointed here; I was playing with the following finite semigroup: ...
40 views

155 views

### Do the idempotents in an inverse semigroup commute?

I have been looking at this for hours now. Why is it true that idempotents of an inverse semigroup commute? It seems like this should be straightforward but I just can't get it. Any help is greatly ...
231 views

### A reflective subcategory of the category of inverse semigroups.

The Question. I'm reading Lawson's "Inverse Semigroups: The Theory of Partial Symmetries" and I've hit something I don't understand. It's claimed on page 34 of my copy that The category of ...
296 views

### Example of an inverse semigroup

An inverse semigroup $S$ is a semigroup in which for each $x\in S$ there exists a unique $y\in S$ such that $xyx=x$ and $yxy=y$. I'm trying to find an explicit example(which is not a group) of such ...
109 views

### Involution on inverse semigroups

I'm trying to prove the following for inverse semigroups $\bf Def:$ an inverse semigroup $S$is a semigruop such that for each $x\in S$ the exists a unique $y\in S$ such that $xyx=x$ and $yxy=y$. An ...
133 views

### Is there a name for the generalization of the concept “Abelian group” where the axiom $-x+x = 0$ is weakened to the following?

Is there a name for the generalization of the concept "Abelian group" where the axiom $−x+x=0$ is replaced by the following list? $−0=0$ $−(x+y)=−x+−y$ $−(−x)=x$ $x+(-x)+x = x$ In multiplicative ...
91 views

### Is the set of all uniquely invertible elements of a semigroup an inverse subsemigroup?

For a semigroup $S$ and $x\in S$, an element $y\in S$ is called an inverse of $x$ iff $xyx=x$ and $yxy=y$. $S$ is called an inverse semigroup when every element of $S$ has a unique inverse. Every ...
78 views

### Please check my solution, inverse semigroups.

Let $x$ and $y$ be elements of an inverse semigroup $S$. Then the following are equivalent: (1) $xy^{-1}x = x$ (2) $x^{-1}yx^{-1}=x^{-1}$ I'm not sure in my solution, please ...
358 views

### Rees matrix semigroup

Let $\mathcal{M}^0 = \mathcal{M}^0 ( G; I , \Lambda ;P)$ be a Rees matrix semigroup ($G$ a group, $I$, $\Lambda$ non-empty sets, $P=(p_{\lambda i})$ a $\Lambda \times I$ matrix over $G \cup \{0\}$ ...
40 views

### quasiperiodic tilings: inverse semigroup — non-commutative geometry connect?

A Connes' Noncommutative Geometry (1994) and M Lawson's Inverse Semigroups (1998) contain sections on quasiperiodic tilings, yet as far as I can tell neither seems to refer to the other field of study....
### Description of Green's relations $\mathcal{L}$, $\mathcal{R}$ in an inverse semigroup
Theorem: Let $S$ be an inverse semigroup, and let $x,y\in S$ and $e,f\in E_{S}$ then $x\mathcal{L}y$ if and only if $x^{-1}x=y^{-1}y$ $x\mathcal{R}y$ if and only if $xx^{-1}=yy^{-1},$ where $E_S$ ...