The semigroups tag has no wiki summary.

**3**

votes

**0**answers

45 views

### dual composition of binary relations

I'm not sure if this is of any interest at all, but I spent some time looking at it a couple of years ago so I'd like to ask for input on this.
Given two binary relations $\rho,\,\sigma$ on a set ...

**1**

vote

**0**answers

57 views

### Lower periodic subsets of groups and semigroups

Suppose that $A$ and $B$ are subsets of a group or semigroup. We call $A$ left
upper [resp. lower] $B$-periodic if $BA\subseteq A$
[resp. $A\subseteq BA$]. If $A$ is both left upper and
lower ...

**0**

votes

**0**answers

42 views

### Example of A semigroup with a unique left invariant measure

I'm looking for an example of a locally compact semigroup that has a unique left invariant measure.
I know that every locally compact group will admit a unique left invariant measere namely the Haar ...

**3**

votes

**1**answer

54 views

### Cosets of the fixer of an action of a monoid on a finite set

Let $M$ be a monoid that acts transitively from the right on a finite set $X$.
Assume furthermore that the action of $M$ on $X$ induces for every $m \in M$ a bijection on $X \to X, x \mapsto x.m$.
Let
...

**2**

votes

**0**answers

62 views

### Pseudovarieties of monoids

All (pseudo)varieties considered here are (pseudo)varieties of monoids.
It is known that any (finite or infinite) monoid that satisfies the identities
\begin{equation}
xhxyty = xhyxty, \quad ...

**3**

votes

**1**answer

90 views

### $C_0$ semigroups on parameterized Banach spaces or moving domains

Is there any literature corresponding to one or two-parameter semigroups such that eg. $T(t) \in \mathcal{L}(X(t))$ or $T(s,t) \in \mathcal{L}(X(t),X(s))$ for parameterized Banach spaces $X(t)$???
I ...

**1**

vote

**0**answers

66 views

### Semigroups on Banach Lattice

Let $\{Z(t)\}_{t\geq 0}$ be a semigroup of positive operators on a Banach lattice $X$. I want to show that
$$\int_0^1[Z(1-s)+Z(1+s)]fds-f\in X_+,\quad f\in X_+$$
Where $X_+$ denotes the positive ...

**3**

votes

**1**answer

125 views

### Semigroups with group like behavior

I'm trying to generalize some results done to groups to the semigroup case. I noticed that the results will not work with a general semigroup, I decided to try to extend the results to the inverse ...

**3**

votes

**1**answer

164 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$?

**4**

votes

**2**answers

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

**4**

votes

**2**answers

155 views

### Lecture notes on semi group theory for linear evolution equations

I am reading (or trying to read :)) One parameter semigroups for Linear Evolution equations by Klaus-Jochen Engel and Rainer Nagel. I was wondering if someone was aware of a good set of lecture notes ...

**7**

votes

**3**answers

317 views

### Haar Measure on Locally Compact Semigroups

I'm reading on Haar measure and we know that every locally compact group admits a Haar measure, is the same true for semigroups? if not, is there a class of semigroups that admits a Haar measure?
...

**1**

vote

**3**answers

356 views

### Is there a general notion of semigroup action?

The analogous result to Cayley’s theorem or Yoneda lemma in semigroup theory represents semigroups as semigroups of functions from a set to itself. This suggests that a semigroup action consists of a ...

**1**

vote

**0**answers

134 views

### Standard name for a Monoid/Semigroup with $a+b \leq a, b$?

I have seen suplattice and inflattice being used when dealing with a lattice. What about when you don't have a lattice?
For instance, for reals $a,b > 0$, define $$a \oplus b = ...

**2**

votes

**0**answers

104 views

### Non-finitely based varieties and pseudovarieties

The variety of semigroups defined by $B=\Big\{(x^py^p)^2=(y^px^p)^2:p \text{ is prime}\Big\}$ is non-finitely based (Isbell, 1970). Is the pseudovariety defined by $B$ also non-finitely based?
More ...

**0**

votes

**2**answers

70 views

### Using group presentation for its corresponding semigroup?

Somewhere Colin M. Campbell noted:
If $A$ is a semigroup defined as $$A=Sg(\pi)=\langle a_1,\cdots, a_d\mid u_1=v_1,\cdots,u_e=v_e\rangle $$ then the same generators with the same relations can ...

**1**

vote

**2**answers

143 views

### a question about semigroups

Let $S$ be a semigroup and $I,J$ be two ideals of $S$. For a semilattice we know that $IJ=I\cap J$. Now the question is there a semigroup with the property $IJ=I\cap J$. thanks for your attention

**4**

votes

**1**answer

174 views

### Is the monoid of taking iterated images and inverse images freely generated by the image and inverse image operation?

Let $\mathcal{F}$ denote the class of all functions. Let $U,L:\mathcal{F}\rightarrow\mathcal{F}$ denote the mappings where if $f:X\rightarrow Y$, then $U(f):P(X)\rightarrow P(Y),L(f):P(Y)\rightarrow ...

**3**

votes

**0**answers

109 views

### Number of k-generated semigroups

Given some $k>1$, I am interested in the number of $k$-generated semigroups of order $n$ (either up to isomorphism or all associative binary operations on an n-element set). At first I thought ...

**3**

votes

**0**answers

107 views

### Orbit-Stabilizer theorem for continuous groups

The orbit-stabilizer relationship (also known as the orbit-stabilizer theorem) is very clear for finite groups. Is there an equivalent relation for continuous groups?
Also, is there a similar notion ...

**2**

votes

**0**answers

70 views

### Semidirect products of semigroups [closed]

Let $S,T$ be two semigroups. A function $f:S\to T$ is called multiplicative if for any $x,y\in S$ we have $f(xy)=f(x)f(y)$. If $T=S$ then $f:S\to S$ is called automorphism on $S$.
A function ...

**1**

vote

**1**answer

233 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, ...

**5**

votes

**1**answer

367 views

### Are semigroups with finite-to-one right multiplication “moving”?

A semigroup $S$ is moving if $S$ is infinite, and for all finite
$F\subseteq S$ and infinite $A\subseteq S$, there are $a_{1},\dots,a_{k}\in A$ such that,
for all but finitely many $s\in S$,
$$
...

**0**

votes

**0**answers

70 views

### Measure generated by Semigroup $\exp[-t|p|]$

I am studying Ingrid Daubechies' paper 'An Uncertainty Principle for Fermions with Generalized
Kinetic Energy'.
On page 514, the measure $\mu_{x,y;t}$ is introduced as generated by the semigroup ...

**7**

votes

**1**answer

322 views

### About the convergence rate for an approximation to the heat kernel

Let $G(t,x)$ be the heat kernel
$$
G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}.
$$
Here is one approximation to $G(t,x)$:
$$
G_\epsilon(t,x)=e^{-t/\epsilon} ...

**-1**

votes

**1**answer

87 views

### Variety of commutative semi group [closed]

V is a variety of commutative semi group satisfying the identity $x^2 = x^3$.
I need to prove that:
$|F_V(\{x_1\dots,x_n\})|$ = $3^n -1$.
Any hints on this ?
$F_V$ is V-free algebra.

**4**

votes

**2**answers

159 views

### Embedding a linearly ordered free monoid into a linearly ordered group

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...

**-4**

votes

**1**answer

268 views

### I need following books (soft copies) [closed]

I know this is not the place to ask for such help, but I cant find these books in my country and not even on line and the shipping is very expensive. If someone out there have any of these books (soft ...

**3**

votes

**0**answers

126 views

### Correspondence between numerical semigroups and polynomials?

A numerical semigroup $A$ is defined as a subsemigroup of the semigroup $(\mathbb{N},+)$ of the positive integers such that the set $\mathbb{N}\setminus A$ is finite. Equivalently (for a subsemigroup) ...

**3**

votes

**0**answers

133 views

### What is the combinatorial data classifying non-normal affine toric varieties?

Recall that a toric variety is a variety $V$ containing an open dense algebraic torus. Here an algebraic torus means a finite product of copies of the multiplicative group of the ground field (which I ...

**5**

votes

**3**answers

175 views

### Locally finite varieties which are not finitely generated

Let $\Sigma$ be a signature consisting of operations with finite arity. Let $\mathcal{V}$ be a variety of algebras for this signature. Further suppose that $\mathcal{V}$ is locally finite i.e. every ...

**5**

votes

**1**answer

120 views

### A question about uniformly bounded semigroups

Let $A$ be an unbounded linear operator of domain $D(A)$ defined on a Banach space $X$. Suppose that $A$ generates a $C_0$-semigroup $T(t)$ which is uniformly bounded. I would like to know if there ...

**2**

votes

**1**answer

338 views

### Coin problem with permutations

Let $a,b,c$ be positive integers with gcd$(a,b,c)=1$, and let $\mathbb{N}$ denote the set of nonnegative integers.
It is well known that $\mathbb{N} \setminus (a \mathbb{N}+b \mathbb{N} + c ...

**2**

votes

**1**answer

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

**3**

votes

**1**answer

106 views

### Integral representation of the resolvent of a semigroup

Let $T(t)$ be a $C_{0}$-semigroup with the generator $A$. Now, does the so called integral representation of the resolvent
$$
(\lambda - A)^{-1} = \int_{0}^{\infty} e^{-t\lambda}T(t) dt
$$
hold for ...

**1**

vote

**0**answers

123 views

### Classification of rings between a PID and its field of fractions?

Let $D$ be a PID and let $\mathrm{Frac}(D)$ be its field of fractions. I want to classify the intermediate rings $D\subseteq R\subseteq \mathrm{Frac}(D)$.
Theorem: Every such ring $R$ is a ...

**4**

votes

**0**answers

172 views

### Computing the pro-solvable closure of a finitely generated subgroup of a free group

The pro-solvable topology on a group $G$ is the unique group topology such that the set of normal subgroups $N\lhd G$ with $G/N$ a finite solvable group is a fundamental system of neighborhoods of the ...

**5**

votes

**1**answer

150 views

### Is irreducibility sufficient for uniqueness of invariant distribution for a Feller Semigroup?

Let $(T_t)$ be a strongly continuous semigroup of positive operators on $C(K)$, where $K$ is a compact space. Assume also that $T_t1 =1 $ for every $t\geq 0$.
(This is also called a Feller Semigroup.)
...

**10**

votes

**3**answers

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

**0**

votes

**0**answers

51 views

### Semigroups admitting generating sets which induce a “weight” on elements of the semigroup

Neither universal algebra nor semigroup theory is something I really know much about, so this question might not be appropriate for MO; if so, I'll move it to MSE.
Recently, I've been playing ...

**3**

votes

**2**answers

162 views

### Examples of cancellative normal semigroups

I've got a couple of things to test against normality in cancellative semigroups. A normal semigroup $S$ is one in which for any $x\in S$ we have $xS=Sx.$ This implies the Ore condition $$x,y\in ...

**0**

votes

**0**answers

42 views

### Decomposition results for locally commutative semigroups

Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...

**2**

votes

**0**answers

110 views

### On the infinitesimal generator of a 1-dimensional stochastic heat equation: core and explicit form

Denote $E = C([0, 1])$. I am consider a 1-dimentional stochastic heat equation on $h$:
$\partial_tu(t, x) = \partial_x^2u(t, x) - V'(u(t, x)) + \dot{W}(t, x)$, for all $(t, x) \in (0, ...

**2**

votes

**2**answers

199 views

### How much information does the multiplicative semigroup of an algebra contain?

How much do we know about an given algebra when we only know its semigroup strucure under the product law?
How far can two algebras be distinguished by knowing only their semigroup strucure?
The ...

**1**

vote

**1**answer

200 views

### positive semigroups and convex operator

Let $\{Z(t)\}_{t\geq 0}$ be a strongly continuous positive semigroup on a Banach lattice V. (endowed with ordering $\leq$). $\phi:V\rightarrow V$ is a convex operator. I want to prove that ...

**2**

votes

**1**answer

93 views

### Maximal sub-inverse semigroups of $M_n(\mathbb{C})$ and $M_n(F_p)$

An inverse semigroup $S$ is a semigroup in which every element $x \in S$ has a unique inverse $y \in S$ such that $x = xyx$ and $y = yxy$. Are there some references characterizing the maximal ...

**1**

vote

**1**answer

127 views

### Relation of spectrum

Let $X$ denotes a complex $C^*$-algebra and $\{Z(t)\}_{t\geq 0}$ is a $C_0$-Semigroup of operators on $X$. If for $x\in X$, I have $x=x^*$ (x is selfadjoint), and its spectrum $\sigma(x)\subset ...

**3**

votes

**1**answer

121 views

### what is the meaning of the operator $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\partial \overrightarrow{v}^2}]$

the name of this operator is one-parameter semigroup
for example $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\partial \overrightarrow{v}^2}]f$，
$ f$is the function of $\overrightarrow{v}$
what is ...

**2**

votes

**1**answer

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

**4**

votes

**1**answer

213 views

### Proving that a semigroup is regular

In a number of diverse situations of interest to me (mostly associated with something called the abelian sandpile model), one can define a nonabelian semigroup generated by commuting elements ...