D. Lešnik, Klasifikacija krovnih podgrup

Vsakemu krovu lahko priredimo podgrupo fundamentalne grupe baznega prostora; podgrupe, dobljene na ta način, se imenujejo krovne. Če je prostor povezan s potmi, lokalno povezan s potmi in semilokalno enostavno povezan, je vsaka podgrupa njegove fundamentalne grupe krovna. Na seminarju si bomo ogledali klasifikacijo krovnih podgrup za prostore, ki niso nujno semilokalno enostavno povezani. To klasifikacijo bomo razširili s povezavo s konstruktivno matematiko.