On the Representation of Fields as Finite Sums of Proper Subfields

We study which fields F can be represented as finite sums of proper subfields. We prove that for any $$n \ge 2$$n≥2 every field F of infinite transcendence degree over its prime subfield can be represented as an unshortenable sum of n subfields, and every rational function field $$F = K(x_1, \ldots , x_n)$$F=K(x1,…,xn) can be represented as an unshortenable sum of $$n + 1$$n+1 subfields. We also show that no subfield of the algebraic closure of a finite field is a finite sum of proper subfields, and no finite extension of the field $${\mathbb {Q}}$$Q of rationals can be decomposed into a sum of two proper subfields.


Introduction
In this paper we study the problem of which fields F can be represented as a finite sum of proper subfields, i.e., in the form where F 1 , . . . , F n are proper subfields of F and F 1 +· · ·+F n denotes the set of all sums f 1 + · · · + f n with f 1 ∈ F 1 , . . . , f n ∈ F n . We call the sum (1.1) unshortenable if no subfield F i can be omitted in (1.1), i.e., F = F 1 + · · · + F i−1 + F i+1 + · · · + F n for every i ∈ {1, . . . , n}.
The problem of decomposability of fields has not been studied systematically before. Our motivation for studying this problem comes from the following three areas.
In 1959, Bia lynicki-Birula, Browkin and Schinzel [3] proved that no field can be represented as a finite union of proper subfields. Analogous results were obtained later for some wider classes of rings (e.g., skew fields [24] and simple Artinian rings [20]). It was also shown that the corresponding assertion does not hold for integral domains (e.g., [3,5]), and furthermore, all rings that are unions of three proper subrings were described in [22]. In the context of these results it is natural to ask, how situation will change if the requirement of being finite unions is weakened to being finite sums.
-Properties of rings which are sums of two proper subrings. In 1962, Kegel [11] proved that if a ring R is a sum of two subrings R 1 , R 2 (i.e., R = R 1 + R 2 ) and both the subrings are nilpotent, then so is R. For rings of the form R = R 1 + R 2 , Kegel's theorem and its generalizations in [16,21] initiated systematic studies of relationships between properties of R 1 , R 2 and those of R, mainly concerning polynomial identities and radicals.
In [19] the structure of R when R 1 is nil and R 2 reduced was studied, and in [17] fields which are sums of two Jacobson radical subrings were characterized. The main line of research in the area was inspired by the long-standing unanswered Beidar-Mikhalev's question [2] of whether R must be a PI-ring if so are R 1 and R 2 . Partial solutions to the problem were obtained, e.g., in [1,10,[12][13][14]18], and a full positive answer in [15]. The well-known Bokut's theorem [4] (according to which every algebra over a field can be embedded into a simple algebra which is a sum of three nilpotent subalgebras) shows that the cases of sums of two subrings and sums of more than two subrings are totally different. In the context of these results it is natural to ask for a characterization of fields which are sums of two proper subfields.
-Representing subfields of F q as sums of proper subfields. In 2011 Dai, Gong, Song and Ye [7], proved that no finite field can be represented as a sum of proper subfields. From [17,Theorem 2.2] it follows that no subfield of the algebraic closure F q of a finite prime field F q is a sum of two proper subfields. These results give rise to the question whether a subfield of F q can be a finite sum of proper subfields.
In this paper we approach the problem of decomposability of a field F (into a finite unshortenable sum of subfields) by combining it with the transcendence degree of F over its prime subfield F 0 . Taking into account the transcendence degree, we partition all possibilities into three disjoint cases and consider the problem separately for each case: when the transcendence degree is infinite, when it is finite but nonzero, and when it is equal to 0. We solve the problem completely for the first case as well as for "half" of the last case (for the subcase when F is of nonzero characteristic), and partially for the middle case and the remaining "half" of the last case (when F is of characteristic zero).
The main results of particular sections of the paper are as follows. In Sect. 2 we show that no field F of transcendence degree 0 over its prime subfield F 0 and characteristic q > 0 can be represented as a finite sum of proper subfields. In Sect. 3 we prove that for any n ≥ 2 every field F of infinite transcendence degree over its prime subfield F 0 can be represented as an unshortenable sum of n subfields. In Sect. 4 we show that for any integer n ≥ 2 and field K the field F = K(x 1 , . . . , x n ) of rational functions in n indeterminates x 1 , . . . , x n is an unshortenable sum of n + 1 subfields. In Sect. 5 we show that, on the one hand, no finite extension of the field Q of rational numbers can be decomposed into a sum of two proper subfields, and on the other hand, for any n ≥ 3 there exists a finite extension F of Q that can be represented as an unshortenable sum of n subfields. In Sect. 6, we close with some open questions.
Let F be a field. In this paper, an algebraic closure of F is denoted by F . If F is an extension of a field K, then [F : K] denotes the degree of F over K, and tr.deg K F denotes the transcendence degree of F over K. If A 1 , . . . , A n are nonempty subsets of F , then A 1 + · · · + A n (also written as n i=1 A i ) denotes the set sum of A 1 , . . . , A n , i.e., the set of all sums a 1 + · · · + a n , where a i ∈ A i for any i ∈ {1, . . . , n}.
The composite of subfields F 1 , . . . , F n of a field F is denoted by F 1 · · · F n . Obviously, if F = F 1 +· · ·+F n , then F = F 1 · · · F n ; we will use this observation freely in the sequel.
For a set A the symbol |A| denotes the cardinality of A. A finite field of s elements is denoted by F s . The symbol N stands for the set of positive integers.

No Subfield of F q is a Finite Sum of Proper Subfields
Let F be a field of transcendence degree 0 over its prime subfield F 0 and characteristic q > 0, or equivalently, let F be a subfield of the algebraic closure F q of a finite prime field F q . In this section we prove that F cannot be represented as a finite sum of its proper subfields. In our proof we use the well-known description of subfields of F q via Steinitz numbers (see, e.g., [6,Section 2.3] or [23, Section 9.8]). For convenience of the reader, as well as to fix notation, below we briefly present the connection between Steinitz numbers and subfields of F q .
Let P be the set of all prime numbers. A Steinitz number S is a formal product In what follows, the exponent α p will be denoted by S(p). Using the unique decomposition into prime powers, we can view any positive integer as a Steinitz number; therefore Steinitz numbers are sometimes called supernatural numbers or generalized natural numbers.
Let S and T be Steinitz numbers. We say that S divides T and write S | T if S(p) ≤ T(p) for all p ∈ P; in this case we denote by T/S the Steinitz number p∈P p T(p)−S(p) , (2.1) with the convention ∞ − ∞ = 0 for the subtraction in the exponent of (2.1).
Let q be a prime number. For a Steinitz number S, let i.e., the union is over all d ∈ N which divide S. Then by defining we obtain a bijection ϕ from the set of Steinitz numbers onto the set of subfields of F q . Furthermore we have the following result (see, e.g., [ (Steinitz, 1910). Let q be a prime number.
(1) For any Steinitz numbers S and T,

a finite field extension if and only if T/S is an ordinary integer, and in this case
. . , S n (p)} for all p ∈ P; In our proof that no subfield of F q is a finite sum of proper subfields we will also need the following lemma. For nonempty subsets B 1 , . . . , B n of a field F we define B 1 · · · B n to be the set product of B 1 , . . . , B n , i.e., the set of all Since both A and B are linearly independent over M , we can extend A to a basis A of P over M , and B to a basis B of Q over M . Let S, T, U be Steinitz numbers such that Theorem 2.1(1) implies that k = S/U and l = T/U. Since P ∩ Q = M , we deduce from Theorem 2.1(2b) that k and l are relatively prime, and thus AB is a basis of P Q over M . Since AB ⊆ AB, it follows that AB is linearly independent over M .
We are now in a position to prove the main result of this section. In the proof, for given subfields K 1 , . . . , K n of a field F and i ∈ {1, . . . , n}, the composite of the n−1 fields K 1 , . . . , K i−1 , K i+1 , . . . , K n , with K i omitted, will be denoted by (K 1 · · · K n ) (i) , i.e., We will apply analogous notation to elements a 1 , . . . , a n ∈ F and to nonempty subsets

Theorem 2.3.
A subfield F of the algebraic closure F q of a finite prime field F q cannot be represented as a finite sum of proper subfields.
Proof. Suppose, for a contradiction, that there exists a subfield F ⊆ F q such that F is a finite sum of its proper subfields. Hence there exists a minimal n such that We show first that the field F can be built from some special "bricks" K 1 , . . . , K n . Namely, we show that there exist proper subfields From (2.2) it follows that F = F 1 · · · F n and thus part (2a) of Theorem 2.1 implies that β i is the largest element of It is easy to see that S i | T i and T i | S, and since furthermore 3) contradicts the minimality of n. Hence the primes p 1 , . . . , p n are distinct and for any i ∈ I it follows from the definition of T i that i+1 · · · p βn n W, where α j < β j for any j ∈ I, and W is the Steinitz number defined by Now for any i ∈ I we define K i to be the subfield of F q corresponding to the Steinitz number i+1 · · · p αn n W (which arises from T i by interchanging β i and α i ). From Theorem 2.1(2) we deduce that which together with (2.3) shows that the fields K 1 , . . . , K n have the desired properties (i) and (ii).
To complete the proof, let us denote M = Using (ii) and Lemma 2.2 repeatedly, we deduce that and B 1 · · · B n is a basis of F = K 1 · · · K n over M. Furthermore, since each of the bases B j contains 1, for any i ∈ I we have that Now, for any i ∈ I we choose an element a i ∈ B i \M and set a = a 1 · · · a n . It follows from (2.5) and (2.6) that On the other hand, (i) and (2.4) imply that a = c 1 + · · · + c n , where each c i is a linear combination over M of some elements of the basis (B 1 · · · B n ) (i) , and thus a is a linear combination of some elements of i∈I (B 1 · · · B n ) (i) . This and (2.7) imply that there exists i ∈ I such that and this contradiction completes the proof.
As an immediate consequence of Theorem 2.3 we obtain the following result, which was proved in [7,Appendix].

Corollary 2.4. A finite field F is not a sum of its proper subfields.
Corollary 2.4 was applied in [7] in studying trace representation and linear complexity of binary eth power residue sequences of period p.

Every Field F with tr.deg F 0 F = ∞ is a Sum of n Proper Subfields
In the previous section we have proved that no field of prime characteristic and transcendence degree 0 over its prime subfield is a finite sum of proper subfields. In this section we show that for infinite transcendence degrees (independently of characteristic) the situation is completely different. Namely, we prove that for any n ≥ 2 every field F of infinite transcendence degree over its prime subfield F 0 can be represented as an unshortenable sum of n subfields. Our proof of the result is based on Proposition 3.2, whose proof in turn applies the following lemma. Since both g and f have coefficients in L and g = 0, it follows from (3.3) that ca = b for some a ∈ L\{0} and b ∈ L. Hence c = a −1 b ∈ L, which completes the proof.
The following result will play a crucial role in the proof of the main result of this section.

Proposition 3.2.
Let F be a field and let K be a subfield of F such that tr.deg K F is infinite and |K| ≤ tr.deg K F . Then there exist proper subfields P, Q of F such that F = P +Q, K ⊆ P ∩Q, tr.deg P ∩Q Q is infinite and |P ∩Q| ≤ tr.deg P ∩Q Q.
Proof. Let T be a transcendence basis of F over K. By hypothesis T is infinite and thus there exists an infinite sequence T 1 , T 2 , . . . of pairwise disjoint subsets of T such that For any i ∈ N, let A i be the subfield of F consisting of all elements of F which are algebraic over K(T 1 ∪ T 2 ∪ · · · ∪ T i ). Since the field K(T 1 ∪ · · · ∪ T i ) is infinite, we have |A i | = |K(T 1 ∪ · · · ∪ T i )|, and since |K| ≤ |T | = |T 1 ∪ · · · ∪ T i | and the set T is infinite, we also have |K(T 1 ∪ · · · ∪ T i )| = |T |. Thus |A i | = |T | and obviously A 1 ⊆ A 2 ⊆ A 3 ⊆ · · · . Furthermore, i∈N A i is the set of all elements of F which are algebraic over K(T ) and thus For any a ∈ A i we have a = (a − ϕ i (a)) + ϕ i (a) ∈ B i + T i+1 and thus Now we define subfields P i and Q i of F as follows. We set P 1 = K and Q 1 = K and for any integer i ≥ 1 we define Since P 1 ⊆ P 2 ⊆ P 3 ⊆ · · · and Q 1 ⊆ Q 2 ⊆ Q 3 ⊆ · · · , it follows that P and Q are subfields of F . Moreover, (3.4) and (3.5) imply that Below we show that T 1 ⊆ P and T 1 ⊆ Q, which will imply that P and Q are proper subfields of F . From the construction it is clear that Q = K(T 2 ∪ T 3 ∪ · · · ) = K(T \T 1 ) and thus T 1 ⊆ Q. To show that T 1 ⊆ P , we will apply Lemma 3. To prove ( * ), observe that P 1 = K ⊆ A 1 , and assuming ( * ) we obtain Hence ( * ) follows by induction.
We now focus on proving ( * * ). Observe that T i+1 is algebraically independent over K(T 1 ∪ · · · ∪ T i ) and all elements of A i are algebraic over K(T 1 ∪ · · · ∪ T i ). Hence T i+1 is algebraically independent over A i and thus Hence the definition of B i implies that (3.8) and from (3.7) and (3.8) we deduce that Since every element of B i is of the form a − ϕ i (a) for some a ∈ A i , ( * * ) is an immediate consequence of (3.9).
We are now in a position to show that T 1 ⊆ P . Suppose for a contradiction that there exists t ∈ T 1 such that t ∈ P . Since clearly t ∈ K, from the definition of P it follows that t ∈ P i+1 for some i ∈ N. Hence t ∈ P i (B i ). Since T 1 ⊆ A i , it follows that t ∈ P i (B i ) ∩ A i . Now ( * ), ( * * ) and Lemma 3.1 imply that We have shown that if t ∈ P i+1 , then t ∈ P i . Repeating this reasoning we finally get t ∈ P 1 = K, a contradiction. Hence T 1 ⊆ P .
We have proved above that P and Q are proper subfields of F such that Since obviously T 1 is algebraically independent over K(T \T 1 ), from (3.10) it also follows that T 1 is algebraically independent over P ∩ Q and thus tr. Eventually interchanging the symbols P and Q in (3.6), we can assume that |T | ≤ tr.deg P ∩Q Q, and from (3.11) we obtain that |P ∩ Q| ≤ tr.deg P ∩Q Q, which completes the proof.
As an immediate consequence of Proposition 3.2 we obtain the following result (Corollary 3.3) on rational function fields. The task of proving this result was posed in 1974 by Dlab, Formanek and Ringel in [8], and its solution by Pelling appeared in [9]. Pelling proved even more, namely that any field having countably infinite degree of transcendence over its prime field is a sum of two proper subfields (which also is an immediate consequence of Proposition 3.2). We would like to stress that although Pelling's solution suggested to us an idea of how to prove Proposition 3.2, our method significantly differs from that of Pelling. Before we come to our next result, we make an important observation on Proposition 3.2. If F is a field and K is its subfield satisfying the hypothesis of Proposition 3.2, then a representation of F in the form F = P + Q with P, Q satisfying all the conditions listed in Proposition 3.2 will be called a decomposition of F over K. Denoting K 1 = P ∩ Q we see from Proposition 3.2 that tr.deg K1 Q is infinite and |K 1 | ≤ tr.deg K1 Q, and thus we can apply Proposition 3.2 once again to obtain a decomposition Q = P 1 + Q 1 of Q over K 1 . Next we can apply Proposition 3.2 to obtain a decomposition Q 1 = P 2 +Q 2 of Q 1 over K 2 = P 1 ∩ Q 1 , and so on. Hence we can repeat the decomposition procedure any finite number of times; this property will play a crucial role in the proof of the following theorem, which is the main result of this section. Theorem 3.4. Let F be a field of infinite transcendence degree over its prime subfield. Then for any integer n ≥ 2 there exist subfields F 1 , . . . , F n of F such that F = F 1 + · · · + F n and the sum is unshortenable.
Proof. Let n ≥ 2 and let L be the prime subfield of F . Then obviously |L| ≤ ℵ 0 and thus |L| ≤ tr.deg L F. Hence we can apply Proposition 3.2 to obtain a decomposition F = F 1 + U 1 of F over L. As noted in the paragraph preceding this theorem, we can continue, obtaining a decomposition and so on. We repeat the decomposition procedure n−1 times, finally obtaining a decomposition U n−2 = F n−1 + U n−1 of U n−2 over K n−2 = F n−2 ∩ U n−2 . Hence and continuing this way we obtain that Hence after denoting F n = U n−1 we have that where F 1 , F 2 , . . . , F n are proper subfields of F . It remains to show that the sum (3.12) is unshortenable. For a contradiction, suppose that some subfield F i can be omitted in the sum (3.12), i.e., (3.13) If i = 1, then (3.13) implies F 1 + · · · + F n = F 2 + · · · + F n , i.e., F = U 1 , which is a contradiction, since U 1 is a proper subfield of F . Hence i ≥ 2 and from (3.13) and the modularity of the lattice of additive subgroups of F we obtain Since by the construction we have it follows that Hence ( * ) yields (3.14) If i = 2, then (3.14) implies F 2 + · · · + F n = F 3 + · · · + F n , i.e., U 1 = U 2 , which is a contradiction, since U 2 is a proper subfield of U 1 . Thus i ≥ 3. Continuing this way we obtain i.e., U n−2 = F n−1 or U n−2 = U n−1 , which is impossible, since both F n−1 and U n−1 are proper subfields of U n−2 . This contradiction completes the proof.
The following result is an immediate consequence of Theorem 3.4.

Corollary 3.5.
Let F be an uncountable field. Then for any n ≥ 2 there exist subfields F 1 , . . . , F n of F such that F = F 1 + · · · + F n and the sum is unshortenable.
Corollary 3.5 applies, for instance, to the field R of reals, the field C of complex numbers, and the field of rational functions R(T ), where T is any set of indeterminates. K(x 1 , . . . , x n ) with n ≥ 2 is a Sum of n + 1

Proper Subfields
In this section we study the problem of decomposability for fields F which are purely transcendental extensions of a field K, of finite transcendence degree ≥ 2 over K. Any such a field F is isomorphic to the rational function field K(x 1 , . . . , x n ) in n ≥ 2 indeterminates x 1 , . . . , x n . We show that for any integer n ≥ 2 and field K the field K(x 1 , . . . , x n ) can be represented in the form where F 1 , F 2 , . . . , F n+1 are subfields of K(x 1 , . . . , x n ) and the sum (4.1) is unshortenable. As we will see, this result is an immediate consequence of the following general observation which also will be used in Sect. 5.
We close this section with the following remark on representing rational function fields K(x 1 , . . . , x n ) as finite sums of proper subfields. Remark 4.3. a) Let n and m be integers such that n ≥ 2 and 3 ≤ m ≤ n + 1. Then for any field K we have Hence from Theorem 4.2 it follows that the rational function field K(x 1 , . . . , x n ) is an unshortenable sum of m subfields. b) If K is a field of infinite transcendence degree over its prime subfield, then Theorem 3.4 implies that for any integers n ≥ 1 and l ≥ 2 the rational function field K(x 1 , . . . , x n ) is an unshortenable sum of l subfields.

Some Fields F ⊆ Q are Finite Sums of Proper Subfields and Some Aren't
In Sect. 2 we have proved that no field of prime characteristic and transcendence degree 0 over its prime subfield is a finite sum of proper subfields. In this section we show that situation is different for fields whose characteristic and transcendence degree over prime subfield both are equal to 0, i.e., for subfields of the algebraic closure Q of Q.
Let F be a subfield of Q. If [F : Q] is a prime number, then clearly F cannot be represented as a sum of two (or more than two) proper subfields. However, it is not so evident that F cannot be represented as a sum of two proper subfields in the case where [F : Q] is finite. This property of finite extensions of Q is an immediate consequence of the following general result. Proposition 5.1. Let F be a field and let F 1 , F 2 be proper subfields of F such Let g 1 , g 2 , . . . , g k be any k elements of F 2 that are linearly independent over M and let a ∈ F 1 \F 2 . Since F = F 1 + F 2 , for any i ∈ {1, 2, . . . , k} there exist h i ∈ F 1 and y i ∈ F 2 such that , and since g 1 , . . . , g k are linearly independent over M , it must be m 1 = m 2 = . . . = m k = 0. Hence also m 0 = 0 by (5.2), which proves the claim.
Immediately from Proposition 5.1 we obtain the aforementioned property of finite extensions of Q.

Corollary 5.2.
If F is a subfield of Q such that F = F 1 + F 2 for some proper subfields F 1 , F 2 of F , then [F : Q] = ∞.
By Corollary 5.2, no field which is a finite extension of Q can be decomposed into a sum of two proper subfields. As the following theorem shows, the situation is different when we consider decompositions of finite extensions of Q into a sum of more than two proper subfields.

Open Questions
We conclude the paper with four open questions for further study. From Theorem 3.4 it follows that if F is a field of infinite transcendence degree over its prime subfield F 0 , then F is a sum of two proper subfields. We do not know whether the opposite implication holds.

Problem 1. Is it true that a field F is a sum of two proper subfields if and only if the transcendence degree of F over its prime subfield F 0 is infinite?
In Sect. 4 we have shown that for any integer n ≥ 2 and field K the rational function field K(x 1 , . . . , x n ) is an unshortenable sum of n+1 subfields. We do not know whether the result can be extended to any field F of finite transcendence degree n ≥ 2 over its prime subfield F 0 .

Problem 2.
Is it true that every field F of finite transcendence degree n ≥ 2 over its prime subfield F 0 is an unshortenable sum of n + 1 subfields? By Theorem 4.2, for any n ≥ 2 and prime field K the field K(x 1 , . . . , x n ) is an unshortenable sum of n + 1 subfields. We suspect that corresponding result for n = 1 fails, which leads to the following more general question.

Problem 3.
Is it true that no field F of transcendence degree 1 over its prime subfield F 0 is a sum of two proper subfields?
Clearly, a negative answer to Problem 3 implies a negative answer to Problem 1.
In Sect. 5 we have shown that for any n ≥ 3 there exists a subfield F of Q which is an unshortenable sum of n subfields. We do not know whether an analogous result holds for n = 2.

Problem 4.
Does there exist a subfield F of Q such that F = F 1 + F 2 for some proper subfields F 1 , F 2 of F ?
Obviously, a positive answer to Problem 4 implies a negative answer to Problem 1.