1: \begin{abstract}

2: The flow semigroup, introduced by John Rhodes, 

3: is an invariant for digraphs and a complete invariant for graphs. 

4: After collecting together previous partial results,

5: we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup 

6: for finite, antisymmetric, strongly connected digraphs. 

7: 

8: Building on this result, 

9: we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$.  

10: A linear algorithm (in the number of edges) is presented to 

11: determine 

12: these so-called `defect $k$ groups' for any finite (di)graph.

13: 

14: Finally, 

15: we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, 

16: completely confirming Rhodes's conjecture for such (di)graphs. 

17: \end{abstract}

18: