Kompaktin ja yhtenäisen moniston perusryhmän äärellinen esitys