Induced and Coinduced Representations of Hopf Group Coalgebras

The induction theory for a Hopf group coalgebra is outlined. Given a Hopf group coalgebra H, the notions of a quotient Hopf group coalgebra and group coisotropic quantum subgroup of H are introduced. The properties of (co)induced representations are studied and the geometric interpretation and simplicity theory of such representations are given.      

Cosemisimple Coextensions and Homological Dimension of Smash Coproducts

Let H be a finite dimensional cosemisimple Hopf algebra, C a left H-comodule coalgebra and let C = C/C（H^＊）^＋ be the quotient coalgebra and the smash coproduct of C and H. It is shown that if C/C is a eosemisimple coextension and C is an injective right C-comodule, then gl. dim（the smash coproduct of C and H） = gl. dim（C） = gl. dim（C）, where gl. dim（C） denotes the global dimension of coalgebra C.     

On Minimal Coalgebras

We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most κ form a covariety. As a subcategory of all F-coalgebras, this class has a terminal object, which for many problems can stand in for the terminal F-coalgebra, which need not exist in general. As examples, we derive structure theoretic results about minimal coalgebras, showing that, for instance minimization of coalgebras is functorial, that products of finitely many minimal coalgebras exist and are given by their largest common subcoalgebra, that minimal subcoalgebras have no inner endomorphisms and show how minimal subcoalgebras can be constructed from Moore-automata. Since the elements of minimal subcoalgebras must correspond uniquely to the formulae of any logic characterizing observational equivalence, we give in the last section a straightforward and self-contained account of the coalgebraic logic of D. Pattinson and L. Schröder, which we believe is simpler and more direct than the original exposition.     

When is a Coalgebra a Generator?

Let C be a coalgebra over a field k. The aim of this paper is to study the following problem : (P) If C is a k-coalgebra such that C is a generator for the category of left comodules, is C a left quasi-co-Frobenius coalgebra ? The converse always holds. We show that if C has a finite coradical series, the answer is positive.     

Completeness for μ-calculi: A coalgebraic approach

We set up a generic framework for proving completeness results for variants of the modal mu-calculus, using tools from coalgebraic modal logic. We illustrate the method by proving two new completeness results: for the graded mu-calculus (which is equivalent to monadic second-order logic on the class of unranked tree models), and for the monotone modal mu-calculus.Besides these main applications, our result covers the Kozen–Walukiewicz completeness theorem for the standard modal mu-calculus, as well as the linear-time mu-calculus and modal fixpoint logics on ranked trees. Completeness of the linear-time mu-calculus is known, but the proof we obtain here is different and places the result under a common roof with Walukiewicz' result.Our approach combines insights from the theory of automata operating on potentially infinite objects, with methods from the categorical framework of coalgebra as a general theory of state-based evolving systems. At the interface of these theories lies the notion of a coalgebraic modal one-step language. One of our main contributions here is the introduction of the novel concept of a disjunctive basis for a modal one-step language. Generalizing earlier work, our main general result states that in case a coalgebraic modal logic admits such a disjunctive basis, then soundness and completeness at the one-step level transfer to the level of the full coalgebraic modal mu-calculus.     

Prime-Dimensional Hopf Algebras

Ｐｒｉｍｅ－ＤｉｍｅｎｓｉｏｎａｌＨｏｐｆＡｌｇｅｂｒａｓＣａｉＣｈｕａｎｒｅｎ（蔡传仁）ａｎｄＣｈｅｎＨｕｉｘｉａｎｇ（陈惠香）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＹａｎｇｚｈｏｕＴｅａｃｈｅｒ＇ｓＣｏｌｌｅｇｅ，Ｊｉａｎｇｓｕ２２５...