DOI: 10.1017/s0004972726101555 ISSN: 0004-9727
LIOUVILLE NUMBER GROUPS: STRUCTURE, CARDINALITY AND STRONG GENERATORS
SIDNEY A. MORRIS Abstract
We introduce and study Liouville number groups, namely additive subgroups of the real numbers in which every nonzero element is a Liouville number. Using continued-fraction methods and linear independence over the field of algebraic numbers, we establish the existence of large families of such groups with rich algebraic and topological structure. We prove that there exist
(
2
c
)
$(2^{\mathfrak {c}}) $
left parenthesis 2 Superscript German c Baseline right parenthesis
pairwise distinct Liouville number groups generated by strong Liouville numbers and that, among these, there are
(
2
c
)
$(2^{\mathfrak {c}})$
left parenthesis 2 Superscript German c Baseline right parenthesis
pairwise nonhomeomorphic groups. We further show that there exist continuum many countable Liouville number groups, each generated by countably many strong Liouville numbers and homeomorphic, as topological spaces, to the rational numbers. In addition, we prove that no subgroup of the real numbers is homeomorphic to the space of Liouville numbers, thereby highlighting a strong topological distinction between the space of Liouville numbers and Liouville number groups.