# Tagged Questions

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 ...

2k views

### Reference request for tricky problem in elementary group theory

The following could have shown up as an exercise in a basic Abstract Algebra text, and if anyone can give me a reference, I will be most grateful. Consider a set $X$ with an associative law of ...
2k views

### Why are groups more important than semigroups?

This is an open-ended question, as is probably obvious from the title. I understand that it may not be appreciated and I will try not to ask too many such questions. But this one has been bothering me ...
3k views

### Are there any interesting semigroups that aren't monoids?

Are there any interesting and natural examples of semigroups that are not monoids (that is, they don't have an identity element)? To be a bit more precise, I guess I should ask if there any ...
1k views

### What can we learn about a group by studying its monoid of subsets?

If $G$ is a group, then $M(G)=2^G$ is has a monoid structure when we define $AB$ to be $\{ab|a\in A,b\in B\}$ and $1_{M(G)}=\{1\}$. How much of the structure of $G$ can be recovered by studying the ...
575 views

### Eilenberg's rational hierarchy of nonrational automata & languages

In the preface to his very influential books Automata, Languages and Machines (Volumes A, B), Samuel Eilenberg tantalizingly promised a Volume C dealing with "a hierarchy (called the rational ...
939 views

### How to get a group from a semigroup

I am sorry if my question is too simple. Is every semigroup associated to a group? If no, what conditions should be satisfied for a semigroup to have an associated group? If yes, how can I find the ...
3k views

### Prove that this is a group

Let $G$ be a finite, nonempty set with an operation $*$ such that $G$ is closed under $*$ and $*$ is associative Given $a,b,c \in G$ with $a*b=a*c$, then $b=c$. Given $a,b,c \in G$ with $b*a=c*a$, ...
2k views

### (Organic) Chemistry for Mathematicians

Recently I've been reading "The Wild Book" which applies semigroup theory to, among other things, chemical reactions. If I google for mathematics and chemistry together, most of the results are to do ...
2k views

### Is there an idempotent element in a finite semigroup?

Let $(G,\cdot)$ be a finite semigroup. Is there any $a\in G$ such that: $$a^2=a$$ It seems to be true in view of theorem 2.2.1 page 97 of this book (I'm not sure). But is there an elementary proof? ...
1k 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 ...
559 views

### Just How Strong is Associativity?

A friend of mine is using a lot of algebra that is not associative for an advanced Chemistry project. We were discussing it recently and I found it rather amusing how often she said things like "...
2k views

### Is a semigroup $G$ with left identity and right inverses a group?

Hungerford's Algebra poses the question: Is it true that a semigroup $G$ that has a left identity element and in which every element has a right inverse is a group? Now, If both the identity and the ...
506 views

### When a semigroup can be embedded into a group

Under what assumptions can a semigroup $(S,*)$ be embedded into a group?
341 views

### clarification on the definition of meaningful product

I am studying Hungerford's book "Algebra". In the page 27 he defines the meaningful product as follows. Given any sequence of elements of a semigroup $G, > \{a_{1},a_{2},\dots\}$ define ...
332 views

### give a counterexample of monoid

If $G$ is a monoid, $e$ is its identity, if $ab=e$ and $ac=e$, can you give me a counterexample such that $b\neq c$? If not, please prove $b=c$. Thanks a lot.
2k views

### Group identities and inverses

A set is a set. A magma is a set with a binary operator. A semigroup is a magma with an associative binary operator. A monoid has a two-sided identity. And a group has two-sided inverses. I am ...
373 views

### Partition of $\mathbb{R}^+$ into two semigroups

Can the semigroup $(\mathbb R^+ ,+)$ be partitioned into two semigroups? I have been trying but haven't found anything, please help.
177 views

### Let $G$ be a semigroup. If for any $a,b\in G$, the equations $ax=b$ and $ya=b$ are solvable, then $G$ is a group.

I at a loss here. Showing that $G$ has an identity is the difficult part here. Obviously for each $a\in G$ there are $b,c\in G$ such that $ab=a$ and $ca=a$, but I need a hint as to how to prove these ...
477 views

### Ring without distributive law?

I recently came across a binary operation (in a very non-algebraic context - it's a way to organize a certain updating of log-likelihood-ratios) and was idly wondering whether it is any kind of ...
132 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 ...
283 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 ...
246 views

251 views

### Quasicommutative semigroups.

A Semigroup is called quasicommutative if for all elements $a,b$ there is some $r≥1$ such that $$ab=b^ra$$ We know that every commutative semigroup is also quasicommutative, so we can make lots of ...
475 views

### Different ways of constructing the free group over a set.

This could be too broad if we're not careful. I'm sorry if it ends up that way. Let's put together a list of different constructions of the free group $F_X$ over a given set $X$. It seems to be ...
189 views

595 views

### What are the subsemigroups of $(\mathbb N,+)?$

While trying to solve a somewhat bigger problem, I realized that I don't know what the subsemigroups of one of the most important semigroups, $(\mathbb N,+)$, are. (I assume $0\not\in\mathbb N$.) I've ...
177 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 ...
328 views

Let $(X, \mu)$ be a $\sigma$-finite measure space, and $P_t$ a symmetric, Markovian, strongly continuous contraction semigroup on $L^2(X,\mu)$. (Markovian means that if $f \in L^2$ with $0 \le f \le ... 1answer 152 views ### Is there a name for a regular semigroup with zero in which the product of any two different idempotents is zero? As the title says, my question is: is there a name for a regular semigroup with zero in which the product of any two different idempotents is zero? Note that any such semigroup is necessarily an ... 1answer 435 views ### Weak generator of Feller semigroup Let$(T_t)_{t \geq 0}$a Feller semigroup and define a linear operator$(A,\mathcal{D}(A))$by $$\mathcal{D}(A) := \left\{u \in C_{\infty}(\mathbb{R}^d); \exists f \in C_{\infty} \forall x \in \mathbb{... 2answers 174 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 ... 1answer 106 views ### Proving that if the semigroup (A, *) is a group, then the relation is an equivalence relation. I'm aware that posting exam questions is probably frowned upon, but this isn't homework, I think I'm genuinely misunderstanding some part of the algebra. The question is this: Throughout this ... 1answer 126 views ### About translating subsets of$\Bbb Z.$This is a continuation of About translating subsets of R2. Is it possible to find a pair of sets$A,B\subseteq\Bbb Z$such that A is a union of translated (only translations are allowed) copies of ... 1answer 136 views ### About automorphisms of commutative semigroups Suppose that$M$is a commutative monoid and that the product$P$of$M$and the nonnegative integers$\mathbb{N}$with addition has no nontrivial automorphisms. The set$S$of pairs$(m,n)$in$P$... 1answer 282 views ### Is the additive semigroup of natural numbers the multiplicative semigroup of a ring?$\mathbb N$will denote the set$\{0,1,2,\ldots\}.$The semigroup$(\mathbb N,+)$doesn't have a zero element.$\mathbb N^0$will denote the semigroup$\mathbb N$with zero adjoined, that is the set$\...
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 unity)....