A linear relation E acting on a Hilbert space is idempotent if E2=E. triplet of subspaces needed to characterize given idempotent: (ranE,ran(I−E),domE), or equivalently, (ker⁡(I−E),ker⁡E,mulE). The relations satisfying the inclusions E2⊆E (sub-idempotent) E⊆E2 (super-idempotent) play an important role. Lastly, adjoint and closure are studied.

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...

primary-like and weakly primary-like submodules are two new generalizations of primary ideals from rings to modules. in fact, the class of primary-like submodules of a module lie between primary submodules and weakly primary-like submodules properly.  in this note, we show that these three classes coincide when their elements are submodules of a multiplication module and satisfy the primeful pr...

This paper is devoted to Idempotent Functional Analysis, which is an “abstract” version of Idempotent Analysis developed by V. P. Maslov and his collaborators. We give a brief survey of the basic ideas of Idempotent Analysis. The correspondence between concepts and theorems of the traditional Functional Analysis and its idempotent version is discussed in the spirit of N. Bohr’s correspondence p...

The notion of the square submodule of a module M over an arbitrary commutative ring R, which is denoted by RM, was introduced by Aghdam and Najafizadeh in [3]. In fact, RM is the R−submodule of M generated by the images of all bilinear maps on M. Furthermore, given a submodule N of an R−module M, we say that M is nil modulo N if μ(M×M) ≤ N for all bilinear maps μ on M. The main question about t...

Suppose that is an innnite set and k is a natural number. Let ] k denote the set of all k-subsets of and let F be a eld. In this paper we study the FSym(()-submodule structure of the permutation module F] k. Using the representation theory of nite symmetric groups, we show that every submodule of F] k can be written as an intersection of kernels of certain FSym(()-homomorphisms F] k ?! F] l for...

1. Introduction. Idempotent Mathematics is based on replacing the usual arithmetic operations by a new set of basic operations (e.g., such as maximum or minimum), that is on replacing numerical fields by idempotent semirings and semifields. Typical (and the most common) examples are given by the so-called (max, +) algebra R max and (min, +) algebra R min. Let R be the field of real numbers. The...

Submodule construction is the problem of finding a new submodule which, together with a given submodule, provides a behavior that conforms to a given desired global behavior. A new formulation of this problem and its solution in first-order logic is presented, and it is shown how the known solutions to this problem in the context of various communication paradigms and specification formalisms c...

An R-module A is called GF-regular if, for each a ∈ A and r ∈ R, there exist t ∈ R and a positive integer n such that r(n)tr(n)a = r(n)a. We proved that each unitary R-module A contains a unique maximal GF-regular submodule, which we denoted by M GF(A). Furthermore, the radical properties of A are investigated; we proved that if A is an R-module and K is a submodule of A, then MGF(K) = K∩M GF(A...

Top-down design methodology is one of the widely used approaches to the design of complex concurrent systems. In this approach, the speciication of a system is decomposed into a set of submodules whose concurrent behavior is equivalent to that of the system speciication. The following problem is of particular importance when using this methodology: given the speciication of a system and some of...