Q A ] 1 N ov 2 00 3 Symmetric Coalgebras

We construct a structure of a ring with local units on a co-Frobenius coalgebra. We study a special class of co-Frobenius coalgebras whose objects we call symmetric coalgebras. We prove that any semiperfect coalgebra can be embedded in a symmetric coalgebra. A dual version of Brauer’s equivalence theorem is presented, allowing a characterization of symmetric coalgebras by comparing certain functors. We define an automorphism of the ring with local units constructed from a co-Frobenius coalgebra, which we call the Nakayama automorphism. This is used to give a new characterization to symmetric coalgebras and to describe Hopf algebras that are symmetric as coalgebras. As a corollary we obtain as a consequence the known characterization of Hopf algebras that are symmetric as algebras. Mathematics Subject Classification (2000): 16W30 0 Introduction and Preliminaries Frobenius algebras appeared in group representation theory around 100 years ago. Afterwards they were recognized in many fields of mathematics: commutative algebra, topology, quantum field theory, von Neumann algebras, Hopf algebras, quantum Yang-Baxter equation, etc; see [6], [17] for classical aspects, and [5], [11], [15], [24] for more recent developments. For instance in [15] ideas about Frobenius algebras, Hopf subalgebras, solutions of the Yang-Baxter equation, the Jones polynomial and 2-dimensional topological quantum ∗On leave from University of Bucharest, Dept. Mathematics.

[1]  Stefaan Caenepeel,et al.  Frobenius and Separable Functors for Generalized Module Categories and Nonlinear Equations , 2002 .

[2]  S. Raianu,et al.  Hopf algebras : an introduction , 2001 .

[3]  L. Grunenfelder,et al.  Constructing Pointed Hopf Algebras by Ore Extensions , 2000 .

[4]  L. Kadison New Examples of Frobenius Extensions , 1999 .

[5]  A. Stolin,et al.  An Approach to Hopf Algebras via Frobenius Coordinates , 1999 .

[6]  Tsit Yuen Lam,et al.  Lectures on modules and rings , 1998 .

[7]  Lowell Abrams Modules, Comodules, and Cotensor Products over Frobenius Algebras , 1998, math/9806044.

[8]  L. Grunenfelder,et al.  Finiteness Conditions, Co-Frobenius Hopf Algebras, and Quantum Groups , 1998 .

[9]  M. Lorenz Representations of Finite-Dimensional Hopf Algebras , 1997 .

[10]  H. Schneider,et al.  Frobenius extensions of subalgebras of Hopf algebras , 1997 .

[11]  S. Raianu,et al.  Graded coalgebras and Morita-Takeuchi contexts , 1995 .

[12]  C. Nastasescu,et al.  Quasi-co-Frobenius Coalgebras , 1995 .

[13]  Rolf Farnsteiner On Frobenius Extensions Defined by Hopf Algebras , 1994 .

[14]  Susan Montgomery,et al.  Hopf algebras and their actions on rings , 1993 .

[15]  S. Woronowicz,et al.  Quantum deformation of lorentz group , 1990 .

[16]  Irving Reiner,et al.  Methods of Representation Theory , 1981 .

[17]  J. Humphreys Symmetry for finite dimensional Hopf algebras , 1978 .

[18]  D. Radford Finiteness conditions for a hopf algebra with a nonzero integral , 1977 .

[19]  U. Oberst,et al.  Über Untergruppen Endlicher Algebraischer Gruppen , 1973 .

[20]  Bodo Pareigis,et al.  When Hopf algebras are Frobenius algebras , 1971 .

[21]  R. Larson Characters of Hopf algebras , 1971 .

[22]  Richard G. Larson,et al.  An Associative Orthogonal Bilinear Form for Hopf Algebras , 1969 .