in this paper we introduce two symmetric variants of amenability, symmetric module amenability and symmetric connes amenability. we determine symmetric module amenability and symmetric connes amenability of some concrete banach algebras. indeed, it is shown that $ell^1(s)$ is  a symmetric $ell^1(e)$-module amenable if and only if $s$ is amenable, where $s$ is an inverse semigroup with subsemigr...

In this paper we propose the combination of modularity and temporal reasoning using logic programming as common ground. Moreover, we consider that the usage of a given module is influenced by temporal constraints, i.e. modularity and temporal reasoning are strongly connected. Besides illustrative examples, we also present the operational semantics and corresponding compiler for this language.

We introduce the concept of a strongly t-logarithmic t-generating set for a Z ˆ t, t ̃ -module, which enables us to prove that a large class of soluble groups are not almost convex. We also prove some results about dead-end depth.

This paper reports on the implementation of applets in Caml Special Light, a strongly typed functional language. The experiment shows the major contributions of strong typing and powerful module systems for supporting secure execution of mobile code. Security checks are almost entirely performed once at compile-time, and authentication proves that checks have actually been done.

the notions of quasi-prime submodules and developed  zariski topology was introduced by the present authors in cite{ah10}. in this paper we use these notions to define a scheme. for an $r$-module $m$, let $x:={qin qspec(m) mid (q:_r m)inspec(r)}$. it is proved that $(x, mathcal{o}_x)$ is a locally ringed space. we study the morphism of locally ringed spaces induced by $r$-homomorphism $mrightar...

Let k be an algebraically closed field of positive characteristic, G a reductive group over k, and V a finite dimensional G-module. Let P be a parabolic subgroup of G, and UP its unipotent radical. We prove that if S = SymV has a good filtration, then SUP is strongly F -regular.

In this article we prove that for a basic classical Lie superalgebra the annihilator of a strongly typical Verma module is a centrally generated ideal. For a basic classical Lie superalgebra of type I we prove that the localization of the enveloping algebra by a certain central element is free over its centre.

Let R be a commutative ring and M be an R-module. We say that M is fully primary, if every proper submodule of M is primary. In this paper, we state some characterizations of fully primary modules. We also give some characterizations of rings over which every module is fully primary, and of those rings over which there exists a faithful fully primary module. Furthermore, we will introduce some ...

Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...

let $m$ be a right module over a ring $r$, $tau_m$ a preradical on $sigma[m]$, and$ninsigma[m]$. in this note we show that if $n_1, n_2in sigma[m]$ are two$tau_m$-lifting modules such that $n_i$ is $n_j$-projective ($i,j=1,2$), then $n=n_1oplusn_2$ is $tau_m$-lifting. we investigate when homomorphic image of a $tau_m$-lifting moduleis $tau_m$-lifting.