**2**

votes

**1**answer

87 views

### Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?

For a semigroup $G$ with a left action on itself, the axiom for compatibility becomes:
$$
\forall f,g,h\in G:hg(f)=h(g(f))
$$
Now suppose there is additional axiom, or constraint if you prefer, ...

**-3**

votes

**0**answers

46 views

### On the connections between semigroups and subsemigroups [closed]

Explain the statement and give examples, every subsemigroup is a subset of a semigroup, but not all subset of semigroups are subsemigroups

**7**

votes

**1**answer

1k 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 \mathbb{N}...

**8**

votes

**1**answer

121 views

### Can a semigroup with zero be globally isomorphic to a semigroup without zero?

This is not a great question for sure and it may even be trivial for all I know, but a couple of years ago, when I still thought I'd be a mathematician, I spent quite a lot of time thinking about it ...

**8**

votes

**1**answer

174 views

### Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...

**5**

votes

**1**answer

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

**3**

votes

**1**answer

111 views

### What is known about semigroups that are generated by (cyclic) subgroups?

A semigroup $(A,\cdot)$ that is idempotent (i.e. $a^2=a$ for every element $a\in A$) is naturally generated by its subgroups (every element on itself constitutes a trivial group). I would like to know ...

**4**

votes

**1**answer

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

**1**

vote

**1**answer

37 views

### On extending a semigroup property

Let $T(t)$ be a $C_0-$semigroup on a Hilbert space $H$ with a generator $A$.
It is well known that for all $x\in H,$ we have: $ \int_0^t T(s)x ds \in D(A) $ and $ A\int_0^t T(s)x ds = T(t)x-x$.
How ...

**3**

votes

**1**answer

141 views

### Is every $n$-ary semigroup a subalgebra of an algebra derived from a binary semigroup?

Let $(A,f)$ be an $n$-ary semigroup ($n \ge 2$). Then there exists a ($2$-ary) semigroup $(\overline A,*)$ with an inclusion homomorphism $A \hookrightarrow \overline A$ such that that the restriction ...

**1**

vote

**1**answer

101 views

### $L^p-L^q$ estimates for heat equation - regularizing effect

Where can I find a proof of the following estimate
$$\|S(t)v\|_{L^p(\Omega)}\leq C_{N,p,q} t^{-\frac{N}{2}\left(\frac{1}{q}-\frac{1}{p}\right)}\|v\|_{L^q(\Omega)}, $$
where $1\leq p<q<+\infty$, $...

**0**

votes

**0**answers

78 views

### Embedding a cancellative monoid into another in such a way that $|X-x|=|X|$, where $X$ is a fixed finite set and $x\in X$

Preliminaries.
Let $\mathbb A = (A, +)$ be a possibly non-commutative semigroup. For $X, Y \subseteq A$ we set
$$
X - Y := \{a \in A: a + y \in X\text{ for some }y \in Y\},
$$
which is just the usual ...

**6**

votes

**1**answer

196 views

### Embedding a cancellative monoid into another in such a way that a prescribed element becomes left-invertible

Let $\mathbb A = (A, +_A)$ be a cancellative, but possibly non-commutative, monoid with identity $0$, and fix an element $x \in A$. Does there always exist a cancellative monoid $\mathbb B = (B, +)$ ...

**8**

votes

**2**answers

246 views

### Sets of matrices which are irreducible but not strongly irreducible

A set of $d \times d$ real or complex matrices is commonly called irreducible if those matrices do not jointly preserve a linear subspace with dimension strictly between zero and $d$. A stronger ...

**10**

votes

**2**answers

343 views

### Iterated sumset inequalities in cancellative semigroups

This question is motivated by the following well-known theorems:
Thm (Plünnecke): If $A$ is a finite nonempty subset of an abelian group, then for every $n$ we have $|A^n| \le \frac{|AA|^n}{|A|^n}|...

**1**

vote

**0**answers

57 views

### Can a semigroup be defined on a Banach algebra? [closed]

I simply need to know that how a semigroup of operators (say $\{T(t)\}_{t\geq 0}$) is defined on any Banach algebra (say $X$)? For $(f,g\in X)$ now the so called product is also there i.e. $f.g\in X$. ...

**1**

vote

**2**answers

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

**3**

votes

**2**answers

198 views

### Airy's equation on $\mathbb R_-$

I am interested in Airy's equation
$$\frac{\partial u}{\partial t}(t,x)=-\frac{\partial^3 u}{\partial x^3}(t,x)$$
on a bounded or semi-bounded domain, e.g. on $(-\infty,0)$. In order to obtain a group ...

**2**

votes

**2**answers

299 views

### Projective limit construction of a semigroup

Let $\tilde{\mathbb N}$ be the Abelian semigroup (under addition) given by $\mathbb N\cup\{0,\infty\}$, and let $S_n$ be the Abelian monoid $\tilde{\mathbb N}^{2^n}$ under point-wise addition. ...

**1**

vote

**0**answers

82 views

### Heat semigroup ultracontractive?

Let $g(x,t)= \frac{1}{(4 \pi t)^{\frac{n}{2}}}e^{\frac{-|x|^2}{4t}}$ be the heat kernel on $\mathbb{R}^{n}.$ Is the standard definition now to say that this heat-semigroup $T(t)(f):=g *f(.,t)$ is ...

**4**

votes

**1**answer

130 views

### Restriction of a semigroup to a form domain

Say, we have a Hilbert space $H$ with a semibounded self-adjoint
operator $A:D(A)\to H$ generating a strongly continuous semigroup
$T(t):H\to H$. Is it possible to restrict $T(t)$ to a form domain of ...

**14**

votes

**12**answers

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

**9**

votes

**1**answer

108 views

### A generalisation of $C_0$-semigroups

A $C_0$-semigroup is a strongly continuous family $\{T(t)\}$ of bounded linear operators on a normed space $X$, indexed in $\mathbb R_+$ and with two additional properties that make it look like an ...

**0**

votes

**1**answer

111 views

### Markov chain with Feller property

Does anybody know whether there is an analysis of when the monotone decreasing chain has the Feller-property?
The monotone decreasing is defined as a chain on $\mathbb{N}$ and the rate of going down $...

**13**

votes

**0**answers

269 views

### A functional inequality about log-concave functions

Let $f,g$ be smooth even log-concave functions on $\mathbb{R}^{n}$, i.e.,$f=e^{-F(x)}, g=e^{-G(x)}$ for some even convex functions $F(x),G(x)$. Is it true that:
$$
\int_{\mathbb{R}^{n}} \langle \...

**4**

votes

**1**answer

128 views

### Is this notion of 'closed subset' of a semigroup action something people have thought of?

Suppose $S$ is a semigroup (or a monoid, or a category), and $X$ is an $S$-set -- that is, a set with an action of $S$. Say that a sub-$S$-set $Y$ is "downward closed" (or maybe "well-generated") if ...

**1**

vote

**0**answers

47 views

### Factorization of the Fokker-Planck semigroup

I have posted this question on stackexchange over four month ago, but didn't get an answer: "In the classical theory of Markov processes, the Fokker-Planck semigroup $\{T_t:t\ge 0\}$ can be factored ...

**3**

votes

**1**answer

106 views

### Markov-semigroup sobolev inequality

I have a question about the following definition:
A probability measure $\mu$, such that the Markov semi-group $e^{Lt} \in L(L^2)$ exists and is symmetric, satisfies the Sobolev inequality iff for ...

**6**

votes

**1**answer

170 views

### Is every $C_0$ semigroup on a Hilbert space automatically a $C_0$ group on a larger space?

Let $\{T(t),t\ge 0\}$ be a $C_0$ semigroup on a Hilbert space $X$, does that exist a larger Hilbert space $Y$ such that $X\subset Y$, and $T(t)$ extend to a $C_0$ group $T'(t)$(so $t<0$ make sense ...

**2**

votes

**2**answers

264 views

### “Generalisation” of one-parameter semigroups

Let $(Y,\left\|\cdot\right\|_Y)$ be a Banach space and $A:D(A)\subset Y \to Y$ a closed operator. Studying dynamical systems of the form
\begin{equation}
u'=Au
\end{equation}
quickly leads to the ...

**2**

votes

**1**answer

257 views

### Vocabulary on monoid periodicity

I'm learning about periodic languages, and I'm confused over the vocabulary used to describe the periodicity of (syntactic) monoids.
If I understand correctly, a monoid M is periodic if :
$$(\forall ...

**9**

votes

**0**answers

186 views

### Embedding $\beta\mathbb{N}$ into a product of Cantor sets

Let us consider $\beta\mathbb{N}$, the Stone-Czech compactification of the natural numbers (where we do not take $0$ to be a natural number, so the only idempotent elements are nonprincipal ...

**0**

votes

**1**answer

97 views

### Solutions of an nonlinear evolution problem

We consider the following continuous-time nonlinear evolution problem
\begin{equation}
\begin{cases} \dot{y}(t)=Ay(t)+F(y(t),u(t)),\quad t\geq0\\y(0)=f\in\mathcal{X}\end{cases}
\end{equation}
where ...

**0**

votes

**1**answer

145 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

**0**answers

66 views

### Is there a general theory for the structure of the (semi)group generated by morphisms of an affine space $F_p^3$?

Consider an affine space $\mathbb{F}_p^3$, and assume we have a handful of morphisms $f_i : \mathbb{F}_p^3 \rightarrow \mathbb{F}_p^3$ given by $$f_i(x, y, z) =(P_i(x, y, z), Q_i(x, y, z), R_i(x, y, z)...

**2**

votes

**0**answers

58 views

### Terminology for torsion semigroups where the order of elements is uniformly finite

A (multiplicatively written) semigroup $\mathbb A = (A, \cdot)$ with the property that ${\rm ord}_\mathbb{A}(a) := |\{a^n: n \in \mathbf N^+\}| < \infty$ for every $a \in A$ is called a periodic (...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

71 views

### Semigroup solution via Lumer-Phillips

Let $a$ be a coercive, bounded bilinear form on $H^1(\Omega)$, where $\Omega$ is some sufficiently "nice" region. I defined an operator $A:H^1(\Omega)\mapsto H^1(\Omega)^*$ by:
$$
(Au)[v]=a(u,v)\,\,\,\...

**-1**

votes

**1**answer

81 views

### Infinitesimal generator is bounded [closed]

Consider a strongly continuous semigroup of bounded linear operators $S(t):X\to X$. The infinitesimal generator of $S(t)$ is the linear operator $A:D(A)\subseteq X \to X$ defined by
$$D(A):=\bigg\...

**2**

votes

**1**answer

174 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}$ ...

**2**

votes

**0**answers

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

**4**

votes

**1**answer

855 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

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

**1**

vote

**0**answers

236 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}, ~~~r>0,-\frac{\pi}...

**4**

votes

**1**answer

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

**11**

votes

**3**answers

1k 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 $\underline{...

**3**

votes

**0**answers

119 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 $\ell(R/\...

**5**

votes

**2**answers

286 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 $a_1,\...

**1**

vote

**1**answer

101 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

95 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 $X,$...