Algebraische Konsequenzen des Determiniertheits-Axioms. (Algebraic consequences of the Axiom of Determinacy) (Q1088655)

The authors investigate the impact of the Axiom of Determinacy (AD) on certain groups related to real numbers in Zermelo-Fraenkel set theory (ZF). It is shown in ZF\(+AD\) that the additive group \(<R,+>\) of the real numbers is not decomposable into a direct sum of groups. Consequently, the quotient R/Q of the additive groups of the real and rational numbers admits no linear ordering compatible with the group operation. It is shown that there is no linear ordering of the set of elements of R/Q if one neglects the group operation. This result is extended to all quotients R/G, where G is an arbitrary countable subgroup of R, and to the quotient B/F, where B is the additive group of all bounded \(\omega\)- sequences of integers and F is the subgroup of B consisting of all sequences with finitely many non-zero values. Eventually, it is shown that the important Specker-Nöbeling theorem [\textit{G. Nöbeling}, Invent. Math. 6, 41-55 (1968; Zbl 0176.298)] stating that B is a free-abelian group (in presence of the Axiom of Choice (AC)) contradicts AD.