Talk:Abelianization of Free Group is Free Abelian Group

From ProofWiki
Jump to navigation Jump to search

Unless you're working through a formal text, in which a concept may not be defined at the point at which it is being used (but forward referenced), I would discourage against posting up random shit like this. It is better to define your "Free Abelian Group" and your "Abelianization" and so on, and only *then* do you go ahead and enter a proof page saying something about them. As it is, this is an isolated unproved statement about concepts that have no definition, which is pretty pointless. --prime mover (talk) 18:38, 13 January 2018 (EST)