Skip to main content
1 of 3
Salvo Tringali
  • 10.5k
  • 2
  • 29
  • 64

Edit. Sorry, I've just realized that the question was focused on groups, and not on semigroups/monoids!

Here is another example, somehow related to Greg Kuperberg's one: Let $\mathbb A = (A, +, \cdot, \preceq)$ be a strictly totally orderable semiring (*) and for a fixed integer $n \ge 1$ let $\mathcal M_n(A)$ denote the set of all $n$-by-$n$ matrices with entries in $A$, endowed with the usual operations of addition, say $+$, and row-by-column multiplication, say $\cdot$, induced by $\mathbb A$. Then, let $(\mathcal M_n(A), +, \cdot)$ is itself a semiring. So now, let ${\rm U}_n(\mathbb A^+)$ (respectively, ${\rm L}_n(\mathbb A^+)$) be the subsemigroup of $(\mathcal M_n(A), \cdot)$ consisting of all and the only upper (respectively, lower) triangular matrices whose entries on and above (respectively, below) the main diagonal are positive in $\mathbb A$. Then, both $({\rm U}_n(\mathbb A^+), \cdot)$ and $({\rm L}_n(\mathbb A^+), \cdot)$ are strictly totally orderable semigroups.

(*) Here, a semiring is just a (possibly non-unital or non-commutative) ring whose additive monoid is not necessarily a group. A strictly totally ordered semiring is then a $4$-uple $(A, +, \cdot, \preceq)$ such that $(A, +, \cdot)$ is a semiring and $\preceq$ is a total order on $A$ such that

  1. $(A, +, \preceq)$ is a strictly totally ordered magma (in fact, a monoid), namely $x + z \prec y + z$ and $z + x \prec z + y$ for all $x,y,z \in A$ with $x \prec y$.
  2. $x \cdot z \prec y \cdot z$ and $z \cdot x \prec z \cdot y$ for all $x,y,z \in A$ with $x \prec y$ and $0 \prec z$, where $0$ stands for the identity of the monoid $(A,+)$.
Salvo Tringali
  • 10.5k
  • 2
  • 29
  • 64