Free Z-module

DOI10.2478/V10037-012-0033-XzbMATH Open1364.13010OpenAlexW2026904929MaRDI QIDQ2852170FDOQ2852170

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

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

Mathematics Subject Classification ID

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

Cites Work

• Quotient module of \(\mathbb Z\)-module
• \(\mathbb Z\)-modules
• Title not available (Why is that?)

Cited In (10)

• Torsion part of \(\mathbb{Z}\)-module
• Submodule of free \(\mathbb Z\)-module
• Divisible \(\mathbb{Z}\)-modules
• Lattice of \(\mathbb{Z}\)-module
• Title not available (Why is that?)
• Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb 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)