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)

1
vote
1answer
32 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
53 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 ...
0
votes
0answers
16 views

partial differential operators

As we know, there exists a semigroup for partial differential operators $A = \sum_{i,j=1}^N D_i(a_{ij}(\cdot)D_j)$, see (Klaus-Jochen Engel, Rainer Nagel, one-parameter semigroups). My question is ...
1
vote
1answer
46 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
26 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
80 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
48 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
36 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 ...
0
votes
0answers
44 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
104 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 ...
1
vote
0answers
103 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*} ...
6
votes
0answers
50 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 ...
0
votes
0answers
62 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 $m$ be the maximal ideal $(X^{n_1}, \dots, X^{n_s})$. We have to ...
1
vote
1answer
47 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 ...
0
votes
0answers
58 views

Principal ideal in a semigroup ring.

Let $S= \langle(0,1),(3,2),(5,2) \rangle \subset \mathbb{N}^2 $ be a semigroup and consider the semigroup ring $K[S]$, with $K$ a field. We can consider the principal ideal generated by ...
1
vote
2answers
55 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
45 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
56 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
26 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$ ...
0
votes
0answers
48 views

Proof involving handling of Greens Relations (Semigroup-Theory)

I am working through a proof which involves Green's relations. It goes like this (for $s,s', e', e$ holds $se = s, e^2 = e$ and $s'e' = s', e'^2 = e'$, they are called linked pairs) Conversely, ...
1
vote
1answer
51 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
54 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
54 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
59 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
38 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
247 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 ...
3
votes
2answers
75 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
38 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
131 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
23 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
51 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
19 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
52 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
67 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
39 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
70 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
98 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
30 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
55 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
64 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
90 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
29 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
56 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. ...
1
vote
3answers
94 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
81 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
82 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 ...
3
votes
1answer
209 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
120 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
100 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 ...