Let $A$ be a Banach algebra and $E$ be a Banach $A$-bimodule then $S = A oplus E$, the $l^1$-direct sum of $A$ and $E$ becomes a module extension Banach algebra when equipped with the algebras product $(a,x).(a^prime,x^prime)= (aa^prime, a.x^prime+ x.a^prime)$. In this paper, we investigate $triangle$-amenability for these Banach algebras and we show that for discrete inverse semigroup $S$ with...

In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...

This study's objective was to assess the usability of the epilepsy history module of the electronic patient record, developed at Beaumont Hospital, and to identify opportunities for improvement. Observation, interview and document analysis methods were used. Results indicated that the module was useable but the design did not work as well in practice as anticipated by theory. The next iteration...

 Let $R$ be a commutative ring with identity and $M$ be a finitely generated unital $R$-module. In this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. Moreover, we investigate some conditions which imply that the module $M$ is the direct sum of some cyclic modules and free modules. Then some properties of Fitting ideals o...

The recent researchs show that C2-cofiniteness is a natural conditition to consider a vertex operator algebra with finitely many simple modules. Therefore, we extended the tensor product theory of vertex operator algebras developed by Huang and Lepowsky without assuming the compatibility condition nor the semisimplicity of grading operator so that we could apply it to all vertex operator algebr...

In this article, we formalize the definition of divisible Z-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible Z-modules are not finitely-generated. We introduce a divisible Z-module, equivalent to a vector space of a torsion-free Z-module with a coefficient ring Q. Z-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) b...

By a careful investigation of the model theory of modules over a special class of uniserial domains we give some (counter) examples to a decomposition of a serial module. For instance there is a uniserial module M over a uniserial domain that is not quasi-small. Also there is a projective non–free countably generated module over the endomorphism ring of M . MSC: 16D70; 16D99; 03C60

We introduce an equivariant version of cyclic cohomology for Hopf module algebras. For any H-module algebra A, where H is a Hopf algebra with S2 = idH we define the cocyclic module C ♮ H(A) and we find its relation with cyclic cohomology of crossed product algebra A ⋊ H. We define K 0 (A), the equivariant K-theory group of A, and its pairing with cyclic and periodic cyclic cohomology of C H(A).

In this paper, we set forth a theory of lexical knowledge. we propose two types of modules: event structure modules and role modules, as well as two attributes: event-internal attributes and role-internal attributes which are linked to the event structure module and role module respectively. These module-attribute semantic representations have associated grammatical consequences. Our data is dr...

In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...