带作用的约化群范畴中的五重作用与作用可表示性

引入了带作用的约化群范畴 $\mathbf{rGr}^{\bullet}$ 中任一对象的五重作用（pentaction）概念。运算定义于该范畴对象 $A$ 的五重作用集合 $\mathsf{Pentact}(A)$ 中。证明了若对象 $A$ 在本文所定义意义下为零弱稳定子的完美对象，则 $\mathsf{Pentact}(A)$ 是 $\mathbf{rGr}^{\bullet}$ 的一个对象，它对 $A$ 具有导出作用，$A$ 是作用可表示的，且 $\mathsf{Pentact}(A)$ 表示 $A$ 上的所有作用。