We show that every quasi–norm p on a (real) cancellative cone X induces in a natural way an extended quasi–metric ep on X for which (X, ep) is an extended quasi–metric cone. We prove that the structure of a quasi– normed cone is preserved by bicompletion, under bijective isometries. In fact, we observe that isometries are not necessarily injective in this setting. Some illustrative examples are...

— Let M be an infinité commutative monoid. Suppose that M has a Church-Rosser présentation. If M is cancellative or if the présentation is special then M is either the free cyclic group or the free cyclic monoid. Résumé. — Soit M un monoide commutatif infini. Supposons que M possède une présentation finie ayant la propriété de « Church-Rosser ». Si M est simplifiable ou si la présentation est s...

Let k be a field, and let M be a commutative, seminormal, finitely generated monoid, which is torsionfree, cancellative, and has no nontrivial units. J. Gubeladze proved that finitely generated projective modules over kM are free. This paper contains an algorithm for finding a free basis for a finitely generated projective module over kM . As applications one obtains alternative algorithms for ...

The characterization of (S,N)-implications when N is a non-continuous negation has remained one the most significant open problems in fuzzy logic for last decades. This paper constitutes first progress this topic. Namely, general family implication functions presented, which central property existence completion binary function defined on certain subregion [0,1]2 to t-conorm. In paper, dual pro...

A ring has bounded factorizations if every cancellative nonunit a∈R can be written as a product of atoms and there is bound λ(a) on the lengths such factorizations. The factorization property one most basic finiteness properties in study non-unique Every commutative noetherian domain factorizations, but it open whether result holds noncommutative setting. We provide sufficient conditions for pr...

We investigate the notion of Connes-amenability, introduced by Runde in [14], for bidual algebras and weighted semigroup algebras. We provide some simplifications to the notion of a σWC-virtual diagonal, as introduced in [10], especially in the case of the bidual of an Arens regular Banach algebra. We apply these results to discrete, weighted, weakly cancellative semigroup algebras, showing tha...