Definition:Dipper Semigroup/Definition 2
Jump to navigation
Jump to search
Definition
Let $m \in \N$ be a natural number.
Let $n \in \N_{>0}$ be a non-zero natural number.
Let $\RR_{m, n}$ be the dipper relation on $\N$:
- $\forall x, y \in \N: x \mathrel {\RR_{m, n} } y \iff \begin {cases} x = y \\ m \le x < y \text { and } n \divides \paren {y - x} \\ m \le y < x \text { and } n \divides \paren {x - y} \end {cases}$
Let $\map D {m, n} := \N / \RR_{m, n}$ be the quotient set of $\N$ induced by $\RR_{m, n}$.
Let $\oplus_{m, n}$ be the operation induced on $\map D {m, n}$ by addition on $\N$.
A dipper (semigroup) is a semigroup which is isomorphic to the algebraic structure $\struct {\map D {m, n}, \oplus_{m, n} }$.
Also see
- Results about dipper semigroups can be found here.
Linguistic Note
The term dipper semigroup appears to have been coined by Seth Warner in an article exploring commutative inductive semigroups.
The name arises as a result of a suggestion by Seth Warner in his Modern Algebra, where he exploits the analogy by means of the shape of the Big Dipper constellation.