Free Z-module

DOI10.2478/V10037-012-0033-XMaRDI QIDQ2852170zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Mechanization of proofs and logical operations (03B35)

Recommendations

• Submodule of free \(\mathbb Z\)-module
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• \(\mathbb Z\)-modules
• Torsion part of \(\mathbb{Z}\)-module
• Matrix of \(\mathbb{Z}\)-module

Cites work

• scientific article; zbMATH DE number 2120513 (Why is no real title available?)
• Quotient module of \(\mathbb Z\)-module
• \(\mathbb Z\)-modules

Cited in

(10)

• Torsion part of \(\mathbb{Z}\)-module
• Submodule of free \(\mathbb Z\)-module
• Divisible \(\mathbb{Z}\)-modules
• Lattice of \(\mathbb{Z}\)-module
• scientific article; zbMATH DE number 1471813 (Why is no real title available?)
• Rank of submodule, linear transformations and linearly independent subsets of Z-module
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• \(\mathbb Z\)-modules
• Dual lattice of \(\mathbb{Z}\)-module lattice
• Matrix of \(\mathbb{Z}\)-module

This page was built for publication: Free \(\mathbb Z\)-module

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