add a method for (isSurjective, RingMap)
