Definition talk:Dimension of Module

Did we really have to change this to "Dimension of Free Module" after all?

This was originally defined as "Dimension of Module", and defined on a unitary module which has $n$ elements in its basis.

Hence you can't have a dimension of a module which is not free.

Hence you don't need to include "free" in the title, and just by declaring that your module has a dimension indicates that it has to be free.

Unless we can find a definition of the dimension of a module which is not free, I contend there's no point in renaming everything to include "free" in it.

I should have noticed this last night but I'd been out. --prime mover (talk) 05:04, 9 August 2023 (UTC)