In the mathematical field of set theory, there are three usual operations on ordinals: addition, multiplication, and (ordinal) exponentiation. Each can be defined in essentially two different ways: either by constructing an explicit well-ordered set which represents the operation or by using transfinite recursion. The Cantor normal form provides a standardized way of writing ordinals. The so-called "natural" arithmetical operations retain commutivity at the expense of continuity. Set theory is the mathematical theory of sets, which represent collections of abstract objects. ... Commonly, ordinal numbers, or ordinals for short, are numbers used to denote the position in an ordered sequence: first, second, third, fourth, etc. ...

Addition

The union of two disjoint well-ordered sets S and T can be well-ordered. The order-type of that union is the ordinal which results from adding the order-types of S and T. If two well-ordered sets are not already disjoint, then they can be replaced by order-isomorphic disjoint sets, i.e. replace S by S×{0} and T by T×{1}. Thus the well-ordered set S is written "to the left" of the well-ordered set T, meaning one defines an order on ST in which every element of S is smaller than every element of T. The sets S and T themselves keep the ordering they already have. This addition is associative and generalizes the addition of natural numbers. In mathematics, associativity is a property that a binary operation can have. ...

The first transfinite ordinal is ω, the set of all natural numbers. Let's try to visualize the ordinal ω+ω: two copies of the natural numbers ordered in the normal fashion and the second copy completely to the right of the first. If we write the second copy as {0'<1'<2',...} then ω+ω looks like

0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < ...

This is different from ω because in ω only 0 does not have a direct predecessor while in ω+ω the two elements 0 and 0' don't have direct predecessors. Here are 3 + ω and ω + 3:

0 < 1 < 2 < 0' < 1' < 2' < ...

0 < 1 < 2 < ... < 0' < 1' < 2'

After relabeling, the former just looks like ω itself while the latter doesn't: we have 3 + ω = ω. But ω + 3 is not equal to ω since the former has a largest element and the latter doesn't. So our addition is not commutative. In mathematics, especially abstract algebra, a binary operation * on a set S is commutative if x * y = y * x for all x and y in S. Otherwise * is noncommutative. ...

One can see for example that (ω + 4) + ω = ω + (4 + ω) = ω + ω.

The definition of addition can also be given inductively (the following induction is on β):

• α + 0 = α,
• α + (β+1) = (α+β)+1 (here, "+1" denotes the successor of an ordinal),
• and if δ is limit then α+δ is the limit of the α+β for all β<δ.

Using this definition, we also see that ω+3 is a successor ordinal (it is the successor of ω+2) whereas 3+ω is the limit of 3+0=3, 3+1=4, 3+2=5, etc., which is just ω.

Zero is an additive identity α + 0 = 0 + α = 0.

Addition is associative (α + β) + γ = α + (β + γ).

Addition is strictly increasing and continuous in the right argument:

but the analogous relation does not hold for the left argument; instead we have:

Unrestricted subtraction cannot be defined for ordinals. However, there is a cancellation law from the left: If α + β = α + γ, then β = γ. On the other hand, cancellation from the right does not work:

3 + ω = 0 + ω = ω but

Also if β ≤ α, then there is a unique γ such that α = β + γ.

Multiplication

The Cartesian Product, S×T, of two well-ordered sets S and T can be well-ordered (by a variant of lexicographical order which puts the least significant position first). Effectively, each element of T is replaced by a disjoint copy of S. The order-type of the Cartesian Product is the ordinal which results from multiplying the order-types of S and T. Again, this operation is associative and generalizes the multiplication of natural numbers. In mathematics, the lexicographical order, or dictionary order, is a natural order structure of the cartesian product of two ordered sets. ...

Here is ω·2:

0₀ < 1₀ < 2₀ < 3₀ < ... < 0₁ < 1₁ < 2₁ < 3₁ < ...

and we see: ω·2 = ω + ω. But 2·ω looks like this:

0₀ < 1₀ < 0₁ < 1₁ < 0₂ < 1₂ < 0₃ < 1₃ < ...

and after relabeling, this looks just like ω and so we get 2·ω = ω. Multiplication of ordinals is not commutative.

Distributivity partially holds for ordinal arithmetic: R(S+T) = RS + RT. However, the other distributive law (T+U)R = TR + UR is not generally true: (1 + 1)·ω = 2·ω = ω while 1·ω + 1·ω = ω+ω which is different. Therefore, the ordinal numbers do not form a ring. In mathematics, and in particular in abstract algebra, distributivity is a property of binary operations that generalises the distributive law from elementary algebra. ... In ring theory, a branch of abstract algebra, a ring is an algebraic structure in which addition and multiplication are defined and have similar properties to those familiar from the integers. ...

The definition of multiplication can also be given inductively (the following induction is on β):

• α · 0 = 0,
• α · (β+1) = (α·β)+α,
• and if δ is limit then α·δ is the limit of the α·β for all β<δ.

The main properties of the product are:

α·0 = 0·α = 0.

One is a multiplicative identity α·1 = 1·α = α.

Multiplication is associative (α·β)·γ = α·(β·γ).

Multiplication is strictly increasing and continuous in the right argument:

(α < β and γ > 0) γ·α < γ·β,

but if one reverses the arguments the inequality does not work:

for example, 1 < 2 but 1·ω = 2·ω = ω.

Instead one gets α ≤ β α·γ ≤ β·γ.

There is a cancellation law: If α > 0 and α · β = α · γ, then β = γ.

The example above shows that cancellation from the right does not work.

α·β = 0 α = 0 or β = 0.

α·(β + γ) = α·β + α·γ (distributive law on the left). On the other hand, there is no distributive law on the right.

e.g. (ω + 1)·2 = ω + 1 + ω + 1 = ω + ω + 1 = ω·2 + 1 which is not ω·2 + 2.

Also for all α and β, if β > 0, then there are unique γ and δ such that α = β · γ + δ and δ < β (a kind of euclidian division; this doesn't mean the ordinals are a euclidian domain, however, since they aren't even a ring). In abstract algebra, a Euclidean domain (also called a Euclidean ring) is a type of ring in which the Euclidean algorithm can be used. ...

Exponentiation

We can define exponentiation of well ordered sets as follows. If the exponent is a finite set, this should be obvious, for instance ω² = ω·ω using the operation of ordinal multiplication. But instead this can be visualized as the set of functions from 2 = {0,1} to ω = the natural numbers, ordered by a variant of lexicographical order which puts the least significant position first: In mathematics, exponentiation is a process generalized from repeated (or iterated) multiplication, in much the same way that multiplication is a process generalized from repeated addition. ... In mathematics, the lexicographical order, or dictionary order, is a natural order structure of the cartesian product of two ordered sets. ...

(0,0) < (1,0) < (2,0) < (3,0) < ... < (0,1) < (1,1) < (2,1) < (3,1) < ... < (0,2) < (1,2) < (2,2) < ...

Where for brevity, we have replaced the function {(0,k),(1,m)} by the ordered pair (k,m). An ordered pair is a collection of two objects such that one can be distinguished as the first element and the other as the second element. ...

And similarly for any finite exponent n, ωⁿ can be visualized as the set of functions from n (the domain) to the natural numbers (the range). Those functions can be abbreviated as n-tuples of natural numbers. In mathematics, a tuple is a finite sequence of objects, that is, a list of a limited number of objects (an infinite sequence is a family). ...

Then for ω^ω, we might try to visualize the set of infinite sequences of natural numbers. However, if we try to use any variant of lexicographical order on this set, we find it is not well-ordered. We must add the restriction that only a finite number of elements of the sequence are different from zero. Now our ordering works, and it looks like the ordering of natural numbers written in decimal notation, except with digit positions reversed, and with arbitrary natural numbers instead of just the digits 0-9:

(0,0,0,...) < (1,0,0,0,...) < (2,0,0,0,...) < ... <

(0,1,0,0,0,...) < (1,1,0,0,0,...) < (2,1,0,0,0,...) < ... <

(0,2,0,0,0,...) < (1,2,0,0,0,...) < (2,2,0,0,0,...)

< ... <

(0,0,1,0,0,0,...) < (1,0,1,0,0,0,...) < (2,0,1,0,0,0,...)

< ...

So in general, to raise a well ordered set B to the power of another well ordered set E, we write down copies of the well ordered set E, and then map each element to some element of B, with the restriction that all but a finite number of elements of the domain E must map to the least element of the range B. That mapping is then an element of the well ordered set which is the power B^E.

We find 1^ω = 1, 2^ω = ω, .

The order type of the power B^E is the ordinal which results from applying ordinal exponentiation to the order type of the base B and the order type of the exponent E.

The definition of exponentiation can also be given inductively (the following induction is on β):

• α⁰ = 1,
• α^β+1 = (α^β)·α,
• and if δ is limit then α^δ is the limit of the α^β for all β<δ.

The properties of exponentiation are:

α⁰ = 1.

If 0 < α, then 0^α = 0.

1^α = 1.

α¹ = α.

Exponentiation is strictly increasing and continuous in the right argument:

γ > 1 and α < β γ^α < γ^β.

α ≤ β α^γ ≤ β^γ.

However, 2 < 3 and yet 2^ω = 3^ω = ω.

Instead of a distributive law, we have α^β·α^γ = α^{β + γ}.

Instead of an associative law, we have (α^β)^γ = α^β·γ.

Cancellation: If α > 1 and α^β = α^γ, then β = γ.

Also for all α and β, if 1 < β ≤ α, then there exist unique γ, δ and ρ such that α = β^γ · δ + ρ and 0 < δ < β and ρ < β^γ.

Warning: Ordinal exponentiation is quite different from cardinal exponentiation. For example, the ordinal exponentiation 2^ω = ω, but the cardinal exponentiation = the cardinality of the continuum which is much larger than . To avoid confusing ordinal exponentiation with cardinal exponentiation, one uses symbols for ordinals in the former and symbols for cardinals in the latter.

Cantor normal form

Ordinal numbers present a rich arithmetic. Every ordinal number α can be uniquely written as , where k is a natural number, are positive integers, and are ordinal numbers (we allow β_k = 0). This decomposition of α is called the Cantor normal form of α, and can be considered the positional base-ω numeral system. The highest exponent β₁ is called the degree of α, and satisfies (with equality if and only if α = ω^α, which can happen as explained below). A numeral is a symbol or group of symbols that represents a number. ...

A minor variation of Cantor normal form, which is usually slightly easier to work with, is to set all the numbers c_i equal to 1 and allow the exponents to be equal. In other words, every ordinal number α can be uniquely written as , where k is a natural number, and are ordinal numbers.

The Cantor normal form allows us to uniquely express—and order—the ordinals α which are built from the natural numbers by a finite number of arithmetical operations of addition, multiplication and “raising ω to the power of”: in other words, assuming β₁ < α in the Cantor normal form, we can also express the exponents β_i in Cantor normal form, and making the same assumption for the β_i as for α and so on recursively, we get a system of notation for these ordinals (for example, is one). It turns out that the ordinals α so defined are exactly the ordinals smaller than ε₀ (this can be taken as a definition of ε₀), where ε₀ is the smallest ordinal such that (in other words, such that Cantor normal form does not produce exponents smaller than the ordinal one is trying to express). Or, if one wishes, ε₀ is exactly the set of finite arithmetical expressions of this form. It can also be seen as the limit of the sequence ω, ω^ω, , etc. The ordinal ε₀ is important for various reasons in arithmetic (essentially because it measures the proof-theoretic strength of the first-order Peano arithmetic: that is, Peano's axioms can show transfinite induction up to any ordinal less than ε₀ but not up to ε₀ itself). It has been suggested that Predicate calculus be merged into this article or section. ... In mathematics, the Peano axioms (or Peano postulates) are a set of second-order axioms proposed by Giuseppe Peano which determine the theory of arithmetic. ...

The Cantor normal form also allows us to compute sums and products of ordinals: to compute the sum, for example, one needs merely know that ω^βc + ω^β'c' is ω^β'c' if β' > β (if β' = β one can obviously rewrite this as ω^β(c + c'), and if β' < β the expression is already in Cantor normal form); and to compute products, the essential fact is that when is in Cantor normal form (and α>0) then . Also .

To compare two ordinals written in Cantor normal form, first compare β₁, then c₁, then β₂, then c₂, etc.. At the first difference, the ordinal which has the larger component is the larger ordinal. If they are the same until one terminates before the other, then the one which terminates first is smaller.

Natural operations

The natural sum and natural product operations on ordinals were defined in 1906 by Hessenberg, and are sometimes called the Hessenberg sum (or product). (Jacobsthal defined a natural power operation in 1907, which is very rarely used.) They are also sometimes called the Conway operations, as Conway showed how to extend them to all surreal numbers. They have the advantage that they are associative and commutative, and natural product distributes over natural sum. The cost of making these operations commutative is that they lose the continuity in the right argument which is a property of the ordinary sum and product. The natural sum of α and β is sometimes denoted by α#β, and the natural product by a sort of doubled × sign. To define the natural sum of two ordinals, consider once again the disjoint union ST of two well-ordered sets having these order types. Start by putting a partial order on this disjoint union by taking the orders on S and T separately but imposing no relation between S and T. Now consider the order types of all well-orders which extend this partial order: the least upper bound of all these ordinals (which is, actually, not merely a least upper bound but actually a greatest element) is the natural sum. Also, inductively, we can define the natural sum of α and β (by simultaneous induction on α and β) as the smallest ordinal greater than the natural sum of α and γ for all γ<β and of γ and β for all γ<α. See John B. Conway for the functional analyst. ... In mathematics, the surreal numbers are a field containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number, and therefore the surreals are algebraically similiar to superreal numbers and hyperreal numbers. ...

The natural sum is associative and commutative: it is always greater or equal to the usual sum, but it may be greater. For example, the natural sum of ω and 1 is ω+1 (the usual sum), but this is also the natural sum of 1 and ω.

To define the natural product of two ordinals, consider once again the cartesian product S×T of two well-ordered sets having these order types. Start by putting a partial order on this cartesian product by using just the product order (compare two pairs iff each of the two coordinates is comparable). Now consider the order types of all well-orders which extend this partial order: the least upper bound of all these ordinals (which is, actually, not merely a least upper bound but actually a greatest element) is the natural product. There is also an inductive definition of the natural product (by mutual induction), but it is somewhat tedious to write down and we will not do so (see the article on surreal numbers for the definition in that context, which, however, uses Conway subtraction, something which obviously cannot be defined on ordinals). In mathematics, the surreal numbers are a field containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number, and therefore the surreals are algebraically similiar to superreal numbers and hyperreal numbers. ...

The natural product is associative and commutative and distributes over the natural sum: it is always greater or equal to the usual product, but it may be greater. For example, the natural product of ω and 2 is ω·2 (the usual product), but this is also the natural product of 2 and ω.

Yet another way to define the natural sum and product is to use the Cantor normal form, taking into account the fact that, in the expression of the Cantor normal form, sums and products can also be considered as natural sums and natural products.