Add to ORKG103 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1969.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD
AbstractLet R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorp...
In this article, we formalize in Mizar [7] the definition of “torsion part” of Z-module and its prop...
80 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1971.U of I OnlyRestricted to the U...
103 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1969.U of I OnlyRestricted to the ...
170 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1977.U of I OnlyRestricted to the ...
Contains fulltext : 18751.pdf ( ) (Open Access)Report no. 99327 p
AbstractFinite direct sums of finite rank purely indecomposable modules (called pi-decomposable modu...
41 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1971.U of I OnlyRestricted to the U...
In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove fo...
AbstractLet G be a finite rank torsion-free module over a discrete valuation ring V. A splitting fie...
An R module M is herein called torsion if each element has nonzero annihilator, and faithful if the ...
This review paper is a continuation of two previous review papers devoted to properties of modules o...
Let R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorphic to a...
Let R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorphic to a...
AbstractLet R be a DVR, let R∗ be the completion of R, and Q,Q∗ the respective fields of quotients; ...
AbstractLet R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorp...
In this article, we formalize in Mizar [7] the definition of “torsion part” of Z-module and its prop...
80 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1971.U of I OnlyRestricted to the U...
103 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1969.U of I OnlyRestricted to the ...
170 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1977.U of I OnlyRestricted to the ...
Contains fulltext : 18751.pdf ( ) (Open Access)Report no. 99327 p
AbstractFinite direct sums of finite rank purely indecomposable modules (called pi-decomposable modu...
41 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1971.U of I OnlyRestricted to the U...
In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove fo...
AbstractLet G be a finite rank torsion-free module over a discrete valuation ring V. A splitting fie...
An R module M is herein called torsion if each element has nonzero annihilator, and faithful if the ...
This review paper is a continuation of two previous review papers devoted to properties of modules o...
Let R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorphic to a...
Let R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorphic to a...
AbstractLet R be a DVR, let R∗ be the completion of R, and Q,Q∗ the respective fields of quotients; ...
AbstractLet R be a valuation domain. We say that a torsion-free R-module is minimal if it is isomorp...
In this article, we formalize in Mizar [7] the definition of “torsion part” of Z-module and its prop...
80 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1971.U of I OnlyRestricted to the U...