No label defined (Q4028217)

[For the entire collection see Zbl 0747.00029.] Let \(\mathcal A\) and \(\mathcal B\) be fields of subsets of a set \(X\) and let \(G\) be an Abelian group. The authors are concerned with the problem of finding a common additive extension of a pair of additive functions \(\mu: {\mathcal A}\to G\) and \(\nu: {\mathcal B}\to G\) which are consistent, i.e., \(\mu|{\mathcal A}\cap{\mathcal B}=\nu|{\mathcal A}\cap{\mathcal B}\), to the field \({\mathcal A}\lor{\mathcal B}\) generated by \({\mathcal A}\cup{\mathcal B}\). They exhibit an example (inspired by G. M. Bergman) to the effect that the answer is negative in general. They also show that the answer is affirmative (independently of \(\mu\), \(\nu\) and \(G\)) in each of the following cases: (1) \(\mathcal A\) or \(\mathcal B\) is finite; (2) \(\mathcal A\) and \(\mathcal B\) are independent in the sense of E. Marczewski. The first result coincides, for \({\mathcal B}=\{\emptyset,X\}\), with a theorem of \textit{T. Carlson} and \textit{K. Prikry} [Period. Math. Hung. 13, 151-155 (1982; Zbl 0523.28003)]. It also generalizes a theorem due to \textit{A. Basile} and the first author [Boll. Unione Mat. Ital., VII. Ser. A 5, No. 2, 157-162 (1991; Zbl 0741.28008)], where both \(\mathcal A\) and \(\mathcal B\) are finite. The proofs of (1) and (2) use a construction of a basis of the subgroup of \(\mathbb{R}^ X\) generated by \(\{1_ C: C\in{\mathcal A}\lor{\mathcal B}\}\) given by Bergman. \{Reviewer's remark: For closely related results see two other papers by the authors [Proc. Am. Math. Soc. 113, No. 4, 965-972 (1991; Zbl 0743.28004) and Colloq. Math. 63, 85-88 (1992)]\}.