Talk:Generator of Vector Space Contains Basis

Rename request
Yes, the premises list finite dimensionality. Yes, yes. But assuming the axiom of choice makes the statement true in all vector spaces, finite dimensional or no, so it would seem good to mention that hey, this is the version that only works for those. --Dfeuer (talk) 07:20, 21 May 2013 (UTC)


 * Different result though. --prime mover (talk) 19:53, 21 May 2013 (UTC)


 * See where you're coming from. Trouble I can never understand a word you type. My problem. I only speak English, French, Russian, cat and drunk. --prime mover (talk) 19:56, 21 May 2013 (UTC)


 * Wrong rename: a finite vector space is one with only finitely many elements. This whole theorem, however, needs to be completely rethought. My focus is elsewhere right now, on completing the proof of the dimension theorem. --Dfeuer (talk) 20:05, 21 May 2013 (UTC)


 * Okay so once you decide what name you want it to have, you rename it. Usually better, when deciding that a page is named wrong, to suggest an idea of what it ought to be renamed to otherwise it can cause irritation. --prime mover (talk) 22:12, 21 May 2013 (UTC)

Why does it need to be "completely rethought" by the way? Or is that usual Dfeuer hyperbole for "I have a different way of doing it"? --prime mover (talk) 06:00, 22 May 2013 (UTC)