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
1answer
21 views

Does a discrete semilattice of finite width have finite number of points between any pair of elements.

Let $(S,<)$ be a countably infinite semilattice such that: 1) $S$ is no-where dense - i.e. there does not exist a subset $T$ such that for all $a,b\in T$ with $a<b$, there exists $c\in T$ with ...
2
votes
1answer
33 views

A construction using a semiring

In page number 3 of J.S. Golan's book Semirings and their applications, there is a result which says that if $R$ is a hemiring and $S$ is a subhemiring of $R$ which is a semiring having ...
2
votes
1answer
62 views

under what conditions a product of matrices is the identity matrix (more complicated than that)?

I have a set of matrices $A_1,\ldots,A_n$ and another set $B_i = A_i^{-1}$ for $i = 1,\ldots, n$ (I assume $A_i$ are invertible). Let $\mathcal{A} = \{A_i\} \cup \{B_i\}$. What are some simple ...
1
vote
1answer
48 views

Question on Malcev's _Immersion of an Algebraic ring into a skew field_.

I'm reading the paper Immersion of an algebraic ring into a skew field by Malcev. Doi: 10.1007/BF01571659, GDZ. On the third page of the paper, he writes that If $\alpha\beta\sim\gamma\delta$ and ...
0
votes
1answer
33 views

Involution on semigroups with identity

I'm trying to understand the following: Let $S$ be a semigroup. By an involution on $S$ we mean a map $* : S \to S$ satisfying for all $a,b\in S$ $(ab)^*=b^*a^*$ $(a^*)^*=a $ My problem is the ...
11
votes
0answers
636 views

How many associative binary operations there are on a finite set?

I am studying Scott's book Group Theory. In the Exercise $1.1.17$ he asks us to show that if $S$ is a set and $|S|=n$, then there are $n^{\frac{n^{2}+n}{2}}$ commutative binary operations on $S$. But ...
9
votes
0answers
203 views

How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
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 ...
6
votes
0answers
129 views

Is there an upper bound to the number of rings that can be obtained from a semigroup with zero by defining an additive operation?

Let $\mathscr S$ be the class of all semigroups with zero. For $(S,\times,0)\in\mathscr S,$ I want to count additive operations $+$ on $S$ such that $(S,+,\times,0)$ is a ring (possibly without ...
5
votes
0answers
247 views

Inverse of the Grothendieck group construction?

Is there an "inverse" of the Grothendieck group construction that would generate a (somehow "simplest") Abelian semigroup given some (suitably qualified, if necessary) Abelian group? (I realize that ...
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 ...
4
votes
0answers
94 views

Is every sufficiently large semigroup $S$ a subsemigroup of the transformation semigroup on $S$?

In this question, all sets are finite. A semigroup is a set equipped with an associative binary operation, which I will call $\circ$. The tranformation semigroup on a set $X$ is the semigroup of maps ...
4
votes
0answers
77 views

Is the universal inverse semigroup of a commutative semigroup an embedding?

The question of existence of a universal inverse semigroup of an arbitrary semigroup has been answered before (this is a construction similar to the Grothendieck group). Let's refer to the universal ...
3
votes
0answers
52 views

semidirect product of semigroups

Let $S,T$ be two semigroups. A function $f:S\to T$ is called multiplicative if for any $x,y\in S$ we have $f(xy)=f(x)f(y)$. If $T=S$ then $f:S\to S$ is called automorphism on $S$. A function ...
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 ...
3
votes
0answers
129 views

Unitary operators - convergence problem

Let $\mathcal{U}:=\left\{ U(t) \colon t \geq 0\right\}$ be a family of unitary operators on a Hilbert space $\mathcal{H}$ where $U(0)=I$. Assume that $\left| \left<\left( \frac{U(t)-I}{t} - A ...
3
votes
0answers
131 views

Topology of maximal ideal space

We know that strictly positive integers with multiplication form a semigroup $S$. Let $\mathscr A=\ell ^1(S)$ with convolution. What is $\mathscr A$'s maximal ideal space? It seems enough to find ...
3
votes
0answers
60 views

A set of trajectories as a linear subspace of Hilbert space

Let $\left\{S(t)\right\}_{0 \leqslant t \leqslant \theta}$ be a strongly continuous semigroup of linear continuous operators in Hilbert space $H$, $S(0) = I$. Let $x$ be some element of $H$. Then its ...
2
votes
0answers
42 views

Commutative Cancellative Semigroup: When is an irreducible element prime?

Suppose $(S,\cdot)$ is a semigroup with neutral element $e$ (i.e. $xe=ex=x$ for all $x\in S$) and the following properties: S is commutative: $xy=yx$. S is cancellative: $xy = xz$ implies $y = z$. ...
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
0answers
153 views

Constructing a semigroup from a small category

The following was given as an example for a semigroup without an identity: Finite sets of matrices of varying dimensions, where the product A*B={PQ|P in A & Q in B & dim(Q)=codim(P)}, and ...
1
vote
0answers
23 views

Krull dimension and Hilbert polynomial of graded rings

Let $P \subseteq \mathbb{R}^n$ be a polytope with integral vertices, and $Q := \mathbb{R}_+ (P \times \{1\}) \cap \mathbb{Z}^{n+1}$ be the monoid of all lattice points of the cone generated by $P$ in ...
1
vote
0answers
36 views

Reference request on numeric semigroups

I watched some talks about numeric semigroups, and thei relation whti algebraic geometry (such as Weierstrass semigroup of a curve), and I'm interested in take a deeper look in this topic, can anyone ...
1
vote
0answers
63 views

How many associative ternary operations there are on a finite set?

We know that algebraic operation a is function $f:\underbrace{\left ( X\times X\times \cdots \times X\right )}_{t\ \text{times}}\rightarrow{X}$ If $X$ is a set and and cardinality is $|X|=n$ then ...
1
vote
0answers
20 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 ...
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 ...
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*} ...
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 ...
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 ...
1
vote
0answers
31 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 ...
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) = \\ ...
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 ...
1
vote
0answers
46 views

A combinatoric theorem about semigroups

I am struggling with the following theorem about semigroups, so I was hoping someone could give me a hand. The theorem states: "Let $S$ be an arbitrary semigroup such that for every $a\in{}S$ it ...
1
vote
0answers
85 views

Strong continuity in time vs uniform continuity in time

I have a problem with understanding the definition of strong continuity and uniform continuity for the families of operators, e.g. semigroups. Let $(X_t)_{t \geq 0}$ be a family of bounded linear ...
1
vote
0answers
64 views

irreducible words in a semigroup

Let $S$ be a monoid generated by $\{x_1,x_2,x_3,x_4,x_5\}$ with the following relations: $x_i^2=0$ for all $i$, $x_ix_j=x_jx_i$ for all $|i-j| \geq 2$ and $x_ix_{i+1}x_i=x_{i+1}x_ix_{i+1}$ for all ...
1
vote
0answers
56 views

Trivial question about semigroups

I have a question about analytic semigroups. I know that if $A: D(A)\subset X\to X$ is a sectorial operator on $X$, it generates an analytic semigroup $e^{tA}$. One of the properties of this semigroup ...
1
vote
0answers
30 views

Weak limits and structure of a generated semigroup

I am getting acquainted with the beautiful theorem known as Jacobs–de Leeuw–Glicksberg decomposition. A special case of this theorem is the following: Theorem. (Jacobs–Glicksberg–de Leeuw ...
1
vote
0answers
154 views

Idempotent separating congruence of an inverse semigroup.

Please can sombody help me with the proof of this lemma, or even a construction of the proof? I will be glad for that. Lemma: Show that if $\rho$ is an idempotent separating congruence of an ...
0
votes
0answers
15 views

Heat semigroup on Morrey spaces

I have a few questions concerning the heat semigroup $e^{\Delta t}$ on Morrey spaces. (1) I read that the heat semigroup on $ M^{p}_{q}(\mathbb{R}^n):= \left\{ f \in L^{q}_{loc}(\mathbb{R}^n): ...
0
votes
0answers
31 views

Semi direct product for semigroups

I have a definition for the semidirect product of semigroup, the same way as we have for groups. Now I want to prove that $$(S \rtimes T)^{\times} = S^{\times} \rtimes T^{\times},$$ where $S \rtimes ...
0
votes
0answers
65 views

What are $\Gamma$-semigroups?

I have some problems with $\Gamma$-Semigroups, the definition that I've found is A $\Gamma$-Semigroup is a pair $(M,\Gamma)$ defined as follow If $x,y$ and $z$ are in $M$ and $\alpha$ and ...
0
votes
0answers
14 views

What is the semigroup reduct of an abelian torsion group

I was going through a paper on universal algebra where the author mentions one of his examples as a the "semi group reduct of an abelian torsion group". I have no idea what a semigroup reduct means ...
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 ...
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 ...
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 ...
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 ...
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, ...
0
votes
0answers
60 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 ...
0
votes
0answers
77 views

Is there a name for a subset $S$ of a group or a semigroup such that every two elements of $S$ commute?

Let $G$ be a group and $S$ its subset. I would like to consider the following condition on $S$. For every $x,y\in S,$ we have $xy=yx.$ This is trivially equivalent to $S\subseteq C(S).$ The ...
0
votes
0answers
79 views

Constructing all semigroups over a given set without backtracking

Is there a procedure to construct all semigroups over a given set without backtracking? (Edit: see also how many associative binary operations are there on a finite set and ratio of semigroups over a ...