Displaying similar documents to “Relative multiplication and distributive modules”

Divisible ℤ-modules

Yuichi Futa, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

In this article, we formalize the definition of divisible ℤ-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible ℤ-modules are not finitely-generated.We introduce a divisible ℤ-module, equivalent to a vector space of a torsion-free ℤ-module with a coefficient ring ℚ. ℤ-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [15], cryptographic systems with lattices [16] and coding theory [8]. ...

Multiplication modules and related results

Shahabaddin Ebrahimi Atani (2004)

Archivum Mathematicum

Similarity:

Let R be a commutative ring with non-zero identity. Various properties of multiplication modules are considered. We generalize Ohm’s properties for submodules of a finitely generated faithful multiplication R -module (see [8], [12] and [3]).