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)

0
votes
0answers
10 views

Regular semigroups- normal semigroups!

If I take $S$ to be a Clifford semigroup with the set of idempotents $E$, then $S'$ let be a semilattice with the same set of idempotents( $E$) such that for every $e \in E$, $S_{e}$ is a normal ...
0
votes
0answers
22 views

Semi lattice of groups!

Can someone please explain to me: How can I connect the structure of the Clifford semigroup with the structure of its maximal group image? Thanks!
3
votes
1answer
28 views

Left vs right projective resolutions and homology of monoids

Let me use the ad hoc notation $\mathbb Z^l$ and $\mathbb Z^r$ to distinguish between left and right modules. These are trivial modules. The homology of a (discrete) finite monoid $M$ with ...
1
vote
1answer
27 views

Prove that $\sigma^*$ is the least group congruence on $S$

Let $S$ be an inverse semigroup and consider the relation $\sigma$ on $S$ given by $$a \sigma b \iff ab^{-1} \in E(S)$$ Consider the congruence generated by $\sigma$, say $\sigma^*$. Prove that ...
1
vote
1answer
22 views

Clifford semigroups!

Can someone come up with a drawing how can Clifford semigroup be presented as a decomposition of $S_{\alpha_{i}}$, where $\alpha_{i} \in E(S)$, where $E(S)$ is the set of idempotents? I've gone ...
0
votes
1answer
33 views

Semigroups on Complex Hilbert Spaces

Let $H$ be a separable complex Hilbert space, let $(e_i)_{i\in\mathbb{N}}$ be a complex othonormal vasis, and let $(\lambda_i)_{i\in\mathbb{N}}$ be a sequence of complex numbers s.t. $\sup_{i\in ...
-1
votes
0answers
30 views

Abelian semigroups!

If $S$ is an abelian semigroup and $S'$ any subsemigroup of $S$. How can we prove that also $S'$ is abelian? Is that valid and when $S'$ contains all the idempotents?
0
votes
0answers
26 views

Semigroup algebra

I am reading http://www.math.harvard.edu/~jbland/ma232b2_notes.pdf in section 1.3 Affine subgroups, where the definition isn't matching up with my intuition. Let $S$ be a semigroup with identity, ...
2
votes
1answer
59 views

Representation of regular languages by monoids [closed]

I'm interested in representation of regular languages by monoids, and in particular of how to use this kind of representation to get a recognizer. I have found some references on the web, but does ...
1
vote
1answer
24 views

Regarding Compact Semigroup

I have a problem in understanding the proof of following Theorem 2 (b), which is given in the book "The Theory of Topological Semigroups" by J. H. Carruth, J. A. Hildebrant and R. J. Koch as Theorem ...
0
votes
0answers
28 views

Multiplicative closure of convex set of matrices

Given a convex polytope of matrices $C$ is there a way to find its multiplicative closure $C^{*}$ such that $C^{*}$ is the smallest set which contains all products of sequences of matrices from $C$. ...
0
votes
0answers
19 views

Left Reversible Semigroups

A semigroup $S$ is left reversible if $aS \cap bS \not= \emptyset$ for every $a$, $b$ in $S$. Let $S$ be a nonempty left reversible semigroup and $S_0 \subseteq S$ be a proper subsemigroup of $S$. ...
0
votes
0answers
11 views

What are some applications of transformation semigroups?

I have been told that transformation semigroups have applications to statistics, computer science, and combinatorics. What are some basic (and if possible, simple) examples of transformation ...
0
votes
0answers
35 views

Subsemigroup of permutable semigroup!

Let $S$ be a semigroup and $n$ integer greater than 1. A sequence $s_{1}, s_{2},...,s_{n}$ of $n$ elements of $S$ is called permutable if the product $s_{1}s_{2}...s_{n}$, remains invariant, under ...
1
vote
2answers
30 views

Nonminimal idempotents

Let $S$ be a semigroup with operation $+$. Note that we do not assume $S$ is abelian. We say that $I\subset S$ is a left ideal if and only if for all $s\in S$, $s+I\subseteq I$, and we say that an ...
8
votes
2answers
248 views

What does it mean when people say that groups are a study of symmetry?

I see many people make remarks to the effect that groups have basic symmetry properties. I am familiar with Cayley's Theorem and the symmetric groups $S_N$. However, when I think of the symmetric ...
0
votes
0answers
17 views

Structure maps in Clifford semigroups!

If $S$ is a Clifford semigroup then the product of elements $x_{1}x_{2}...x_{n}=\nu_{e_{1},e}(x_{1})\nu_{e_{2},e}(x_{2})...\nu_{e_{n},e}(x_{n})$ is expressed in terms of the structure maps, where ...
2
votes
1answer
41 views

Finitely generated Clifford semigroup

If $S$ is a finitely generated Clifford semigroup and $S'$ a subsemigroups of $S$, how can I prove that $S'$ is also finitely generated?
1
vote
2answers
41 views

In a commutative semigroup, $a_{\phi(1)}a_{\phi(2)}…a_{\phi(n)}=a_{1}a_{2}…a_{n}$

In the book of Clifford and Preston,"The algebraic theory of semigroups" volume I, I am reading this: If $a_{1},a_{2},...,a_{n}$ are elements of a commutative semigroup $S$ and $\phi$ is any ...
0
votes
0answers
36 views

Isomorphism in Clifford semigroups

If I take a subsemilattice $S'$ of the Clifford semigroup $S$, such that the groups of $S'$ are abelian by finite of finite index in the respective groups of $S$ and I want to prove that $S$ is ...
0
votes
0answers
35 views

S an inverse semigroup with semilattice of idempotents E and $\sigma$ the minimum group congruence on S.

Let S be an inverse semigroup with semilattice of idempotents E, and let $\sigma$ be the minimum group congruence on S. Show that the following statements are equivalent: (a) $x\sigma y$; (b) ...
4
votes
1answer
29 views

D-􀀀classes in an inverse semigroup are ‘square’.

Show that the $\mathcal{D}$-classes in an inverse semigroup are ‘square’. More precisely, show that there is a bijection from the set of $\mathcal{L}$-classes in a $\mathcal{D}$-class $D$ onto the set ...
1
vote
1answer
35 views

Is a subsemigroup of a Clifford semigroup also a Clifford semigroup?

Is a subsemigroup of a Clifford semigroup also a Clifford semigroup? I can prove that the maximal group image of a Clifford semigroup is a Clifford semigroup, but I am not sure whether any ...
1
vote
0answers
45 views

Semigroup of matrices and expander Cayley graphs

I am interested in proving or disproving that certain Cayley graphs are expander. Let $S$ be the multiplicative semigroup of matrices generated by $A = \left( \begin{array}{cc} a & b \\ 0 & ...
2
votes
1answer
70 views

Finding ideals of a finite semigroup machinery (GAP)

As you see, I did a finite semigroup and then try to find its possible ideals in a very basic way (with the hand of a friend): ...
0
votes
0answers
13 views

scalar valued semigroup vs vector valued semigroup

I am reading a chapter on heat equation, semigroup in the PDE book written by Jost. Some confusions arises when a 1D problem generalised to multidimensional. In the bottom right of the following, i.e. ...
0
votes
1answer
31 views

Basic inequality related to semigroup property

Let $T$ be a one parameter semigroup on Banach space $X$. We know that $T$ has the property $$T(t+s)=T(t)T(s)\quad\text{for all}\quad t,s\ge 0. $$ I was reading some notes on evolution equations and ...
1
vote
3answers
50 views

Can a non-finitely generated semigroup be a subsemigroup of a finitely generated one?

Sorry! The answer doesn't seem obvious at all to me... If $\langle S \rangle \leqslant \langle T \rangle$ can $S$ be infinite while $T$ finite? I think the answer is yes. Let $\Bbb{Z}^{\times} ...
3
votes
2answers
26 views

$\langle ab + 1 : a,b \text{ prime}\rangle$ is not a finitely generated subsemigroup of $\Bbb{Z}^{\times}$.

Let $T \equiv PP + 1 \equiv \{ ab + 1 : a,b \text{ are prime }\} \subset \Bbb{Z}^{\times}$. Consider the subsemigroup generated by $T$. How can I show that it is not finitely generated, by that I ...
0
votes
1answer
14 views

$\#((P_n + 1) \cap P_l) = \infty$ where $P_n = \{ z \in \Bbb{Z}: $ that involve only the first $n$ primes $\}$.

Let $P_n = \{ \pm p_1^{e_1} \cdots p_n^{e_n} : e_i \geq 0, p_j = j$th prime $\}$. Define $P_0 = \{\pm 1\}$. Then: $\Bbb{Z}\setminus \{0\} = \bigcup_{n\geq 0} P_n$ $P_n \subset P_{n+1}$ $P_n \cdot ...
2
votes
1answer
22 views

Infinite free commutative semigroup

Definition from P.A.Grillet, "Abstract Algebra" (quoted with modifications): The free commutative monoid on a finite set $X=\{x_1, x_2,..., x_n \}$ is the semigroup of all monomials $x^{a_1}_1 ...
0
votes
0answers
25 views

How do the equal equivalence classes under the relation defined below imply the following?

First, we have a commutative semigroup $(S,*)$. Now let $(S_1,*_{↾_1})$ and $(S_2,*_{↾_2})$ be its two subsemigroups, with $*_{↾_1}$ and $*_{↾_2}$ being the restrictions of $*$ to $S_1$ and $S_2$. ...
2
votes
1answer
40 views

How does $0$ being an identity element of naturally ordered semigroup follow from its definition?

In the context of naturally ordered semigroups, $0$ is defined as the semigroup's smallest element (in other words, ${\forall}x\,{\in}\,S:0\,{\preceq}\,x$ where $ S$ is our semigroup). Natural ...
1
vote
0answers
28 views

How do the axioms of naturally ordered semigroup imply commutativity?

Semigroup $(S,*)$ is naturally ordered (natural ordering is supposed to behave like natural numbers under addition) iff: $1$. ...
0
votes
1answer
22 views

Width of Join Semilattice in $\mathbb R^n$

Suppose $S$ is a join semilattice that can be generated by $m$ generators. I would like to know an asymptotic upper bound on the width of $S$ (the maximum cardinality of all antichains in $S$) under ...
1
vote
1answer
34 views

Does this semigroup have an identity element?

Let G be the set of functions that map {1,2,3,4} into {1,2}, the binary operation is the usual composition of mappings and G is a semigroup. From my knowledge, I would say that it doesn't have an ...
1
vote
1answer
27 views

Let $S$ be a regular semigroup, $\phi:S \rightarrow T$ an epimorphism… Prove that $\phi(a)=c$

Let $S$ be a regular semigroup, $\phi: S \rightarrow T$ onto morphism of semigroups, $c,d \in T$ mutually inverses, ie, $c=cdc$ and $d=dcd$. Suppose that $c=\phi(x)$ and $d=\phi(y)$, where $x,y \in ...
1
vote
0answers
41 views

Does subsets of a semigroup with strictly smaller cardinality insure infinitely many disjoint translation copies of the set?

Let $S$ be a semigroup with infinite cardinality, $A\subset S$ with $|A|<|S|$. Under what condition we may find a infinite net $\{s_\alpha; \alpha\in \Gamma\}$, such that $s_\alpha A \cap s_\beta A ...
1
vote
1answer
70 views

Are some results about coloring positive integers valid for other semigroups?

There are some results in Ramsey theory, which involve additive structure of $(\mathbb N,+)$. For example, if we color the set $\mathbb N$ by finitely many colors, then: There are three numbers ...
0
votes
1answer
29 views

Subsemigroup of integers is finite type?

I think every subsemigroup of semi-group $(\mathbb N,+)$ is generated by finite many integers (this is not true for $\mathbb N^2$). Remind: subsemigroup $=$ subset stable for $+$. Can you give short ...
1
vote
0answers
50 views

Why isn't $\overline{\pi}$ a bijection between sets of cardinality $159$ and $\aleph_0$ respectively? [duplicate]

Earlier today, I (essentially) asked the following: (Faulty) Question. Given a set $X$, write $F_\mathbf{Semi}X$ for the semigroup freely generated by $X$. Suppose $X$ is a finite set, $n$ ...
4
votes
0answers
59 views

Seeking more information regarding the function $\varphi(n) = \sum_{i=1}^n \left[\binom{n}{i} \prod_{j=1}^i(i-j+1)^{2^j}\right].$

Define a function $\varphi : \mathbb{N} \rightarrow \mathbb{N}$ as follows. $$\varphi(n) = \sum_{i=1}^n \left[\binom{n}{i} \prod_{j=1}^i(i-j+1)^{2^j}\right]$$ The motivation is that according to ...
0
votes
0answers
31 views

Membership in Semigroup Generated by a Set of Matrices

I have a mathematical problem which can be expressed in the following form. I am given a small number (less than 10) of typically 50x50 matrices. Each column of each of these matrices has one 1 and ...
0
votes
1answer
21 views

Let $S$ be a semigroup that satisfies the property $\forall a \in S, aS=S \wedge Sa=S$. Show that $S$ is a group.

Let $S$ be a semigroup that satisfies the property \begin{align*} \forall a \in S, \quad aS=S \wedge Sa=S. \end{align*} I want to show that $S$ is a group, ie, that $S$ satisfies (1) ...
3
votes
1answer
90 views

Viewing Semigroups as Categories?

I am wondering how to view semigroups as categories. For example, we can easily view monoids as categories with a single object. Unfortunately, semigroups do not necessarily have identities, so the ...
-2
votes
1answer
34 views

Is a submonoid of a commutative, finitely generated monoid, always finitely generated? [closed]

Let $M$ be a commutative, finitely generated monoid and $N$ its submonoid. Is $N$ finitely generated as well?
0
votes
0answers
50 views

Examples of left-topological compact semigroups

I was reading chapter in Todorčević's book Topics in Topology (LNM 1652, DOI: 10.1007/BFb0096295) which deals with the semigroup $\beta\mathbb N$. Several results about left-topological compact ...
3
votes
1answer
53 views

Is every semigroup with (possibly non-unique) division a group?

Let's say that a semigroup $(S,\cdot)$ has weak division if for all $a,b\in S$ there exist $c,d\in S$ such that $ac = b$ and $da = b$. Note that we don't require $c$ and $d$ to be unique. This ...
2
votes
2answers
72 views

Equivalent definition of abelian group

Assuming that given operation is commutative and associative, are following definitions equivalent? 1) A zero element $e_0$ exists such that $e_i+e_0=e_i$ and inverse $e_{i'}$ exists for every $e_i$ ...
2
votes
1answer
31 views

Show that $\lim \frac{f_\epsilon -1}{\epsilon}$ is purely imaginary if each $|f_\epsilon| = 1$

For $0< \epsilon < 1$, suppose we have complex numbers $f_{\epsilon}$ such that each $|f_{\epsilon}| =1$ and $$ \lim_{\epsilon \to 0} \frac{f_\epsilon - 1}{\epsilon} := a $$ exists. Prove ...