Submonoid

🅟 Mar 19, 2026

  🅤 Apr 16, 2026

SMO#DEF. Submonoid.

Let $(M,*)$ be a monoid. $(N,*)$ is a submonoid if it is a monoid and $N\subseteq M$.

SMO#REM-NEU.

A submonoid does not always inherit the neutral element.

Example.$(\N,\max)$ is a monoid with neutral element $0$, but $(\N^+,\max)$ is a submonoid with neutral element $1$.


SMO#PROP-A.

Let $(M,*)$ be a monoid. $N\subseteq M$ is a submonoid as soon as:

  1. Closure. For all $a$, $b\in N$,

    \[ab \in N.\]
  2. Neutral element. There is $e\in N$ such that for all $a\in N$,

    \[ae = ea = a.\]