documentation:fulton:cyclicquotient