Symbolic Dynamics on Groups and Countable State Topological Markov Shifts