Group-homomorphism $ \mathbb{R\rightarrow\mathbb{Q}} $ without Axiom of choice

749 Views Asked by At

Without axiom of choice, is there a surjective homomorfism $ (\mathbb{R},+)\rightarrow(\mathbb{Q},+) $ ?

Or some nontrivial homomorphism?

1

There are 1 best solutions below

3
On BEST ANSWER

No.

If every set of reals has the Baire property, then every group homomorphism from the reals into the rationals is continuous, and therefore trivial.

This assumption is consistent, as shown by Solovay. Even with Dependent Choice.