Let $D$ be an integral domain and $\Gamma$ a torsion-free commutative cancellative (additive) semigroup with identity element quotient group $G$. In this paper, we show that if char$(D)=0$ (resp., char$(D)=p>0$), then $D[\Gamma]$ is weakly Krull only UMT-domain, UMT-monoid, $G$ of type $(0,0,0, \dots )$ except $p$). Moreover, give arithmetical applications result.

In this work we solve an open problem of U.Höhle ([10], Problem 11). We show that the solution gives a characterization of all conditionally cancellative t-subnorms. Further, we give an equivalence condition for a conditionally cancellativite t-subnorm to be a t-norm and hence show that conditionally cancellativite t-subnorms whose natural negations are strong are, in fact, t-norms. Mathematics...

ΠMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that ΠMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of ΠMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0, 1] generates the variety of all ΠMTL-alge...

We give characterizations of the property of being weakly reductive for finitely generated commutative semigroups. As a consequence of these characterizations we obtain an algorithm for determining from a presentation of a finitely generated commutative semigroup whether it is weakly reductive. Furthermore, we present some connections between cancellative finitely generated commutative semigrou...

In this work we solve an open problem of U.Höhle [Problem 11, Fuzzy Sets and Systems 145 (2004) 471-479]. We show that the solution gives a characterization of all conditionally cancellative t-subnorms. Further, we give an equivalence condition for a conditionally cancellativite t-subnorm to be a t-norm and hence show that conditionally cancellativite t-subnorms whose natural negations are stro...

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