非交换环上Hopf Bigalois扩张的结构

摘要

假设Ａ是Ｂ的右Ｈ－Ｇａｌｏｉｓ扩张，当Ａ是Ｂ左及右忠实平坦的环扩张时，Ｍ．Ｔａｄｅｎｃｈｉ证明了Ｌ＝ｃｏ（Ａ）＝（Ａ×Ａ）＾ｃｏ（Ａ×Ａ）是一个Ｂ－Ｃｏｒｉｎｇ且是在左、右Ｈ－Ｂｉｇａｌｏｉｓ扩张。本文进一步研究Ｌ的结构，给出了Ｌ的余乘法以及余单位。