Group morphism and axiom of choice Let $n$ be a strictly positive natural integer. Let us consider the topological group $(\mathbb{R}^n,+)$ with its usual structure. 
In ZF, can we deduce some form of the axiom of choice from the statement  "there exist a discontinuous group endomorphism of $(\mathbb{R}^n,+)$", and if so, how?
 A: Well, this depends on what do you mean by "a form of choice". If you mean a statement of the form "Every family with property ... admits a choice function", then the answer, to my best of knowledge, is unknown to this date.
It is very important to point out that any such implication will be very local. That is, even if such a choice principle is provable it is likely one which only applies to particular sets of real numbers. It is easily arrangeable for any global choice principle (i.e. one which does not require all the sets we choose from to be subsets of a particular set) to fail, but the real numbers to be well-orderedable, and so all the $\sf ZFC$ theorems hold for it.
In the diagrams appearing in both Herrlich's The Axiom of Choice and Moore's Zermelo's Axiom of Choice there is really just the one obvious conclusion:
If there exists such endomorphism, then there exists a non-measurable set. I believe that we can also conclude the existence of a set of real without the Baire property, by the same argument.
To my knowledge, we don't even know if this assumption implies the existence of a Hamel basis (although my guess would be that it doesn't).

For sake of completeness, I should also point out that the statement itself is unprovable from $\sf ZF$, and in fact even when augmented by $\sf DC$, we still can't prove that there is a discontinuous endomorphism. The reason is that it is consistent (with $\sf ZF+DC$) that every set of reals has the Baire property, and from this follows that every homomorphism between Polish groups is continuous.
