# Coalgebra

In mathematics, **coalgebras** or **cogebras** are structures that are dual (in the category-theoretic sense of reversing arrows) to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras.
Every coalgebra, by (vector space) duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions (see below).

Coalgebras occur naturally in a number of contexts (for example, universal enveloping algebras and group schemes).

There are also **F-coalgebras**, with important applications in computer science.

## Formal definitionEdit

Formally, a coalgebra over a field *K* is a vector space *C* over *K* together with *K*-linear maps Δ: *C* → *C* ⊗ *C* and ε: *C* → *K* such that

- .

(Here ⊗ refers to the tensor product over *K* and id is the identity function.)

Equivalently, the following two diagrams commute:

In the first diagram, *C* ⊗ (*C* ⊗ *C*) is identified with (*C* ⊗ *C*) ⊗ *C*; the two are naturally isomorphic.^{[1]} Similarly, in the second diagram the naturally isomorphic spaces *C*, *C* ⊗ *K* and *K* ⊗ *C* are identified.^{[2]}

The first diagram is the dual of the one expressing associativity of algebra multiplication (called the coassociativity of the comultiplication); the second diagram is the dual of the one expressing the existence of a multiplicative identity. Accordingly, the map Δ is called the **comultiplication** (or **coproduct**) of *C* and ε is the **counit** of *C*.

## ExamplesEdit

Take an arbitrary set *S* and form the *K*-vector space *C* = *K ^{(S)}* with basis

*S*, as follows. The elements of this vector space

*C*are those functions from

*S*to

*K*that map all but finitely many elements of

*S*to zero; identify the element

*s*of

*S*with the function that maps

*s*to 1 and all other elements of

*S*to 0. Define

- Δ(
*s*) =*s*⊗*s*and ε(*s*) = 1 for all*s*in*S*.

By linearity, both Δ and ε can then uniquely be extended to all of *C*. The vector space *C* becomes a coalgebra with comultiplication Δ and counit ε.

As a second example, consider the polynomial ring *K*[*X*] in one indeterminate *X*. This becomes a coalgebra (the **divided power coalgebra**^{[3]}^{[4]}) if for all *n* ≥ 0 one defines:

Again, because of linearity, this suffices to define Δ and ε uniquely on all of *K*[*X*]. Now *K*[*X*] is both a unital associative algebra and a coalgebra, and the two structures are compatible. Objects like this are called bialgebras, and in fact most of the important coalgebras considered in practice are bialgebras. Examples include Hopf algebras and Lie bialgebras.

The tensor algebra and the exterior algebra are further examples of coalgebras.

The singular homology of a topological space forms a graded coalgebra whenever the Künneth isomorphism holds, e.g. if the coefficients are taken to be a field.^{[5]}

If *C* is the *K*-vector space with basis {*s*, *c*}, consider Δ: *C* → *C* ⊗ *C* is given by

- Δ(
*s*) =*s*⊗*c*+*c*⊗*s* - Δ(
*c*) =*c*⊗*c*−*s*⊗*s*

and ε: *C* → *K* is given by

- ε(
*s*) = 0 - ε(
*c*) = 1

In this situation, (*C*, Δ, ε) is a coalgebra known as **trigonometric coalgebra**.^{[6]}^{[7]}

For a locally finite poset *P* with set of intervals *J*, define the **incidence coalgebra** *C* with *J* as basis and comultiplication for *x* < *z*

The intervals of length zero correspond to points of *P* and are group-like elements.^{[8]}

## Finite dimensionsEdit

In finite dimensions, the duality between algebras and coalgebras is closer: the dual of a finite-dimensional (unital associative) algebra is a coalgebra, while the dual of a finite-dimensional coalgebra is a (unital associative) algebra. In general, the dual of an algebra may not be a coalgebra.

The key point is that in finite dimensions, (*A* ⊗ *A*)^{∗} and *A*^{∗} ⊗ *A*^{∗} are isomorphic.

To distinguish these: in general, algebra and coalgebra are dual *notions* (meaning that their axioms are dual: reverse the arrows), while for finite dimensions, they are dual *objects* (meaning that a coalgebra is the dual object of an algebra and conversely).

If *A* is a *finite-dimensional* unital associative *K*-algebra, then its *K*-dual *A*^{∗} consisting of all *K*-linear maps from *A* to *K* is a coalgebra. The multiplication of *A* can be viewed as a linear map *A* ⊗ *A* → *A*, which when dualized yields a linear map *A*^{∗} → (*A* ⊗ *A*)^{∗}. In the finite-dimensional case, (*A* ⊗ *A*)^{∗} is naturally isomorphic to *A*^{∗} ⊗ *A*^{∗}, so this defines a comultiplication on *A*^{∗}. The counit of *A*^{∗} is given by evaluating linear functionals at 1.

## Sweedler notationEdit

When working with coalgebras, a certain notation for the comultiplication simplifies the formulas considerably and has become quite popular. Given an element *c* of the coalgebra (*C*, Δ, ε), there exist elements *c*_{(1)}^{(i)} and *c*_{(2)}^{(i)} in *C* such that

In *Sweedler's notation*,^{[9]} (so named after Moss Sweedler), this is abbreviated to

The fact that ε is a counit can then be expressed with the following formula

The coassociativity of Δ can be expressed as

In Sweedler's notation, both of these expressions are written as

Some authors omit the summation symbols as well; in this sumless Sweedler notation, one writes

and

Whenever a variable with lowered and parenthesized index is encountered in an expression of this kind, a summation symbol for that variable is implied.

## Further concepts and factsEdit

A coalgebra (*C*, Δ, *ε*) is called **co-commutative** if , where σ: *C* ⊗ *C* → *C* ⊗ *C* is the *K*-linear map defined by *σ*(*c* ⊗ *d*) = *d* ⊗ *c* for all *c*, *d* in *C*. In Sweedler's sumless notation, *C* is co-commutative if and only if

for all *c* in *C*. (It's important to understand that the implied summation is significant here: it is not required that all the summands are pairwise equal, only that the sums are equal, a much weaker requirement.)

A **group-like element** (or **set-like element**) is an element *x* such that Δ(*x*) = *x* ⊗ *x* and *ε*(*x*) = 1. Contrary to what this naming convention suggests the group-like elements do not always form a group and in general they only form a set. The group-like elements of a Hopf algebra do form a group. A **primitive element** is an element *x* that satisfies Δ(*x*) = *x* ⊗ 1 + 1 ⊗ *x*. The primitive elements of a Hopf algebra form a Lie algebra. ^{[10]}^{[11]}

If (*C*_{1}, Δ_{1}, *ε*_{1}) and (*C*_{2}, Δ_{2}, *ε*_{2}) are two coalgebras over the same field *K*, then a **coalgebra morphism** from *C*_{1} to *C*_{2} is a *K*-linear map *f* : *C*_{1} → *C*_{2} such that and .
In Sweedler's sumless notation, the first of these properties may be written as:

The composition of two coalgebra morphisms is again a coalgebra morphism, and the coalgebras over *K* together with this notion of morphism form a category.

A linear subspace *I* in *C* is called a **coideal** if *I* ⊆ ker(*ε*) and Δ(*I*) ⊆ *I* ⊗ *C* + *C* ⊗ *I*. In that case, the quotient space *C*/*I* becomes a coalgebra in a natural fashion.

A subspace *D* of *C* is called a **subcoalgebra** if Δ(*D*) ⊆ *D* ⊗ *D*; in that case, *D* is itself a coalgebra, with the restriction of ε to *D* as counit.

The kernel of every coalgebra morphism *f* : *C*_{1} → *C*_{2} is a coideal in *C*_{1}, and the image is a subcoalgebra of *C*_{2}. The common isomorphism theorems are valid for coalgebras, so for instance *C*_{1}/ker(*f*) is isomorphic to im(*f*).

If *A* is a finite-dimensional unital associative *K*-algebra, then *A*^{∗} is a finite-dimensional coalgebra, and indeed every finite-dimensional coalgebra arises in this fashion from some finite-dimensional algebra (namely from the coalgebra's *K*-dual). Under this correspondence, the commutative finite-dimensional algebras correspond to the cocommutative finite-dimensional coalgebras. So in the finite-dimensional case, the theories of algebras and of coalgebras are dual; studying one is equivalent to studying the other. However, relations diverge in the infinite-dimensional case: while the *K*-dual of every coalgebra is an algebra, the *K*-dual of an infinite-dimensional algebra need not be a coalgebra.

Every coalgebra is the sum of its finite-dimensional subcoalgebras, something that is not true for algebras. Abstractly, coalgebras are generalizations, or duals, of finite-dimensional unital associative algebras.

Corresponding to the concept of representation for algebras is a **corepresentation** or comodule.

## See alsoEdit

## ReferencesEdit

**^**Yokonuma (1992).*Prop. 1.7*. p. 12.**^**Yokonuma (1992).*Prop. 1.4*. p. 10.**^**See also Dăscălescu, Năstăsescu & Raianu (2001).*Hopf Algebras: An introduction*. p. 3.**^**See also Raianu, Serban. Coalgebras from Formulas Archived 2010-05-29 at the Wayback Machine, p. 2.**^**"Lecture notes for reference" (PDF). Archived from the original (PDF) on 2012-02-24. Retrieved 2008-10-31.**^**See also Dăscălescu, Năstăsescu & Raianu (2001).*Hopf Algebras: An introduction*. p. 4., and Dăscălescu, Năstăsescu & Raianu (2001).*Hopf Algebras: An introduction*. p. 55., Ex. 1.1.5.**^**Raianu, Serban. Coalgebras from Formulas Archived 2010-05-29 at the Wayback Machine, p. 1.**^**Montgomery (1993) p.61**^**Underwood (2011) p.35**^**Mikhalev, Aleksandr Vasilʹevich; Pilz, Günter, eds. (2002).*The Concise Handbook of Algebra*. Springer-Verlag. p. 307, C.42. ISBN 0792370724.**^**Abe, Eiichi (2004).*Hopf Algebras*. Cambridge Tracts in Mathematics.**74**. Cambridge University Press. p. 59. ISBN 0-521-60489-3.

## Further readingEdit

- Block, Richard E.; Leroux, Pierre (1985), "Generalized dual coalgebras of algebras, with applications to cofree coalgebras",
*Journal of Pure and Applied Algebra*,**36**(1): 15–21, doi:10.1016/0022-4049(85)90060-X, ISSN 0022-4049, MR 0782637, Zbl 0556.16005 - Dăscălescu, Sorin; Năstăsescu, Constantin; Raianu, Șerban (2001),
*Hopf Algebras: An introduction*, Pure and Applied Mathematics,**235**(1st ed.), New York, NY: Marcel Dekker, ISBN 0-8247-0481-9, Zbl 0962.16026. - Gómez-Torrecillas, José (1998), "Coalgebras and comodules over a commutative ring",
*Revue Roumaine de Mathématiques Pures et Appliquées*,**43**: 591–603 - Hazewinkel, Michiel (2003), "Cofree coalgebras and multivariable recursiveness",
*Journal of Pure and Applied Algebra*,**183**(1): 61–103, doi:10.1016/S0022-4049(03)00013-6, ISSN 0022-4049, MR 1992043, Zbl 1048.16022 - Montgomery, Susan (1993),
*Hopf algebras and their actions on rings*, Regional Conference Series in Mathematics,**82**, Providence, RI: American Mathematical Society, ISBN 0-8218-0738-2, Zbl 0793.16029 - Underwood, Robert G. (2011),
*An introduction to Hopf algebras*, Berlin: Springer-Verlag, ISBN 978-0-387-72765-3, Zbl 1234.16022 - Yokonuma, Takeo (1992),
*Tensor spaces and exterior algebra*, Translations of mathematical monographs,**108**, American Mathematical Society, ISBN 0-8218-4564-0, Zbl 0754.15028 - Chapter III, section 11 in Bourbaki, Nicolas (1989).
*Algebra*. Springer-Verlag. ISBN 0-387-19373-1.

## External linksEdit

- William Chin:
*A brief introduction to coalgebra representation theory*