PPTBSDBSDBSDBSDABCBSDBSDBSDBSDABC1.1ap||aVp(a)=nVp(0)==ab(abZab0)Vp()=Vp(a)-Vp(b)||p=^Vp^()Vp()lg=lg||plg0VpQZ{}1.5(Zp)={Q|Vp()=0}={ba|abZp|ab}PPPGal(QQ)Gal(QQ)