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
1answer
14 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 ...
-1
votes
1answer
25 views

Verifying a pair $(\mathbb{N}, *)$ is a semigroup

Trying to prove that a pair is a semigroup. The set of natural numbers $\mathbb{N} = \{1,2,3,4,...\}$. Let $*$ be defined for each $x,y \in \mathbb{N}$ by $x*y = \min (x,y)$. How do I prove this is ...
2
votes
1answer
68 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 ...
2
votes
1answer
73 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} ...
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
93 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
700 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
173 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
122 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
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 ...
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
17 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
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
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
179 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
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)}$ ...
5
votes
1answer
255 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
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 ...
2
votes
4answers
289 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
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
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
29 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
115 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
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
2answers
57 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
9
votes
2answers
365 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
85 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
72 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
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
10 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
30 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 ...
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
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
18 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
21 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 ...
4
votes
1answer
97 views

Find a first order sentence satisfied in every finite semigroup but not in every compact semigroup

Several properties that hold in nonempty finite semigroups also hold in nonempty compact semigroups. Furthermore, many of these properties can be formulated by a first order sentence. For instance, ...
1
vote
1answer
35 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 ...
9
votes
5answers
1k views

Is there an idempotent element in a finite semigroup?

Let $(G,\cdot)$ be a finite semigroup. Is there any $a\in G$ such that: $$a^2=a$$ It seems to be true in view of theorem 2.2.1 page 97 of this book (I'm not sure). But is there an elementary proof? ...
2
votes
1answer
133 views

Subsemigroup generated by an element contains unique idempotent [duplicate]

Possible Duplicate: A cyclic subsemigroup of a semigroup S that is a group My homework: An element $s^{i+k}$ on the cycle is idempotent iff $$ s^{i+k} = s^{2i+2k} ,$$ or equivalently ...
1
vote
1answer
58 views

If $\lambda\subseteq\mathscr{L}, \rho\subseteq\mathscr{R}$, then $\lambda\circ\rho=\rho\circ\lambda$.

This is (the first part of) Exercise 2.4 of Howie's Fundamentals of Semigroup Theory. The Details. Quoting Howie (on page 22 of my copy): Definition: A relation $R\subseteq S\times S$ on a set ...
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
61 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, ...
0
votes
1answer
159 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; ...
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 ...