Orthogonal Frobenius reciprocity

A quantitative version of Frobenius reciprocity for isometrics is proved. It is applied to deduce recursion formulas for the rational class of some irreducible orthogonal modules of the symmetric groups.