Subsemigroup/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Subsemigroups

Matrices of the Form $\begin{bmatrix} x & 0 \\ 0 & 0 \end{bmatrix}$

Let $\struct {S, \times}$ be the semigroup formed by the set of order $2$ square matrices over the real numbers $R$ under (conventional) matrix multiplication.

Let $T$ be the subset of $S$ consisting of the matrices of the form $\begin{bmatrix} x & 0 \\ 0 & 0 \end{bmatrix}$ for $x \in \R$.

Then $\struct {T, \times}$ is a subsemigroup of $\struct {S, \times}$.


Operation Defined as $x + y - x y$ on $\Z_{\le 1}$

Let $\struct {\Z, \circ}$ be the semigroup where $\circ: \Z \times \Z$ is the operation defined on the integers $\Z$ as:

$\forall x, y \in \Z: x \circ y := x + y - x y$


Let $T$ be the set $\set {x \in \Z: x \le 1}$.

Then $\struct {T, \circ}$ is a subsemigroup of $\struct {\Z, \circ}$.