分次环论中的Frobeniuse反演定理

摘要

设是强G—群分次环,H≤G是子群:本文先构造了分次左R^(H)模范畴R^(H)-gr_H到分次左R模范畴R—gr的诱导函子Ind_H^G(-),证明了Ind_H^G(-)与限制函子(-)_H互为可逆函子,最后我们利用Ind_H^G(-)得到了群分次环论中一般的frobeniuse反演定理。