The endomorphism ring theorem for Frobenius extensions