One of the most interesting theorems in computer science is the Krohn-Rhodes theorem that shows a strong link between basic computer science and group theory. Crudely, the KR theorem extends Jordan-Holder (H_1 \triangleleft H_2 … \triangleleft H_n=G) to state