Alternate Definitions of Vector Space Dimension and Module Rank Using Isomorphisms

arXiv2211.05577MaRDI QIDQ6416809FDOQ6416809

Publication date: 22 October 2022

Abstract: The standard definition of the dimension of a vector space or rank of a module states that dimension or rank is equal to the cardinality of any basis, which requires an understanding of the concepts of basis, generating set, and linear independence. We pose new definitions for the dimension of a vector space, called the isomorphic dimension, and for the rank of a module, called the isomorphic rank, using isomorphisms. In the finite case, for a vector space

V

over field

F

, its isomorphic dimension is equal

n

if and only if there exists a linear isomorphism from

F^{n}

to

V

. For a module

M

over the commutative ring

R

with identity, its isomorphic rank is equal to

n

if and only if there exists an

R

-module isomorphism from

R^{n}

to

M

. There are similar definitions in the infinite cases. These isomorphic definitions do not require the concepts of basis, generating set, and linear independence. This approach allows for some fundamental linear algebra and module theory results to be seen more easily or to be proven more similarly to other algebraic proofs involving isomorphisms and homomorphisms and provides an alternate educational approach to dimension and rank.

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to linear algebra (15-01) Vector spaces, linear dependence, rank, lineability (15A03) Linear algebra (educational aspects) (97H60)

This page was built for publication: Alternate Definitions of Vector Space Dimension and Module Rank Using Isomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6416809)