== Onko olemassa isotrooppinen alaryhmä oikein epäjatkuvalle toiminnalle? == 

 Orbifoldin artikkelissa sanotaan: Tärkein esimerkki perimmäisestä avaruudesta on moninaisuuden lainaustila, joka on kunnolla epäjatkuva sellaisen mahdollisesti äärettömän diffeomorfismiryhmän vaikutuksen alaisena, jolla on äärelliset isotrooppiset alaryhmät. Erityisesti tämä pätee mihin tahansa äärellisen ryhmän toimintaan; 

 Haluan olla samaa mieltä. Mutta olen hämmentynyt. Jos ryhmän vaikutus olisi vapaa + kunnolla epäjatkuva, saisimme moninaisuuden lainaajaksi, eikö niin? Mutta miten tässä on järkeä? Miten oikein epäjatkuva toiminta voi olla ei-vapaa? Jos on olemassa piste, joka on kiinnittynyt johonkin ryhmän elementtiin, meillä on aina tuo ryhmän elementti joukossa . Miten näin voi olla?  

 Ja miksi vapaasti epäjatkuva on uudelleenohjaus tähän artikkeliin? Mitä vapaasti epäjatkuva tarkoittaa? 

 Tämä on luultavasti kauhean itsestään selvää, mutta en näe sitä juuri nyt. Ehkä huomenna.