A semigroup is a set $S$ together with a binary operation that is associative. Examples of semigroups are the set of finite strings over a fixed alphabet (under concatenation) and the positive integers (under addition, maximum, or minimum). Of course, any monoid or group is also a semigroup.

learn more… | top users | synonyms (1)

0
votes
0answers
44 views

An efficient algorithm for computing all semigroups of order n [on hold]

I attached two papers which give an algorithm for computing all semigroups of order n=3, and n=5. I understood the first(table 3) and second(table 4) steps of algorithm, but I can't understand the ...
8
votes
1answer
161 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
1answer
243 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
1answer
87 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
1answer
217 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
1answer
32 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 ...
7
votes
1answer
932 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 ...
3
votes
1answer
139 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 ...
1
vote
1answer
83 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
0answers
71 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
1answer
189 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, +)$ ...
9
votes
2answers
224 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
2answers
338 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 ...
1
vote
0answers
54 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
2answers
710 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
2answers
191 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
2answers
297 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
0answers
77 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
1answer
106 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
12answers
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
1answer
101 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
1answer
110 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
0answers
262 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
1answer
124 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
0answers
46 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
1answer
103 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
1answer
147 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
2answers
263 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
1answer
256 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
0answers
182 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
1answer
95 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
1answer
144 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
0answers
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, ...
2
votes
0answers
56 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
1answer
302 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
0answers
70 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: $$ ...
-1
votes
1answer
78 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 ...
2
votes
1answer
173 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
0answers
50 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
1answer
854 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
0answers
202 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
0answers
228 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
1answer
273 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
3answers
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 ...
3
votes
0answers
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 ...
5
votes
2answers
284 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 ...
1
vote
1answer
100 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
0answers
92 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
0answers
75 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
1answer
67 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 ...