Frobenius reciprocity theorem