We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \DG$ is a finite group. We show that, under suitable assumptions, there exists a group and mutual actions by permutations and that make into matched pair of groups endowed with a natural crossed action on such that is equivalent to a certain associated crossed extension of . Dually, we show that an exact sequence of finite tensor categories induces an -grading on whose neutral homogeneous component is a -crossed extension of a tensor subcategory of . As an application we prove that such extensions of are weakly group-theoretical fusion categories if and only if is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical.

生成讲解博客的中文版本

生成AI智能校验的中文版本