Submodule of free \(\mathbb Z\)-module

DOI10.2478/forma-2013-0029zbMath1298.13013OpenAlexW2006694045MaRDI QIDQ467803

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki

Publication date: 5 November 2014

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

Full work available at URL: https://doi.org/10.2478/forma-2013-0029

zbMATH Keywords

free \(\mathbb Z\)-modulesubmodule of free \(\mathbb Z\)-module

Mathematics Subject Classification ID

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 ⋮ Isomorphism theorem on vector spaces over a ring ⋮ Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module

Cites Work

• Unnamed Item
• Unnamed Item
• Gaussian integers
• Quotient Module of Z-module
• Free ℤ-module
• Semantics of MML Query - Ordering
• Z-modules