A -group is a sum of a finite number of torsionfree Abelian groups of rank , subject to two independent linear relations. We complete here the study of direct decompositions over two base elements, determining the cases where the relations play an essential role.
Some results concerning congruence relations on partially ordered quasigroups (especially, Riesz quasigroups) and ideals of partially ordered loops are presented. These results generalize the assertions which were proved by Fuchs in [5] for partially ordered groups and Riesz groups.
We study the minimal prime elements of multiplication lattice module over a -lattice . Moreover, we topologize the spectrum of minimal prime elements of and study several properties of it. The compactness of is characterized in several ways. Also, we investigate the interplay between the topological properties of and algebraic properties of .
Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnková's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by C. Anghel. Our focus in this paper is on differentiating...