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. This tag is most frequently used for questions related to the concept of semigroups in the context of abstract algebra. Please use the more ...

learn more… | top users | synonyms (1)

1
vote
1answer
210 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
168 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
15 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
95 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
67 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
45 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
17 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
42 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
62 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
70 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
28 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
57 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
90 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
175 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
44 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
43 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
40 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
98 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
38 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
19 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 ...
4
votes
1answer
100 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, ...
8
votes
1answer
90 views

Semigroups and solutions of equation

It is easy to prove: in a finite semigroup if for all $a$ and $b$, $ax=b$ and $ya=b$ has unique solution. then it is group. But if in a finite semigroup, if for all $a$ and $b$, $ax=b$ and $ya=b$ has ...
4
votes
0answers
54 views

Semigroup satisfying the cancellation property which cannot be embedded in a group

There is a basic result about commutative semigroups which says Any commutative semigroup satisfying the cancellation property can be embedded in a group. However, I read that Not every ...
1
vote
0answers
53 views

Schrödinger Semigroup is compact if potential goes to infinity

Several papers (e.g. this one: arXiv:0810.3275v1 [math.SP] 17 Oct 2008 ) claim that if $H=-\Delta+V$ and $V(x)\to\infty$ if $|x|\to\infty$, then the semigroup $e^{-tH}$ is eventually compact. Does ...
5
votes
8answers
512 views

Does a non-abelian semigroup without identity exist?

I was introduced to semigroups today and had a question. So all the examples of semigroups I was given were either monoids or groups. So I was curious, does there exist a semi-group which is not ...
1
vote
1answer
50 views

How to show that S/J is a chain where S is a semigroup with no proper generating sets

I'm Struggling with exercise 4.7.17 of Howies Fundamentals of Semigroup theory Let $S$ be a non-trivial semigroup with the property that no proper subset of $S$ generates $S$. Show that each ...
1
vote
1answer
96 views

Let $S$ be a completely regular semigroup, expressed as a semilattice $Y$ of completely simple semigroups $S_{\alpha}$ ($\alpha \in{Y})$

Show that, if $L$ is a left ideal of $S_{\alpha}$, then $$L \cup [\cup \{S_{\beta} : \beta < \alpha\}]$$ is a left ideal of $S$. Suppose now that $S= ...
7
votes
1answer
125 views

Is there a name for a regular semigroup with zero in which the product of any two different idempotents is zero?

As the title says, my question is: is there a name for a regular semigroup with zero in which the product of any two different idempotents is zero? Note that any such semigroup is necessarily an ...
2
votes
2answers
143 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 ...
2
votes
1answer
86 views

Do the idempotents in an inverse semigroup commute?

I have been looking at this for hours now. Why is it true that idempotents of an inverse semigroup commute? It seems like this should be straightforward but I just can't get it. Any help is greatly ...
1
vote
2answers
74 views

Does Green's $\mathcal{J}$-relation define a total order on the equivalence classes?

In a semigroup $S$ we define $a\le_\mathcal{J} b$ iff $a=xby$ for some $x,y\in S^1$. Defining $a\equiv_\mathcal{J} b$ by $a\le_\mathcal{J} b$ and $b\le_\mathcal{J} a$ gives a partial order on ...
2
votes
2answers
58 views

Proving that the binary operator of a group is commutative if the relation on the group is a partial order

What's probably worst is that this is a repost, as I was stuck on 3. before. The question is this: Throughout this question, we shall denote by $\neg$ the relation on a semigroup $(A, * )$ defined ...
6
votes
1answer
93 views

Proving that if the semigroup (A, *) is a group, then the relation is an equivalence relation.

I'm aware that posting exam questions is probably frowned upon, but this isn't homework, I think I'm genuinely misunderstanding some part of the algebra. The question is this: Throughout this ...
3
votes
1answer
50 views

About a semigroup equipped by zero

I didn't find a useful related link in which someone could equip a semigroup with a zero while using GAP via web. Theoretically, we can make the semigroup $S$ fat to be $S^{0}=S\cup\{0\}$ with ...
2
votes
2answers
39 views

Non-unital commutative semigroups $S$ such that for all $x \in S$, the function $S \rightarrow S$ given by $y \mapsto x+y$ is a bijection?

Does there exist a commutative semigroup $S$ with the following (additively denoted) properties? For all $x \in S$, the function $S \rightarrow S$ given by $y \mapsto x+y$ is a bijection. $S$ has no ...
4
votes
1answer
77 views

Can a smooth function on the reals form a non-commutative semigroup?

Let $f\colon \mathbb{R}^2 \to\mathbb{R} $ be a smooth function. Can there exist an algebraic structure $(\mathbb{R}, \cdot)$ such that for $x,y \in \mathbb{R}$, $x \cdot y = f(x,y)$ that is a ...
2
votes
4answers
387 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 ...
0
votes
1answer
23 views

Can we define unitary representations on semigroups

A representation on a semigroup $S$ is a pair $(\pi,H_\pi)$ where $\pi$ is a homomorphism from $S$ into $B(H_\pi)$ and $H_\pi$ is a Hilbert space. In the group case, a representation $\pi$ of a group ...
3
votes
1answer
83 views

Subsets of a monoid closed under left-multiplication by elements of a submonoid

Let $M, T$ be monoids (or, semigroups) with $M \subset T$. Then we can consider subsets $S$ of $T$ that are closed under left-multiplication by something in $M$, i.e. $$ a \in S, m \in M \implies ma ...
0
votes
1answer
55 views

Is this a*b = a is semigroup and commutative?

Let S be any nonempty set with the operation a * b = a. Is (S,*) a semigroup? Is it commutative? I dont know what to do if a * b = merely a. Usually if a * b = anything that have operation i know how ...
2
votes
1answer
36 views

$A_1,A_2,A_3$ forms a partition of $\mathbb N_{>0}$ and $a,b,c \in A_i \implies a+b+c \in A_i$ then at-least one of $A_i$ is closed under addition?

If $A_1,A_2,A_3$ forms a partition of $\mathbb N_{>0}$ such that for any $i=1,2,3$ ; $a,b,c \in A_i \implies a+b+c \in A_i$ then is it true that at-least one of $A_i$ is closed under addition ? I ...
0
votes
1answer
98 views

What do the operator semi-groups have to do with PDE's?

Can anybody please help me to understand what does the semi-group do with partial differential equations? We started this subject very recently and we are now in the proof of Hille-Yosida Theorem, ...
1
vote
2answers
57 views

How to prove the generator for strongly continous contraction semigroup?

I have a self adjoint operator, which is also negative semi-definite, I have also a Hilbert space. How to show that the given operator with given X Hilbert space is the generator for strongly ...
12
votes
6answers
486 views

Just How Strong is Associativity?

A friend of mine is using a lot of algebra that is not associative for an advanced Chemistry project. We were discussing it recently and I found it rather amusing how often she said things like ...
10
votes
4answers
343 views

Partition of $\mathbb{R}^+$ into two semigroups

Can the semigroup $(\mathbb R^+ ,+)$ be partitioned into two semigroups? I have been trying but haven't found anything, please help.
0
votes
1answer
40 views

What's a semidirect product of semigroups?

I see many references to the notion in the title on the internet, but I can't find a definition. Could you please give one? A short introduction to the theory of such products (especially one relating ...
1
vote
1answer
59 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
votes
1answer
32 views

Semigroup of a group and identiy

If $(G, *)$ is a group and $£$ is restriction of $*$ on subset $S$ of $G$. Is there some semi-group $(S, £)$ such that identity of $(S, £)$ and $(G, *)$ are different.
1
vote
2answers
72 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