### A proof of the factorization forest theorem

Manfred Kufleitner
We show that for every homomorphism $\Gamma^+ \to S$ where $S$ is a finite semigroup there exists a factorization forest of height $\leq 3 \abs{S}$. The proof is based on Green's relations.
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.