push forwards of finite ring maps