Linear algebra MOC

Linear isomorphism

A -linear isomorphism is an isomorphism in , #m/def/linalg i.e. a linear map with a (necessarily unique) two-sided inverse such that and .

Properties

• A linear map is an isomorphism iff it is a linear monomorphism and split linear epimorphism.
• See Corollaries.

#state/tidy | #lang/en | #SemBr