1 Introduction.
A Hilbert -module over a -algebra is an algebraic left -module equipped with an -valued inner product which is -linear in the first and conjugate linear in the second variable such that is a Banach space with respect to the norm . The Hilbert module is called full if the closed linear span of all elements of the form is equal to . Hilbert -modules are first introduced and investigated by I. Kaplansky [7 ] , M. Rieffel [16 ] and W. Paschke [14 ] . Hilbert -modules play an essential role in operator algebras [15 ] , KK-Theory [6 ] , operator spaces [3 ] , quantum group theory [18 ] , Morita equivalence [16 ] and so on. They are a generalization of Hilbert spaces, but there are some differences between these two classes. For example, each operator on a Hilbert space has an adjoint, but a bounded -module map on a Hilbert -module is not adjointable in general [8 ] . The general theory of dynamical systems is the paradigm for modeling and studying phenomena that undergo spatial and temporal evolution. The application of dynamical systems has nowadays spread to a wide spectrum of disciplines including physics, chemistry, biochemistry, biology, economy and even sociology. In particular, theory of -dynamical systems concerns the theory of derivations in -algebras and is motivated by questions in quantum physics and statistical mechanics. In this paper We investigate the generalized derivations This notion was first appeared in the context of operator algebras [9 ] . Later, it was introduced in the framework of pure algebra [5 ] . Recently the stability of these maps are investigated by the second author [11 ] . We shall show that every generalized derivation on a simple Hilbert -module either is closable or has a dense range in . We also describe dynamical systems on a full Hilbert -module over a -algebra as a one-parameter group of unitaries on and prove that if is such a dynamical system, then we can associate a -dynamical system on such that if and are the infinitesimal generators of and respectively, then is a -generalized derivation. The reader is referred to [8 ] and [15 ] for more details on Hilbert -modules and to [17 ] formore information on -dynamical systems.2 Preliminaries.
Throughout this section and are assumed to be Hilbert modules over -algebras and respectively, and is a morphism of -algebras. A map is said to be a -morphism of Hilbert -modules if Applying the polarization we can immediately conclude that is a -morphism if and only if for all . Each -morphism is necessarily a linear operator since for any and we have and hence for all . If we replace with and then we can infer that Thus and therefore . Simillary every -morphism is necessarily a module map in the sense that for all and for all . Further, let be a morphism of -algebras and let be a Hilbert -module over . If is a -morphism and is a -morphism, then obviously is a -morphism of Hilbert -modules. By following [2 ] we call a map a unitary operator if there exists an injective morphism of -algebras such that is a surjection -morphism. Remark 2.1. (i) If be a -morphism of Hilbert -modules and is injective then is an isometry; cf. [2 ] . Thus each unitary operator of Hilbert -modules is necessarily an isometry. (ii) It is known [2 ] that if be a -morphism of Hilbert -modules then is a closed subspace of N and a Hilbert -module over the -algebra such that . Moreover if is surjective, and if is a full -module, then is also a surjection. Thus if is a unitary then it is surjective and hence . If in addition is a full Hilbert -module, then is also surjective and so is an isomorphism of -algebras. Example 2.2. Let be a Hilbert space. Then can be regarded as a -module by . If we define a -inner product on by , where and denotes the complex inner product on , then can be regarded as a Hilbert -module over . In this case, is a unitary as an operator on Hilbert space if and only if is a unitary operator as above definition on Hilbert -module . This is a consequence of the facts that , and that defined by is a -isomorphism and each -isomorphism on is of this form; cf. [12 ] . We denote by the group of all unitary operators of onto . If is full and is a unitary operator then by Remark 2.1.ii there is a -isomorphism such that is a -morphism. We end this section with the following useful lemma which can be found in [1 ] and [10 ] . Lemma 2.3. Let be a full Hilbert module over the -algebra and let . Then if and only if for all .3 Generalized Derivation
This section is devoted to study of generalized derivations. Our aim is to show that every generalized derivation on a simple Hilbert -module either is closable or has a dense range. Definition 3.1. Let be full Hilbert -module. A linear map , where is a dense subspace of , is called a generalized derivation if there exists a mapping , where is a dense subalgebra of such that is an algebraic left -module, and for all and all . In this case must be a derivation since for any and we have . On the other hand . So for all . is dense in thus by lemma 2.3 we obtain . Similarly we can show is linear so is a derivation. Sometimes we call a -derivation. Denote by the set of all generalized derivations on then it is easy to see that is a linear space. In fact if , is a -derivation and is a -derivation, then is a -derivation and so . Also the Lie product is -derivation , so Now we show a similar result as in [13 ] for generalized derivations: Theorem 3.2. Let be a simple full Hilbert -module in the sense that it has no trivial left -module and let be a -derivation. Then either is closable or the range of is dense in . Proof. Let be the separating space of that is It is obvious that is closed subspace of . We show that is a left submodule of . Let thus there exists a sequence such that and so we have and So . By the hypothesis or . Therefore is closable or range is dense in4 Dynamical Systems On Full Hilbert -Modules
We start this section with a basic definition. From now on let us denote a full Hilbert module over the -algebra . Definition 4.1. Let be a full Hilbert -module. A map from the real line to which maps to is said to be a one-parameter group of unitaries if (i) (ii) Further, is said to be strongly continuous one-parameter group of unitaries if, in addition, for every when t tends to zero. In this case we call a dynamical system on . We can define the infinitesimal generator of a dynamical system as follows: Definition 4.2. Let be a dynamical system on , we define the infinitesimal generator of as a mapping where and Now we are ready to prove the main theorem of this paper: Theorem 4.3. Let be a full Hilbert -module and be a dynamical system on and be the infinitesimal generator of then is a dense subspace of and there exists a derivation such that is a left -module and Proof. By Hille-Yosida theorem [4 ] , is a dense subspace of . Since is a dynamical system on then for each , the mapping is a unitary. So there exists -isomorphism such that and hence Now we show that is a -dynamical system. For each we have thus by lemma 2.3 for all . Therefore . Also for all we have and so , thus Since for each , as we have thus for all . So that . Therefore is a -dynamical system on . If is the infinitesimal generator of then for each we have