8
$\begingroup$

Consider the set class $\mathrm{Ord}$ of all (finite and infinite) ordinal numbers, equipped with ordinal arithmetic operations: addition, multiplication, and exponentiation. It is closed under these operations. Addition is non-commutative and there are no additive or multiplicative inverses.

Is $(\mathrm{Ord}, +)$ a magma? What algebraic structure does $\mathrm{Ord}$ posses (under either/both $+, \times$ operations)?

  • 0
    To add on Brian's comment, it is usually denoted by $\mathrm{Ord}$ or $\mathrm{On}$.2012-08-21

2 Answers 2

5

With only addition, the ordinals form a monoid.

The ordinal numbers with both addition and multiplication form a non-commutative semiring.

To quote from Wikipedia's page about semirings:

A near-ring does not require addition to be commutative, nor does it require right-distributivity. Just as cardinal numbers form a semiring, so do ordinal numbers form a near-ring.

(Although in the page of near-rings it is required that addition has inverse; so perhaps ordinals just form a non-commutative semiring).

  • 0
    I may not have updated the page before making it. (And being on dial-up sometimes has slightly odd consequences.)2012-08-21
0

In 1956 Tarski published a book titled Ordinal Algebras that I think is relevant to what you're asking about. I've glanced at it many times in university libraries (as well as Tarski's 1949 book Cardinal Algebras), but I don't really know much about it. Maybe some of the set theory specialists in StackExchange can say more about Tarski's book.

  • 0
    I actually have **Cardinal Algabras**. I found it second hand for pennies. However it is related to the concept of **Jonsson Cardinals** which is not algebra in the modern sense of the word.2012-08-21