I am a bit confused here -- if the students know any group theory, then they know that if G is a group and H a subgroup, Lagrange's theorem say all cosets of H are in bijection with H, so the map G -> G/H is clearly some sort of fibration -- this would be what I would use for the double cover and the Hopf map.