in this paper‎, ‎we introduce the notion of $(m,n)$-‎algebr‎aically compact modules as an analogue of algebraically‎ ‎compact modules and then we show that $(m,n)$-algebraically‎ ‎compactness‎ ‎and $(m,n)$-pure injectivity for modules coincide‎. ‎moreover‎, ‎further characterizations of a‎ ‎$(m,n)$-pure injective module over a commutative ring are given‎.

In this paper‎, ‎we introduce the notion of $(m,n)$-‎algebr‎aically compact modules as an analogue of algebraically‎ ‎compact modules and then we show that $(m,n)$-algebraically‎ ‎compactness‎ ‎and $(m,n)$-pure injectivity for modules coincide‎. ‎Moreover‎, ‎further characterizations of a‎ ‎$(m,n)$-pure injective module over a commutative ring are given‎.

If R̂ is the pure-injective hull of a valuation ring R, it is proved that R̂ ⊗R M is the pure-injective hull of M , for every finitely generated Rmodule M . Moreover R̂ ⊗R M ∼= ⊕1≤k≤nR̂/AkR̂, where (Ak)1≤k≤n is the annihilator sequence of M . The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module a...

Injective Pure Type Systems form a large class of Pure Type Systems for which one can compute by purely syntactic means two sorts elmt(?jM) and sort(?jM), where ? is a pseudo-context and M is a pseudo-term, and such that for every sort s, ? ` M : A ^ ? ` A : s) elmt(?jM) = s ? ` M : s) sort(?jM) = s By eliminating the problematic clause in the (abstraction) rule in favour of constraints over el...

The pure-injective R-modules are defined easily enough: as those modules which are injective over all pure embeddings, where an embedding A → B is said to be pure if every finite system of R-linear equations with constants from A and a solution in B has a solution in A. But the definition itself gives no indication of the rich theory around purity and pure-injectivity. The purpose of this surve...

For a ring R, call a class C of R-modules (pure-) mono-correct if for any M,N ∈ C the existence of (pure) monomorphisms M → N and N → M implies M ' N . Extending results and ideas of Rososhek from rings to modules, it is shown that, for an R-module M , the class σ[M ] of all M -subgenerated modules is mono-correct if and only if M is semisimple, and the class of all weakly M -injective modules ...

A linear deformation of a Meyer set M in R is the image of M under a group homomorphism of the group [M ] generated by M into R. We provide a necessary and sufficient condition for such a deformation to be a Meyer set. In the case that the deformation is a Meyer set and the deformation is injective, the deformation is pure point diffractive if the orginal set M is pure point diffractive. AMS Cl...

For a given class of R-modules Q, module M is called Q-copure Baer injective if any map from left ideal R into can be extended to M. Depending on the this concept both dualization and generalization pure injectivity. We show that every embedded as submodule module. Certain types rings are characterized using properties modules. example ring Q-coregular only R-module injective.

Existence of superdecomposable pure-injective modules reflects complexity in the category of finite-dimensional representations. We describe the relation in terms of pointed modules. We present methods for producing superdecomposable pure-injectives and give some details of recent work of Harland doing this in the context of tubular algebras. 2010 Mathematics Subject Classification. Primary 16G...