HYPEROPERATIONS IN EXPONENTIAL FIELDS

JUAN D. JARAMILLO

Abstract. New sequences of hyperoperations [1, 2, 3, 4] are presented together with their algebraic properties. The commutative hyperoperations reported by Bennett [1] are defined as a sequence of monoids. After identifying the semirings along the sequence, the corresponding fields are constructed via inverse completion.

1. Introduction Hyperoperations are infinite sequences of binary operations extending recursively the definition of the ordinary addition and multiplication [1, 2, 3, 4]. The earliest known report on hyperop- erations is due to Bennet [1] in 1914, where commutative hyperoperations are defined starting from the multiplicative identity of the exponential function. More than a decade later, Ackermann [2] introduces a sequence of hyperoperations that extends the definition of the ordinary addition, multiplication and exponentiation. The latter sequence is here referred as regular hyperoperations, noting that they are noncommutative beyond multiplication. A numerical system based on regular hyperoperations is introduced by Goodstein [3] in 1947: the complete hereditary representation of nonnegative integers. He also coined the names of tetration, pentation, etc. to denote the regular hyperoperations after exponentiation, and included the successor as the primitive regular hyperoperation. This study presents an algebraic characterization of Bennett’s sequence of commutative hyper- operations and a recursive procedure to create new sequences. The general goal is to provide a more solid ground to the study of hyperoperations. The content is relevant for the study of commutative fields. Possible applications could be found in computer arithmetic, where research remains active in the search for alternatives to the IEEE floating-point to overcome numeric overflow/underflow [5, 6]. In particular, it provides a formal background to proposals involving generalized exponen- tiation such as the Elias ω code [7] and the level-index codes [8, 9]. It is also of interest to the subfield of weighted automata in computer science, where semirings play a central role [10, 11]. This paper is organized as follows: The section 2 reviews the original sequence of commutative hyperoperations and proves that consecutive hyperoperations form a commutative semiring. The section 3 constructs new sequences of hyperoperations from the insight that each commutative hyperoperation is the initial object of a new sequence of hyperopertations. In the section 4 an algorithm to represent nonnegative numbers using commutative hyperoperations is presented. In the section 5 the method of inverse completion [12] is used to construct a quotient field and its Cauchy completion for each of the former commutative semirings. The section 6 closes the paper embedding the former structures in the usual real numbers and makes remarks pointing to future research. arXiv:2012.04093v2 [math.AC] 27 May 2021 2. Monoids and Semirings Notation. Denote the set of natural numbers from the Peano axioms as N = {0, 1, 2, 3, ...}, together with its successor function S : N → N \{0} and its inverse function S−1. Definition 1. The sequence of regular hyperoperations generated from the succesor function in 2 N is the sequence of binary operations Hn :(N) → N for n ∈ N, defined recursively as   S(b), if n = 0;   a, if n = 1 and b = 0; Hn(a, b) = 0, if n = 2 and b = 0; (1)   1, if n ≥ 3 and b = 0;  −1  Hn−1(a, Hn(a, S (b))), otherwise.

Proposition 1. The tuple (N,H1,H2) is a commutative semiring.

Key words and phrases. Hyperoperations, Commutative algebra. 1 2 JUAN D. JARAMILLO

Proof. Let a, b, c ∈ N. (1) Closure of addition. By definition H1(a, 0) = a ∈ N. For b > 0 and noting that H0 is closed in N, one obtains

H1(a, b) = H0(a, H1(a, b − 1)) (2a)

= H0(a, H0(a, H1(a, b − 2))) (2b) . .

= H0(a, H0(a, . . . H0(a, H1(a, 0)) ...)) (2c) | {z } b copies of H0

= H0(a, H0(a, . . . H0(a, H0(a, a)) ...)) ∈ N. (2d) | {z } b copies of H0

(2) Additive identity. By definition H1(a, 0) = a. On the other hand,

H1(0, a) = H0(0,H0(0,...H0(0,H0(0, 0)) ...)) (3a) | {z } a copies of H0

= H0(0,H0(0,...H0(0,H0(0, 1)) ...)) (3b) | {z } a−1 copies of H0

= H0(0,H0(0,...H0(0,H0(0, 2)) ...)) (3c) | {z } a−2 copies of H0 . .

= H0(0, a − 1) (3d) = a. (3e) (3) Commutativity of addition. Let a < b, then

H1(a, b) = H0(a, H0(a, . . . H0(a, H0(a, a)) ...)) (4a) | {z } b copies of H0

= H0(a, H0(a, . . . H0(a, H0(a, H1(1, a)) ...))) (4b) | {z } b−1 copies of H0

= H0(a, H0(a, . . . H0(a, H1(1,H1(1, a))) ...)) (4c) | {z } b−2 copies of H0 . .

= H0(a, H0(a, . . . H0(a, H0(a, H0(a, b − 1))) ...)) (4d) | {z } a+1 copies of H0

= H0(a, H0(a, . . . H0(a, H0(a, b)) ...)) (4e) | {z } a copies of H0

= H1(b, a). (4f) (4) Associativty of addition.

H1(a, H1(b, c)) = H0(a, H0(a, . . . H0(a, H0(a, H0(a, a))) ...)) (5a) | {z } H1(b,c) copies of H0

= H0(a, H0(a, . . . H0(a, H0(a, H1(1, a)) ...)) (5b) | {z } H1(b,c)−1 copies of a . .

= H0(a, H0(a, . . . H0(a, H0(a, H1(a, b) − 1)) ...)) (5c) | {z } c+1 copies of H0

= H0(a, H0(a, . . . H0(a, H0(a, H1(a, b))) ...)) (5d) | {z } c copies of H0

= H1(H1(a, b), c). (5e) HYPEROPERATIONS IN EXPONENTIAL FIELDS 3

(5) Closure of multiplication.

H2(a, b) = H1(a, H1(...H1(a, H1(a, a)) ...)) ∈ N. (6) | {z } b copies of a (6) Multiplicative identity.

H2(a, 1) = H1(a, H2(a, 0)) (7a)

= H1(a, 0) (7b) = a (7c) and

H2(1, a) = H1(1,H1(...H1(1,H1(1, 1)) ...)) (8a) | {z } a−1 copies of H1

= H1(1,H1(...H1(1,H1(1, 2)) ...)) (8b) | {z } a−2 copies of H1

= H1(1,H1(...H1(1,H1(1, 3)) ...)) (8c) | {z } a−3 copies of H1 . .

= H1(1, a − 1) (8d) = a. (8e)

(7) Distributivity. Let H1(b, c) > 0, then

H2(a, H1(b, c)) = H1(a, H1(a, . . . H1(a, H1(a, a)) ...)) (9a) | {z } H1(b,c)−1 copies of H1

= H1(a, H1(a, . . . H1(a, H2(a, 2)) ...)) (9b) | {z } H1(b,c)−2 copies of H1

= H1(a, H1(a, . . . H1(a, H2(a, 3)) ...)) (9c) | {z } H1(b,c)−3 copies of H1 . .

= H1(a, H1(a, . . . H1(a, H1(a, H2(a, c))) ...)) (9d) | {z } b copies of H1

= H1(a, H1(a, . . . H1(a, H1(H1(a, a),H2(a, c))) ...)) (9e) | {z } b copies of H1

= H1(a, H1(a, . . . H1(a, H1(H2(a, 2),H2(a, c))) ...)) (9f) | {z } b−1 copies of H1

= H1(a, . . . H1(a, H1(H1(a, H2(a, 2)),H2(a, c))) ...)) (9g) | {z } b−1 copies of H1

= H1(a, . . . H1(a, H1(H1(a, H2(a, 3)),H2(a, c))) ...)) (9h) | {z } b−2 copies of H1 . .

= H1(H1(a, H2(a, b − 1)),H2(a, c)) (9i)

= H1(H2(a, b),H2(a, c)). (9j)

To prove H2(H1(b, c), a) = H1(H2(b, a),H2(c, a)), one can proceed by induction. Note that

H2(H1(b, c), 1) = H2(1,H1(b, c)) (10a)

= H1(H2(1, b),H2(1, c)) (10b)

= H1(H2(b, 1),H2(c, 1)). (10c) 4 JUAN D. JARAMILLO

Assume H2(H1(b, c), a) = H1(H2(b, a),H2(c, a)), then

H2(H1(b, c),H1(a, 1)) = H1(H2(H1(b, c), a),H2(H1(b, c), 1)) (11a)

= H1(H2(H1(b, c), a),H1(b, c)) (11b)

= H1(H1(H2(b, a),H2(c, a)),H1(b, c)) (11c)

= H1(H1(H2(b, a), b),H1(H2(c, a), c)) (11d)

= H1(H1(H2(b, a),H2(b, 1)),H1(H2(c, a),H2(c, 1))) (11e)

= H1(H2(b, H1(a, 1)),H2(c, H1(a, 1))). (11f)

The case H1(b, c) = 0 is straightforward since it implies b = c = 0. (8) Commutativity of multiplication. By induction. It is known that H2(a, 1) = H2(1, a). Assume H2(a, b) = H2(b, a), then

H2(a, H1(1, b)) = H1(H2(a, 1),H2(a, b)) (12a)

= H1(H2(1, a),H2(b, a)) (12b)

= H2(H1(1, b), a). (12c)

(9) Associativty of multiplication. By induction. Note that

H2(H2(a, b), 0) = 0 (13a)

= H2(a, 0) (13b)

= H2(a, H2(b, 0)). (13c)

Assume H2(H2(a, b), c) = H2(a, H2(b, c)), then

H2(H2(a, b),H1(1, c)) = H1(H2(H2(a, b), 1),H2(H2(a, b), c)) (14a)

= H1(H2(a, b),H2(H2(a, b), c)) (14b)

= H1(H2(a, b),H2(a, H2(b, c))) (14c)

= H2(a, H1(b, H2(b, c))) (14d)

= H2(a, H2(b, H1(1, c))). (14e)



Definition 2. Define the exponential function E : N → N : E(a) = H3(w0, a) for a given base w0 ∈ N \{0, 1}. Denote by L its inverse function.

n+1 n 0 n n n n Notation. For n ∈ N, denote N = E(N) with N = N. Denote N = {0, 1, 2,...} such that for n+1 n+1 n n n+1 n k ∈ N and k ∈ N, one obtains k = E(k).

n The following results are only valid for those values of N such that n ∈ N.

n+1 n Remark. The function E generates a descending filtration in N, meaning N ⊂ N.

1 Proposition 2. Let a, b ∈ N, then

H2(a, b) = E(H1(L(a),L(b))). (15) HYPEROPERATIONS IN EXPONENTIAL FIELDS 5

1 Proof. Let a, b ∈ N, then

E(H1(L(a),L(b))) = H3(w0,H1(L(a),L(b))) (16a)

= H2(w0,H2(w0,...H2(w0,H2(w0, w0)) ...)) (16b) | {z } H1(L(a),L(b))−1 copies of H2

= H2(w0,H2(w0,...H2(w0,H3(w0, 2)) ...)) (16c) | {z } H1(L(a),L(b))−2 copies of H2

= H2(w0,H2(w0,...H2(w0,H3(w0, 3)) ...)) (16d) | {z } H1(L(a),L(b))−3 copies of H2 . .

= H2(w0,H2(w0,...H2(w0,H3(w0,L(a))) ...)) (16e) | {z } L(b) copies of H2

= H2(w0,H2(w0,...H2(w0,H2(a, w0)) ...)) (16f) | {z } L(b) copies of H2

= H2(w0,H2(w0,...H2(w0,H2(a, H3(w0, 2))) ...)) (16g) | {z } L(b)−1 copies of H2

= H2(w0,H2(w0,...H2(w0,H2(a, H3(w0, 3))) ...)) (16h) | {z } L(b)−2 copies of H2 . .

= H2(w0,H2(a, H3(w0,L(b) − 1))) (16i)

= H2(a, H3(w0,L(b))) (16j)

= H2(a, b). (16k)  Definition 3. The sequence of commutative hyperoperations generated from the abelian monoid n−1 n−1 2 (N,H2) is the sequence of binary operations Fn :( N ) → N for n = 2, 3, 4,... , defined recur- sively as  E(H2(L(a),L(b))), if n = 2; Fn(a, b) = (17) E(Fn−1(L(a),L(b))), otherwise. 0 For a, b ∈ , denote N  H1(a, b), if n = 0; Fn(a, b) = (18) H2(a, b), if n = 1. n In Bennett’s original report [1] is less constructive there is no discussion of the sets N, instead focusing on the usual real and complex numbers. n Theorem 1. The tuple (N,Fn,Fn+1) is a commutative semiring.

Proof. By induction. From Proposition 1 the tuple (N,H1,H2) is a commutative semiring and by 0 n−1 definition (N,H1,H2) = (N,F0,F1). Assume the tuple ( N ,Fn−1,Fn) is a commutative semir- n−1 n−1 ing, with additive identity 0 and multiplicative identity 1 . The following is the proof that n n (N,Fn,Fn+1) is a commutative semiring. Let a, b, c ∈ N. (1) Closure of addition. n−1 n Fn(a, b) = E(Fn−1(L(a),L(b))) ∈ E( N ) = N. (19) (2) Additive identity. n n−1 Fn(a, 0) = E(Fn−1(L(a), 0 )) (20a) = E(L(a)) (20b) = a. (20c) 6 JUAN D. JARAMILLO

(3) Commutativity of addition.

Fn(a, b) = E(Fn−1(L(a),L(b))) (21a)

= E(Fn−1(L(b),L(a))) (21b)

= Fn(b, a). (21c) (4) Associativity of addition.

Fn(a, Fn(b, c)) = E(Fn−1(L(a),L(Fn(b, c)))) (22a)

= E(Fn−1(L(a),L(E(Fn−1(L(b),L(c)))))) (22b)

= E(Fn−1(L(a),Fn−1(L(b),L(c)))) (22c)

= E(Fn−1(Fn−1(L(a),L(b)),L(c))) (22d)

= Fn(E(Fn−1(L(a),L(b))),E(L(c))) (22e)

= Fn(Fn(E(L(a)),E(L(b))), c) (22f)

= Fn(Fn(a, b), c). (22g) (5) Closure of multiplication. n−1 n Fn+1(a, b) = E(Fn(L(a),L(b))) ∈ E( N ) = N. (23) (6) Multiplicative identity. n n−1 Fn+1(a, 1) = E(Fn(L(a), 1 )) (24a) = E(L(a)) (24b) = a. (24c) (7) Distributivity.

Fn+1(a, Fn(b, c)) = E(Fn(L(a),L(Fn(b, c)))) (25a)

= E(Fn(L(a),Fn−1(L(b),L(c)))) (25b)

= E(Fn−1(Fn(L(a),L(b)),Fn(L(a),L(c)))) (25c)

= Fn(Fn+1(a, b),Fn+1(a, c)). (25d) (8) Commutativity of multiplication.

Fn+1(a, b) = E(Fn(L(a),L(b))) (26a)

= E(Fn(L(b),L(a))) (26b)

= Fn+1(b, a). (26c) (9) Associativity of multiplication.

Fn+1(a, Fn+1(b, c)) = E(Fn(L(a),L(Fn+1(b, c)))) (27a)

= E(Fn(L(a),L(E(Fn(L(b),L(c)))))) (27b)

= E(Fn(L(a),Fn(L(b),L(c)))) (27c)

= E(Fn(Fn(L(a),L(b)),L(c))) (27d)

= Fn+1(E(Fn(L(a),L(b))),E(L(c))) (27e)

= Fn+1(Fn+1(E(L(a)),E(L(b))), c) (27f)

= Fn+1(Fn+1(a, b), c). (27g)  n Remark. The function E is the generator of isomorphisms in the sequence of semirings {(N,Fn,Fn+1)}n∈N. n n−1 Remark. The monoid (N,Fn) is a submonoid of ( N ,Fn). n n Definition 4. Define the ordering relation < in the monoid (N,Fn) as n n n a < b ⇐⇒ ∃c ∈ N \{0} : Fn(a, c) = b. (28) n Proposition 3. Let a, b ∈ N, then n n a < b ⇐⇒ E(a) < E(b). (29) HYPEROPERATIONS IN EXPONENTIAL FIELDS 7

n n n Proof. The proof that a < b ⇒ E(a) < E(b) is the following. The relation a < b is equivalent to n the existence of an element c ∈ N such that Fn(a, c) = b. The latter is equivalent to the equation 0 0 −1 Fn+1(E(a),E(c)) = E(b). Since Fn+1(E(a),E(c)) = Fn(E(a), c ), where c = S (E(c)), then n E(a) < E(b). The converse statement is proven in a similar way.  n Proposition 4. Let a, b ∈ N, then n−1 n a < b ⇐⇒ a < b. (30)

n n−1 n−1 n n−1 Proof. Let a, b ∈ N ⊂ N . The proof that a < b ⇒ a < b is the following: If a < b, the strict n−1 n− 1 0 0 monotonicity of L in N , from Proposition 3, implies L(a) < L(b), thereby ∃c : Fn−1(L(a), c ) = n 0 L(b). Without loss of generality let c = L(c), where c ∈ N. Then

E(Fn−1(L(a),L(c))) = E(L(b)), (31) n n−1 n n i.e., Fn(a, c) = b, thereby a < b. The proof that a < b ⇐ a < b is the following: If a < b, then n ∃c ∈ N such that Fn(a, c) = b, that is

E(Fn−1(L(a),L(c))) = E(L(b)). (32) Since E is an injective function, then

Fn−1(L(a),L(c)) = L(b), (33) n−1 n−1 n−1 implying L(a) < L(b). Since L is strictly monotone in N , then a < b.  n n Remark. The ordering relation < in the monoid (N,Fn) is equivalent to the restriction of the n standard ordering < in N as a subset of N. n n+1 n Remark. Since 1 = 0 , all identity elements can be written as 0, for a given n ∈ N. They can be generated as 0 0 = H4(w0, −1) = 0, (34a) 1 0 = H4(w0, 0) = 1, (34b) 2 0 = H4(w0, 1) = w0, (34c) . . n+1 0 = H4(w0, n) = H3(w0,H3(w0,...,H3(w0, w0))), (34d) | {z } n copies of w0 . .

In the expression H4(w0, n), the integer argument w0 is known as the base and the integer argument n is known as the height or level. For completness, in the Eq. (34) the definition of H4 has been extended to allow for negative integers in the height. The operation H4 is known as tetration, restricted to the natural numbers. Underlying the sequence of commutative hyperoperations is the fact that any injective function 0 f with domain in a monoid, generates an isomorphism between monoids. Let a, b ∈ f(N). The right conjugation of ordinary addition F0 by f is −1 −1 Adf (F0)(a, b) = f(F0(f (a), f (b)). (35) 0 0 The operation Adf (F0) forms a monoid in f(N) which is isomorphic to (N,F0). In fact all properties studied so far can be reproduced in this new setting; if one starts from the successor function Adf (S) in f(N), it is easy to prove by induction that the corresponding regular hyperoperations take the 0 n n form Adf (Hn). Further assuming f is composable with itself, the tuples {(f (N), Adf (F0))}n∈N become a sequence of commutative monoids. A sequence of commutative semirings can be formed 0 n n n as {(f (N), Adf (F0), Adf (F1))}n∈N, with f as the generator of semiring isomorphisms. A special 8 JUAN D. JARAMILLO

0 n case is when the function f is exponential along the sequence of semirings, meaning that f (N) ∩ 0 n+1 f (N) is a nonempty set where,

Adf n (F1) = Adf n+1 (F0). (36) In Fig. 1 is presented a visualization that contrasts the case of exponential vs. nonexponential f.

f f f f f f f f

(a) Nonexponential f. (b) Exponential f.

Figure 1. Visualizing a sequence of semirings: A semiring (two disks connected by a line) is comprised of two operations: addition (left-hand disk) and multi- plication (right-hand disk). (a) A nonexponential injective function f induces a sequence where nearby semirings do not share operations. (b) An exponential function f induces a sequence where nearby semirings share one operation.

3. New Sequences of Hyperoperations This section presents new sequences of hyperoperations originated from Peano systems initially n associated to the semirings {(N,Fn,Fn+1)}n∈N. The commutative hyperoperations {Fn}n∈N are shown to be regular hyperoperations. A recursive procedure to create new sequences of hyperop- erations is stablished. n Definition 5. Define the successor function in N as the recursive function n n n  S(a), if n = 0; Sn : N → N \{0} : Sn(a) = (37) E(Sn−1(L(a))), if n > 0. −1 Denote its inverse function as Sn . n n Remark. The tuples {(N, 0,Sn)}n∈N is a sequence of Peano systems with initial element (N, 0,S). n Definition 6. The sequence of regular hyperoperations generated from the succesor in is the n n N 2 sequence of binary operations [n : m]:(N) → N, for m ∈ N, defined recursively as  S (b), if m = 0;  n  n  a, if m = 1 and b = 0;  n n a [n : m] b = 0, if m = 2 and b = 0; (38)  n n  1, if m ≥ 3 and b = 0;  −1 a [n : m − 1] (a [n : m] Sn (b)), otherwise. 0 Note that a [0 : m] b = Hm(a, b) for a, b ∈ N. The following results are valid for those values of [n : m] such that n, m ∈ N. n n Proposition 5. The tuple (N, [n : 1], [n : 2]) is a commutative semiring with additive identity 0 n and multiplicative identity 1.

Proof. The case n = 0 is proven in Theorem 1, in account that a [0 : i] b = Hi(a, b), for i = 1, 2. n n The remaining cases are proven analogously, using the Peano system (N, 0,Sn).  n Theorem 2. Let a, b ∈ N, then a [n : m] b = E(L(a)[n − 1 : m] L(b)). (39) HYPEROPERATIONS IN EXPONENTIAL FIELDS 9

n n Proof. By induction. Let a, b ∈ N. Without loss of generality let b = k where k ∈ N. The case m = 0 is trivial. For m = 1, one obtains a [n : 1] b = a [n : 0] (a [n : 0] ··· (a [n : 0] (a [n : 0] a)) ··· ) (40a) | {z } k copies of [n:0] k = Sn(a) (40b) k = E ◦ Sn−1(L(a)) (40c) = E(L(a)[n − 1 : 1] L(b)). (40d) Assume a [n : m − 1] b = E(L(a)[n − 1 : m − 1] L(b)), (41) then for m > 1, one obtains a [n : m] b = a [n : m − 1] (a [n : m − 1] ··· (a [n : m − 1] (a [n : m − 1] a)) ··· ) (42a) | {z } Ln(b) copies of a = E(L(a)[n − 1 : m − 1] (L(a)[n − 1 : m − 1] ··· (L(a)[n − 1 : m − 1] (L(a)[n − 1 : m − 1] L(a))) ··· )) | {z } Ln(b) copies of L(a) (42b) = E(L(a)[n − 1 : m] L(b)). (42c)  The following corollary states that the commutative hyperoperations from Definition 3 are regular hyperoperations for a given Peano system, as depicted in Definition 6. n Corollary 1. Let a, b ∈ N, then a [n : 2] b = Fn+1(a, b). (43)

0 Proof. By induction. Let a, b ∈ N. From Definitions 3 and 6 one obtains that F1(a, b) = H2(a, b) n−1 and a [0 : 2] b = H2(a, b), therefore a [0 : 2] b = F1(a, b). For a, b ∈ N , assume

a [n − 1 : 2] b = Fn(a, b). (44) n Let a, b ∈ N. From Theorem 2 one obtains a [n : 2] b = E(L(a)[n − 1 : 2] L(b)) (45a)

= E(Fn(L(a),L(b))) (45b)

= Fn+1(a, b). (45c)  n Lemma 1. Let a, b ∈ N, then a [n : 1] b = a [n − 1 : 1] ··· [n − 1 : 1] a . (46) | {z } Ln−1(b) copies of a

1 Proof. By induction. Let a, b ∈ N. From Theorem 2 and Proposition 2, one obtains a [1 : 1] b = E(L(a) [0 : 1] L(b)) (47a)

= E(H1(L(a),L(b))) (47b)

= H2(a, b) (47c) = a [0 : 2] b (47d) = a [0 : 1] ··· [0 : 1] a . (47e) | {z } b copies of a

n−1 For a, b ∈ N , assume a [n − 1 : 1] b = a [n − 2 : 1] ··· [n − 2 : 1] a . (48) | {z } Ln−2(b) copies of a 10 JUAN D. JARAMILLO

n For a, b ∈ N, then a [n : 1] b = E(L(a)[n − 1 : 1] L(b)) (49a) = E(L(a)[n − 2 : 1] ··· [n − 2 : 1] L(a)) (49b) | {z } Ln−1(b) copies of L(a) = a [n − 1 : 1] ··· [n − 1 : 1] a . (49c) | {z } Ln−1(b) copies of a  n+1 Proposition 6. Let a, b ∈ N , then a [n : 2] b = a [n + 1 : 1] b. (50)

n+1 Proof. Let a, b ∈ N . From Lemma 1 one obtains a [n : 2] b = a [n : 1] ··· [n : 1] a (51a) | {z } Ln(b) copies of a = a [n + 1 : 1] b. (51b)  n+1 n Proposition 7. Let a ∈ N and b ∈ N, then a [n : 3] b = a [n + 1 : 2] E(b). (52) Proof. From Proposition 6, one obtains a [n : 3] b = a [n : 2] ··· [n : 2] a (53a) | {z } Ln(b) copies of a = a [n + 1 : 1] ··· [n + 1 : 1] a (53b) | {z } Ln(b) copies of a = a [n + 1 : 2] E(b). (53c)  n Proposition 8. Let a, b ∈ N, then

a [n : 1] b = Fn(a, b). (54)

0 Proof. Let a, b ∈ N. From Definitions 3 and 6 one obtains that F0(a, b) = H1(a, b) and a [0 : 1] b = n H1(a, b), therefore a [0 : 1] b = F0(a, b). For a, b ∈ N with n ∈ N \{0}, the Eq. (54) follows from Corollary 1 and Proposition 6.  n n 0 0 The sequence {(N, 0,Sn)}n∈N is generated from the system (N, 0,S0) via the exponential function E. In general, a Peano system induces an exponential semiring from its regular hyperoperations. The exponential function of this semiring is used to generate a sequence of Peano systems. This is a recursive procedure. Identifying a new sequence requires recording previous choices of generating systems. Notation. The index of a sequence of Peano systems of level k, is an element of the set  N, if k = 1; Ink−1 = (55) {(nk−1, 0), (nk−1, 1), (nk−1, 2),... }, otherwise; k−1 where nk−1 = (n1, n2, . . . , nk−1) is a fixed element in N , recording previous choices of Peano systems. For k > 1, let nk = (nk−1, nk) ∈ Ink−1 and l ∈ Z. Whenever nk + l ∈ N, denote

nk + l = (nk−1, nk + l). (56) The present proposal to generate new sequences of Peano systems can be visualized as a binary tree diagram, see Fig. 2. The initial objects in the recursion are

n0 N = N,Sn0 = S, En0 = E,Ln0 = L. (57) HYPEROPERATIONS IN EXPONENTIAL FIELDS 11

n1 ...

n3 ...

n5 ...

. . . n2 . n4

Figure 2. The diagram shows five sequences of Peano systems. In particular, the sequence with index n5 is obtained after the choices: n1 = 2, n2 = 1, n3 = 1 and n4 = 3.

nk−1 Definition 7. For k > 0, assume knowledge of N ,Snk−1 ,Enk−1 ,Lnk−1 . Define the following sets  , if k = 0;  N nk  nk−1 N = N , if k > 0 and nk = 0; (58)  nk−1 Enk−1 ( N ), otherwise.

nk nk+1 nk Remark. The function Enk−1 generates a descending filtration in N, meaning N ⊂ N. Further nk nk−1 note that N ⊂ N . nk Definition 8. Define the successor function in N as the recursive function  S(a), if k = 0; nk nk nk  Snk : N → N \{ 0 } : Snk (a) = Snk−1 (a), if k > 0 and nk = 0; (59)  Enk−1 (Snk−1(Lnk−1 (a))), otherwise. −1 Denote its inverse function as Snk . Definition 9. The sequence of regular hyperoperations generated from the succesor function in n n n k k 2 k N is the sequence of binary operations [nk : m]:(N) → N for m ∈ N, defined recursively as  S (b), if m = 0;  nk  nk  a, if m = 1 and b = 0 ;  nk nk a [nk : m] b = 0 , if m = 2 and b = 0 ; (60)  nk nk  ≥  1 , if m 3 and b = 0 ;  − −1 a [nk : m 1] (a [nk : m] Snk (b)), otherwise.

Note that if nk = 0, then [nk : m] = [nk−1 : m].

Remark. From Definitions 1 and 6 one obtains that [n0 : m] = Hm and [n1 : m] = [n : m], where n1 = n.

nk nk Definition 10. Define the function Enk : N → N : Enk (a) = wk [nk : 3] a, for a given base nk nk nk wk ∈ N \{ 0 , 1 }. Denote its inverse function as Lnk .

nk nk Remark. The tuple (N, [nk : 1], [nk : 2]) is a semiring with additive identity 0 and multiplicative nk n0 nk identity 1 . The semiring isomorphism from (N, [n0 : 1], [n0 : 2]) to (N, [nk : 1], [nk : 2]) takes the form nk ◦ · · · ◦ n2 ◦ n1 Enk−1 En1 En0 , (61) nj where ◦ stands for function composition and Enj−1 stands for apply nj-times the function Enj−1 . 12 JUAN D. JARAMILLO

The following propositions involve relations between hyperoperations with index nk and nk−1.

nk Proposition 9. Let a, b ∈ N, then nk nk nk a [nk : m] b = Enk−1 (Lnk−1 (a)[nk−1 : m] Lnk−1 (b)). (62)

nk Proof. Let a, b ∈ N. In analogy to Theorem 2 one obtains

a [nk : m] b = Enk−1 (Lnk−1 (a)[nk − 1 : m] Lnk−1 (b)). (63) Similarly, one obtains − 2 − 2 Lnk−1 (a)[nk 1 : m] Lnk−1 (b) = Enk−1 (Lnk−1 (a)[nk 2 : m] Lnk−1 (b)), (64) therefore, 2 2 − 2 a [nk : m] b = Enk−1 (Lnk−1 (a)[nk 2 : m] Lnk−1 (b)). (65) Repeating this procedure, one obtains nk nk − nk a [nk : m] b = Enk−1 (Lnk−1 (a)[nk nk : m] Lnk−1 (b)) (66a) nk nk nk = Enk−1 (Lnk−1 (a) [(nk−1, 0) : m] Lnk−1 (b)) (66b) nk nk nk = Enk−1 (Lnk−1 (a)[nk−1 : m] Lnk−1 (b)). (66c)  nk Proposition 10. Let a ∈ N. If wk = wk−1 [nk : 4] (nk + 1), then

Enk (a) = Enk−1 (a). (67)

nk Proof. Let a ∈ N. From Proposition 9 one obtains

Enk (a) = wk [nk : 3] a (68a) nk nk nk = Enk−1 (Lnk−1 (wk)[nk−1 : 3] Lnk−1 (a)). (68b)

If wk = wk−1 [nk : 4] (nk + 1), then

nk nk Enk (a) = Enk−1 (wk−1 [nk−1 : 3] Lnk−1 (a)) (69a) nk nk = Enk−1 (Enk−1 (Lnk−1 (a))) (69b)

= Enk−1 (a). (69c)  nk Proposition 11. Let a, b ∈ N. If wk−1 = wk−2 [nk−1 : 4] (nk−1 + 1), then

nk nk−1+nk N = N and a [nk : m] b = a [nk−1 + nk : m] b. (70)

nk (nk−1,0) nk−1 nk−1+nk nk−1 Proof. nk nk nk Note that N = Enk−1 ( N ) = Enk−1 ( N ) and N = Enk−2 ( N ). Let wk−1 = nk nk−1+nk nk nk wk−2 [nk−1 : 4](nk−1 +1). From Proposition 10 one obtains Enk−1 = Enk−2 , therefore N = N . Finally, from Propositions 9 and 10 one obtains

nk nk nk a [nk : m] b = Enk−1 (Lnk−1 (a)[nk−1 : m] Lnk−1 (b)) (71a) nk nk nk = Enk−2 (Lnk−2 (a)[nk−1 : m] Lnk−2 (b)) (71b)

= a [nk−1 + nk : m] b. (71c)  4. Representation of Natural Numbers A recursive representation of nonnegative integers using commutative hyperoperations can be obtained from its power series expansion. Let a, b ∈ N, the reader is reminded of ordinary notation b a + b = H1(a, b), a × b = H2(a, b) and a = H3(a, b). It is well known that any integer a ∈ N can be represented uniquely as a power series base w in the form 2 m a = d0 + d1 × w + d2 × w + ··· + dm × w , (72) −1 where the coefficients dk ∈ {0, 1, 2,...,S (w)} are the digits and the maximum exponent m ∈ N is such that dk>m = 0. In the power series of Eq. (72) one can write each exponent as a power series base w and proceed iteratively. This is known as the hereditary representation of a natural number. HYPEROPERATIONS IN EXPONENTIAL FIELDS 13

Let w be the base of the exponential function E, underlying the definition of the commutative hyperoperations {Fn}n∈N. This power series can be written recursively as ( d0, if k = 0; ak = 1 (73) F0(F1(dk, k), ak−1), if 0 < k ≤ m.

1 n n n −1 n The term k is the scale of the digit dk and am = a. Now consider the coefficients ek ∈ {0, 1, 0,...,Sn (w)} for 0 ≤ k ≤ m. Applying the function En to both sides of Eq. (73) one arrives at the more general n n statement that any element b ∈ N can be represented as a power series in the semiring (N,Fn,Fn+1), taking the form ( e0, if k = 0; bk = n+1 (74) Fn(Fn+1(ek, k ), bk−1), if 0 < k ≤ m. n+1 The term k is the scale of the digit ek and bm = b. The Eq. (74) allows hereditary representations 1 1 written in terms of commutative hyperoperations. The scale k ∈ N, can be represented as a power 1 series in the semiring (N,F1,F2) and so on. The procedure repeats iteratively until all scales are expanded. For example, the power series expansion of 266 base w = 3 is 266 = 2 × 30 + 1 × 31 + 2 × 32 + 1 × 35. (75) In the usual hereditary representation, the exponent k = 5 is replaced by its power series expansion 0 0 1 k = 2 × 3 + 1 × 3 . Alternatively, using Eq. (73) with a = 266 ∈ N and w = 3, one obtains 0 a0 = 2, (76a) 0 1 a1 = F0(F1(1, 1), a0), (76b) 0 1 a2 = F0(F1(2, 2), a1), (76c)

a3 = a2, (76d)

a4 = a3, (76e) 0 1 a5 = F0(F1(1, 5), a4) = a. (76f)

1 According to the hereditary representation, the scale 5 in a5 from Eq. (76), must be expanded. 1 1 From Eq. (74) with b = 5 ∈ N and w = 3, one obtains 1 b0 = 2, (77a) 1 2 b1 = F1(F2(1, 1), b0) = b. (77b) There is no further iteration. The expansion of 266 base w = 2 is 266 = 21 + 23 + 28. (78) From Eq. (73) with a = 266 and w = 2, one obtains

0 a0 = 0, (79a) 0 1 a1 = F0(F1(1, 1), a0), (79b)

a2 = a1, (79c) 0 1 a3 = F0(F1(1, 3), a2), (79d)

a4 = a3, (79e) . .

a7 = a6, (79f) 0 1 a8 = F0(F1(1, 8), a7) = a. (79g) 14 JUAN D. JARAMILLO

1 1 1 The scale 3 in a3 from Eq. (79), must be expanded. From Eq. (74) with b = 3 ∈ N and w = 2, one obtains 1 b0 = 1, (80a) 1 2 b1 = F1(F2(1, 1), b0) = b. (80b)

1 There is no further iteration in a3 from Eq. (79). The scale 8 in a8 from Eq. (79), must be expanded. 1 1 1 8 23 Note that 8 = 2 = 2 . Let c = 8 ∈ N and w = 2. Using the same procedure as in Eq. (74), one obtains 1 c0 = 0, (81a)

c1 = c0, (81b)

c2 = c1, (81c) 1 2 c3 = F1(F2(1, 3), c2) = c. (81d)

2 2 2 2 23 21+2 0 The scale 3 in c3 from Eq. (81), must be expanded. Note that 3 = 2 = 2 . Let c = 3 ∈ N with w = 2. Using the same procedure as in Eq. (74), one obtains

0 2 c0 = 1, (82a)

0 2 3 0 0 c1 = F2(F3(1, 1), c0) = c . (82b) There is no further iteration.

5. Groups and Fields This section presents the standard construction of the rational numbers [12] as a parallel con- n struction departing from the initial sets for n ∈ N. The procedure of inverse completion is applied n N ⊕ to each commutative monoid (N,Fn), obtaining the abelian group (Zn,, n,). A multiplication ⊗ ⊕ ⊗ n, is defined in Zn,, making the tuple (Zn,, n,, n,) an integral domain. After applying ⊕ ⊗ inverse completion to the latter, it is obtained the field of quotients (Qn,, n,, n,). 5.1. Construction of abelian groups from commutative monoids.

0 0 Definition 11. Define the cartesian product (N × N, ⊕0) such that 0 0 ∀(x, y), (u, v) ∈ N × N :(x, y) ⊕0 (u, v) = (F0(x, u),F0(y, v)). (83) ~ 0 0 Definition 12. Define the function E in N × N as E~ (x, y) = (E(x),E(y)). (84) Denote by L~ its inverse function.

n n−1 n n n−1 n−1 Remark. Since N ⊂ N , then N × N ⊂ N × N . Definition 13. Define the binary operation n n n n 2 ⊕n :(N × N) → N × N : (x, y) ⊕n (u, v) = (Fn(x, u),Fn(y, v)). (85) Note that (x, y) ⊕n (u, v) = E~ (L~ (x, y) ⊕n−1 L~ (u, v)). (86) n n n Proposition 12. Let (x, y), (u, v) ∈ N × N. The relation  defined as n (x, y)  (u, v) ⇐⇒ Fn(x, v) = Fn(y, u), (87) n n is a congruence relation on the commutative monoid (N × N, ⊕n). Proof. Reflexivity and symmetry are straightforward. It remains to prove transitivity and com- patibility: HYPEROPERATIONS IN EXPONENTIAL FIELDS 15

n n (1) Transitivity. Let (xi, yi) ∈ N × N for i = 1, 2, 3, such that n n (x1, y1)  (x2, y2) and (x2, y2)  (x3, y3). (88) Since Fn(x1, y2) = Fn(x2, y1) and Fn(x2, y3) = Fn(x3, y2), (89) adding both equations one obtains

Fn(x1, y3) = Fn(x3, y1). (90) n That is (x1, y1) (x3, y3).  n n (2) Compatibility. Let (xi, yi), (ui, vi) ∈ N × N for i = 1, 2, such that n n (x1, y1)  (x2, y2) and (u1, v1)  (u2, v2). (91) For i = 1, 2, denote

(ai, bi) = (xi, yi) ⊕n (ui, vi) = (Fn(xi, ui),Fn(yi, vi)). (92) From Eq. (91) it follows that

Fn(a1, b2) = Fn(a2, b1), (93) n implying (a1, b1)  (a2, b2).  Notation. Consider the quotient structure n n ! × ⊕ N N ⊕ (Zn,, n,) = n , n, , (94)  n n n ⊕ × ⊕ where n, is the operation induced on (N N)/ by n. Denote by [[(x, y)]]n, the equivalence n class of (x, y) under . n n n n Remark. For all (x, y), (u, v) ∈ N × N, if (x, y)  (u, v), then (y, x)  (v, u). Definition 14. Define the involution → Tn, : Zn, Zn, :

Tn, [[(x, y)]]n, = [[(y, x)]]n,. (95) The tuple ⊕ is an abelian group. Proposition 13. (Zn,, n,) n n n Proof. Since  is a congruence relation on the commutative monoid (N×N, ⊕n), the corresponding ⊕ quotient structure (Zn,, n,) is also a commutative monoid. It is straightforward to verify that ⊕ the involution Tn, is the group inverse in (Zn,, n,), therefore it is a group.  n Definition 15. The ordering < in Zn, is defined as n ⇐⇒ [[(x, y)]]n, < [[(u, v)]]n, Fn(x, v) < Fn(y, u). (96) n n Proposition 14. Let (x, y), (u, v) ∈ N × N, then n ~ n+1 ~ (x, y)  (u, v) ⇐⇒ E((x, y))  E((u, v)). (97) n ~ n+1 ~ n Proof. The proof that (x, y)  (u, v) ⇒ E(x, y)  E(u, v) is the following: If (x, y)  (u, v), then Fn(x, v) = Fn(y, u). Applying the exponential E at both sides, one obtains Fn+1(E(x),E(v)) = n+1 n+1 Fn+1(E(y),E(u)). From the definition of  , this implies (E(x),E(y))  (E(u),E(v)), that is, ~ n+1 ~ E(x, y)  E(u, v). Noting that E is an injective function, the converse statement is proven in a similar way.  Definition 16. Define the function E in U = S as  Z n∈N Zn, ~ E([[a]]n,) = [[E(a)]]n+1,. (98)

Denote by L its inverse function. Remark. Note that Zn, = E(Zn−1,). 16 JUAN D. JARAMILLO

Let ∈ , then Proposition 15. a, b Zn, ⊕ ⊕ a n, b = E(L(a) n−1, L(b)). (99) Proof. Let a = [[(x, y)]]n, and b = [[(u, v)]]n,, then ⊕ ⊕ [[(x, y)]]n, n, [[(u, v)]]n, = [[(x, y) n (u, v)]]n, (100a) ~ ~ ⊕ ~ = [[E(L(x, y) n−1 L(u, v))]]n, (100b) ~ ⊕ ~ = E([[L(x, y) n−1 L(u, v)]]n−1,) (100c) ~ ⊕ ~ = E([[L(x, y)]]n−1, n−1, [[L(u, v)]]n−1,) (100d) ⊕ = E(L([[(x, y)]]n,) n−1, L([[(u, v)]]n,)). (100e)  n n n n Notation. Denote kn, = [[(k, 0)]]n, and Nn, = [[(N, 0)]]n,. Remark. ⊕ ⊕ Every element in the abelian group (Zn,, n,) can be written as a n, (Tn, b), where ∈ a, b Nn,. 5.2. Construction of integral domains from abelian groups. Definition 17. Define the binary operation n n n n 2 ⊗n :(N × N) → N × N : (x, y) ⊗n (u, v) = (Fn(Fn+1(x, u),Fn+1(y, v)),Fn(Fn+1(y, u),Fn+1(x, v))). (101) n n Proposition 16. Let (xi, yi), (ui, vi) ∈ N × N for i = 1, 2, such that n n (x1, y1)  (x2, y2) and (u1, v1)  (u2, v2), (102) then n ((x1, y1) ⊗n (u1, v1))  ((x2, y2) ⊗n (u2, v2)). (103) Proof. For i = 1, 2, denote

(ai, bi) = ((xi, yi) ⊗n (ui, vi)) = (Fn(Fn+1(xi, ui),Fn+1(yi, vi)),Fn(Fn+1(yi, ui),Fn+1(xi, vi))). (104) From Eq. (102) it follows that Fn(a1, b2) = Fn(b1, a2), (105) therefore n (a1, b1)  (a2, b2). (106)  Definition 18. Define the binary operation ⊗ 2 → n, :(Zn,) Zn, : ⊗ ⊗ [[(x, y)]]n, n, [[(u, v)]]n, = [[(x, y) n (u, v)]]n,. (107) Let ∈ , then Proposition 17. a, b Zn, ⊗ ⊗ a n, b = E(L(a) n−1, L(b)). (108) Proof. Let a = [[(x, y)]]n, and b = [[(u, v)]]n,, then ⊗ [[(x, y)]]n, n, [[(u, v)]]n, (109a)

= [[(Fn(Fn+1(x, u),Fn+1(y, v)),Fn(Fn+1(x, v),Fn+1(y, u)))]]n, (109b)

= E([[(Fn−1(Fn(L(x),L(u)),Fn(L(y),L(v))),Fn−1(Fn(L(x),L(v)),Fn(L(y),L(u))))]]n−1,) (109c) ⊗ = E([[(L(x),L(y))]]n−1, n−1, [[(L(u),L(v))]]n−1,) (109d) ⊗ = E(L([[(x, y)]]n,) n−1, L([[(u, v)]]n,)). (109e)  The tuple ⊕ ⊗ is a commutative semiring. Proposition 18. (Nn,, n,, n,) HYPEROPERATIONS IN EXPONENTIAL FIELDS 17

n Proof. ⊕ ⊗ The semiring structure in (Nn,, n,, n,) is induced by (N,Fn,Fn+1), in account that n ⊕ xn, n, yn, = [[(Fn(x, y), 0)]]n,, (110a) n ⊗ xn, n, yn, = [[(Fn+1(x, y), 0)]]n,. (110b)  Remark. ⊕ ⊗ The additive inverse Tn, in (Zn,, n,, n,), exhibits the following properties:

Tn, (Tn, a) = a, (111a) ⊕ ⊕ (Tn, a) n, (Tn, b) = Tn, (a n, b), (111b) ⊗ ⊗ ⊗ (Tn, a) n, b = a n, (Tn, b) = Tn, (a n, b), (111c) ⊗ ⊗ (Tn, a) n, (Tn, b) = a n, b. (111d) The tuple ⊗ is a commutative monoid. Proposition 19. (Zn,, n,) Proof. ⊗ From Proposition 18 the tuple (Nn,, n,) is a commutative monoid. From the properties ⊗ ⊗ in Eq. (111) any computation in (Zn,, n,) reduces to a computation in (Nn,, n,), up to the overall action of the additive inverse Tn,.  The tuple ⊕ ⊗ is an integral domain. Theorem 3. (Zn,, n,, n,) Proof. ⊕ From Proposition 13 the tuple (Zn,, n,) is an abelian group and from Proposition 19 ⊗ ⊕ ⊗ the tuple (Zn,, n,) is a commutative monoid. The tuple (Zn,, n,, n,) is a commutative ∈ ring, if it fulfills distributivity. Let a, b, c Nn,. It is sufficient to prove the following eight cases:

⊗ ⊕ ⊗ ⊕ ⊗ a n, (b n, c) = (a n, b) n, (a n, c), (112a) ⊗ ⊕ ⊗ ⊕ ⊗ a n, (b n, (Tn, c)) = (a n, b) n, (a n, (Tn, c)), (112b) ⊗ ⊕ ⊗ ⊕ ⊗ a n, ((Tn, b) n, c) = (a n, (Tn, b)) n, (a n, c), (112c) ⊗ ⊕ ⊗ ⊕ ⊗ a n, ((Tn, b) n, (Tn, c)) = (a n, (Tn, b)) n, (a n, (Tn, c)), (112d) ⊗ ⊕ ⊗ ⊕ ⊗ (Tn, a) n, (b n, c) = ((Tn, a) n, b) n, ((Tn, a) n, c), (112e) ⊗ ⊕ ⊗ ⊕ ⊗ (Tn, a) n, (b n, (Tn, c)) = ((Tn, a) n, b) n, ((Tn, a) n, (Tn, c)), (112f) ⊗ ⊕ ⊗ ⊕ ⊗ (Tn, a) n, ((Tn, b) n, c) = ((Tn, a) n, (Tn, b)) n, ((Tn, a) n, c), (112g) ⊗ ⊕ ⊗ ⊕ ⊗ (Tn, a) n, ((Tn, b) n, (Tn, c)) = ((Tn, a) n, (Tn, b)) n, ((Tn, a) n, (Tn, c)). (112h) n n n n ∈ Let x, y, z N such that a = [[(x, 0)]]n,, b = [[(y, 0)]]n,, c = [[(z, 0)]]n,. The Eq. (112b) becomes, n n n ⊗ ⊕ [[(x, 0)]]n, n, ([[(y, 0)]]n, n, [[(0, z)]]n,) (113a) n ⊗ = [[(x, 0)]]n, n, [[(y, z)]]n, (113b)

= [[(Fn+1(x, y),Fn+1(x, z))]]n, (113c) n n ⊕ = [[(Fn+1(x, y), 0)]]n, n, [[(0,Fn+1(x, z))]]n, (113d) n n n n ⊗ ⊕ ⊗ = ([[(x, 0)]]n, n, [[(y, 0)]]n,) n, ([[(x, 0)]]n, n, [[(0, z)]]n,). (113e) Similarly, one proves Eqs. (112c), (112f) and (112g). The remaining cases follow from the fact ⊕ ⊗ that (Nn,, n,, n,) is a commutative semiring and from the properties in Eq. (111). To prove ⊕ ⊗ that the commutative ring (Zn,, n,, n,) is an integral domain one has to prove that the ⊗ \{ } multiplication n, is closed in Zn, 0n, . If follows from the fact that the equations n n Fn(Fn+1(x, u),Fn+1(y, v)) = 0 and Fn(Fn+1(y, u),Fn+1(x, v)) = 0, (114) n from Definition 17, have no solutions in N, except for (x, y) or (u, v) equal to (0, 0).  Remark. From the properties in Eq. (111), one obtains ⊗ Tn, a = (Tn, 1n,) n, a. (115) generalizing the notion from n = 0 that any number changes sign after multiplying by the negative unit. 18 JUAN D. JARAMILLO

Remark. The isomorphism E is nonexponential as defined in the last paragraph of section 2, ∩ ∅ since Zn, Zn+1, = . 5.3. Construction of fields of quotients from integral domains. ∗ Notation. Denote = n, \{0n, }. Zn, Z   ∗ 0 Definition 19. Define the direct product ( n, × , ⊗ ) such that Z  Zn, n ∀(x, y), (u, v) ∈ × ∗ : Zn, Zn, ⊗0 ⊗ ⊗ (x, y) n (u, v) = (x n, u, y n, v). (116) S ∗ Definition 20. Define the function E~ in n, × as  n∈N Z  Zn, ~ E(x, y) = (E(x),E(y)). (117) ~ Denote by L its inverse function. ∗ ~ ∗ Remark. Note that n, × = E ( n−1, × ) and Z  Zn,  Z  Zn−1, ⊗0 ~ ~ ⊗0 ~ (x, y) n (u, v) = E(L(x, y) n−1 L(u, v)). (118) Definition 21. Define the binary operation ⊕0 : × ∗ → × ∗ : n Zn, Zn, Zn, Zn, ⊕0 ⊗ ⊕ ⊗ ⊗ (x, y) n (u, v) = ((x n, v) n, (y n, u), y n, v). (119) ∗ 0 Proposition 20. The tuple ( n, × , ⊗ ) is a commutative monoid. Z  Zn, n ∗ Proof. It is a direct product of the commutative monoids ( n, , ⊗n, ) and ( , ⊗n, ). Z   Zn,   ∗ 0 Proposition 21. The tuple ( n, × , ⊕ ) is a commutative monoid. Z  Zn, n Proof. Some expressions below are simplified using the standard order of operations where multi- plication has precedence over addition. ∗ 0 (1) Closure. Let (x, y), (u, v) ∈ n, × , be such that (x, y) ⊕ (u, v) = (a, b). From Z  Zn, n ⊕ ⊗ Theorem 3, the tuple (Zn,, n,, n,) is an integral domain. Since the latter is a ring ∗ and it has no nonzero zero divisors, then a ∈ n, and b ∈ . Z  Zn, ∗ (2) Identity element. It is straightforward to verify that for all (x, y) ∈ n, × , it holds Z  Zn, that ⊕0 ⊕0 (x, y) n (0n,, 1n,) = (0n,, 1n,) n (x, y) = (x, y). (120) (3) Commutativity. ⊕0 ⊗ ⊕ ⊗ ⊗ (x, y) n (u, v) = ((x n, v) n, (y n, u), y n, v) (121a) ⊗ ⊕ ⊗ ⊗ = ((u n, y) n, (v n, x), v n, y) (121b) 0 = (u, v) ⊕n (x, y). (121c) ∗ (4) Associativity. Let (xi, yi) ∈ n, × for i = 1, 2, 3. Z  Zn, 0 0 (x1, y1) ⊕n ((x2, y2) ⊕n (x3, y3)) (122a) ⊕0 ⊗ ⊕ ⊗ ⊗ = (x1, y1) n (x2 n, y3 n, y2 n, x3, y2 n, y3) (122b) ⊗ ⊗ ⊕ ⊗ ⊗ ⊕ ⊗ ⊗ ⊗ = (x1 n, y2 n, y3 n, y1 n, (x2 n, y3 n, x3 n, y2), y1 n, y2 n, y3) (122c) ⊗ ⊕ ⊗ ⊗ ⊕ ⊗ ⊗ ⊗ ⊗ = ((x1 n, y2 n, y1 n, x2) n, y3 n, y1 n, y2 n, x3, y1 n, y2 n, y3) (122d) ⊗ ⊕ ⊗ ⊗ ⊕0 = (x1 n, y2 n, y1 n, x2, y1 n, y2) n (x3, y3) (122e) 0 0 ((x1, y1) ⊕n (x2, y2)) ⊕n (x3, y3). (122f)  n ∗ Proposition 22. Let (x, y), (u, v) ∈ n, × . The cross-relation defined as Z  Zn,  n ⇐⇒ ⊗ ⊗ (x, y)  (u, v) x n, v = u n, y, (123) ∗ 0 0 is a congruence relation on the tuple ( n, × , ⊕ , ⊗ ). Z  Zn, n n Proof. Reflexivity and symmetry are straightforward. It remains to prove transitivity and com- patibility: HYPEROPERATIONS IN EXPONENTIAL FIELDS 19

∗ (1) Transitivity. Let (xi, yi) ∈ n, × for i = 1, 2, 3, such that Z  Zn, n n (x1, y1)  (x2, y2) and (x2, y2)  (x3, y3), (124) that is ⊗ ⊗ ⊗ ⊗ x1 n, y2 = x2 n, y1 and x2 n, y3 = x3 n, y2. (125) Multiplying both equations one obtains obtains ⊗ ⊗ ⊗ ⊗ ⊗ ⊗ x1 n, y2 n, x2 n, y3 = x2 n, y1 n, x3 n, y2, (126) that is ⊗ ⊗ ⊗ ⊕ ⊗ x2 n, y2 n, (x1 n, y3 n, Tn, (y1 n, x3)) = 0n,. (127) ⊕ ⊗ ⊗ ⊕ Since (Zn,, n,, n,) is an integral domain, either x2 = 0n, or x1 n, y3 n, n ⊗ Tn, (y1 n, x3) = 0. If x2 = 0n,, the Eq. (125) implies x1 = x3 = 0n,, therefore n ⊗ ⊕ ⊗ ⊗ ⊗ (x1, y1)  (x3, y3). If x1 n, y3 n, Tn, (y1 n, x3) = 0n,, then x1 n, y3 = x3 n, y1, n that is (x1, y1)  (x3, y3). ∗ (2) Compatibility. Let (xi, yi), (ui, vi) ∈ n, × for i = 1, 2, such that Z  Zn, n n (x1, y1)  (x2, y2) and (u1, v1)  (u2, v2). (128) For i = 1, 2, denote ⊕0 ⊗ ⊕ ⊗ ⊗ (ai, bi) = (xi, yi) n (ui, vi) = (xi n, vi n, yi n, ui, yi n, vi), (129a) 0 0 ⊗0 ⊗ ⊗ (ai, bi) = (xi, yi) n (ui, vi) = (xi n, ui, yi n, vi). (129b) From Eq. (128) it follows that ⊗ ⊗ 0 ⊗ 0 0 ⊗ 0 a1 n, b2 = a2 n, b1 and a1 n, b2 = a2 n, b1, (130) implying n n 0 0 0 0 (a1, b1)  (a2, b2) and (a1, b1)  (a2, b2). (131)  Notation. Consider the quotient structure ∗ ! Zn, × Z ⊕ ⊗  n, ⊕ ⊗ (Qn,, n,, n,) = n , n,, n, , (132)  n ∗ 0 0 where ⊕n, and ⊗n, are the operations induced on ( n, × )/ by ⊕ and ⊗ . Denote by   Z  Zn,  n n n [[(x, y)]]n, the equivalence class of (x, y) under . n n n Remark. If (x, y)  (u, v) then (Tn, x, y)  (Tn, u, v) and (y, x)  (v, u). ∗ Notation. Denote kn, = [[(kn, , 1n, )]]n, and = n, \{0n, }.     Qn, Q   Definition 22. Define the involution → T0, : Q0, Q0, :

T0, [[(x, y)]]0, = [[(T0, x, y)]]0, = [[(x, T0, y)]]0,. (133) And for n > 0, define the involution T : ∗ ∪ → ∗ ∪ : n, Qn−1, Qn, Qn−1, Qn,

Tn, [[(x, y)]]n−1, = [[(y, x)]]n−1,, (134a)

Tn, [[(x, y)]]n, = [[(Tn, x, y)]]n, = [[(x, Tn, y)]]n,. (134b) The tuple ⊕ ⊗ is a commutative field. Theorem 4. (Qn,, n,, n,) Proof. ⊕ ⊗ From Propositions 20, 21 and 22, the tuples (Qn,, n,) and (Qn,, n,) are commutative ∗ 0 ∗ 0 monoids induced by ( n, × , ⊕ ) and ( n, × , ⊗ ). The following properties rely on the Z  Zn, n Z  Zn, n ⊕ ⊗ equivalence class [[.]]n, and complete the proof that the tuple (Qn,, n,, n,) is a commutative field: 20 JUAN D. JARAMILLO

∗ (1) Additive inverse. Let (x, y) ∈ n, × , then Z  Zn, ⊕ ⊕ [[(x, y)]]n, n, Tn, [[(x, y)]]n, = [[(x, y)]]n, n, [[(Tn, x, y)]]n, (135a) ⊗ = [[(0n,, y n, y)]]n, (135b)

= [[(0n,, 1n,)]]n,. (135c) (2) Mutiplicative inverse. ⊗ ⊗ [[(x, y)]]n, n, Tn+1, [[(x, y)]]n, = [[(x, y)]]n, n, [[(y, x)]]n, (136a) ⊗ ⊗ = [[(x n, y, y n, x)]]n, (136b)

= [[(1n,, 1n,)]]n,. (136c) ∗ (3) Distributivity. Let (xi, yi) ∈ n, × for i = 1, 2, 3, then Z  Zn, ⊗ ⊕ [[(x1, y1)]]n, n, ([[(x2, y2)]]n, n, [[(x3, y3)]]n,) (137a) ⊗ ⊗ ⊕ ⊗ ⊗ [[(x1, y1)]]n, n, [[(x2 n, y3 n, y2 n, x3, y2 n, y3)]]n, (137b) ⊗ ⊗ ⊕ ⊗ ⊗ ⊗ [[(x1 n, (x2 n, y3 n, y2 n, x3), y1 n, y2 n, y3)]]n, (137c) ⊗ ⊗ ⊕ ⊗ ⊗ ⊗ ⊗ [[(x1 n, x2 n, y3 n, x1 n, y2 n, x3, y1 n, y2 n, y3)]]n, (137d) ⊗ ⊗ ⊗ ⊕ ⊗ ⊗ ⊗ ⊗ ⊗ ⊗ [[(x1 n, x2 n, y1 n, y3 n, y1 n, y2 n, x1 n, x3, y1 n, y2 n, y1 n, y3)]]n, (137e) ⊗ ⊗ ⊕ ⊗ ⊗ [[(x1 n, x2, y1 x, y2)]]n, n, [[(x1 n, x3, y1 n, y3)]]n, (137f) ⊗ ⊕ ⊗ [[(x1, y1)]]n, n, [[(x2, y2)]]n, n, [[(x1, y1)]]n, n, [[(x3, y3)]]n,. (137g) 

+ Remark. Denote = n, \{0n, }. Any element [[(x, y)]]n, in n, can be rewritten as Zn, N    Q  0 0 0 + [[(x , y )]]n, , where y ∈ .  Zn, n Definition 23. The ordering < in Qn, is defined as n n ⇐⇒ 0 ⊗ 0 0 ⊗ 0 [[(x, y)]]n, < [[(u, v)]]n, (x n, v ) < (y n, u ), (138) 0 0 0 0 0 0 + where [[(x, y)]]n, = [[(x , y )]]n, and [[(u, v)]]n, = [[(u , v )]]n, , with y , v ∈ .     Zn, ∗ Proposition 23. Let (x, y), (u, v) ∈ n, × , then Z  Zn, n n+1 ⇐⇒ ~ ~ (x, y)  (u, v) E(x, y)  E(u, v). (139) n n+1 n Proof. ⇒ ~ ~ The proof that (x, y)  (u, v) E(x, y)  E(u, v) is the following: If (x, y)  (u, v) then Fn+1(x, v) = Fn+1(y, u). Applying the exponential E at both sides, one obtains n+1 n+1 Fn+2(E(x),E(v)) = Fn+2(E(y),E(u)). From the definition of  , this implies (E(x),E(y))  n+1 ~ ~ (E(u),E(v)), that is, E(x, y)  E(u, v). Noting that E is an injective function, the converse statement is proven in a similar way. 

Definition 24. Define the function E in U = S as  Q n∈N Qn, ~ E([[a]]n,) = [[E(a)]]n+1,. (140)

Denote by L its inverse function. Remark. Note that Qn, = E(Qn−1,). Remark. The isomorphism E is nonexponential as defined in the last paragraph of section 2, ∩ ∅ since Qn, Qn+1, = . Let ∈ , then Proposition 24. a, b Qn, ⊗ ⊗ a n, b = E(L(a) n−1, L(b)), (141a) ⊕ ⊕ a n, b = E(L(a) n−1, L(b)). (141b) HYPEROPERATIONS IN EXPONENTIAL FIELDS 21

Proof. Let a = [[(x, y)]]n, and b = [[(u, v)]]n,. From Propositions 15 and 17, one obtains ⊕ [[(x, y)]]n, n, [[(u, v)]]n, (142a) ⊗ ⊕ ⊗ ⊗ = [[((x n, v) n, (y n, u), y n, v)]]n, (142b) ⊗ ⊕ ⊗ ⊗ = [[(E(L(x) n−1, L(v)) n−1, (L(y) n−1, L(u)),E(L(y) n−1, L(v)))]]n, (142c) ⊕ = E([[(L(x),L(y))]]n−1, n−1, [[(L(u),L(v))]]n−1,) (142d) ⊕ = E(L([[(x, y)]]n,) n−1, L([[(u, v)]]n,)) (142e) and ⊗ [[(x, y)]]n, n, [[(u, v)]]n, (143a) ⊗ ⊗ = [[(x n, u, y n, v)]]n, (143b) ⊗ ⊗ = [[(E(L(x) n−1, L(u)),E(L(y) n−1, L(v)))]]n−1, (143c) ⊗ = E([[(L(x),L(y))]]n−1, n−1, [[(L(u),L(v))]]n−1,) (143d) ⊗ = E(L([[(x, y)]]n,) n−1, L([[(u, v)]]n,)). (143e)  ∗ ∗ Notation. Denote n, = [[( n, , 1n, )]]n, , n, = [[( n, , 1n, )]]n, and = [[( , 1n, )]]n, . N  N    Z  Z    Zn, Zn,   Remark. ⊕ ⊗ ⊗ Every element in the commutative field (Qn,, n,, n,) can be written as a n, ∗ (Tn+1, b), where a ∈ n, and b ∈ .  Z  Zn, 5.4. Construction of real numbers from fields of quotients. There are several ways to construct the usual real numbers (R0,) from the usual rational numbers (Q0,). Analogously, one can construct the reals Rn, from Qn,. Define the absolute value in Qn, as  n T a, if a < 0 ;  n, n, |a|n, = 0n, , if a = 0n, ; (144)   n   a, if a > 0n,.

In the method of Cauchy sequences, the set Rn, is the Cauchy completion of Qn, with respect to the metric | ⊕ | dn,(a, b) = a n, Tn, b n,. (145)

Any number in Rn, is associated to the equivalence class of a Cauchy sequence whose elements · belongs to Qn,. The equivalence class, denoted [[ ]]n,R, is that of Cauchy sequences whose distance in the metric dn, tends to the additive identity 0n,. That is, if a = (a0, a1, a2,... ) and b = (b0, b1, b2,... ) are two Cauchy sequences in Qn,, then

[[a]]n, = [[b]]n, ⇐⇒ lim dn, (ak, bk) = 0n, . (146) R R k→∞  

Any function in Qn, is naturally extended to Rn, by applying the former to every element of the representative Cauchy sequence.

6. Embedding in the real rumbers n ⊕ ⊗ The three characterisitc constructions previously studied: (N,Fn,Fn+1), (Zn,, n,, n,) and ⊕ ⊗ (Qn,, n,, n,), are embedded in R0, using Euler’s real exponential function. The resulting structures are denoted (Nn, •n, •n+1), (Zn, •n, •n+1) and (Qn, •n, •n+1). The section ends with remarks pointing to future research.

Notation. Denote expω(a) = exp(a ln(ω)), where exp(.) is Euler’s real exponential function in 0 ∈ R0,, ln(.) its inverse function and ω is the image of w0 N in R0,. Denote by lnω(.) the inverse function of expω(.). Denote n n n n Rn = expω(R0), Qn = expω(Q0), Zn = expω(Z0) and Nn = expω(N0), (147) where R0 = R0,, Q0 = Q0,, Z0 = Z0, and N0 = N0,.

Remark. Unlike the sets Zn and Qn, the sets Nn and Rn share the property that Nn ⊂ Nn+1 and Rn ⊂ Rn+1. So far it was assumed that ω ∈ N0 \{00, 10}. Note that if ω becomes a positive, noninteger real number, the property Nn ⊂ Nn+1 is no longer valid. 22 JUAN D. JARAMILLO

Remark. Denote •0 and •1 the addition and multiplication in R0. That is, if a = (a0, a1, a2,... ) and b = (b0, b1, b2,... ) are two Cauchy sequences in Q0, then [[a]]0,R, [[b]]0,R ∈ R0 and • ⊕ ⊕ ⊕ [[a]]0,R 0 [[b]]0,R = [[(a0 0, b0, a1 0, b1, a2 0, b2,... )]]0,R, (148a) • ⊗ ⊗ ⊗ [[a]]0,R 1 [[b]]0,R = [[(a0 0, b0, a1 0, b1, a2 0, b2,... )]]0,R. (148b) Definition 25. For n ≥ 2, define the binary operations 2 •n :(Rn−1) → Rn−1 :

a •n b = expω(lnω(a) •n−1 lnω(b)). (149)

Notation. Denote Nn = {0n, 1n, 2n,... }.

Notation. Denote by Tn and Tn+1, the additive and multiplicative inverse in (Rn, •n, •n+1). Note that for all n ∈ N, Tn+1 is defined in Rn \{0n} and T0 is defined in R0. Notation. Denote [ [ [ [ UZ, = Zn,,UQ, = Qn,,UZ = Zn,UQ = Qn. (150) n∈N n∈N n∈N n∈N

Remark. The isomorphism expω(.) is exponential as defined in the last paragraph of Section 2, since Rn ∩ Rn+1 is a nonempty set where

Ad n+1 (• ) = Ad n (• ). (151) expω 0 expω 1

Similarly, the restrictions of expω(.) to UZ and UQ are exponential, since Zn ∩ Zn+1 and Qn ∩ Qn+1 are nonempty sets fulfilling Eq. (151). Definition 26. Define the maps 0 ψ : N → N0 :

ψ(k) = [[(k0,, k0,, k0,,... )]]0,, (152a) → ψ : UZ, UZ : • ψ([[(x, y)]]n,) = ψ(x) n Tn ψ(y), (152b) → ψ : UQ, UQ : • ψ([[(x, y)]]n,) = ψ(x) n+1 Tn+1 ψ(y). (152c) n Remark. The restriction ψn is a semiring isomorphism from (N,Fn,Fn+1) to (Nn, •n, •n+1), with N ω = ψ(w0). The restriction ψ  is an integral domain isomorphism from (Zn, , ⊕n, , ⊗n, )  Zn,    to (Zn, •n, •n+1). The restriction ψ  is a field isomorphism from (Qn, , ⊕n, , ⊗n, ) to  Qn,    (Qn, •n, •n+1). Some equations of general interest: n • Let a ∈ N, then expω(ψ(a)) = ψ(E(a)). (153) • ∈ Let a Zn,, then

expω(ψ(a)) = ψ(E(a)), (154a)

Tn (ψ(a)) = ψ(Tn, a). (154b) • ∈ Let a Qn,, then

expω(ψ(a)) = ψ(E(a)), (155a)

Tn (ψ(a)) = ψ(Tn, a), (155b)

Tn+1 (ψ(a)) = ψ(Tn+1, a). (155c) Remark. The functions ψ and ψ can be interpreted as equivalence classes in UZ, and UQ,. Some examples: 0 • ∈ For w0 = 2, the numbers 160,, 41,, 22, UZ, belong to the same class since

ψ(160,) = ψ(41,) = ψ(22,). (156) 0 • ∈ For w0 = 4, the numbers 20,,T2, 21,,T3, T2, 22, UQ, belong to the same class since

ψ(20,) = ψ(T2, 21,) = ψ(T3, T2, 22,). (157) HYPEROPERATIONS IN EXPONENTIAL FIELDS 23

∈ ∈ A question left to the reader is whether it can find examples of elements a Qn, and b Qm, ∈ such that ψ(a) = ψ(b), without any c Qr, such that ψ(a) = ψ(b) = ψ(c), where n < r < m. Remark. A groupoid category is a category in which every morphism is invertible. This concept provides a general language where to study the former sequences of algebraic sets. For example, { ⊕ ⊗ } the groupoid category with objects (Qn,, n,, n,) n∈N and morphisms Em : → and Lm : → , (158)  Qn, Qn+m,  Qn+m, Qn, for n, m ∈ N, is isomorphic to the groupoid category with objects {(Qn, •n, •n+1)}n∈N and mor- phisms m m expω : Qn → Qn+m and logω : Qn+m → Qn. (159) The functor between their objects is a set of field isomorphisms. + Remark. Denote Rn = {x ∈ Rn : x > 0n}. The sequence of fields {(Rn, •n, •n+1)}n∈N can be + realized with the relaxed condition ω ∈ R0 \{10}, opening new possibilities. The so called infinite power tower is the function n h(x) = lim expx(x), (160) n→∞ converging within R0 in the real interval exp(T0 e) < x < exp(T1 e), where e is Euler’s number. At x = ω, one obtains h(ω) = limn→∞ 0n, a fixed point of the isomorphisms between the fields

{(Rn, •n, •n+1)}n∈N. + Remark. Noting that Rn+1 = expω(Rn), it is easy to see that Rn+1 = Rn .

Remark. The tuple (Rn+1 ∪ {0n}, •n, •n+1) is a semiring. The case n = 0 is the semiring of nonnegative reals, known as the probability semiring in the context of weighted automata [10]. The case n = −1 corresponds to the log semiring [11], where 0−1 = logω(00) and the operation •−1 is defined as a •−1 b = logω(expω(a) •0 expω(b)) (161) In the limit ω → +∞, it becomes the max tropical semiring where a •−1 b = max{a, b}. 0 Remark. Denote the extended natural numbers as N ∪ {∞}, and extend the domain of the binary 0 operation F0, such that F0(a, ∞) = ∞, for all a ∈ N ∪ {∞}. Construct –via inverse completion– 0 0 ∪ { ∞ ∞ } the extended integer numbers as Z0, [[(0, )]]0,, [[( , 0)]]0, , extending the domain of the ⊕ binary operation n,, such that 0 0 0 0 ∈ ∪ { ∞ } ⊕ ∞ ∞ ⊕ ∞ (1) If a Z0, [[(0, )]]0, , then a n, [[(0, )]]0, = [[(0, )]]0, n, a = [[(0, )]]0,. 0 0 0 0 ∈ ∪ { ∞ } ⊕ ∞ ∞ ⊕ ∞ (2) If a Z0, [[( , 0)]]0, , then a n, [[( , 0)]]0, = [[( , 0)]]0, n, a = [[( , 0)]]0,. 0 0 0 ∞ ∞ ∞ ⊕ There are no inverse elements for [[(0, )]]0, and [[( , 0)]]0, because the expressions [[(0, )]]0, n, 0 0 0 0 0 ∞ ∞ ⊕ ∞ ∪{ ∞ ∞ } ⊕ [[( , 0)]]0, and [[( , 0)]]0, n,[[(0, )]]0, are undefined. The tuple (Z0, [[(0, )]]0,, [[( , 0)]]0, , 0,) 0 { ∞ }∪ ⊕ is therefore a monoid, but not a group. It contains the submonoids ( [[(0, )]]0, T0, N0,, 0,) 0 ∪ { ∞ } ⊕ T and (N0, [[( , 0)]]0, , 0,), related by an involution 0,, such that ∈ T (1) If a Z0,, then 0, a = T0, a. 0 0 T ∞ ∞ (2) 0, [[(0, )]]0, = [[( , 0)]]0,. 0 0 T ∞ ∞ (3) 0, [[( , 0)]]0, = [[(0, )]]0,. T The change in notation from Tn, to 0, is to emphasize that the latter is no longer a group 0 0 inverse operation. Extend the domain of the function E from N to N ∪ {∞}. From the finite-base exponentiation of the extended real number line one obtains [13]

expω(ψ(∞)) = ψ(∞). (162)

Note that ψ(∞) fulfills the same property as h(x)x=w0 , defined in Eq. (160). Since expω(ψ(∞)) = ψ(E(∞)), consistency requires E(∞) = ∞. (163) ∪ Henceforth assumed. A similar construction to the one above, leads to the monoid (Zn, n n n { ∞ ∞ } ⊕ { ∞ } ∪ ⊕ [[(0, )]]n,, [[( , 0)]]n, , n,). It contains the submonoids ( [[(0, )]]n, Tn, Nn,, n,) 24 JUAN D. JARAMILLO

n ∪ { ∞ } ⊕ T and (Nn, [[( , 0)]]n, , n,), related by the involution n,. Extend the domain of the func- n n ∪ { ∞ } ∪ { ∞ } tions E and ψ from UZ, to UZ, [[(0, )]]n, n∈N [[( , 0)]]n, n∈N. The Eq. (162) can also be written as 0 0 ∞ ∞ expω(ψ([[( , 0)]]0,)) = ψ([[( , 0)]]0,). (164) Since 0 1 ∞ ∞ expω(ψ([[( , 0)]]0,)) = ψ([[( , 0)]]1,), (165) the Eq. (164) becomes 1 0 ∞ ∞ ψ([[( , 0)]]1,) = ψ([[( , 0)]]0,). (166) n Henceforth assumed. Applying the function expw0 at both sides of Eq. (166) one obtains n+1 n ∞ ∞ ψ([[( , 0 )]]n+1,) = ψ([[( , 0)]]n,). (167) From the algebraic properties of the extended real number line, one obtains 0 0 1 ∞ 00 = ψ([[(0, 0)]]0,) = ψ([[(0, )]]1,). (168) n Applying the function expw0 at both sides, one obtains n n n+1 ∞ 0n = ψ([[(0, 0)]]n,) = ψ([[( 0 , )]]n+1,). (169)

And applying the function logw0 at both sides of Eq. (168) one obtains −1 −1 0 ∞ 0−1 = ψ([[( 0 , 0 )]]−1,) = ψ([[(0, )]]0,). (170) n n { ∞ } { ∞ } This exposes the difference between [[( , 0)]]n, n∈N and [[(0, )]]n, n∈N. It also implies n n ∪ { ∞ } ∪ { ∞ } ∪ { ∞ } ψ(UZ, [[(0, )]]n, n∈N [[( , 0)]]n, n∈N) = UZ 0−1, ψ( ) . (171) In particular, note that n n ∪ { ∞ ∞ } ∪ { ∞ } ψ(Zn, [[(0, )]]n,, [[( , 0)]]n, ) = Zn 0n−1, ψ( ) . (172) n n ∪ { ∞ ∞ } Denote by ψn,, the restriction of ψ to the subdomain Zn, [[(0, )]]n,, [[( , 0)]]n, . Define the involution Tn in Zn ∪ {0n−1, ψ(∞)}, such that T T n ψ(a) = ψ( n, a). (173)

Extend the binary operation •n to the domain Rn ∪ {0n−1, ψ(∞)}, such that (1) If a ∈ Zn ∪ {0n−1}, then a •n 0n−1 = 0n−1 •n a = 0n−1. (2) If a ∈ Zn ∪ {ψ(∞)}, then a •n ψ(∞) = ψ(∞) •n a = ψ(∞). The involution Tn is an isomorphism between the monoids ({0n−1}∪TnNn, •n) and (Nn∪{ψ(∞)}, •n), in particular

Tn ψ(∞) = 0n−1. (174)

0 Remark. Recall the tuple (N,F0,F1) is the semiring of natural numbers. Consider its completion as 0 0 a new semiring where the limit limw0→∞ E(N) is defined. Denote the latter limit as R1 and R0 = N.

Denote the function E(.) = limw0→∞ E(.) in R0, with inverse L(.). Note that R0 ∩R1 = {E(0) = 1}. ∗ ∗ Denote R0 = R0 \{0} and R1 \ {E(0)}. Let a, b ∈ R0 and assume E(a) ≤ E(b) ⇐⇒ a ≤ b. (175) This contrasts with the usual extended natural numbers, where there is only one nonfinite number, which remains invariant when elevated to finite exponents [13]. Define the operations F0 and F1, such that

(1) If a, b ∈ R0, then F0(a, b) = F0(a, b). ∗ (2) If a, b ∈ R1, then F0(a, b) = max(a, b). ∗ (3) If a ∈ R0 and b ∈ R1, then F0(a, b) = b. (4) If a, b ∈ R0, then F1(a, b) = F1(a, b). ∗ (5) If a, b ∈ R1, then F1(a, b) = E(F0(L(a), L(b)). ∗ (6) If a ∈ R0 and b ∈ R1, then F1(a, b) = b. HYPEROPERATIONS IN EXPONENTIAL FIELDS 25

The tuple (R0 ∪R1, F0, F1) is a semiring. Now extend recursively the latter semiring such that the n limit limw0→∞ E(N) is defined for n ∈ N and denote each limit as Rn. Consequently, extend the S n+1 n ∗ n domain of E(.) to Rn. Note that Rn∩Rn = {E (0) = E (1)}. Denote R = Rn\{E (0)}. n∈N +1 n Let a, b ∈ Rn and assume E(a) = E(b) ⇐⇒ a = b. (176) Define the operations Fn and Fn+1 for n ∈ N \{0}, such that (1) If a, b ∈ Rn, then Fn(a, b) = E(Fn−1(L(a), L(b))). ∗ (2) If a, b ∈ Rn+1, then Fn(a, b) = max(a, b). ∗ (3) If a ∈ Rn and b ∈ Rn+1, then Fn(a, b) = b. (4) If a, b ∈ Rn, then Fn+1(a, b) = E(Fn(L(a), L(b))). ∗ (5) If a, b ∈ Rn+1, then Fn+1(a, b) = E(Fn(L(a), L(b))). ∗ (6) If a ∈ Rn and b ∈ Rn+1, then Fn+1(a, b) = b. ∗ The tuple (Rn ∪ Rn+1, Fn, Fn+1) is a semiring. The subset Rn+1 is an ideal, as it fulfills the properties [14]: ∗ (1) The tuple (Rn+1, Fn) is a semigroup. ∗ (2) If a ∈ Rn ∪ Rn+1 and b ∈ Rn+1, then Fn+1(a, b) ∈ I. ∗ (3) Rn+1 ⊂ Rn ∪ Rn+1.

References [1] Bennett, A. A. “Note on an Operation of the Third Grade.” Ann. of Math., Second Series, 17, no. 2 (1915): 74–75. doi:10.2307/2007124. [2] Ackermann, W. “Zum Hilbertschen Aufbau der reellen Zahlen.” Math. Ann. 99 (1928): 118–133. doi:10.1007/BF01459088. [3] Goodstein, R. L. “Transfinite ordinals in recursive number theory.” J. Symb. Log. 12, no. 4 (1947): 123–129. doi:10.2307/2266486. [4] Donner, J., and A. Tarski. “An extended arithmetic of ordinal numbers.” Fund. Math. 65 (1969): 95–127. doi:10.4064/fm-65-1-95-127. [5] Salomon, D. Variable-Length Codes for Data Compression, 1st ed. London: Springer-Verlag, 2007. doi:10.1007/978-1-84628-959-0. [6] Lindstrom, P., S. Lloyd and J. Hittinger. “Universal coding of the reals: Alternatives to IEEE floating point.” Conference for the Next Generation Arithmetic (ConNGA’18). Association for Computing Machinery, New York, NY, USA 5 (2018): 1–14. doi:10.1145/3190339.3190344. [7] Elias, P. “Universal codewords sets and representations of the integers.” IEEE Trans. Inform. Theory 21, no. 2 (1975): 194–203. doi: 10.1109/TIT.1975.1055349. [8] Clenshaw, C. W., and F. W. J. Olver. “Beyond floating point.” J. ACM 31, no. 2 (1984): 319–328. doi:10.1145/62.322429. [9] Clenshaw, C. W., and P. R. Turner. “The Symmetric Level-Index System.” IMA J. Numer. Anal. 8, no. 4 (1988): 517–526. doi:10.1093/imanum/8.4.517. [10] Sakarovitch, J. Elements of Automata Theory, 1st ed. Cambridge: Cambridge University Press, 2009. doi:10.1017/CBO9781139195218. [11] Manfred, D., K. Werner and V. Heiko. Handbook of Weighted Automata. Monographs in Theoretical Computer Science. An EATCS Series. Berlin Heidelberg: Springer-Verlag, 2009. doi:10.1007/978-3-642-01492-5. [12] Warner, S. Modern Algebra. Dover Publications Inc., 1965. [13] Bourbaki, N. Topologie g´en´erale. Chapitres 1 `a 4. Berlin Heidelberg: Springer-Verlag, 2007. doi:10.1007/978-3-540-33982-3. [14] Golan, J. S. Ideals in Semirings. In: Semrings and their Applications. Dordrecht: Springer, 1999. doi:10.1007/978-94-015-9333-5_6.

Universidad del Valle Sede Tulua,´ Villa Campestre, Calle 43 No. 43-33, Tulua,´ Colombia Email address: [email protected]