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.      

The Splitting Problem for Coalgebras: A Direct Approach

In this note we give a new and elementary proof of a result of Năstăsescu and Torrecillas (J. Algebra, 281:144–149, 2004) stating that a coalgebra C is finite dimensional if and only if the rational part of any right module M over the dual algebra is a direct summand in M (the splitting problem for coalgebras). Research supported by a CNCSIS BD-type grant, and by the bilateral project BWS04/04 “New Techniques in Hopf Algebra Theory and Graded Ring Theory” of the Flemish and Romanian governments.     

Group Entwining Structures and Group Coalgebra Galois Extensions

Abstract

The notions of group coalgebra Galois extension and group entwining structure are defined. It is proved that any group coalgebra Galois extension induces a unique group-entwining map ψ = {ψ_{α, β}}_{α, β∈π} compatible with the right group coaction, generalizing the recent work of Brzeziński and Hajac [Brzeziński, T., Hajac, P. M. (1999). Coalgebra extensions and algebra coextensions of Galois type. Comm. Algebra 27:1347–1368].     

Morita Contexts and Partial Group Galois Extensions for Hopf Group Coalgebras

We first introduce the notion of partial group twisted smash product and construct a Morita context for partial coaction of co-Frobenius Hopf group coalgebra relating generalized partial group smash product and partial coinvariants. Furthermore, we study group-Galois extensions and reobtain some classical results in the partial case. Finally, we prove that any partial group Galois extension induces a unique partial group entwining map compatible with the partial right coaction.     

Embedding theorem ofZ-graded Lie superalgebras

The embedding theorem ofZ-graded Lie superalgebras is given and proved. As a subsidiary result it is proved that a transitiveZ-graded restricted lie superalgebm must be isomorphic toW(m,n, 1) if the dimension ofG _i satisfies a certain condition. Project supported by the National Natural Science Foundation of China and the Science of the University Doctoral Program of CNEC.     

关于余模范畴中的Lie结构

研究三角Hopf代数众模范畴上的Lie代数和Lie余代数,主要讨论Lie代数和Lie众代数的对偶．给出了Lie代数的泛包络代数的结构．     

On the structure of graded <Emphasis Type="Italic">λ</Emphasis>-Hopf algebras

Let G be an abelian group, B the G-graded λ-Hopf algebra with A being a bicharacter on G. By introducing some new twisted algebras （coalgebras）, we investigate the basic properties of the graded antipode and the structure for B. We also prove that a G-graded λ-Hopf algebra can be embedded in a usual Hopf algebra. As an application, it is given that if G is a finite abelian group then the graded antipode of a finite dimensional G-graded A-Hopf algebra is invertible.     

Hom-Doi-Hopf模

Hom-结构(李代数,双代数,Hopf模)已经越来越引人关注.首先引入Hom-模余代数和Hom-Doi-Hopf模概念,证明了Hom-Doi-Hopf模模可通过Doi-Hopf模在态射扭曲下得到,推广了CAENEPEEL等提出的条件;还揭示了有限型Hom Doi Hopf结构和其对偶之间的联系,证明了忘却函子F∶CM(H)A→MA(CM)存在伴随函子,其中CM(H)A和MA(CM)分别表示Hom-Doi-Hopf模模范畴和Hom-模(Hom-余模)范畴.     

关于余模余代数的L-R smash余积和L-R扭曲余积

由一种新方法给出了L-R smash余积的Mashke定理,并研究了L-R扭曲余积与左(右)扭曲偶的关系.     

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

The classical algebraic approach to graph transformation is a mathematical theory based on categorical techniques with several interesting applications in computer science. In this paper, a new semantics of graph transformation systems (in the algebraic, double-pushout (DPO) approach) is proposed in order to make them suitable for the specification of concurrent and reactive systems. Classically, a graph transformation system comes with a fixed behavioral interpretation. Firstly, all transformation steps are intended to be completely specified by the rules of the system, that is, there is an implicit frame condition: it is assumed that there is a complete control about the evolution of the system. Hence, the interaction between the system and its (possibly unknown) environment, which is essential in a reactive system, cannot be modeled explicitly. Secondly, each sequence of transformation steps represents a legal computation of the system, and this makes it difficult to model systems with control. The first issue is addressed by providing graph transformation rules with a loose semantics, allowing for unspecified effects which are interpreted as activities of the environment. This is formalized by the notion of double-pullback transitions, which replace (and generalize) the well-known double-pushout diagrams by allowing for spontaneous changes in the context of a rule application. Two characterizations of double-pullback transitions are provided: the first one describes them in terms of extended direct DPO derivations, and the second one as incomplete views of parallel or amalgamated derivations. The issue of constraining the behavior of a system to transformation sequences satisfying certain properties is addressed instead by introducing a general notion of logic of behavioral constraints, which includes instances like start graphs, application and consistency conditions, and temporal logic constraints. The loose semantics of a system with restricted behavior is defined as a category of coalgebras over a suitable functor. Such category has a final object which includes all finite and infinite transition sequences satisfying the constraints.