Semisimple Algebras and a Cancellation Law.
Simple Flat Extensions. II.
Simple injective modules.
Small almost free modules with prescribed topological endomorphism rings
Some morphisms of modules over the ring of pseudorational numbers.
Some remarks on Prüfer modules
We provide several characterizations and investigate properties of Prüfer modules. In fact, we study the connections of such modules with their endomorphism rings. We also prove that for any Prüfer module M, the forcing linearity number of M, fln(M), belongs to {0,1}.
Some Results about Modules over Discrete Hodge Algebras.
Some theorems on generation of ideals in affine algebras.
Stability, duality, 2-generated ideals and a canonical decomposition of modules
Stability Theorems for Overrings of Polynomial Rings.
Submodule of free Z-module
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems - LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this article are described by translating theorems in [11] into theorems of Z-module, however their proofs are...
Sur deux classes d'anneaux
Sur les algebres de Rees II.
Sylvester theorem for certain free modules