ベクトル空間なら、たとえ非可換体上でも次元は定義できるよ
非可換環上の加群だと無理