Can I read Properties of Divisible Z-Modules on EtoBox?

Properties of Divisible Z-Modules by fabian6rivera-1 is a document available to read on EtoBox.

What is Properties of Divisible Z-Modules about?

This article formalizes the definition and properties of divisible Z-modules within the Mizar system, proving that non-trivial divisible Z-modules are not finitely-generated. It introduces a divisible Z-module equivalent to a vector space of a torsion-free Z-module with a coefficient ring Q, which is significant for various applications in lattice problems and cryptography. The paper also discusses various propositions related to the divisibility of Z-modules and their vectors.

Author

fabian6rivera-1

Language

EN