Nielsen–Schreier formula
ID: nielsen-schreier-formula
If has finite index in the free group , thenIndeed, the -sheeted covering graph of the rose with petals has vertices and edges, so its fundamental group has rank .
New to topics? Read the docs here!