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)

2
votes
2answers
48 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 ...
0
votes
1answer
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 ...
2
votes
2answers
62 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\}$ ...
3
votes
1answer
140 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 ...
2
votes
2answers
88 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 ...
0
votes
1answer
40 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 ...
7
votes
2answers
134 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 ...
1
vote
1answer
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 ...
3
votes
0answers
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 ...
1
vote
1answer
64 views

Findout if $\min(x,y)$ and $\max(x,y)$ are semigroup, monoid or group

I need to find out whether $A \oplus B := \max(A,B)$ or $A \ominus B := \min(A,B)$ form a semigroup, monoid or group for $\oplus : \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ and $\ominus : ...
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 ...
1
vote
1answer
52 views

Generalising cover maps from monoids to semigroups

Let $T,S$ be monoids. A partial surjective mapping $\psi : T \to S$ is called a cover map if for each $s \in S$ there exists some $\hat{s} \in T$ called a cover of $s$ such that for each $t \in ...
2
votes
0answers
28 views

How to calculate when a specific semigroup is closed under conjugation by this group.

Let $\mathcal{T}_n$ be the set of $n \times n$ matrices such that $X\in \mathcal{T}_n$ can be written as: $$X = \bigl( \begin{array}{cc} 1 & \overline{0} \\ T & \underline{0} \end{array} ...
2
votes
1answer
101 views

What does $\mathcal{J}$ stand for in Green relations?

Following this book The Algebraic Theory of Semigroups, Volume I , we see that: $a\mathcal{L}b$ means $a$ and $b$ generate the same principle left ideal of the semigroup $S$. $a\mathcal{R}b$ means ...
2
votes
1answer
58 views

Testing for the cancellation laws

When I'm given a presentation of a finitely generated semigroup/monoid, are there any tricks I could use to check if it is cancellative on both sides? I'm not asking for a general algorithm, as I ...
1
vote
0answers
44 views

Rotation semigroup and identity element.

Let $\Gamma =\{z\in\mathbb{C}:|z|=1\}$, and $X=C(\Gamma)$. The rotation semigroup $\{T(t)\}_{t\geq 0}$, is defined as $$T(t)f(z)=f(\mathrm{e}^{it}z),\quad f\in X.$$ $Z\in X$, s.t. for all ...
1
vote
0answers
60 views

looking for books on topological semigroup:

I'm looking for several books on topological semigroup: Topological semigroups: history, theory, applications. Karl Heinrich Hofmann Mathematics Research Library, Tulane University. The ...
4
votes
1answer
156 views

Naturally Ordered Semigroup: Why does axioms imply order of group is infinite countable ? Why are every group equal up to isomorphism?

Naturally Ordered Semigroup: http://www.proofwiki.org/wiki/Definition:Naturally_Ordered_Semigroup I know $\mathbb N$ is a naturally ordered semigroup by definition. Also I know that the naturally ...
2
votes
0answers
201 views

Partial differential equations and semigroups: explanation of an example.

The semigroup theory (as presented in Pazy's book) give us theorems that ensures existence of solutions for the abstract cauchy problem $$\left\{\begin{align*} ...
9
votes
0answers
71 views

What can we learn about a magma by studying these monoids?

Given a magma $(X,*)$, we get three monoids in the following way. First, define a pair of functions $L,R : X \rightarrow (X \rightarrow X).$ $$(Lx)(y) = x*y,\quad (Rx)(y) = y*x$$ Then each of the ...
1
vote
1answer
54 views

Does Cartesian Product and Collection of all Sets Perform a Semigroup?

We know that the Cartesian Product is a binary operation. Also it is an associative operation. We know that Cartesian Product of two set is again set, there is even closure axiom. So I need to know ...
1
vote
2answers
61 views

If a semigroup satisfies these identities, is it necessarily commutative?

Suppose a semigroup $X$ satisfies the following identities. $$xya\equiv yxa,\quad axy \equiv ayx$$ Without assuming anything further, can we deduce that $X$ satisfies $xy \equiv yx$? In particular, ...
0
votes
1answer
53 views

Solution $\chi$ of $\chi_k(x)=\chi_x(f_k(x))$ given $f_k$ bijective

Given a family $\{ f_a \}_{a\in H}$ of bijective functions over a set $H$ I need to find a family of functions $\{ \chi_a \}_{a\in H}$ from $H$ to $H$ such that for every fixed $k$ in the family ...
2
votes
1answer
81 views

(Transformation) Semigroups, the semigroup $\mathbf D_n$ and the wreath product

I have some trouble understanding the following proof, were I can't even figure out how some terms are defined. But first I state some definitions and preliminary lemmas. A transformation semigroup ...
0
votes
1answer
32 views

Do cosets of this semigroup partition this ring?

Let $R = \Bbb{Z}^3$ be the usual direct product ring, and let $S = \{ (k^a, k^b, k^c) : k \in \Bbb{Z} - \{0\}\}$ be a subsemigroup of $R$. Then do the cosets $aS$ partition $R$? Let $R^* = S^{-1}R$ ...
1
vote
1answer
70 views

Unique idempotents in semigroups

In a finite semigroups every element has a unique idempotent power, just take $s^{n!}$ where $n = |S|, s \in S$. In an infinite semigroup there are clearly elements without idempotents, just take ...
4
votes
1answer
100 views

Are there interesting examples of medial non-commutative semigroups?

There exist semigroups $S$ (written additively) such that $S$ is medial, meaning $(a+b)+(a'+b') = (a+a')+(b+b')$. $S$ is not commutative. Example. The left (and right) zero semigroups are all ...
0
votes
2answers
78 views

Is there a finite commutative semigroup $S$ with $S^2 = S$ which is not a monoid?

Is there a finite commutative semigroup $S$ with $S^2 = S$ which is not a monoid? where $S^2=\{ab\mid a,b\in S\}$. As is known, if such $S$ can be a ring with an addition then it is a monoid? So if ...
1
vote
0answers
89 views

fraction power of operators in $C_0$ semigroup.

Let $X$ be Banach space, and $\{Z(t)\}_{t\geq 0}\subseteq B(X)$ be the $C_0$-Semigroup of operators defined on $X$. Moreover, let $A$ be the infinitesimal generator of $\{Z(t)\}_{t\geq 0}$. A ...
9
votes
1answer
297 views

Problem 21 - Trotter theorem , Reed and Simon

This problem if from Methods of modern mathematical physics I :Functional Analysis, by Reed and Simon: Problem 21: Let $\{A_n\}$ be a sequence of selfadjoint operators on a Hilbert space $H$, and let ...
4
votes
2answers
94 views

On the powerset of a monoid, does the second operation play nice with the first? Indeed, is it even useful?

Let $X$ denote a monoid. Then we can make $Y = \mathcal{P}(X)$ into a monoid, too. Define $$AB = \{ab \mid a \in A, b \in B\}$$ for all $A,B \in Y.$ We see immediately that $1$ (shorthand for $\{1\}$) ...
1
vote
1answer
65 views

If $S$ is a finitely generated periodic semigroup with the permutation property, then $S$ is finite.

In A. Nagy's Special Classes of Semirings, the first theorem is: Theorem 1.1 A finitely generated semigroup is finite iff it is periodic and has the permutation property. The definitions are as ...
6
votes
2answers
158 views

Does there exist a semigroup such that $(xy)^n = x^n y^n$ that is non-Abelian? If so, can this property be finitely axiomatized?

Suppose $S$ is a semigroup such that for all $x,y \in S$ and all natural $n$ we have $$(xy)^n = x^n y^n.$$ If $S$ group, then it is Abelian; indeed a stronger statement holds, see here. Does there ...
1
vote
2answers
27 views

Does there exist a semigroup such that every element factorizes in this way, which nonetheless lacks a left identity?

If a semigroup $S$ has a left identity-element, then for any $y \in S$ we can write $y = xy$ for some $x \in S$. Just take $x$ to be any of the left identities, of which there is at least one, by ...
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 ...
2
votes
1answer
54 views

A semigroup $S$ that $|S| > 2$ is regular if and only if $x^2=x$ for any $x \in S$ where $S-\{x\}$ is a group

A semi-group $S$ is called regular if for any $y \in S$ there exists $a \in S$ such that $yay=y$. Let $S$ be a semi-group with more than two elements and $x \in S$ be such an element that $S - ...
1
vote
0answers
20 views

Ergodicity and the generator.

For a markov process $X_t$ adapted to ${\cal F}_t$, let $A$ satisfy $$\lim_{h\longrightarrow 0}[E\{f(X_{t+h})|{\cal F}_t\}-f(X_t)]/h = Af(X_t).$$ What are (references to?) conditions that allow one ...
2
votes
1answer
61 views

Necessary and sufficient conditions for the embeddability of a semigroup in a group

According to wikipedia, The first set of necessary and sufficient conditions for the embeddability of a semigroup in a group were given in (Malcev 1939).[5] Though theoretically important, the ...
1
vote
1answer
83 views

Is the set of all uniquely invertible elements of a semigroup an inverse subsemigroup?

For a semigroup $S$ and $x\in S$, an element $y\in S$ is called an inverse of $x$ iff $xyx=x$ and $yxy=y$. $S$ is called an inverse semigroup when every element of $S$ has a unique inverse. Every ...
1
vote
1answer
46 views

Does there exist a commutative magma such that $\mid$ is transitive, which is not a semigroup?

Let $M$ denote a commutative magma, and write $x \mid y$ iff $xa=y$ for some $a \in M$. If $M$ is a semigroup, then $\mid$ is transitive. Does there exist a commutative magma such that $\mid$ is ...
2
votes
1answer
79 views

If $S$ is a right group, then every $\mathcal L$-class is a $\mathcal H$-class and also a subgroup.

A semigroup $S$ is called right simple if it contains no proper right ideal. A semigroup that is right simple and left cancellative is called a right group. This is equivalent to saying that, for any ...
4
votes
1answer
139 views

definition of (semi)group (co)homology

I'm puzzled why "group cohomology" contains terms 'group' (instead of 'semigroup') and 'cohomology' (instead oh 'homology and cohomology'). I'm new to the subject. Please inform me of any claims ...
1
vote
0answers
44 views

Generator of a transport semigroup on the torus

Consider on the Banach space $C( \mathbb T;\mathbb R)$ of continuous functions on the 1-dimensional torus $\mathbb T:=\mathbb R/\mathbb Z$ (equipped with uniform norm) the operator $L$ given by $$ L ...
0
votes
1answer
77 views

Proof of Green's Relation

Can anyone tell me where I can get the proofs for the following Green's relations? $a\mathcal{L}b$ iff $\operatorname{Im}(a) = \operatorname{Im}(b)$, $a\mathcal{R}b$ iff $\operatorname{ker}(a) = ...
4
votes
0answers
67 views

Can we say anything about the structure of the semigroup of non-coprime pairs after this?

Let $S = \{(a,b) : \ a, b \in \Bbb{Z} \wedge \gcd(a,b) \neq 1 \}$. Then it forms a semigroup under componentwise multiplication and if we add an exception, that even though $\gcd(1,1) = 1$, we ...
1
vote
0answers
49 views

What operations is this set closed under? The set of all $\{(a,b) : (a,b) \in \Bbb{Z}^2, \gcd(a,b) \neq 1\}$.

Let $S = \{(a,b): a,b \in \Bbb{Z}, \gcd(a,b) \neq 1 \}$. Under what binary operations is $S$ closed (that we can come up with)? I came up with the following: $$ \begin{align*} (a,b)(c,d) = \\ ...
2
votes
1answer
100 views

Semigroups (ideals of a semigroup)

How many ideals are there in the $\mathbb Z_{28}$? $\mathbb Z_{28}=\{0, 1, 2, 3, 4, 5, ..., 27\}$ is a semigroup under multiplication modulo 28.
1
vote
0answers
37 views

Proper term for a monotonic magma

Let $M$ be the multiplication table for a finite magma. Entries are labeled $0,\ldots,n-1$. M has the property that $M(i,j)\ge i, M(i,j) \ge j$. What is the proper term for this kind of magma and ...
2
votes
1answer
62 views

semigroup ideals

For the semigroup $$‎S_{3 \times 3} = \bigl\{(a_{ij}) \bigm| a_{ij} \in \mathbb Z_2 = \{0,1\}\bigr\}$$ ‎‎(the set of all $‎3‎\times‎‎3$ matrices with entries from $\mathbb Z_2$) under multiplication. ...
0
votes
3answers
103 views

Semigroups isomorphism [duplicate]

Does there exist an isomorphism between the semigroups $S(4)$ and ‎‎‎‎‎‎$\mathbf Z_{256‎‎‎‎‎‎‎}$.‎ $S(4)$ is the set of all maps from the set $X$ to itself and $X = \{1, 2, 3, 4\}$. $S(4)$ is a ...