Submodule of free Z-module

DOI10.2478/FORMA-2013-0029zbMATH Open1298.13013OpenAlexW2006694045MaRDI QIDQ467803FDOQ467803

Authors: Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama 

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

Recommendations

• Free \(\mathbb Z\)-module
• Free submodules of indecomposable modules.
• Radicals of submodules of free modules
• Free modules with two distinguished submodules
• scientific article; zbMATH DE number 4053846
• Submodules of a torsion-free and finitely generated module over a Dedekind ring
• scientific article; zbMATH DE number 6610968
• On subrings of free rings
• Free sets and free subsemimodules in a semimodule
• \(\mathbb Z\)-modules

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)

Cites Work

• Quotient module of \(\mathbb Z\)-module
• Free \(\mathbb Z\)-module
• Semantics of MML query -- ordering
• \(\mathbb Z\)-modules
• Gaussian integers
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Torsion part of \(\mathbb{Z}\)-module
• Divisible \(\mathbb{Z}\)-modules
• Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• Free \(\mathbb Z\)-module
• \(\mathbb Z\)-modules
• Isomorphism theorem on vector spaces over a ring
• A SUBMODULE UNRELATED TO THE CORRESPONDING FACTOR MODULE OVER A COMMUTATIVE RING

This page was built for publication: Submodule of free \(\mathbb Z\)-module

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