# Assuming the axiom of choice ,how to prove that every uncountable abelian group must have an uncountable proper subgroup?

Assuming the axiom of choice , how to prove that every uncountable abelian group must have an uncountable proper subgroup ? Related to Does there exist any uncountable group , every proper subgroup of which is countable? , Asaf Karagila answered it there in a comment , but in a contrapositive way , I am looking for a direct proof of this claim assuming choice . Thanks in advance

• Asaf Karagila answered that in a comment to your previous question. The answer is yes, and it was proved by W.R. Scott in a paper in 1952. – Derek Holt Apr 9 '15 at 14:47
• @DerekHolt : Yes, true , but Asaf Karagila actually answered in contrapositive :-) , I am wondering whether there is a proof , not too heavy , of this direct claim using choice ... – user228168 Apr 9 '15 at 14:52
• But that's a different question. The answer to the question you asked is yes. – Derek Holt Apr 9 '15 at 14:53
• @DerekHolt : I have edited to make it clear – user228168 Apr 9 '15 at 14:55
• If the proof there doesn't use the axiom of choice, then of course assuming the axiom of choice will not damage the proof. But the proof does use the axiom of choice, since otherwise it is consistent that a counterexample exists. – Asaf Karagila Apr 9 '15 at 14:57

Without the axiom of choice it is no longer necessary that the proof can go through. Because it is consistent that there is a vector space over $\Bbb Q$ which is not finitely generated, but every proper subspace is in fact finitely generated.