After defining Hom(chi (A), eta (B)) and chi (A) circle times eta (B) in the fuzzy modular category Fm, the sufficient conditions of the existence for exact Hom functors Hom(delta (M),), and Hom(, delta (M)), as well ...After defining Hom(chi (A), eta (B)) and chi (A) circle times eta (B) in the fuzzy modular category Fm, the sufficient conditions of the existence for exact Hom functors Hom(delta (M),), and Hom(, delta (M)), as well as exact Tensor functors delta (M)circle times and circle times delta (M) are given in this paper. Finally the weak isomorphisms relations between Horn functors and Tensor functors are displayed.展开更多
We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩~gH ≤ P for any g ∈ G-H, then the operator of the restriction to RH of RG-modules induces a triangulated equivalence from StmodP...We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩~gH ≤ P for any g ∈ G-H, then the operator of the restriction to RH of RG-modules induces a triangulated equivalence from StmodP(RG) to StmodP(RH); if the normal subgroup H controls the fusion of p-subgroups of G, the restriction functor is a faithful triangulated functor; if P is strongly closed in H respect to G, the same functor is also a faithful triangulated functor.展开更多
文摘After defining Hom(chi (A), eta (B)) and chi (A) circle times eta (B) in the fuzzy modular category Fm, the sufficient conditions of the existence for exact Hom functors Hom(delta (M),), and Hom(, delta (M)), as well as exact Tensor functors delta (M)circle times and circle times delta (M) are given in this paper. Finally the weak isomorphisms relations between Horn functors and Tensor functors are displayed.
基金Supported by the National Natural Science Foundation of China(10826057)
文摘We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩~gH ≤ P for any g ∈ G-H, then the operator of the restriction to RH of RG-modules induces a triangulated equivalence from StmodP(RG) to StmodP(RH); if the normal subgroup H controls the fusion of p-subgroups of G, the restriction functor is a faithful triangulated functor; if P is strongly closed in H respect to G, the same functor is also a faithful triangulated functor.