## When is a Surjective Comodule Endomorphism an Automorphism?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Given a Hopf algebra $H$, a left $H$-comodule $V$, and a surjective comodule endomorphism $f: V \to V$. Can somebody give:

(i) a set of neccessary, or sufficient, or both neccessary and sufficient, conditions for $f$ to have zero kernel?

(ii) an example of such a comodule map with non-zero kernel?

Thanks in advance guys

-

2
For (ii), take $H=k$, your base field, $V$ any infinite dimensional $k$-vector space, with its obvious $H$-comodule structure, and $f$ any non-injective surjection – Mariano Suárez-Alvarez Aug 22 at 17:35

1
For (i), at the level of generality with which you wrote the question it is difficult to say something useful. One nice criterion for injectivity is that it is enough to check injectivity of the restriction of the map to the socle. – Mariano Suárez-Alvarez Aug 22 at 17:46
How do you define the scole of a comodule, as The sum of the minimal nonzero sub-comodules? – Dyke Acland Aug 22 at 18:22
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 10, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8463749885559082, "perplexity_flag": "middle"}