Free ℤ-module
From MaRDI portal
Publication:2852170
DOI10.2478/v10037-012-0033-xzbMath1364.13010OpenAlexW2026904929MaRDI QIDQ2852170
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Publication date: 8 October 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10037-012-0033-x
Projective and free modules and ideals in commutative rings (13C10) Mechanization of proofs and logical operations (03B35)
Related Items
Torsion part of \(\mathbb{Z}\)-module, Divisible \(\mathbb{Z}\)-modules, Submodule of free \(\mathbb Z\)-module, Matrix of \(\mathbb{Z}\)-module, Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module, Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
Cites Work