On congruence lattices of regular semigroups with Q-inverse transversals.
An algebraic structure is said to be congruence permutable if its arbitrary congruences and satisfy the equation , where denotes the usual composition of binary relations. To an arbitrary -set satisfying , we assign a semigroup on the base set containing a zero element , and examine the connection between the congruence permutability of the -set and the semigroup .
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.
In this paper, we have studied the connectedness of the graphs on the direct product of the Weyl groups. We have shown that the number of the connected components of the graph on the direct product of the Weyl groups is equal to the product of the numbers of the connected components of the graphs on the factors of the direct product. In particular, we show that the graph on the direct product of the Weyl groups is connected iff the graph on each factor of the direct product is connected.
It is proved that if is an abelian -group with a pure subgroup so that is at most countable and is either -totally projective or -summable, then is either -totally projective or -summable as well. Moreover, if in addition is nice in , then being either strongly -totally projective or strongly -summable implies that so is . This generalizes a classical result of Wallace (J. Algebra, 1971) for totally projective -groups as well as continues our recent investigations in (Arch....