The semigroups tag has no wiki summary.

**2**

votes

**1**answer

149 views

### Contraction semigroup

Let $(X, \mu)$ be a finite measure space and let $A$ be a non-negative self-adjoint operator which generates a contraction semigroup $e^{tA}$ on $L^2(X, \mu)$. If additionally, we have that $e^{tA}$ ...

**4**

votes

**1**answer

149 views

### Sets of natural numbers such that sums of a bounded number of its elements form a semigroup

This is a naive question and I'm afraid it might be better placed on math.se. I would like to leave it to your judgement.
I would like to know what is known about sets $A$ of natural numbers such ...

**1**

vote

**0**answers

37 views

### Goldie's Theorem for Semigroups

Goldie's theorem is a theorem in noncommutative ring theory that gives a clear picture of semiprime Noetherian rings (actually a slightly broader class). Let $R$ be a semiprime Noetherian ring. The ...

**3**

votes

**1**answer

818 views

### Who coined “mob” and “clan” and why these words?

A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element.
Who used these words with these meanings first and ...

**3**

votes

**0**answers

97 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$ ...

**11**

votes

**3**answers

932 views

### Non-abelian Grothendieck group

By general nonsense the forgetful functor from groups to monoids has a left adjoint. It maps a monoid $(X,\cdot,1)$ to the free group on $\{\underline{x} : x \in X\}$ modulo the relations ...

**1**

vote

**0**answers

182 views

### Estimating the kernel of Poisson semigroup $e^{-z\sqrt{-\Delta}}$ for complex $z$

Let $f(z,a)$ be an analytic function on $C^+=\{\Re z>0\}$ for each fixed $a>0$, and we have the following (weaker) estimates
$$
|f(re^{i\theta},a)|\leq C (r\cos\theta)^{-n}, ...

**4**

votes

**1**answer

224 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

**0**answers

110 views

### On the computational complexity of the Hilbert polynomial of numerical semigroup rings

Let $(R, \mathfrak{m}) = k[[X^a, X^b, X^c]]$, $a<b<c$, $gcd(a, b, c) = 1$, be a semigroup ring. We have $R$ is a Cohen-Macaulay local ring of dimension one. It is well known that ...

**1**

vote

**1**answer

82 views

### Non-idempotent ultrafilters in the Stone-Cech compactification

Supposing that $\Gamma$ is an infinite, discrete group and that $\beta\Gamma$ is the Stone-Cech compactification of $\Gamma$, the group structure of $\Gamma$ can be extended to a semigroup structure ...

**3**

votes

**0**answers

82 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

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

**3**

votes

**1**answer

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

**3**

votes

**0**answers

86 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

93 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

69 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

194 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

179 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

249 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

384 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

438 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

151 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

111 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

105 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

146 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

177 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

134 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

132 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

84 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

241 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

383 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$,
$$
...

**7**

votes

**1**answer

328 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

93 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

168 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

**0**answers

141 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

144 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

217 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

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

**3**

votes

**1**answer

485 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

137 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

127 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

139 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

248 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

166 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

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

**3**

votes

**2**answers

177 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

47 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

126 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

201 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

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