The coextension of commutative pomonoids and its application to triangular norms

Abstract

Group coextensions of monoids, which generalise Schreier-type extensions of groups, have originally been defined by P.A. Grillet and J. Leech. The present paper deals with pomonoids, that is, monoids that are endowed with a compatible partial order. Following the lines of the unordered case, we define pogroup coextensions of pomonoids. We furthermore generalise the construction to the case that pomonoids instead of pogroups are used as the extending structures.