Abstract: A simple elementary proof is given that every congruence on a finitely generated commutative semigroup is finitely generated and is moreover a semilinear relation.
LFCS report ECS-LFCS-94-291, May 1994.