## Sub-Hopf algebras of group algebras

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

Let $k$ be a field and $G$ a finite group. Is every sub-Hopf algebra over $k$ of the group algebra $k[G]$ of the form $k[U]$ for a subgroup $U$ of $G$ ?

-

## 2 Answers

Yes: The dual `$H^*$` is a quotient algebra of `$k[G]$`, and the latter is the commutative function algebra `$\{f:G \to k\}$`. Thus `$H = k[U]$` for a set $U$, and closure under multiplication then makes $U$ a group.

The nice thing about finite-dimensional Hopf algebras over a field: You can turn them upside down. Vector space duality is an involution on finite-dimensional Hopf algebras. (But I think that this particular argument still works in the infinite-dimensional case: `$k[G]^*$` has a weak-* topology and `$H^*$` is a quotient by a closed ideal, so it should still create $U$.)

-

Nice argument. Thanks – Ralph Oct 20 2010 at 11:44

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Moreover, finiteness of $G$ is irrelevant as Greg's proof works there as well. BTW, you don't need to go into $H^\ast$ if you are willing to use coalgebras: any subcoalgebra of $k[G]$ is $k[U]$ for some subset of $G$. $U$ must be a subgroup for the subco to be subHopf...

A more interesting question is to ask about forms of $k[G]$, i.e. Hopf algebras over a subfield $m$ such that $k\otimes_m H \cong k[G]$. There are a plenty of those which are not group subalgebras!!

-

2
Forms of $k[G]$ are complementary to the work of Ahmad Chalabi, who studied the behavior of $k[G]$ under field extensions. So, better to look for those than for weapons of mass destruction. – Greg Kuperberg Oct 20 2010 at 11:26
{"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": 21, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9342655539512634, "perplexity_flag": "head"}