The semigroups tag has no usage guidance.

**4**

votes

**1**answer

166 views

### Generator of a $C_0$-semigroup restricted to a subspace

Suppose we have a decreasing filtration of Banach spaces $(E_t)\_{t\geq0}$, inclusions $V_{s+t,t}:E_{s+t}\to E_t$ and projections $P_{t,s+t}:E_t\to E_{s+t}$ such that $P_{t,s+t}V_{s+t,t}=I_{E_{s+t}}$. ...

**1**

vote

**0**answers

65 views

### Semiflows and continuous symmetries

Given a differential equation on a Banach space $\mathcal{X}$ of the form $\frac{d u}{d t} = F(u)$, it is often the case that $F$ is equivariant under translations, i.e. that $T_\alpha F(u) = ...

**1**

vote

**1**answer

183 views

### Counting modular squares in an interval

For an integer $m$, let $S^m_{x_0,x_1} = \{ t | x_0 ≤ t ≤ x_1 $ and $t$ is a square modulo $m \}$. Let $S^m_x$ = $S^m_{0,x}$.
Determining whether the sets $S^m_x$ are empty is easy (1 is always a ...

**1**

vote

**2**answers

296 views

### What are the monoids in which every globally idempotent subsemigroup contains the identity element?

A semigroup is called globally idempotent when for any $x\in S$ there are $y,z\in S$ such that $x=yz$.
Is there a name for monoids whose every globally idempotent subsemigroup contains the identity ...

**0**

votes

**1**answer

175 views

### When does a power semigroup have a zero, and what can the zero be?

Let $S$ be a semigroup. The power semigroup of $S$ is the set $P(S)=2^S\setminus\lbrace\varnothing\rbrace $ with the operation $$AB=\lbrace ab\ |\ a\in A,\ b\in B\rbrace.$$
This operation is ...

**26**

votes

**5**answers

3k 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 ...

**3**

votes

**2**answers

175 views

### A linearly orderable monoid which does not embed into a linearly orderable group

It is known (after an example of A.I. Mal'cev) that there exist cancellative semigroups which do not embed into a group. On the other hand, it is not difficult to see that every linearly orderable ...

**0**

votes

**0**answers

188 views

**2**

votes

**1**answer

181 views

### On the notion of torsion-freeness in semigroup theory

The following seems to be the "official" notion of torsion-freeness in the context of semigroups:
TF1. A (multiplicatively written) semigroup $\mathfrak A$ is torsion-free if there do not ...

**1**

vote

**1**answer

214 views

### Strictly totally ordered semigroups - Looking for references

Let $\mathfrak A = (A, \cdot)$ be a semigroup (written multiplicatively). We say that $\mathfrak A$ is linearly orderable if there exists a total order $\le$ on $A$ such that $ac < bc$ and $ca < ...

**4**

votes

**1**answer

352 views

### What do we know about the semigroup $e^{it\sqrt{-\Delta}}$

I'm very interested in the properties of the semigroup $e^{it\sqrt{-\Delta}}$, it may has some fundamental differences(such as the kernel) with the well-known schrodinger semigroup $e^{it\Delta}$.
...

**4**

votes

**1**answer

263 views

### Reference for subsemigroups of $\mathbb{N}^n$

A well known result about the natural numbers $\mathbb{N}$ says that for any finite subset $A \subset \mathbb{N}$ there exists $R \ge 0$ such that if $n$ is in the subgroup of $\mathbb{Z}$ generated ...

**2**

votes

**1**answer

220 views

### Embedding Semigroups in Rings

Let $S$ be a finite commutative semigroup with identity. Under what conditions (on the semigroup $S$) it is possible to find a ring $R$ such that the multiplicative structure of $R - \{0\}$ is ...

**3**

votes

**2**answers

254 views

### Minimal right ideals in finite semigroup

Let $E$ be a finite semigroup. According to N. Bourbaki (Algèbre I p. 121 exerc. 14 c), if $M$ and $M'$ are minimal right ideals in $E$, then they are isomorphic. I spent some time browsing through ...

**3**

votes

**1**answer

211 views

### Is the universal inverse semigroup of a commutative semigroup an embedding?

The question of existence of a universal inverse semigroup of an arbitrary semigroup has been answered before (this is a construction similar to the Grothendieck group). Let's refer to the universal ...

**2**

votes

**2**answers

219 views

### Idempotent semigroups: Are they all residually finite?

As pointed out by Mark Sapir in his answer to a related question, every residually finite divisible semigroup is idempotent (hence uniquely divisible). On another hand, it is not difficult to prove ...

**2**

votes

**1**answer

282 views

### On a property of subsemigroups

Let $H$ denote a subsemigroup of a semigroup $G$.
I'm interested in the following property:
$$\forall g\in G\exists h\in H:gh\in H.$$
This property is weaker than the property that $H$ is an ideal ...

**3**

votes

**1**answer

250 views

### A semigroup with the property that $x^n = a$ has at least one solution

Is there a standard name for a (multiplicatively-written) semigroup $(A, \cdot)$ such that, given an arbitrary $a \in A$, the equation $x^n = a$ has at least one solution $x \in A$ for each $n \in ...

**7**

votes

**2**answers

389 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 ...

**7**

votes

**2**answers

316 views

### Is there a general result that theorems about finite structures proved in ZFC can be proved in ZF?

The title question is too vague so let me be specific.
Much of modern finite semigroup theory uses profinite semigroups and properties of profinite semigroups that depend on the existence of prime ...

**3**

votes

**2**answers

436 views

### subsets of $\mathbb{R}^+$ closed under addition

No one's answered this question so here's a simpler question: Has anyone described or catalogued all sets of non-negative real numbers that are closed under addition? In particular, how about those ...

**5**

votes

**2**answers

575 views

### Which semigroups can be linearly ordered?

As usual I consider a semigroup to be a structure $(A, +)$ such that $+$ is an associative binary function over the set $A$. The notion of linearly-ordered semigroup corresponds to structures of the ...

**9**

votes

**3**answers

669 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 ...

**3**

votes

**0**answers

261 views

### Is there a homological way to compute quiver presentations?

I have recently been studying with colleagues the representation theory of certain finite monoids that come up in probability theory and combinatorics, see Ken Brown's beautiful survey here.
These ...

**3**

votes

**2**answers

497 views

### Do these kernel functions satisfy the semi-group property?

Dear Friends,
Define the kernel functions for $a\ge 1$,
$$
G_a(t,x) := \frac{C_a t}{t^{1+1/a}+|x|^{1+a}}, \qquad \forall t>0,\: x\in R\;,
$$
where the constant $C_a$ is some normalization ...

**20**

votes

**2**answers

653 views

### Mapping from a finite index subgroup onto the whole group

Dear All,
here is the question:
Does there exist a finitely generated group $G$ with a proper subgroup $H$ of finite index, and an (onto) homomorphism $\phi:G\to G$ such that $\phi(H)=G$?
My guess ...

**12**

votes

**2**answers

857 views

### Economical hard word problem

Can anyone give me an example of a very simple word problem, where by "simple" I mean that it has very few generators and relations, that is nevertheless insoluble. To make the question easier, I am ...

**4**

votes

**0**answers

240 views

### What is the pro-algebraic completion of the free semigroup on one generator?

This question is motivated by an attempt to understand what is going on in Tom's post from a certain point of view.
Let $\mathbb N^+$ be the free semigroup on one generator (so the positive natural ...

**2**

votes

**1**answer

250 views

### Is there existing terminology for this technical condition on semilattices?

Given a semilattice $S$, a subset $E$, and a positive integer $n$, let $E^{[n]}$ be the set of all products of $n$-tuples in $E$. Thus $\bigcup_{n\geq 1} E^{[n]}$ is nothing but the subsemigroup of ...

**7**

votes

**1**answer

658 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?

**3**

votes

**1**answer

458 views

### Study of free monoids of the recursive S. Eilenberg.

Compared to the usual treatises on recursion (eg, Rogers H. "Computability and Undecidability." McGraw-Hill, New York) the book of Samuel Eilenberg & Calvin C. Elgot "Recursiveness" treats such ...

**3**

votes

**1**answer

258 views

### submonoid of a matrix monoid with a common eigenvector

Hello,
I am considering two real invertible $3\times 3$ matrices $A$ and $B$ and a nonzero vector $v\in\mathbb{R}^3$ and i am wondering if the submonoid $E$ of the monoid $(A,B)$ genererated by $A$ ...

**5**

votes

**3**answers

689 views

### Reference on Semigroup Theory and Parabolics PDE'S

Recently started to study Semigroup Theory. My background is equivalent to the first three chapters of the Jack Hale's book, Asymptotic Behavior of Dissipative Systems.
Looking for a reference to an ...

**0**

votes

**0**answers

156 views

### semigroup actions of groups on regular rooted trees

If $G$ is a group which has a semigroup action on a regular rooted tree via prefix-preserving, continuous transformations (I give the tree the path metric), what kinds of algebraic restrictions can we ...

**1**

vote

**1**answer

200 views

### The intersection of Block Groups and R-trivial (finite) monoids

Let $\textbf{BG}$ be the pseudovariety of block groups, also known as $\textbf{EJ}, \textbf{PG},\ldots,\text{etc.}$(see [1]), and let $\textbf{R}$ be the pseudovariety of R-trivial monoids, by the ...

**6**

votes

**1**answer

196 views

### Positive cone of a subgroup of Z^n

This question sounds like it should be very well known, but for some reason I failed to find a decent answer anywhere. Let $G\subset\mathbb{Z}^n$ be a subgroup, and $G_+=G\cap\mathbb{Z}_{\ge0}^n$ be a ...

**8**

votes

**1**answer

495 views

### Magma “actions” (or alternatively, “What is the Yoneda lemma for magmas?”)

Arguably the most import thing about groups, semigroups and more generally categories, is that they can act on sets (or even collections of sets in the case of a category). This is the basis for all ...

**5**

votes

**1**answer

289 views

### $C_0$-semigroups applications

My graduation thesis was about stability theorems for $C_0$-semigroups (see the Wikipedia article for the definitions: http://en.wikipedia.org/wiki/C0-semigroup). I would like to know if there is ...

**5**

votes

**2**answers

523 views

### Do all finitely generated nilpotent semigroups have polynomial growth?

The notion of nilpotency passes nicely from groups to semigroups. Define $q_1(x,y)=xy$ and $$q_{i+1}(x,y,z_1,\cdots,z_i)=q_i(x,y,z_1,\cdots,z_{i-1})z_iq_i(y,x,z_1,\cdots,z_{i-1})$$ inductively for all ...

**2**

votes

**1**answer

233 views

### Nuclearity of certain semigroup crossed product C*-algebras

This question is related to this question link.
Suppose we have an (abelian) semigroup $S$ acting by endomorphisms on a $C^*$-algebra A giving rise to a semigroup crossed product $B = A\rtimes S$. ...

**5**

votes

**1**answer

447 views

### an example of a semigroup with solvable word problem but unsolvable power problem

We say that a semigroup $S$ has solvable power problem if there is an algorithm that takes as input an element $s \in S$ and decides whether or not there exist $m,n \in \mathbb{N}$ with $m \neq n$ and ...

**5**

votes

**1**answer

457 views

### Percolation in Cayley graphs of semigroups.

Percolation in Cayley graphs of groups are studied by many researchers. There are also the concept Cayley graphs for semigroups. Are there any research about percolation in Cayley graphs for ...

**0**

votes

**1**answer

131 views

### Small set of acts over a countable monoid?

Given a countable monoid $S$, is the set of all (isomorphic representatives of) $S$-acts a small set?

**1**

vote

**1**answer

125 views

### undecidability in the dynamics of functions $f: \Sigma^* \rightarrow \Sigma^*$

Does anyone know any undecidable problems in the dynamics of functions (not necessarily monoid homomorphisms or anything) from \Sigma^* to \Sigma^* where \Sigma is a finite set? In particular, I'm ...

**14**

votes

**12**answers

2k views

### Why semigroups could be important?

There is known a lot about the use of groups -- they just really appear a lot, and appear naturally. Is there any known nice use of semigroups in Maths to sort of prove they are indeed important in ...

**6**

votes

**2**answers

294 views

### need references regarding the elementary theory of free semigroup and free abelian groups

Recently, I read that two free abelian groups $S$ and $T$ have the same elementary theory if and only if rank$S$=rank$T$. Does anyone have a reference with a proof of this? Also, what is known about ...

**5**

votes

**1**answer

261 views

### semigroups acting as continuous functions on regular rooted trees

Let $T$ be a regular rooted tree. Make $T$ into a metric space by making each edge isometric to the unit interval. What is known about what semigroups can act as continuous functions on $T$ such ...

**9**

votes

**3**answers

525 views

### The concept “conjugate class” in monoids.

Is there any concept in monoids that is similar to the concept "conjugate class" in groups? For example, are there any such similar concept in symmetric inverse monoids? Thank you very much.

**0**

votes

**1**answer

255 views

### A Nomenclature Issue : Imprimitive Semigroup?

The following question was asked by me on the forum sci.math.research,
“An imprimitive group is a transitive permutation group with a non-trivial
equivalence relation compatible with the action of ...

**4**

votes

**2**answers

412 views

### examples of finitely generated semigroups that are not residually finite

Does anybody know of any finitely generated semigroups that are not residually finite and whose group of units (if there is an identity) is trivial? Basically, I'm looking for finitely generated ...