Hopf-Galois结构的正规性与短正合序列

根据Greither和Pareigis的定理，有限Galois扩张 $K/k$（其中 $G=Gal(K/k)$）上的每个Hopf-Galois结构唯一对应于一个正则子群 $N\leq B=\operatorname{Perm}(G)$，该子群被 $\lambda(G)\leq B$ 正规化。作用在 $K/k$ 上的所得Hopf代数为 $H_N=(K[N])^{\lambda(G)}$。对于给定的这样的 $N$，我们考虑由同样被 $\lambda(G)$ 正规化的子群 $P\triangleleft N$ 产生的Hopf-Galois结构。该子群引出一个Hopf子代数 $H_P\subseteq H_N$，其固定域为 $F=K^{H_P}$。根据Chase和Sweedler的工作，这给出了扩张 $K/F$ 上的一个Hopf-Galois结构，其中作用通过将 $H_P$ 基变换为 $F\otimes_k H_P$（一个 $F$-Hopf代数）而得到。我们考察这与经典Galois理论的类比，并考察 $K/F$ 上的Hopf-Galois结构如何与 $K/k$ 上的相关联。我们还将特别关注作用于 $K/F$ 的那些 $H_P$ 的Greither-Pareigis枚举/构造如何与作用于 $K/k$ 的 $H_N$ 的枚举/构造相关联。在此过程中，我们还考察了起作用Hopf代数的短正合序列，其正合性直接关联到这些代数的下降理论描述。