Abstract. This article constructs all congruences on a free commutative semigroup such that the quotient semigroup is subcomplete; this includes all congruences on a finitely generated free commutative semigroup.

AMS Subject Classification (1991): 20M14

Keyword(s): and phrases: congruence, free commutative semigroup, subelementary, subcomplete, extent cell, strand

Received August 15, 2000, and in revised form July 17, 2001. (Registered under 2807/2009.)