4
$\begingroup$

Consider the following quote from the Wikipedia entry Coalgebra:

The kernel of every coalgebra morphism $f : C_1 \to C_2$ is a coideal in $C_1$, and the image is a subcoalgebra of $C_2$.

I can't see any qualifiers preceding or succeeding the statement. Am I missing something obvious here, or is this just plain wrong?

Do there not exists kernels of coalgebra maps that are not coideals?

$\endgroup$
10
  • 14
    $\begingroup$ There are lots of mistakes on Wikipedia. $\endgroup$ Jun 1, 2012 at 16:27
  • 3
    $\begingroup$ Certainly if $f$ is a morphism of coalgebras, then $\Delta_{C_2}f(c_1) = (f\otimes f)(\Delta_{C_1}c_1) \in f(C_1) \otimes f(C_1)$, so that the image is a subcoalgebra. Or am I confused? The dual statement for algebras is that the coimage of an algebra morphism $A_1 \to A_2$ is a quotient algebra of $A_1$, which is also certainly true. Incidentally, I've never liked the word "coideal" for this notion — a coideal should be a cokernel of a map. $\endgroup$ Jun 1, 2012 at 16:32
  • 12
    $\begingroup$ If you see a mathematical mistake on Wikipedia, it immediately becomes your fault if you don't click "edit" and fix it. $\endgroup$ Jun 3, 2012 at 14:12
  • 1
    $\begingroup$ I suppose this thread counts as dead, but never mind. I don't understand Theo's argument that the image of a coalgebra is a coalgebra. How is your element not dependent on the choice of $c_1$? There may be no coherent lift of $\Delta$ on $im(f)$ to $im(f) \otimes im(f)$ unless $im(f) \otimes im(f) \to D \otimes D$ is injective. $\endgroup$
    – Tilman
    Feb 18, 2013 at 16:41
  • 5
    $\begingroup$ I think that "coimage" may be an unfortunate coinage. $\endgroup$ May 25, 2014 at 17:04

3 Answers 3

8
$\begingroup$

As the statement that a kernel is a coideal isn't treated in the comments let me give the following reference from Sweedler's book "Hopf Algebras":

Prop. 1.4.4: The image of a coalgebra morphism is a subcoalgebra

Theorem 1.4.7 b): If it's an coalgebra over a field, then the kernel of a coalgebra morphism is a coideal. (compare Gjergji's counterexample in the general case)

Added: An inspection of Sweedler's proof of Th. 1.4.7 b) shows that the crucial property is $\ker(f \otimes f) = \ker f \otimes C_1 + C_1 \otimes \ker f$. This always holds over a field but is usually false over a comm. ring. However, if $f$ is surjective this identity holds over any ring. In particular, over any comm. ground ring, the kernel of a surjective coalgebra morphism is a coideal.

For instance, in Gjergji's example $f$ isn't surjective since $\mathbb{Z}/4 \nsubseteq \operatorname{im}(f)$.

$\endgroup$
17
  • 3
    $\begingroup$ In Sweedler's book, one has a ground field, while in Gjergji's answer the coalgebra is a 'coring', really. $\endgroup$ Jun 1, 2012 at 17:21
  • $\begingroup$ Yes, I should had quoted it properly. Thanks for the hint. $\endgroup$
    – Ralph
    Jun 1, 2012 at 17:32
  • $\begingroup$ @Mariano: Thanks for making the distinction between the two results. The Nichols - Sweedler example was the one that inspired my question. I got confused by field/coring choice. $\endgroup$ Jun 1, 2012 at 18:00
  • 1
    $\begingroup$ So that means that while the kernel of $f:C_1\to C_2$ is not a coideal of $C_1$, the kernel of $f':C_1\to f(C_1)$ is. $\endgroup$ Jun 1, 2012 at 22:08
  • 1
    $\begingroup$ The reason for this I have explained in my comments under the question: There are two non-equivalent notions of a subcoalgebra, and $f\left(C_1\right)$ satisfies only one of them, while only the other has a well-defined coproduct. $\endgroup$ Jun 1, 2012 at 22:52
5
$\begingroup$

Theo already proved in the comments that the image of a coalgebra map is always a subcoalgebra of the codomain. Here is an example where the kernel is not a coideal, taken from Nichols and Sweedler's "Hopf Algebras and Combinatorics" (also exercise 2.15.5 in "Corings and Comodules" by Brzeziński and Wisbauer):

Let $C_1=\mathbb Z\oplus \mathbb Z/2\mathbb Z\oplus\mathbb Z$ with $c_0=(1,0,0),c_1=(0,1,0),c_2=(0,0,1)$ and $$\Delta(c_0)=c_0\otimes c_0$$ $$\Delta(c_1)=c_0\otimes c_1+c_1\otimes c_0$$ $$\Delta(c_2)=c_0\otimes c_2+c_1\otimes c_1+c_2\otimes c_0$$ Let $C_2=\mathbb Z\oplus \mathbb Z/4\mathbb Z$ with $d_0=(1,0),d_1=(0,1)$ and $$\Delta(d_0)=d_0\otimes d_0$$ $$\Delta(d_1)=d_0\otimes d_1+d_1\otimes d_0$$ Now take the coalgebra map $f: C_1\to C_2$ that sends $$c_0\to d_0,c_1\to 2d_1,c_2\to 0,$$ its kernel is $c_2\mathbb Z$. However $c_2\in \operatorname{ker}(f)$ but $\Delta(c_2)\notin c_2\otimes C_1+C_1\otimes c_2$ so the kernel of $f$ is not a coideal.

$\endgroup$
3
  • $\begingroup$ What is the kernel of $f'$? I am surely messing up my calculation... :( $\endgroup$ Jun 1, 2012 at 22:45
  • $\begingroup$ I think $\Delta(c_2) \in \ker(f)$ should be $c_2 \in \ker(f)$. Also note that $\ker(f') = \ker(f)$. $\endgroup$
    – Ralph
    Jun 1, 2012 at 23:41
  • $\begingroup$ Thanks guys, I got confused on the calculations there for a moment. $\endgroup$ Jun 2, 2012 at 0:14
5
$\begingroup$

Here's a counterexample to show that the image of a coalgebra map isn't always a coalgebra (adapted from the Nichols-Sweedler counterexamples).

Let $C = \mathbb{Z} \oplus \mathbb{Z}$ with $\Delta(e_1) = 0$, $\Delta(e_2)=e_1 \otimes e_1$ and $D = \mathbb{Z}/8 \oplus \mathbb{Z}/2$ with $\Delta(f_1) = 0$, $\Delta(f_2) = 4f_1 \otimes f_1$. (Here $e_i$ and $f_i$ denote the standard generators). Define a map $f\colon C \to D$ by $f(e_1) = 2f_1$ and $f(e_2) = f_2$. That's a coalgebra map.

Now the image of $f$ is $\mathbb{Z}/4 \oplus \mathbb{Z}/2$, I'm calling the generators $\overline e_1$ and $\overline e_2$. But it's not a sub-coalgebra. Any lift of $4f_1 \otimes f_1 = \Delta(f_2)$ to $im(f) \otimes im(f)$ would have to have order $4$, but $\overline e_2$ and $f_2$ only have order $2$.

These are non-counital coalgebras, but they can easily be made counital by taking the direct sum with $\mathbb{Z}$ and interpreting the above-defined $\Delta$ map as reduced coproduct $\overline\Delta$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.