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

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

When a semigroup can be embedded into a group

Under what assumptions can a semigroup $(S,*)$ be embedded into a group?
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$, ...
86 views

Free idempotent semigroup with 3 generators

On Finite free objects I asked examples of finite free objects. I got answer "The free idempotent semigroup satisfies $x^2=x$ for each element $x$. And I confirm it is finite if it is finitely ...
376 views

909 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 ...
522 views

Can we extend the definition of a homomorphism to binary relations?

This is going to be quite a long post. The actual questions will be at the end of it in section "Questions." INTRODUCTION After receiving an answer to this question about extending the definition of ...
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 ...
593 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 ...
452 views

494 views

Is there a name for this property?

Is there a general name for the following properties, (similar to the properties of existence of an additive identity, existence of multiplicative identity etc): For any given set, the intersection ...
36 views

Nowhere commutative semigroups = rectangular bands?

I have recently read about Nowhere commutative semigroups, and there, they say, if $S$ is a semigroup, then these statements are equivalent: $S$ is nowhere commutative($ab=ba$ implies $a=b$). $S$ is ...
776 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 ...
182 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 semigroup ...
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 ...
163 views