petrusrexcs

2021-12-30

Are there any interesting and natural examples of semigroups that are not monoids (that is, they don't have an identity element)?

Kayla Kline

Beginner2021-12-31Added 37 answers

Step 1

Consider the following definition of a group:

Definition A semigroup S is said to be a group if the following hold:

1. There is an$e\in S$ such that $ea=a$ for all $a\in S$

2. For each$a\in S$ there is an element ${a}^{-1}\in S$ with ${a}^{-1}a=e$

At one point in my life, it seemed natural to ask what happens if we replace axiom 2 with the very similar axiom

2'. For each$a\in S$ there is an element ${a}^{-1}\in S$ with $a{a}^{-1}=e$ .

It is a fun exercise to work out some of the consequences that result from this. Here are a few facts about a semigroup S which satisfies 1 and 2':

If e is the unique element of S satisfying axiom 1, then S is a group

If S has an identity (in the usual sense) then S is a group

The principal left ideal$Sa=\{sa\mid s\in S\}$ is a group for all $a\in S$ , and in fact all principal left ideals of S are isomorphic as groups.

It is not difficult to find examples of such semigroups that are not groups. For example, consider the following set of$2\times 2$ matrices (with matrix multiplication as the operation):

$$\{(\begin{array}{cc}a& b\\ 0& 0\end{array})|a,\text{}b\in \mathbb{R},\text{}a\ne 0\}$$

Or, an example that appears as exercise 30 in section 4 of Fraleigh's abstract algebra text: the nonzero real numbers under the operation$\times$ defined by $a\times b=\left|a\right|b$ .

Certainly it is debatable whether or not semigroups satisfying axioms 1 and 2′ are "interesting" or "natural". But I guess I think they are. And, I am not the only one (or the first one, by a long shot!) to think this. See Mann, On certain systems which are almost groups (MR).

Consider the following definition of a group:

Definition A semigroup S is said to be a group if the following hold:

1. There is an

2. For each

At one point in my life, it seemed natural to ask what happens if we replace axiom 2 with the very similar axiom

2'. For each

It is a fun exercise to work out some of the consequences that result from this. Here are a few facts about a semigroup S which satisfies 1 and 2':

If e is the unique element of S satisfying axiom 1, then S is a group

If S has an identity (in the usual sense) then S is a group

The principal left ideal

It is not difficult to find examples of such semigroups that are not groups. For example, consider the following set of

Or, an example that appears as exercise 30 in section 4 of Fraleigh's abstract algebra text: the nonzero real numbers under the operation

Certainly it is debatable whether or not semigroups satisfying axioms 1 and 2′ are "interesting" or "natural". But I guess I think they are. And, I am not the only one (or the first one, by a long shot!) to think this. See Mann, On certain systems which are almost groups (MR).

lovagwb

Beginner2022-01-01Added 50 answers

Step 1

Let$(M,\text{}\cdot ,\text{}e)$ be a monoid and let $M}^{\circ$ be the set of finite words constructed from M. For two words let's define operation $\times$ as point-wise application of $\cdot$ , truncating according to the shorter word:

$({u}_{1},\cdots ,{u}_{m})\times ({v}_{1},\cdots ,{v}_{n})=({u}_{1}\cdot {v}_{1},\cdots ,{u}_{min(m,\text{}n)}\cdot {v}_{min(m,\text{}n)})$

Then$({M}^{\circ},\text{}\times )$ is a semigroup, but it's not a monoid. Any candidate y for the unit element would have only a finite length, so for any x that is longer we'd have $y\times x\ne x$ . The unit element would have to be an infinite sequence $(e,\text{}e,\cdots )$ , but $M}^{\circ$

This example is not arbitrary, it is closely related to zipping lists and convolution.

Step 2

Update: A very simple example of a semigroup that is not a monoid is$(\mathbb{Z},\text{}min)$ . While min is clearly associative, there is no single element in $\mathbb{Z}$ that would serve as the identity. (It is actually a homomorphic image of the previous example, mapping words to their length.)

Let

Then

This example is not arbitrary, it is closely related to zipping lists and convolution.

Step 2

Update: A very simple example of a semigroup that is not a monoid is

karton

Skilled2022-01-09Added 439 answers

I don't know if this counts as interesting, but a simple example is what C programmers know as the comma operator: Ignore the first argument and return the second.

Or written as multiplication rule:

Or written as multiplication rule: