# Tagged Questions

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.

71 views

### Example of a semigroup with unique idempotent which is not a monoid

I am searching for an example of a semigroup, with unique idempotent element, that is not a monoid. Please help.
28 views

82 views

### Understanding the definition of a Integral

Definition: Let $X$ be a Banach space and $I$ the identity operator on $X$. A family $\{T(t)\}_{t\geq 0}$ of bounded linear operators from $X$ into $X$ is a semigroup of bounded linear operator on ...
79 views

### Is Writing a Semi Group?

While writing this question, I compose letters from a set $L=\{a,...z,A,...Z\}\cup\{\;\text{ } \;\}$. Writing has a binary operation which is associative. The result always is an element of $L^n$. ...
56 views

### Proof of no identity element in a multiplication semi group

I have a question from my workbook: Let $\mathrm{E}$ denote the set of even integers. This forms a semi-group under multiplication. Show that there is no identity in this semi-group. Now this is ...
19 views

### An intersection equation in semigroups

Do you have an example of a semigroup $S$ and a collection of its subsets $(A_i)_{i\in I}$ and $a\in S$ such that $$a\big(\bigcap_{i\in I}A_i\big)\ne\bigcap_{i\in I}aA_i$$ ?
56 views

### Is a core for the generator of a Feller semi-group invariant under the resolvent?

Let $\{T_t:t\geq 0\}$ be a Feller semi-group acting on $C_0(\mathbb{R})$ with generator $(A,\mathcal{D}_A)$. We know a subspace $D\subset \mathcal{D}_A$ is a core for $A$ if $(\lambda-A)D$ is dense in ...
44 views

### Semigroups and units

I am working my way though Basic Algebra 1. I am currently on chapter 1 , and more specifically I busy with the following exercise: "Let $S$ be a set a define a product in $S$ by $ab=b$. Show that ...
46 views

### How to show $c-b\lt b-a$

The question: Let $G$ be an Arf semigroup and $a\lt b\lt c$ be three consecutive elements in $G$. How to show that $c-b\lt b-a$ and how to show that this is not necessarily the case for every ...
58 views

### Prove that a cyclic semigroup is either finite or isomorphic to $\langle \mathbb{N},+ \rangle$

A semigroup $G$ is cyclic if $G$ is generated by a single element. I know that a finite cyclic group generated by $a$ is necessarily abelian, and can be written as $\{1, a, a^2, . . . , a^n−1\}$ ...
132 views

### Semilattices are congruence-semi-distributive

A semilattice $(S,\cdot)$ is a commutative idempotent semigroup. A congruence on a semilattice is an equivalence relation that preserves multiplication, i.e. $x_1\mathrel{\theta} y_1$ and ...
80 views

### Involution on inverse semigroups

I'm trying to prove the following for inverse semigroups $\bf Def:$ an inverse semigroup $S$is a semigruop such that for each $x\in S$ the exists a unique $y\in S$ such that $xyx=x$ and $yxy=y$. An ...
37 views

### Isomorphism of direct product of semigroups

I would appreciate some help with the following problem. Consider four semigroups $A,B,C,D$. I was able to prove that $A\cong C\wedge B\cong D$ implies $A\times B\cong C\times D$. But does also ...
119 views

### Are these adjoint functors to/from the category of monoids with semigroup homomorphisms?

Do the forgetful functors $G_H:\bf Monoid \to \bf Semigroup^1$ and $G_O:\bf Semigroup^1 \to \bf Semigroup$ have left and/or right adjoints? Here $\bf Semigroup$ is the category of semigroups with ...
47 views

### positive integer polynomial under the usual polynomial multiplication

consider the set of polynomials with positive integer coefficients together with the operation, usual multiplication of polynomials. now my first question is does this set together with the ...
21 views

### Proof of commutativity for topological I-semigroups

A topological semigroup on a closed interval I and order topology is called I-semigroup if 1 acts as an identity and 0 as an annihilator. I've seen in several articles that such I-semigroups should ...