The semigroups tag has no wiki summary.

**0**

votes

**1**answer

68 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

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

90 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

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

**0**

votes

**1**answer

193 views

### Evolution equation on Banach space

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

342 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

66 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

317 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

81 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

153 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

248 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

108 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

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

**2**

votes

**2**answers

97 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

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

**1**

vote

**1**answer

244 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

119 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

92 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

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

**3**

votes

**0**answers

111 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

131 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.)
...

**9**

votes

**3**answers

202 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

47 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

158 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

41 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

99 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

196 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

196 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

91 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

123 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

118 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

170 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

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

**11**

votes

**1**answer

359 views

### Automorphisms of $P(\Bbb N)$

I believe I've proved that the power semigroup of non-negative integers with addition has a trivial automorphism group. The proof is a bit long, completely elementary and rather unremarkable (as the ...

**3**

votes

**0**answers

143 views

### What can we say about a semigroup that's acted on by an ideal of polynomials?

This got no response on MSE, so posting here.
Let $S = \{ (a,b) \in \Bbb{Z}^2 : \gcd(a,b) \neq 1 \} \cup (1,1)$. Then $S$ forms a semigroup. The operation being componentwise multiplication.
Let ...

**2**

votes

**0**answers

59 views

### series representation for *un*bounded perturbations of semigroup generators

Let $A$ generate an analytic $C_0$-semigroup on a Banach space $X$ and $B$ be a relatively compact perturbation, i.e., $B$ is compact as an operator from $D(A)$ (with the graph norm) to $X$. Then ...

**4**

votes

**1**answer

133 views

### Progress on group languages characterizations

Def. A group language is a recognizable language whose syntactic monoid is a group.
q1. Is it known a "nice" combinatorial characterization of group languages ?
q1.1. If no, is it well understood ...

**24**

votes

**3**answers

598 views

### What is the probability two random maps on n symbols commute?

It is well known that two randomly chosen permutations of $n$ symbols commute with probability $p_n/n!$ where $p_n$ is the number of partitions of $n$. This is a special case of the fact that in a ...

**3**

votes

**0**answers

68 views

### Hindman's theorem variant for noncommutative semigroups

The well set proof of Hindman's finite sums theorem applied to noncommutative semigroups yields a sequence of elements such that finite products ordered coherently with this sequence are in one set. ...

**1**

vote

**1**answer

129 views

### Idempotents in Green J classes

I recently read this article Syntactic semigroups. In page $8$, he speaks about a J class having an idempotent is called regular:
A $\mathcal J$-class containing an idempotent is called regular. ...

**2**

votes

**3**answers

278 views

### Generalized free product of semigroups with amalgamated subsemigroups

Hanna Neumann in
[American Journal of Mathematics, 1948,
http://www.jstor.org/discover/10.2307/2372201?uid=2&uid=4&sid=21102497379451 ]
introduced a notion of generalized free product of ...

**6**

votes

**1**answer

182 views

### Strongly continuous semigroups that cannot be contractions

Let $X$ be a Banach space, and $(P_t)_{t \ge 0}$ a strongly continuous semigroup of bounded operators on $X$. Using the uniform boundedness principle, it's simple to prove that there are constants ...

**5**

votes

**2**answers

295 views

### Existence of a possible counterexample in automaton semigroups

In an attempt to resolve a question posed by Cain in his paper on Automaton Semigroups (open problem 6.12), I would like to know if there exists a finite semigroup $S$ satisfying the following ...

**0**

votes

**0**answers

59 views

### Is there a strongly stable semigroup which is not uniformly bounded

Let $X$ be a Hilbert space and let $(T(t))_{t\geq 0}$ a $C_0$-semigroup on $X$, we recall that:
1- $(T(t))_{t\geq 0}$ is said to be uniformly bounded if there exists $M\geq 0$ such that for all ...

**0**

votes

**1**answer

52 views

### Transformation terminology question

Given a transformation $t$ from the transformation semigroup $T_{n}$, if you take powers of $t$ under composition you get a length $s$ stem followed by a cycle. Permutations by definition have a ...

**5**

votes

**2**answers

215 views

### For a monoid with zero $M$, how many additive operations on $M$ can there be making $M$ a ring?

Let $(M,\times)$ be a monoid with zero. Let $\Sigma(M,\times)$ be the set of binary operations $+$ on $M$ such that $(M,+,\times)$ is a ring. Let $\sim$ be an equivalence relation on ...

**4**

votes

**0**answers

82 views

### How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...

**0**

votes

**1**answer

94 views

### What are the semigroups in which congruence classes can be multplied like sets?

For a semigroup $S$ and a congruence $\rho$ on $S$, let's say that $\rho$ is good when for all $a,b\in S$ we have that $[ab]=[a][b],$ where $[x]$ denotes the congruence class of $x$ modulo $\rho$ and ...

**0**

votes

**1**answer

174 views

### Cauculation of a conplex integrand. A question from the book PDE by A. Friedman

In the book Partial Diferential Equations by A. Friedman 1969.
Part 2
on page 104, in the proof of theorem 2.1 (d).
A is a operator of type $(\psi,M)$ ($-A$generate a analytic semigroup), and ...