An algebraic characterization of semirings for which the support of every recognizable series is recognizable

We show that for a semiring KK, the supports of all recognizable series over KK are recognizable if and only if in every finitely generated subsemiring of KK there exists a finite congruence such that 0K0K is a singleton congruence class.