In this subsection, \(k\)  denotes a field.
We follow the definitions and notations in [1]}.The following tannakian duality will be repeatedly used in this paper, whose proof can be found, e.g. in [2]}.
