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)

0
votes
0answers
26 views

About the norm of a C0-semigroup generator [on hold]

Let $(X,\left\| \cdot \right\|)$ be a banach space, and $\{( T(t))_{t \ge 0}\}$ a $C_{\bf{0}}$ - semigroups and $A$ is generator, $A$ is a closed operator of course, i want to know if that is true: if ...
2
votes
1answer
41 views

Infinitesimal Generator of Ito Diffusion Process

Suppose one has the an Ito process of the form: $$dX_t = b(X_t)dt + \sigma(X_t)dW_t$$ The following is an excerpt from wikipedia My question is on how to derive this operator? It looks very ...
2
votes
2answers
170 views

For a semigroup $\{T(t)\}_{t \geq 0}$, $x=0$ is the only entire element if $T(s)=0$ for some $s>0$

This question is asked in a PDE course, but is primarily focused on semigroup theory. On Banach space $X$, let $\{T(t)\}_{t \geq 0}$ be a strongly continuous semigroup with generator $A:D(A) \subset ...
1
vote
1answer
68 views

In a dagger category, what do we call an arrow $f$ such that $f \circ f^\dagger \circ f = f$?

In a dagger category, what do we call an arrow $f$ satisfying $f \circ f^\dagger \circ f = f$? In $\mathrm{Rel}$ (and, more generally, an allegory) this is straightforwardly equivalent to $f \circ ...
0
votes
0answers
41 views

Calculating the generator of a weighted transition function

Let $(P_t)_t$ be the transition function of a Feller-Dynkin process $X$. The usual Banach space of functions that the semigroup $(P_t)_t$ is working on is $C_0(E)$, i.e. continuous functions that ...
9
votes
1answer
49 views

Let $G$ be a semigroup. If for any $a,b\in G$, the equations $ax=b$ and $ya=b$ are solvable, then $G$ is a group.

I at a loss here. Showing that $G$ has an identity is the difficult part here. Obviously for each $a\in G$ there are $b,c\in G$ such that $ab=a$ and $ca=a$, but I need a hint as to how to prove these ...
4
votes
1answer
37 views

The identity elements of two multiplication satisfying interchange law.

Let $M$ be a set, and $\circ_1,\circ_2$ two binary operations defined on $M$ satisfying that both $(M,\circ_1),(M,\circ_2)$ are semigroups and $(a\circ_1 b)\circ_2(c\circ_1 d)=(a\circ_2 ...
1
vote
0answers
38 views

What is the right (a good) definition for a dual monoid?

Suppose we have the free abelian monoid $S = \{a^m : m \in \mathbb{N}_0\}$ on the set of one element $X = \{a\}$. The binary operation on the monoid is denoted by $\cdot$. If $(T,\ast)$ is another ...
0
votes
3answers
27 views

A semigroup with three or four elements without identity [duplicate]

Does there exist a semigroup with three or four (or finite) elements, without identity? I tried to construct such an example, but every example I tried to construct had an identity element.
1
vote
2answers
63 views

Semigroup without left cancellation law and right cancellation law

Can please someone give example of a Semigroup in which neither left cancellation law hold nor right cancellation law
2
votes
1answer
116 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} ...
1
vote
0answers
13 views

Ellis semigroup

I have only seen the construction of the Ellis semigroup applied to a group endowed with the discrete topology. Does the same idea works for any topological group? If not, where does it go wrong? (I ...
1
vote
1answer
47 views

Question about kinda-sorta identities in algebra

A friend showed me some semi-groups which were constructed as follows. Let $Q = \{ 1, \ldots, n \}$ be a finite set, and let the operation $\cdot$ be defined on $(Q^{2})^{2}$ by \begin{align*} ...
1
vote
0answers
23 views

Showing that an operator is bijective

Assume that $ A $ generates a contraction semigroup on a Hilbert space $ X $, and B is a bounded linear operator on $ X $. I want to show that $ A + B - 2|| B ||I $ with the domain equal to the domain ...
0
votes
0answers
57 views

Classical solution involving semigroups

Let $\{T_{D}(t)\}_{t\ge 0}$ a $C_{0}$-semigroup with generator $A+D$, with $D\in\mathcal{L}(X)$ and let $x_{0}\in \mathcal{D}(A)$. I want to show that ...
0
votes
1answer
18 views

Left and Right Inverses with semigroups

Having the semigroup $(F,\circ)$ where $F=\{f: f: \mathbb{N}\to \mathbb{N}, \mathrm{Dom}(f) = \mathbb{N}\}$. The identity $e∈F$ is the function $e(n) = n$, define the function $g(n) = m$ if ...
2
votes
1answer
94 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 ...
5
votes
2answers
70 views

Why do the interesting antihomomorphisms tend to be involutions?

Given a semigroup $S$, define that an antihomomorphism on $S$ is a function $$* :S \rightarrow S$$ satisfying $(xy)^* = y^*x^*.$ Examples abound. Consider: Transposition, where $S$ equals the set ...
0
votes
1answer
130 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
4answers
706 views

Name for Cayley graph of a semigroups?

I did Google search and can't find a good answer. I thought I should ask experts here. Cayley graph is defined for groups. My question is: Is there a special name for the Cayley graph of ...
3
votes
0answers
177 views

Constructing a semigroup from a small category

The following was given as an example for a semigroup without an identity: Finite sets of matrices of varying dimensions, where the product $A*B=\{PQ \mid P \in A, Q \in B \text{ and } ...
1
vote
1answer
146 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 ...
0
votes
0answers
36 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 ...
2
votes
2answers
29 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
26 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 = ...
1
vote
1answer
49 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
32 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? ...
5
votes
1answer
190 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} \| ...
1
vote
1answer
102 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)}$ ...
5
votes
1answer
261 views

Does every continuous time minimal Markov chain have the Feller property?

Consider a Q-matrix on a countable state space. (A Q-matrix is a matrix whose rows sum up to $0$, with nonpositive finite diagonal entries and nonnegative off-diagonal entries.) As explained for ...
29
votes
10answers
2k views

Are there any interesting semigroups that aren't monoids?

Are there any interesting and natural examples of semigroups that are not monoids (that is, they don't have an identity element)? To be a bit more precise, I guess I should ask if there any ...
1
vote
0answers
38 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 ...
2
votes
4answers
341 views

Example of an associative binary operation, without identities or inverses.

In essence, I am looking for an example of a semigroup or a semicategory (closure is not that important, but it is useful) that is NOT a monoid or category. Hopefully, there is a neat and ...
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 ...
0
votes
1answer
33 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
16 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 ...
1
vote
1answer
35 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 ...
2
votes
2answers
124 views

rectangular groups are completely simple and orthodox

Let $S$ be a rectangular group. i.e $S$ is isomorphic to the direct product of a group and a rectangular band. Show that a semigroup is completely simple and orthodox if and only if it is a ...
3
votes
2answers
54 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 ...
9
votes
2answers
373 views

Can we extend the definition of a homomorphism to binary relations?

This is going to be quite a long post. The actual questions will be at the end of it in section "Questions." INTRODUCTION After receiving an answer to this question about extending the definition of ...
1
vote
1answer
90 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 ...
2
votes
1answer
75 views

Commutative Cancellative Semigroup: When is an irreducible element prime?

Suppose $(S,\cdot)$ is a semigroup with neutral element $e$ (i.e. $xe=ex=x$ for all $x\in S$) and the following properties: S is commutative: $xy=yx$. S is cancellative: $xy = xz$ implies $y = z$. ...
1
vote
2answers
44 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
11 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 ...
0
votes
1answer
32 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
37 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 ...
1
vote
1answer
202 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
0answers
20 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 ...