Butler groups formed by factoring a completely decomposable group by a rank one group have been studied extensively. We call such groups, bracket groups. We study bracket modules over integral domains. In particular, we are interested in when any bracket -module is tensor a bracket group.
Let R be a commutative ring and let M be an R-module. The aim of this paper is to establish an efficient decomposition of a proper submodule N of M as an intersection of primal submodules. We prove the existence of a canonical primal decomposition, , where the intersection is taken over the isolated components of N that are primal submodules having distinct and incomparable adjoint prime ideals . Using this decomposition, we prove that for ∈ Supp(M/N), the submodule N is an intersection of -primal...
In this paper we improve recent results dealing with cellular covers of R-modules. Cellular covers (sometimes called colocalizations) come up in the context of homotopical localization of topological spaces. They are related to idempotent cotriples, idempotent comonads or coreflectors in category theory. Recall that a homomorphism of R-modules π: G → H is called a cellular cover over H if π induces an isomorphism , where π⁎(φ) = πφ for each (where maps are acting on the left). On the one hand,...
Let be an associative ring and be a left -module. We introduce the concept of the incidence module of a locally finite partially ordered set over . We study the properties of and give the necessary and sufficient conditions for the incidence module to be an IN-module, -module, nil injective module and nonsingular module, respectively. Furthermore, we show that the class of -modules is closed under direct product and upper triangular matrix modules.
We provide some characterizations of rings for which every (finitely generated) module belonging to a class of -modules is a direct sum of cyclic submodules. We focus on the cases, where the class is one of the following classes of modules: semiartinian modules, semi-V-modules, V-modules, coperfect modules and locally supplemented modules.
First, we give complete description of the comultiplication modules over a Dedekind domain. Second, if is the pullback of two local Dedekind domains, then we classify all indecomposable comultiplication -modules and establish a connection between the comultiplication modules and the pure-injective modules over such domains.
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].