Divisible Z-modules

DOI10.1515/FORMA-2016-0004MaRDI QIDQ306629zbMATH OpenOpenAlexFDO

Authors Yuichi Futa, Yasunari Shidama

Publication date 1 September 2016

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2016-0004

zbMATH Keywords

divisible \(\mathbb{Z}\)-moduledivisible vector

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Mechanization of proofs and logical operations (03B35) Vector spaces, linear dependence, rank, lineability (15A03) Other special types of modules and ideals in commutative rings (13C13)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 2120513 (Why is no real title available?)
• Factoring polynomials with rational coefficients
• Free \(\mathbb Z\)-module
• Lattices and codes. A course partially based on lectures by Friedrich Hirzebruch
• Mizar: state-of-the-art and beyond
• Quotient module of \(\mathbb Z\)-module
• Semantics of MML query -- ordering
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• Torsion part of \(\mathbb{Z}\)-module
• \(\mathbb Z\)-modules

Cited in

(5)

• Quotient module of \(\mathbb Z\)-module
• Divisible modules and localization
• Embedded lattice and properties of Gram matrix
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• Dual lattice of \(\mathbb{Z}\)-module lattice

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Divisible \(\mathbb{Z}\)-modules

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