H—Galois代数同构类和Harrison上同调群

<正> 若K是一个具有单位元的可换环,K—双代数(H,μ,η,△,ε)具有对极正[1]时称为Hopf代数[2],△:H→H(?)H表示上乘法或者对角映射,ε:H→K表示上单位或者扩张映射。本文自始至终假定H是一个秩为2的自由—K模。在H中存在一个元素x,使得ε(x)=0,它是kerε的生成元,并且1,x是H的一个基。H~*是k—模H的对偶,Φ是H~*的元素,使得Φ(1)=0,Φ(x)=1,ε和中构成H~*关于K的一个基,对偶于H的基1,x。H~*也是K上的一个Hopf代数,ε是H~*的单位元。在K中存在元素p、q,使得x~2=qx,△x=1(?)x+x(?)1+px(?)x,pq+2=0。