On complete -ideals in semigroups
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 .
Let M be a commutative cancellative monoid. The set Δ(M), which consists of all positive integers which are distances between consecutive factorization lengths of elements in M, is a widely studied object in the theory of nonunique factorizations. If M is a Krull monoid with cyclic class group of order n ≥ 3, then it is well-known that Δ(M) ⊆ {1,..., n-2}. Moreover, equality holds for this containment when each class contains a prime divisor from M. In this note, we consider the question of determining...