On the proofs of Leighton's Graph Covering Theorem, a notion dual to commensurability, and normal virtual retracts

Nicholas Touikan, Ashot Minasyan

Leighton's Graph Covering Theorem states that if two finite graphs have the same universal covering tree, then they also have a common finite degree cover. Bass and Kulkarni gave a…