Reachability relations, transitive digraphs and groups