Quotient Module of Z-module

DOI10.2478/v10037-012-0024-yzbMath1364.13011OpenAlexW2075354892MaRDI QIDQ2852158

Yasunari Shidama, Hiroyuki Okazaki, Yuichi Futa

Publication date: 8 October 2013

Full work available at URL: https://doi.org/10.2478/v10037-012-0024-y

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other special types of modules and ideals in commutative rings (13C13)

Related Items

Torsion part of \(\mathbb{Z}\)-module ⋮ Divisible \(\mathbb{Z}\)-modules ⋮ Lattice of \(\mathbb{Z}\)-module ⋮ Dual lattice of \(\mathbb{Z}\)-module lattice ⋮ Submodule of free \(\mathbb Z\)-module ⋮ Free ℤ-module ⋮ Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb Z\)-module ⋮ Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module ⋮ Embedded lattice and properties of Gram matrix

Cites Work

• Z-modules
• Unnamed Item