Group invariance in nonlinear functional analysis