The complement operation on modules has not been argued so far as we know. We observe that it plays an important role in software maintenance, as well as join and meet operations. A de nition of a module and operations on them is given in category theoretic terms; we adopt well-known characterization of complement as a left adjoint to join. The de nition is rst given locally and then extended t...

It has been observed by different authors that QTAG-modules behave very much like torsion abelian groups. In this paper, in section 3, we characterize quasi-essential submodules (Theorem 3.9) and further find a characterization for an h-pure submodule to be a direct summand (Theorem 3.11). In section 4, we obtained a necessary and sufficient condition for a submodule to be contained in a minima...

At Eurocrypt 2010, Freeman proposed a transformation from pairing-based schemes in composite-order bilinear groups to equivalent ones in prime-order bilinear groups. His transformation can be applied to pairing-based cryptosystems exploiting only one of two properties of composite-order bilinear groups: cancelling and projecting. At Asiacrypt 2010, Meiklejohn, Shacham, and Freeman showed that p...

We investigate factorizations of regular languages in terms of prime languages. A language is said to be strongly prime decomposable if any way of factorizing the language yields a prime decomposition in a finite number of steps. We give a characterization of the strongly prime decomposable regular languages and using the characterization we show that every regular language over a unary alphabe...

In this paper, we give a generalization of the integral dependence from rings to modules. We study the stability of the integral closure with respect to various module theoretic constructions. Moreover, we introduce the notion of integral extension of a module and prove the Lying over, Going up and Going down theorems for modules.

All rings are commutative with identity and all modules are unital. Let R be a ring, M an R-module and R(M), the idealization of M . Homogenous ideals of R(M) have the form I (+)N , where I is an ideal of R and N a submodule of M such that IM ⊆ N . A ring R (M) is called a homogeneous ring if every ideal of R (M) is homogeneous. In this paper we continue our recent work on the idealization of m...

Let M be a module over the commutative ring R. In this paper we introduce two new notions, namely strongly coprimal and super coprimal modules. Denote by ZR(M) the set of all zero-divisors of R on M . M is said to be strongly coprimal (resp. super coprimal) if for arbitrary a, b ∈ ZR(M) (resp. every finite subset F of ZR(M)) the annihilator of {a, b} (resp. F ) in M is non-zero. In this paper w...

The cardinality of the minimal generating set of a module M i.e g(M) plays a very important role in the study of QTAG-Modules. Fuchs [1] mentioned the importance of upper and lower basic subgroups of primary groups. A need was felt to generalize these concepts for modules. An upper basic submodule B of a QTAG-Module M reveals much more information about the structure of M . We find that each ba...