We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras that provide algebras of reactive programs. However, in contrast to process algebras we work with a co...

A Banach lattice algebra is a Banach lattice, an associative algebra with a sub-multiplicative norm and the product of positive elements should be positive. In this note we study the Arens regularity and cohomological properties of Banach lattice algebras.

Linear algebra plays a key role in the theory of dynamical systems, and concepts from dynamical systems allow the study, characterization and generalization of many objects in linear algebra, such as similarity of matrices, eigenvalues, and (generalized) eigenspaces. The most basic form of this interplay can be seen as a matrix A gives rise to a continuous time dynamical system via the linear o...

we study algebraic properties of categories of merotopic, nearness, and filter algebras. we show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. the forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...

In this paper, a procedure is reported that discuss how linear algebra can be used in image compression. The basic idea is that each image can be represented as a matrix. We apply linear algebra (QR ‎factorization and wavelet ‎transformation ‎algorithm‏s) on this matrix and get a reduced matrix out such that the image corresponding to this reduced matrix requires much less storage space than th...

The present study aims at indicating the existence and uniqueness result of system in extended colombeau algebra. The Caputo fractional derivative is used for solving the system of ODEs. In addition, Riesz fractional derivative of  Colombeau generalized algebra is considered. The purpose of introducing Riesz fractional derivative is regularizing it in Colombeau sense. We also give a solution to...

In this paper we prove an analogue of Banach and Kannan fixed point theorems by generalizing the Lipschitz constat $k$, in generalized Lipschitz mapping on cone metric space over Banach algebra, which are answers for the open problems proposed by Sastry et al, [K. P. R. Sastry, G. A. Naidu, T. Bakeshie, Fixed point theorems in cone metric spaces with Banach algebra cones, Int. J. of Math. Sci. ...

We consider a 2-dimensional representation of the Hecke algebra $H(G_7, u)$, where $G_7$ is the complex reflection group and $u$ is the set of indeterminates $u = (x_1,x_2,y_1,y_2,y_3,z_1,z_2,z_3)$. After specializing the indetrminates to non zero complex numbers, we then determine a necessary and sufficient condition that guarantees the irreducibility of the complex specialization of the repre...

In this article, using the definitions of central series and nilpotency in the Lie algebras, we give some results similar to the works of Hulse and Lennox in 1976 and Hekster in 1986. Finally we will prove that every non trivial ideal of a nilpotent Lie algebra nontrivially intersects with the centre of Lie algebra, which is similar to Philip Hall's result in the group theory.