Divisible Z-modules

DOI10.1515/FORMA-2016-0004zbMATH Open1343.13014OpenAlexW2508409595MaRDI QIDQ306629FDOQ306629

Yasunari Shidama, Yuichi Futa

Publication date: 1 September 2016

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

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

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

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)

Cites Work

• Mizar: State-of-the-art and Beyond
• Factoring polynomials with rational coefficients
• Lattices and Codes
• Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
• Torsion part of \(\mathbb{Z}\)-module
• Quotient module of \(\mathbb Z\)-module
• Free \(\mathbb Z\)-module
• Semantics of MML query -- ordering
• \(\mathbb Z\)-modules
• Title not available (Why is that?)

Cited In (4)

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

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)