This is just a question wondering whether a concrete (enough) result that can be proved using the axiom of choice can be proved without it. The result being that the group of principal ideals $P\_K$ of a number field $K$ is free abelian.


One can show using the axiom of choice that a sub-group of a free abelian group is again gree abelian so that, as $P\_K$ is a sub-group of the free abelian group $Id\_K$ of all ideals of $K$, $P\_K$ is itself free abelian.


Does anyone know of an axiom of choice free proof of this result?



Freeness of the group of principal ideals of a number field
To elaborate on Asaf's comment: the usual proof does not actually need the axiom of choice. The proof that a subgroup of a free abelian group is free actually shows (without using AC) that a subgroup of a well-orderable free abelian group is free. If $K$ is a number field, then $K$ is countable. The set $Id\_K$ is also countable, being a quotient of the set of finite subsets of $K$ (every fractional ideal is finitely generated). So we can conclude that any subgroup of $Id\_K$ is free without needing AC.


