广义路余代数和广义对偶Gabriel定理

通过将箭图的每个顶点放置一个k-余代数,首先引进了广义路余代数的概念,其次给出了广义路余代数的一些基本性质,还讨论了同构问题.证明了两个正规广义路余代数是同构的当且仅当他们的箭图及对应顶点上的单余代数是同构的.对于满足Codim C_0■1余代数C,证明了对偶Wedderburn-Malcev定理成立.作为广义路余代数的一个应用,推广了点余代数的对偶Gabriel定理.     

Quasi-co-Frobenius Coalgebras. II

Abstract

We prove new characterizations of Quasi-co-Frobenius (QcF) coalgebras and co-Frobenius coalgebras. Among them, we prove that a coalgebra is QcF if and only if C generates every left and every right C-comodule. We also prove that every QcF coalgebra is Morita-Takeuchi equivalent to a co-Frobenius coalgebra.     

Hereditary and Formally Smooth Coalgebras

We define formally smooth coalgebras and we study their relation with hereditary coalgebras. The main result of the paper establishes that a coalgebra with separable coradical is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra , where C₀ is the coradical of C and N is a certain (C₀,C₀)–bicomodule. Presented by A. Verschoren Mathematics Subject Classifications (2000) primary: 16W30; secondary: 18G20. D. Ştefan: This author thanks the members of the Algebra Department of the University of Granada for their warm hospitality. He is especially grateful to Pascual Jara for the kind invitation to visit University of Granada. This research was partially supported by CERES, Contract 4-147.     

On Gorenstein coalgebras

We investigate the comodule representation category over the Morita-Takeuchi context coalgebra Γ and study the Gorensteinness of Γ. Moreover, we determine explicitly all Gorenstein injective comodules over the Morita-Takeuchi context coalgebra Γ and discuss the localization in Gorenstein coalgebras. In particular, we describe its Gabriel quiver and carry out some examples when the Morita-Takeuchi context coalgebra is basic.     

Valued Gabriel quiver of a wedge product and semiprime coalgebras

We describe the valued Gabriel quiver of a wedge product of coalgebras and study the category of comodules of a semiprime coalgebra. In particular, we prove that any monomial semiprime k-tame fc-tame coalgebra is string. We also prove a version of Eisenbud-Griffith theorem for coalgebras, namely, any hereditary semiprime strictly quasi-finite coalgebra is serial.     

Subgroups of the Brauer Group of a Cocommutative Coalgebra

We introduce Shur and projective Schur subgroup of the Brauer group of a cocommutative coalgebra by means of twisted cogroup coalgebras and we study their properties. In particular we show that these subgroups are always torsion (in contrast with the whole Brauer group). Moreover, when C is coreflexive and irreducible both subgroups coincide with the coradical ones. We illustrate the theory with several examples.     

Serial coalgebras and their valued Gabriel quivers

We study serial coalgebras by means of their valued Gabriel quivers. In particular, Hom-computable and representation-directed serial coalgebras are characterized. The Auslander–Reiten quiver of a serial coalgebra is described. Finally, a version of Eisenbud–Griffith Theorem is proved, namely, every subcoalgebra of a prime, hereditary and strictly quasi-finite coalgebra is serial.     

余代数上余倾斜余模的结构

研究了余代数上余倾斜余模的结构特征,证明了每个余倾斜余模都可以写成不可分解的两两非同构的余模的直和形式,每个余倾斜余模包含所有的内射不可分解模作为直和项.最后构造了余倾斜余模的两个例子.     

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.     

Quiver Hopf algebras

In this paper we study subHopfalgebras of graded Hopf algebra structures on a path coalgebra kQ^c. We prove that a Hopf structure on some subHopfquivers can be lifted to a Hopf structure on the whole Hopf quiver. If Q is a Schurian Hopf quiver, then we classified all simple-pointed subHopfalgebras of a graded Hopf structure on kQ^c. We also prove a dual Gabriel theorem for pointed Hopf algebras.     

Hochschild Cohomology and the Coradical Filtration of Pointed Coalgebras: Applications

In this paper we show that there is a close connection between the coradical filtration of a pointed coalgebra and the Hochschild cohomology of that coalgebra with coefficients in some one-dimensional bicomodules. As an application, for a given prime numberpand an algebraically closed fieldkof characteristic 0, we classify all pointed Hopf algebras of dimensionp³overk.     

Backwards genetic inheritance through coalgebra-graphs

We attach two weighted digraphs to any coalgebra C with genetic realization. Algebraically, these digraphs describe the right and left coideal structure of C, whereas genetically they represent the backwards inheritance through the male and female heritage lines, respectively. After establishing the relationship between the strongly connectedness of the attached digraphs and the simplicity of the genetic coalgebras, both digraphs are unified by considering the notion of genetic trigraph.     

Flat Comodules and Perfect Coalgebras

Stenström introduced the notion of flat object in a locally finitely presented Grothendieck category 𝒜. In this article we investigate this notion in the particular case of the category 𝒜 = C-Comod of left C-comodules, where C is a coalgebra over a field K. Several characterizations of flat left C-comodules are given and coalgebras having enough flat left C-comodules are studied. It is shown how far these coalgebras are from being left semiperfect. As a consequence, we give new characterizations of a left semiperfect coalgebra in terms of flat comodules. Left perfect coalgebras are introduced and characterized in analogy with Bass's Theorem P. Coalgebras whose injective left C-comodules are flat are discussed and related to quasi-coFrobenius coalgebras.     

Covering Coalgebras and Dual Non-singularity

Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors (see Jara et al., Commun. Algebra, 34(8):2843–2856, 2006 and Nastasescu and Torrecillas, J. Algebra, 185:203–220, 1994). Here we look at possible coalgebra covers π : D → C that could play the rôle of a coalgebra colocalisation. Codense covers will dualise dense (or rational) extensions; a maximal codense cover construction for coalgebras with projective covers is proposed. We also look at a dual non-singularity concept for modules which turns out to be the comodule-theoretic property that turns the dual algebra of a coalgebra into a non-singular ring. As a corollary we deduce that hereditary coalgebras and hence path coalgebras are non-singular in the above sense. We also look at coprime coalgebras and Hopf algebras which are non-singular as coalgebras.     

When Does the Rational Torsion Split Off for Finitely Generated Modules

It is well known that the torsion part of any finitely generated module over the formal power series ring K[[X]] is a direct summand. In fact, K[[X]] is an algebra dual to the divided power coalgebra over K and the torsion part of any K[[X]]-module actually identifies with the rational part of that module. More generally, for a certain general enough class of coalgebras—those having only finite dimensional subcomodules—we see that the above phenomenon is preserved: the set of torsion elements of any C ^*-module is exactly the rational submodule. With this starting point in mind, given a coalgebra C we investigate when the rational submodule of any finitely generated left C ^*-module is a direct summand. We prove various properties of coalgebras C having this splitting property. Just like in the K[[X]] case, we see that standard examples of coalgebras with this property are the chain coalgebras which are coalgebras whose lattice of left (or equivalently, right, two-sided) coideals form a chain. We give some representation theoretic characterizations of chain coalgebras, which turn out to make a left-right symmetric concept. In fact, in the main result of this paper we characterize the colocal coalgebras where this splitting property holds non-trivially (i.e. infinite dimensional coalgebras) as being exactly the chain coalgebras. This characterizes the cocommutative coalgebras of this kind. Furthermore, we give characterizations of chain coalgebras in particular cases and construct various and general classes of examples of coalgebras with this splitting property.     

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.     

The antipode of a quasitriangular quasi-Turaev group coalgebra is bijective

In order to construct a class of new Turaev-braided group category with nontrivial associativity, the concept of a quasitriangular quasi-Turaev group coalgebras was recently introduced. Inside the definition, the conditions of invertibility of the R-matrix R and bijectivity of the antipode S are required. In this article, we prove that the antipode of a quasitriangular quasi-Turaev group coalgebra without the assumptions about invertibility of the antipode and R-matrix is inner, and a fortiori, bijective. As an application, we prove that for a quasitriangular quasi-Turaev group coalgebra, two conditions mentioned above are unnecessary.     

Localization in tame and wild coalgebras

We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: “Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations”.     

On radicals of module coalgebras

We introduce the notion of an idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule coalgebra in R. Moreover, a B-module coalgebra C is a member of R if, and only if, DB is in R for every simple subcoalgebra D of C. The collection of B-cocleft coalgebras and the collection of H-projective module coalgebras over a Hopf algebra H are idempotent radical classes. As applications, we use these idempotent radical classes to give another proofs for a projectivity theorem and a normal basis theorem of Schneider without assuming a bijective antipode.