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)

2
votes
0answers
27 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
91 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
54 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
39 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
54 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
134 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
124 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*} ...
8
votes
0answers
60 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
0answers
87 views

About the multiplicity of a semigroup ring.

Let $A=K[X^{n_1}, \dots, X^{n_s}]$, $S=\langle n_1, \dots, n_s \rangle$ ($n_1 < \cdots < n_s$) a numerical semigroup and let $\mathfrak m$ be the maximal ideal $(X^{n_1}, \dots, X^{n_s})$. We ...
1
vote
1answer
51 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
60 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
50 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
67 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
30 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
58 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
75 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
70 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 ...
0
votes
0answers
61 views

How to find the quotient group given a specific equivalence relation on $\mathbb{N}^3$

Let $L=\mathbb{Z}\{(3,4,-5)\}$ and let $$ \displaystyle Q \cong \mathbb{N}^3/\sim_L $$ where $\sim_L$ is the equivalence relation on $\mathbb{N}^3$ given by $\mathbf{u} \sim_L \mathbf{v} \iff ...
1
vote
0answers
53 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
265 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
82 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\}$) ...
0
votes
1answer
43 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 ...
5
votes
2answers
147 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
25 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 ...
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
58 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
78 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
43 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
74 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
120 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
33 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
67 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
66 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
97 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
35 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
58 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
98 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 ...
1
vote
1answer
101 views

Semigroup isomorphism

Does there exist an isomorphism between the semigroups $S(4)$ and $\mathbb{‎‎‎‎‎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 ...
3
votes
1answer
92 views

Completing a Partially Defined Associative Binary Operation

This is more like a question about terminology. I would like to hear some recommendations of books that discuss algebraic structures with one partially defined associative binary operation, and the ...
4
votes
1answer
323 views

G is a group if and only if for all $a,b∈G$, $ax=b$ has solution; true or false? Why?

I think we only need $ax=b$ or $ya=b$ have solutions in $G$, I'll prove it. Proof: (I) $G$ is a group $\implies$ $a^{-1}ax=a^{-1}b$ $\implies$ $x=a^{-1}b$ $\implies$ $ax=b$ has solutions in $G$ ...
3
votes
1answer
126 views

Idempotents in $M_2(\mathbb{C})$

Given two idempotents $e,f\in M_2(\mathbb{C})\setminus\{I_2\}$, the sets $$\{eg^{-1}:g\in GL_2(\mathbb{C}), eg^{-1} \text{ is an idempotent}\}$$ and $$\{gf:g\in GL_2(\mathbb{C}), gf \text{ is an ...
9
votes
1answer
105 views

Does the Trace product in a semigroup have any relation with Trace of a matrix / matrix product

I recently read an article on generalized inverses and Green's relations (by X.Mary). The framework is semigroups, but obviously it has a lot of application within matrix theory. In the article ...
0
votes
1answer
41 views

Why $f(x)=x$ for any $x\in f(X)$?

The set $S(X,X)$ of all mappings of a set $X$ to itself with the composition of mappings in the role of multiplication, where $|X|>1$. Why is not it a group? Let $X$ be a nonempty set. Then the ...
1
vote
3answers
41 views

Example for a claim

If $H$ is a subsemigroup of a semigroup $S$, then it may happen that, for some $a$ and $b$ in $S$, the sets $aH$ and $bH$ don't coincide and, nonetheless, are not disjoint. Does there exist an ...
3
votes
3answers
109 views

How could I understand this sentence:

How could I understand this sentence: For any subgroup $H$ of a group $G$ we have $H^2=HH=H$. However, in general, the same is not true for subsemigroups of semigroups. Thanks a lot!
2
votes
2answers
39 views

How can I show $\lim_{t\to 0^{+}}\|S(t)-I\|\neq 0$ where $S(t)f(x)=e^{-t^2-2tx}f(x+t)$..

I need some help with the following: For every $t\in [0, \infty)$ let $S(t):C_0([0, \infty))\rightarrow C_0([0, \infty))$ be the bounded linear operator given by, $$S(t)f(x)=e^{-t^2-2tx}f(x+t)),$$ ...
0
votes
2answers
87 views

How could I prove that the equality $a^na^m=a^{n+m}$ in a semigroup with identity?

Let $S$ be a semigroup with a identity. How could I prove that the equality $a^na^m=a^{n+m}$ which holds for all $n,m \in \mathbb Z$. Note that $a \in S$ and $\mathbb Z$ denotes the set of all ...
1
vote
2answers
466 views

Is associative binary operator closed on this subset?

Here is the problem: Suppose that $*$ is an associative binary operation on a set $S$. Let $$H:= \{a \in S\mid a * x = x * a \mbox{ for all }x\in S\}.$$ In other words, $H$ is consisting of all ...