Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
wrote something at free abelian group. Not great, need to come back to this.
I have expanded at free abelian group a little. Just basic stuff.
added the statement that, assuming AC, every subgroup of a free abelian group is itself free abelian, here
Just to let you know: we have a proof of the more general fact that submodules of free modules over a pid are free, here.
Thanks. I have added a cross-link.
1 to 8 of 8