素特征域上半单代数群及其李代数表示中的Verma模