The semigroups tag has no usage guidance.

**3**

votes

**1**answer

198 views

### Cancellative semigroup on a distributive lattice

Let $(S,\le)$ be a distributive lattice. Is there a semigroup structure on $S$ such that $S$ is cancellative and always $(x\wedge y)(x\vee y)=xy$?

**26**

votes

**5**answers

2k views

### How many binary operations are associative?

Let $X$ be a finite set of $n$ elements, and consider a binary operation $\odot: X \times X \rightarrow X$. There are $n^{n^2}$ such binary operations, as the $n \times n$ table entries can each
be ...

**8**

votes

**5**answers

901 views

### Examples of left reversible semigroups

I am looking for concrete examples of cancellative, left reversible semigroups. Left reversible semigroups are also called "Ore semigroups". See this wikipedia page for the definition of a left ...

**4**

votes

**2**answers

209 views

### What's the current state of one-rule semi-Thue system termination problem?

What's the current state of one-rule semi-Thue system termination problem? Search produces a lot of references, but it's hard to find out if decidability of this problem has been proven or not.

**13**

votes

**1**answer

445 views

### Automorphisms of $P(\Bbb N)$

I believe I've proved that the power semigroup of non-negative integers with addition has a trivial automorphism group. The proof is a bit long, completely elementary and rather unremarkable (as the ...

**10**

votes

**3**answers

259 views

### Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?

Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...

**7**

votes

**1**answer

652 views

### How is called a semigroup…

Does anyone know, how is called a semigroup in which every equation $ax=b$ has only a finite set (maybe empty) of solutions?

**4**

votes

**1**answer

249 views

### Cancellable elements of a power semigroup

For a semigroup $S,$ its power semigroup $P(S)$ is the semigroup of all non-empty subsets of $S$ with the operation given by $AB=\{ab\,|\,a\in A,b\in B\}.$ I would like to know about the cancellable ...

**3**

votes

**4**answers

459 views

### On the notion of partial semigroup

A partial binary operation on a set $X$ is just a (partial) function $\varphi: X \times X \rightharpoonup X$ (I'm using \rightharpoonup for partial maps), and a partial magma is a pair $\mathbb M = ...

**9**

votes

**3**answers

661 views

### What is the smallest variety of algebras containing all fields?

A field is a ring whose nonzero elements form a commutative group under multiplication. A field is also a commutative inverse semigroup with respect to multiplication. The unique multiplicative ...

**7**

votes

**2**answers

388 views

### Is the class of inverse semigroups globally determined?

This question is a follow-up to this one I asked on math.stackexchange. I've decided to ask here because I believe this is a research-level question. I'm sorry if I'm wrong -- I'm not a researcher ...

**4**

votes

**0**answers

102 views

### How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...

**3**

votes

**0**answers

145 views

### Certain conditions on cancellative semigroups

This is extracted from this question following Benjamin Steinberg's suggestion.
For a semigroup $S,$ let $P(S)$ denote the power semigroup of $S,$ which is made up of all non-empty subsets of $S$ ...

**3**

votes

**1**answer

325 views

### fraction power of operators in $C_0$ semigroup

Let $X$ be Banach space, and $\{Z(t)\}_{t\geq 0}\subseteq B(X)$ be the $C_0$-Semigroup of operators defined on $X$. Moreover, let $A$ be the infinitesimal generator of $\{Z(t)\}_{t\geq 0}$. A ...

**2**

votes

**1**answer

140 views

### Terminology for the equation $a=a+b$ in commutative semigroups

Let $(S,+)$ be a commutative semigroup. For $a,b\in S$ consider the equation $a=a+b$. Does such a relation between the given $a$ and $b$ have a name? I am currently using such equations quite often ...

**1**

vote

**1**answer

242 views

### A property of groups of operators

Let $X$ be a Banach space. We consider the evolution equation:
$$x'(t)=Ax(t), \ \ \ \ \ \ \ t\in \mathbb{R},$$
where $A$ is a bounded operator.
I know that if $X=\mathbb{R^n}$ and $A$ is a matrix, ...

**0**

votes

**1**answer

109 views

### Maximal group image!

How to prove that if S is a finitely generated Clifford semigroup its maximal group image is actually the S_{e_{n}}?

**0**

votes

**2**answers

576 views

### on the set of numbers generated by integer linear combination of two real numbers.

Let $b > a > 0$ be two real numbers. I am interested in the set of numbers
$X(p,q) = p a + q b$ with $p,q$ positive integers. Basically this is the set $a \mathbb{N} + b \mathbb{N}$.
What ...