The paper the title refers to is that in Proceedings of the Edinburgh Mathematical Society, 40 (1997), 367-374. Taking it as an excuse we intend to realize a twofold purpose: 1o to atomize that important result showing by the way connections which are out of favour, 2o to rectify a tiny piece of history. The objective 1o is going to be achieved by adopting means adequate to goals; it is of grea...

let r be a ring, m a right r-module and (s,≤) a strictly ordered monoid. in this paper we will show that if (s,≤) is a strictly ordered monoid satisfying the condition that 0 ≤ s for all s ∈ s, then the module [[ms,≤]] of generalized power series is a uniserial right [[rs,≤]] ]]-module if and only if m is a simple right r-module and s is a chain monoid.

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

This note announces a number of results on the structure of differential modules over differential rings, where differential ring means a ring with a family of derivations and differential module means a module having a family of operators compatible with the derivations of the ring. To fix notation, throughout the paper we let A denote an associative ring, M = AM an 4-module, k the correspondi...

In this thesis, we study algorithms for a problem of finding relations in one or severalvariables. It generalizes that of computing a solution to a system of linear modularequations over a polynomial ring, including in particular the computation of Hermite-Padé approximants and bivariate interpolants. Rather than a single solution, we aim atcomputing generators of the solution s...

Let K be a Banach space, B a unital C∗-algebra, and π : B → L(K) an injective, unital homomorphism. Suppose that there exists a function γ : K×K → R+ such that, for all k, k1, k2 ∈ K, and all b ∈ B, (a) γ(k, k) = ‖k‖2, (b) γ(k1, k2) ≤ ‖k1‖ ‖k2‖, (c) γ(πbk1, k2) = γ(k1, πb∗k2). Then for all b ∈ B, the spectrum of b in B equals the spectrum of πb as a bounded linear operator on K. If γ satisfies ...

the concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. the notion of free fuzzy modules was introducedby muganda as an extension of free modules in the fuzzy context. zahedi and ameriintroduced the concept of projective and injective l-modules. in this paper we give analternate definition for projective l-modules. we prove that e...

For the ring R of integers of a ramified extension of the field of p-adic numbers and a cyclic group G of prime order p we study the extensions of the additive groups of R-representations modules of G by the group G. Let T be the field of fractions of a principal ideal domain R, F a field which contains R, let G be a finite group and Γ a matrix R-representation of G. Let M be an RG-module, whic...

The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. By implementing and specifying algorithms from computer algebra inside a proo...

Letting n≥2k, the partition algebra CAk≥2(n) has two one-dimensional subrepresentations that correspond in a natural way to alternating and trivial characters of symmetric group Sk. In 2019, Benkart Halverson introduced proved evaluations distinguished bases CAk(n) for nonzero elements regular CAk(n)-submodule corresponds Young symmetrizer ∑σ∈Skσ; 2016, Xiao an explicit formula analogue sign re...