Isomorphism theorem on vector spaces over a ring

DOI10.1515/FORMA-2017-0016MaRDI QIDQ1688742zbMATH OpenOpenAlexFDO

Authors Yuichi Futa, Yasunari Shidama

Publication date 11 January 2018

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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) Vector spaces, linear dependence, rank, lineability (15A03) Linear transformations, semilinear transformations (15A04)

Recommendations

• The basis theorem for vector spaces over rings
• Isomorphism theorems of hyperrings.
• scientific article; zbMATH DE number 1846788
• scientific article; zbMATH DE number 3399435
• The first isomorphism theorem and other properties of rings
• scientific article; zbMATH DE number 3918667
• Isomorphisms of incidence rings
• An isomorphism lemma for graded rings
• Rings with the dual of the isomorphism theorem.

Cites work

• scientific article; zbMATH DE number 2120513 (Why is no real title available?)
• Differentiable functions on normed linear spaces
• Factoring polynomials with rational coefficients
• Four decades of \textsc{Mizar}. Foreword
• Lattices and codes. A course partially based on lectures by Friedrich Hirzebruch
• Mizar: state-of-the-art and beyond
• Submodule of free \(\mathbb Z\)-module

Cited in

(4)

• Isomorphisms from the space of multilinear operators
• Formalizing ring theory in PVS
• Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem
• Formalization of integral linear space

Describes a project that uses

Uses Software

• Mizar

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

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