The state transition graph formed by taking each point {x,y} in an integer grid of size n and mapping it to the point obtained by iteratively applying the transformation Mod[{{a,b},{c,d}}.{x,y},n] the specified number of times.
When the matrix {{a,b},{c,d}} is invertible, every point in the grid maps to a distinct point, so that the state transition graph contains only cycles.