In mathematics, coalgebras or cogebras are structures that are dual (in the 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 definition

Formally, a coalgebra over a field K is a vector space C over K together with K-linear maps \Delta : C \to C \otimes_K C and \epsilon : C \to K such that

  1. (\mathrm{id}_C \otimes \Delta) \circ \Delta = (\Delta \otimes \mathrm{id}_C) \circ \Delta
  2. (\mathrm{id}_C \otimes \epsilon) \circ \Delta = \mathrm{id}_C = (\epsilon \otimes \mathrm{id}_C) \circ \Delta.

(Here \otimes and \otimes_K refer to the tensor product over K and id is the identity function.)

Equivalently, the following two diagrams commute:


In the first diagram we silently identify C\otimes (C\otimes C) with (C \otimes C)\otimes C; the two are naturally isomorphic.[1] Similarly, in the second diagram the naturally isomorphic spaces C , C\otimes K and K\otimes 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.


  • Take an arbitrary set S and form the K-vector space with basis S. The elements of this vector space are those functions from S to K that map all but finitely many elements of S to zero; we identify the element s of S with the function that maps s to 1 and all other elements of S to 0. We will denote this space by C. We define
    \Delta(s) = s\otimes s \quad \mbox{ and } \quad \epsilon(s)=1 \quad \mbox{ 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 ε (checking this is a good way to get used to the axioms).
  • 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 we define
    \Delta(X^n) = \sum_{k=0}^n \dbinom{n}{k} X^k\otimes X^{n-k}
    \epsilon(X^n)=\begin{cases}1& \mbox{if } n=0\\
0& \mbox{if } n>0
    for all n\ge 0. 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.
  • In some cases the singular homology of a topological space forms a coalgebra.[5]
  • If C is the K-vector space with basis {s, c}, consider \Delta: C \to C \otimes C is given by
    \Delta(s) = s \otimes c + c\otimes s
    \Delta(c) = c \otimes c - s\otimes s
    and \epsilon: C \to K is given by
    \epsilon(s) = 0
    \epsilon(c) = 1
    In this situation, (C, \Delta, \epsilon) is a coalgebra known as trigonometric coalgebra.[6][7]

Finite dimensions

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\otimes A)^* \cong A^*\otimes A^*.

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\otimes A\rightarrow A, which when dualized yields a linear map A^*\rightarrow (A\otimes A)^*. In the finite-dimensional case, (A\otimes A)^* is naturally isomorphic to A^*\otimes A^*, so we have defined a comultiplication on A*. The counit of A* is given by evaluating linear functionals at 1.

Sweedler notation

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,Δ,ε), we know that there exist elements c(1)(i) and c(2)(i) in C such that

\Delta(c)=\sum_i c_{(1)}^{(i)}\otimes c_{(2)}^{(i)}.

In Sweedler's notation, this is abbreviated to

\Delta(c)=\sum_{(c)} c_{(1)}\otimes c_{(2)}.

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

c=\sum_{(c)} \varepsilon(c_{(1)})c_{(2)} = \sum_{(c)} c_{(1)}\varepsilon(c_{(2)}).\;

The coassociativity of Δ can be expressed as

\sum_{(c)}c_{(1)}\otimes\left(\sum_{(c_{(2)})}(c_{(2)})_{(1)}\otimes (c_{(2)})_{(2)}\right) = \sum_{(c)}\left( \sum_{(c_{(1)})}(c_{(1)})_{(1)}\otimes (c_{(1)})_{(2)}\right) \otimes c_{(2)}.

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

\sum_{(c)} c_{(1)}\otimes c_{(2)}\otimes c_{(3)}.

Some authors omit the summation symbols as well; in this sumless Sweedler notation, we may write

\Delta(c)=c_{(1)}\otimes c_{(2)}


c=\varepsilon(c_{(1)})c_{(2)} = c_{(1)}\varepsilon(c_{(2)}).\;

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 facts

A coalgebra (C,Δ,ε) is called co-commutative if \sigma\circ\Delta = \Delta, where \sigma: C\otimes C \to C\otimes C is the K-linear map defined by \sigma(c\otimes d) = d\otimes c for all c,d in C. In Sweedler's sumless notation, C is co-commutative if and only if

c_{(1)}\otimes c_{(2)}=c_{(2)}\otimes c_{(1)}\;

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

If (C_1,\Delta_1,\epsilon_1) and (C_2,\Delta_2,\epsilon_2) are two coalgebras over the same field K, then a coalgebra morphism from C1 to C2 is a K-linear map f:C_1\to C_2 such that (f\otimes f)\circ\Delta_1 = \Delta_2\circ f and \epsilon_2\circ f = \epsilon_1. In Sweedler's sumless notation, the first of these properties may be written as:

f(c_{(1)})\otimes f(c_{(2)})=f(c)_{(1)}\otimes f(c)_{(2)}.

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)⊆IC + CI. 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)⊆DD; in that case, D is itself a coalgebra, with the restriction of ε to D as counit.

The kernel of every coalgebra morphism f : C1C2 is a coideal in C1, and the image is a subcoalgebra of C2. The common isomorphism theorems are valid for coalgebras, so for instance C1/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, things 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 coalgebras, something that's not true for algebras. In a certain sense then, coalgebras are generalizations of (duals of) finite-dimensional unital associative algebras.

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


  1. ^ Yokonuma (1992), p. 12, Prop. 1.7.
  2. ^ Yokonuma (1992), p. 10, Prop. 1.4.
  3. ^ See also Dăscălescu, Năstăsescu & Raianu (2001), p. 3.
  4. ^ See also Raianu, Serban. Coalgebras from Formulas, p. 2.
  5. ^ Lecture notes for reference
  6. ^ See also Dăscălescu, Năstăsescu & Raianu (2001), p. 4 & p. 55, Ex. 1.1.5.
  7. ^ Raianu, Serban. Coalgebras from Formulas, p. 1.

See also


  • Chapter III, section 11 in Bourbaki, Nicolas (1989). Algebra. Springer-Verlag. ISBN 0-387-19373-1. 

External links

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • coalgebra — noun a structure that is dual to unital associative algebras …   Wiktionary

  • F-coalgebra — In mathematics, specifically in category theory, an F coalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in… …   Wikipedia

  • Cofree coalgebra — In algebra, the cofree coalgebra of a vector space or module is a coalgebra analog of the free algebra of a vector space. The cofree coalgebra of any vector space over a field exists, though it is more complicated than one might expect by analogy …   Wikipedia

  • Lie coalgebra — In mathematics a Lie coalgebra is the dual structure to a Lie algebra.In finite dimensions, these are dual objects: the dual vector space to a Lie algebra naturally has the structure of a Lie coalgebra, and conversely.DefinitionLet E be a vector… …   Wikipedia

  • Comodule — In mathematics, a comodule or corepresentation is a concept dual to a module. The definition of a comodule over a coalgebra is formed by dualizing the definition of a module over an associative algebra. Formal definition Let K be a field, and C… …   Wikipedia

  • F-algebra — In mathematics, specifically in category theory, an F algebra for an endofunctor :F : mathbf{C}longrightarrow mathbf{C} is an object A of mathbf{C} together with a mathbf{C} morphism :alpha : FA longrightarrow A. In this sense F algebras are dual …   Wikipedia

  • Summenlose Sweedler Notation — Koalgebra berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra ist Spezialfall von Vektorraum ist dual zu …   Deutsch Wikipedia

  • Sweedler-Notation — Koalgebra berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra ist Spezialfall von Vektorraum ist dual zu …   Deutsch Wikipedia

  • Sweedler Notation — Koalgebra berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra ist Spezialfall von Vektorraum ist dual zu …   Deutsch Wikipedia

  • Associative algebra — In mathematics, an associative algebra is a vector space (or more generally, a module) which also allows the multiplication of vectors in a distributive and associative manner. They are thus special algebras. Definition An associative algebra A… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”