A semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup with an identity element is called monoid.

learn more… | top users | synonyms (1)

2
votes
1answer
36 views

Proving identity of a $C_0$ semigroup

We have a strongly continuous semigroup $\{T(t)\}_{t\ge 0}$ on a Banach space X with a generator $ A:D(A)\subset X\to X$. I need to show that $\displaystyle T(t)x = \sum\limits_{n=0}^{\infty} ...
0
votes
1answer
59 views

Exponential decay estimate involving $C_{0}$-semigroup and the principle eigenvalue

Consider the heat equation defined as $$\begin{cases} \partial_{t}u(x,t)=\Delta_{x}u(x,t) &\mbox{ } t>0\mbox{, } u\in U \\ u(x,t)=0 &\mbox{ } t\ge 0\mbox{, } x\in\partial U \\ u(x,0)=g(x) ...
2
votes
1answer
44 views

Showing that an operator generates a contraction semigroup

Let $A$ be the infinitesimal generator of a contraction semigroup $(T(t))_{t\ge 0}$ on the Hilbert space $X$, and $D\in\mathcal{L}(X)$. I want to show that the operator $A+D-2\|D\|I$ with domain ...
1
vote
1answer
98 views

Proving that T(t)x is in the domain

$(T(t))_{t\ge 0}$ is a $C_{0}$-semigroup on a Banach space $X$ with generator $A:D(A)\subset X\to X$. For $k\ge 2$, define $$D(A^{k}):=\{x\in D(A^{k-1})|A^{k-1}x\in D(A)\}$$ I want to show that for ...
2
votes
2answers
26 views

A criterion for invertibility of a bounded linear operator.

I'm studying Semigroup Theory and I wasn't able to understand a step in a certain proof. As far as I have been able to understand, the author used the following result: If $A$ is a bounded linear ...
1
vote
1answer
46 views

Some weaker axiom than “no nontrivial zero divisors.”

I would like to know if there a standard term for or well-known applications of the following axiom for rings or semigroups with zero (which is weaker than the "no nontrivial zero divisors" axiom): ...
0
votes
1answer
31 views

What is the algebraic structure of sets with a “splitting” operation?

I noticed that any convex shape can be split along a straight line and produce two shapes that are also convex. The general pattern seems like the dual of a semigroup—what is it called? A cosemigroup? ...
0
votes
0answers
33 views

Lummer-Phillips theorem for generator of strongly continuous semigroup

Definition: Let $P_{1}\in\mathbb{K}^{n\times n}$ be invertible and self-adjoint, let $P_{0}\in\mathbb{K}^{n\times n}$ be skew-adjoint, i.e., $P^{\ast}_{0}=-P_{0}$, and let $\mathcal{H}\in ...
1
vote
1answer
16 views

Domain of the infinitesimal generator of the shift semigroup

In a course at my university, we study strongly continuous semigroups and their infinitesimal generators. In a simple example, we take a look at a shift semigroup. let $ T $ be an operator on $ X = ...
0
votes
1answer
29 views

Invariance of semigroups

$A$ is the infinitesimal generator of the $C_{0}$-semigroup $(T(t))_{t\ge 0}$ and $V$ is a one dimensional linear subspace of $X$. I want to show that $V$ is $T(t)$-invariant $\iff$ ...
1
vote
1answer
28 views

Proving strong stability of semigroup

$X$ is the Hilbert space $L^{2}(0,\infty)$ and let $T(t):X\to X$ with $t\ge 0$ be defined by $(T(t)f)(\zeta):=f(t+\zeta)$. I want to prove that the $C_{0}$-semigroup $(T(t))_{t\ge 0}$ is strongly ...
1
vote
0answers
36 views

Bounding the operator

If $X$ is the Hilbert space $L^2(0,\infty)$ equipped with the inner product $$\langle f,g\rangle :=\int_0^\infty f(\zeta)\overline{g(\zeta)}(e^{-\zeta}+1) \, d\zeta,$$ and the operator $T(t):X\to ...
1
vote
1answer
95 views

Generating a contraction semigroup on an energy space

Consider the system of partial differential equations $\displaystyle\frac{\partial Q}{\partial t}(\zeta, t)=-\frac{\partial}{\partial\zeta}\frac{\phi(\zeta, t)}{L(\zeta)}$ ...
1
vote
1answer
15 views

The intersection of *-semigroups with I-semigroups is the class of inverse semigroups?

Howie in his Fundamentals of Semigroup Theory, 2nd ed., p. 103 writes The class of U-semigroups for which the unary operation satisfies the conditions both for a *-semigroup and for an I-semigroup ...
3
votes
2answers
53 views

Cayley's Theorem for Semigroups

I've read and fully understand Cayley's theorem for groups, however when i get to the theorem for semigroups i come to a complete stop. I've figured that the identity and cancellative properties are ...
1
vote
1answer
20 views

An easy example of a non-seminormal (commutative) monoid in generators and relations?

Let $M$ be a commutative monoid. We denote by $M^{Gr}$ its Grothendieck Group (i.e. group of fractions). We then have a morphism $q:M\rightarrow M^{Gr}$. We say that a commutative monoid $M$ is ...
1
vote
1answer
84 views

A rather abstract strongly continuous semigroup

Define $X$ as the Hilbert space $L^{2}(0,\infty)$ and let the operators $T(t):X\to X$, $t\ge 0$ be defined by $(T(t)f)(\zeta):=f(t+\zeta)$ I want to show that $(T(t))_{t\ge 0}$ is a ...
2
votes
1answer
21 views

Is there a logarithmic size generating set for some classes of finite semigroups?

Following my question Why is the minimum size of a generating set for a finite group at most $\log_2 n$?, we know that finite groups have generating sets of size at most $\log_2 n$, and a similar ...
4
votes
1answer
56 views

Does the “equality semigroup” have an accepted name?

Given a set $G$, we get a semigroup on $G \cup \{0\}$ as follows: Define $x^2 = x$ for all $x \in G \cup \{0\}$. Define $xy = 0$ for all distinct $x,y \in G \cup \{0\}$. Question 0. Does this ...
1
vote
2answers
42 views

Find all homomorphisms from a semigroup $(\mathbb{Z},+) \to (\mathbb{Q},+)$

In the book Karpfinger & Meyberg (2013) "Algebra" I encountered this problem. So far I have figured out $\tau(x) = qx$ wehre $q \in \mathbb{Q}$. Are there other homomorphisms? Is there a general ...
0
votes
0answers
9 views

Perturbations of Positive Semigroups with Applications

P is an operator, if P is p-admissible for A then P is p-admissible for A + P. the proof of this theorem is based on the theorem Miyadira-Voiyt. but if we will demonstrate this result in general I ...
5
votes
1answer
175 views

Proof involving strongly continuous semigroups.

Let $ (T(t))_{t \geq 0} $ be a $ C_{0} $-semigroup on a Hilbert space $ X $ with an infinitesimal generator $ A $, and let $ \rho \in (0,1) $. I want to prove that $ \displaystyle \sup_{t \geq 0} \| ...
0
votes
1answer
29 views

Showing that A is NOT an infinitesimal generator

As a state space, choose $X=L^{2}(0,1)$. Let $A$ be defined as $\displaystyle Af=\frac{df}{d\zeta}$ with domain $D(A)=\{f\in L^{2}(0,1)|f$ is absolutely continuous and $\frac{df}{d\zeta}\in ...
0
votes
2answers
31 views

Finding the infinitesimal generation of a strongly continuous semigroup

Let $X$ be a Hilbert space, $A\in\mathcal{L}(X)$ and $\displaystyle T(t)=e^{At}=\sum_{n=0}^{\infty}\frac{(At)^{n}}{n!}$. I have already shown that $T(t)$ defines a $C_{0}$ semigroup. But now I need ...
0
votes
0answers
19 views

Showing that an operator generates a unitary group

Consider the following operator on $X=L^{2}(0,1)$: $\displaystyle Af=\frac{df}{d\zeta}$ with domain: $D(A)=\{f\in L^{2}(0,1)|f$ is absolutely continuous, $\frac{df}{d\zeta}\in L^{2}(0,1)$ and ...
0
votes
1answer
17 views

Proving one of the properties of a strongly continuous semigroup

Let $X$ be a Hilbert space and $A\in\mathcal{L}(X)$ and $\displaystyle T(t)=e^{At}=\sum_{n=0}^{\infty}\frac{(At)^{n}}{n!}$. I want to show that $T(t+\tau)=T(t)T(\tau)$. So we have that ...
0
votes
0answers
20 views

semigroups defined on banach algebra

Let $(X,\|.\|)$ be a Banach space and $Z:=\{Z(t)\}_{t\geq 0}$ is strongly continuous semigroup defined on it. If $X$ turns out to be a Banach Algebra, i.e. for $x,y\in X$, $xy\in X$. Is $Z$ still ...
1
vote
1answer
33 views

Does this show that it is a bounded linear operator?

Let $X$ be a Hilbert space and $A\in\mathcal{L}(X)$. I want to show that $\displaystyle e^{At}:=\sum_{n=0}^{\infty}\frac{(At)^{n}}{n!}=T(t)$ defines a strongly continuous semigroup (i.e. a ...
1
vote
1answer
197 views

L,R,H,D,J relations on a completely simple semi group represented my a rees matrix

I am trying to tackle the following semigroup question. I can't see why my answer is wrong but I haven't used the fact the semigroup is COMPLETELY simple anywhere so I think there must be an error ...
0
votes
1answer
157 views

Proof of Lallement’s Lemma

i am a bit weak with my congruence manipulation when it comes to semigroup theory. Could you possibly check my proof and give me constructive criticism on it? Lemma: Let $S$ be a regular semigroup ...
2
votes
0answers
12 views

Is the unit ball of $H^\infty(\mathbb{D})$ a metrizable topological semigroup under multiplication?

The space $H^\infty(\mathbb{D})$ of all bounded holomorphic functions on the open unit disc carries many different topologies. One such topology is given by uniform convergence on compact subsets; ...
1
vote
1answer
59 views

Drawing a directed graph in Maple

I have been playing around with some Maple today for a semigroup/ graph theory style project. I want to draw a left cayley graph with vertices $\{1,....,12\}$ and edges $[5, 5]$, $\{[6, 2].[7, 1], [1, ...
3
votes
1answer
58 views

Prove that $\{S(t)\}_{t \ge 0}$ is not a contraction semigroup on $L^\infty(\mathbb{R}^n)$

Define for $t > 0$ $$[S(t)g](x) = \int_{\mathbb{R}^n} \Phi(x-y,t)g(y) \, dy \quad (x \in \mathbb{R}^n),$$ where $g : \mathbb{R}^n \to \mathbb{R}$ and $\Phi$ is the fundamental solution of the ...
2
votes
1answer
31 views

Contraction semigroup on $X$ with generator $A$

Let $\{S(t)\}_{t \ge 0}$ be a contraction semigroup on $X$, with generator $A$. Inductively define $D(A^k):=\{u\in D(A^{k-1}) \mid A^{k-1}u \in D(A)\}$ ($k=2,\ldots$). Show that if $u \in D(A^k)$ ...
1
vote
0answers
13 views

“Universal solution” to factorization of arithmetic mean through a semigroup homomorphism.

Headnote A: my apologies for the long winded exposition; I couldn't find a more compact way to convey what I'm looking for, why I'm looking for it, and what have I tried myself. Suggestions for ...
4
votes
1answer
40 views

Justifying an equality involving a closed operator $A$

Justify the equality $$A \int_0^\infty e^{-\lambda t} S(t) u \, dt = \int_0^\infty e^{-\lambda t} AS(t) u \, dt$$ used in (16) of §7.4.1. (Hint: Approximate the integral by a Riemann sum and recall ...
0
votes
1answer
54 views

Prove that $\{S(t)\}_{t \ge 0}$ is a contration semigroup on $L^2(\mathbb{R}^n)$

Define for $t > 0$ $$[S(t)g](x) = \int_{\mathbb{R}^n} \Phi(x-y,t)g(y) \, dy \quad (x \in \mathbb{R}^n),$$ where $g : \mathbb{R}^n \to \mathbb{R}$ and $\Phi$ is the fundamental solution of the ...
2
votes
2answers
40 views

Properties of resolvent operators

I am asked to prove the identities of $(12)$ and $(13)$, which are given on page 438 of the textbook PDE Evans, 2nd edition as follows: THEOREM 3 (Properties of resolvent operators). (i) If ...
2
votes
0answers
26 views

Doubt about semigroups in this article (anyone can help).

I need help in this article. My doubt is very arithmetical and I think follows directly from the definitions. So I think anyone could help me. The author defines what is a semigroup, gaps and ...
0
votes
1answer
27 views

Invertibility of operators related to Markov processes in Ethier-Kurtz

Lemma 2.3 of the book by Ethier and Kurtz (first edition, I believe) defines $$ g_n := (\lambda - A)(\lambda_n - A)^{-1}g $$ for some fixed $ g $ but I see no guarantee that $(\lambda_n - A)^{-1} g ...
2
votes
2answers
52 views

A finite pseudo-ring such that $ab^2=b$ for some $(a,b)\in A$

I have this exercise which I found very difficult: $(A,+,.)$ is a finite pseudo-ring (a structure satisfying all the axioms of a ring except for the existence of a multiplicative identity), and ...
1
vote
2answers
87 views

Semi group presentation $<a, b | a^{2} = b^{2} = 0, aba = a, bab = b>$

Another semi group question here, trying to get my head around the topic. Consider the semi group $S=\left<a, b | a^{2} = b^{2} = 0, aba = a, bab = b\right>$ I need to prove that $S$ has order ...
1
vote
1answer
166 views

If S is finite and $x/\rho$ is an idempotent of $S/\rho$ then $x/ \rho$ contains an idempotent

Currently working on the following problem, need a little help with the solution to the last part, any hints? Q: Let S be a semigroup, and let ρ be a congruence on S. Prove that if e ∈ S is an ...
1
vote
1answer
41 views

How is the following expresson be obtained and the meaning of the expression in blue box?

Let me introduce the term {$E_\lambda:\lambda \geq0$} is the spectral resolution of identity of a self adjoint densely defined, positive and closed operator $A:D(A)\subset X\rightarrow X$ , Where X ...
1
vote
1answer
38 views

A semigroup with identity having exactly one idempotent is a group

Let $G$ be a finite semi-group with identity such that it has only one idempotent.Is $G$ a group? It only remains to show that for any $a\in G$ $\exists b\in G$ such that $ab=ba=e$ where $e$ is the ...
0
votes
2answers
36 views

Isomorphism of a semigroup S and (Aᴬ, ⋅).

I would like to ask you for help with proving the following theorem from our textbook: Any semigroup is isomorphic to a subsemigroup of ($A^A, \cdot$) for a suitable set A. The theorem is then ...
1
vote
1answer
81 views

Associativity in category theory [closed]

In Category Theory, the composition of morphisms must be associative. What would happen if we give up this associative law? For example Lie algebras are vector spaces with non-associative binary ...
2
votes
0answers
28 views

Shift operators and c0 semigroups

I am asked where the bounded continuous functions on $\mathbb{R}$ (with sup norm) with the right shift operators ( $T_t(f)(x)=f(x-t)$ ) form a c0 semigroup. I believe the answer is no, but I am ...
1
vote
1answer
16 views

Closed linear operator

I am having some trouble in showing the following map is closed: For $f\in L^2(\mathbb{R^2})$ with $(x+iy)f(x,y)\in L^2(\mathbb{R^2})$, $M(f)(x,y)=(x+iy)f(x,y)$. I am also asked to find the ...
0
votes
0answers
24 views

Quotients of finitely generated semigroups are finitely generated

Is it true that the quotient of a finitely generated semigroup by a normal subsemigroup is finitely generated? If so, could you suggest a place where the proof is written down?