# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeAug 31st 2012

wrote something at free abelian group. Not great, need to come back to this.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeSep 6th 2012

I have expanded at free abelian group a little. Just basic stuff.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJul 13th 2016
• (edited Jul 13th 2016)

added the statement that, assuming AC, every subgroup of a free abelian group is itself free abelian, here

• CommentRowNumber4.
• CommentAuthorTodd_Trimble
• CommentTimeJul 13th 2016

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.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJul 13th 2016

• CommentRowNumber6.
• CommentAuthorDmitri Pavlov
• CommentTimeJan 31st 2021

Redirect: free abelian group functor.

• CommentRowNumber7.
• CommentAuthorTodd_Trimble
• CommentTimeFeb 18th 2021

Added some remarks to clarify that the notion of free abelian group does not depend on a specific choice of free functor.

• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeJul 12th 2021
• (edited Jul 12th 2021)

briefly added the statement (here) that forming free abelian groups sends Cartesian products to tensor products.