Isomorphism theorem on vector spaces over a ring

DOI10.1515/forma-2017-0016zbMath1381.15002OpenAlexW2780051342MaRDI QIDQ1688742

Yuichi Futa, Yasunari Shidama

Publication date: 11 January 2018

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0016

zbMATH Keywords

vector spaceisomorphism theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Linear transformations, semilinear transformations (15A04) Vector spaces, linear dependence, rank, lineability (15A03)

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Submodule of free \(\mathbb Z\)-module
• Factoring polynomials with rational coefficients
• Differentiable Functions on Normed Linear Spaces
• Lattices and Codes
• Mizar: State-of-the-art and Beyond
• Unnamed Item

This page was built for publication: Isomorphism theorem on vector spaces over a ring