Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
A Hopf algebra is a vector space $H$ over a field $k$ endowed with an associative product $\times:H\otimes_k H\to H$ and a coassociative coproduct $\Delta:H\to H\otimes_k H$ which is a morphism of algebras. Unit $1:k\to H$, counit $\epsilon:H\to k$ and antipode $S:H\to H$ are also required. Such a structure exists on the group algebra $k G$ of a finite group $G$.
7
votes
An algebra map between Hopf algebras that does not commute with the counit
Such a map can certainly exist. For instance, take the $k$-algebra $G = k \times k$, with
$$ \begin{aligned}
&\Delta(1,0) = (1,0) \otimes (1,0) + (0,1) \otimes (0,1), \\
&\Delta(0,1) = (1,0) \otimes ( …
2
votes
Algebraic Groups, Modules, and Comodules
I think that Waterhouse's "Introduction to Affine Group Schemes" (1979), section 3.2 "Comodules", might be what you're looking for.
I'm not sure why you have the constraint "non-zero characteristic" …