and on page 4, the line beginning with "the preceding lemmas..." has a "for all nonedges $pq\not\in$..." and it seems unnecessary to have the word nonedges as well as the $\not\in$
I believe I obtained more votes in the ellection when I uploaded my photo with beard. Beard seems to be a legit item to obtain more votes in an ellection.
@MJD Such cut-off values (10 in this case) are always a little awkward when they're just surpassed. The result will not be known ahead of time because we can vote for more than three candidates, and cannot indicate a preference among our votes.
given a ring R and an ideal I, you can form the inverse limit of R/I, R/I^2, R/I^3, ... and as a special case you can look at Z/pZ, Z/p^2Z, Z/p^3Z, .. and get the p-adics. You can complete F[T] for instance and get F[[T]] (whose fractions form a local function field), or complete a number field('s ring of integers) wrt a prime (ideal) and get an extension of the p-adics for some p (where the prime ideal divides p), etc.
maybe if I can derail my prof's talk later into hopf algebra territory with sufficient momentum I can get him to shine line on some rep thry stuff I want to know about even though it's completely unrelated to his research
@TobiasKildetoft Mariano responded to this question of mine yesterday. (My instructor's area is hopf-galois module theory.) So here I'd like to know more about how group algebras are given co-operations
Help me please, I'm confused looking on ODE $y' = \frac{y-x}{y+x}$. If I rewrite it in form $Pdx + Qdy = 0$ then $P_y \neq Q_x$, what does it mean for the initial ODE?
so $\Delta(g)=g\otimes g$ is the 'correct' coproduct on a group algebra since then the group elements are precisely the grouplike elements, a preexisting notion, and at the same time "grouplike elements" is defined as $g$ s.t. $\Delta(g)=g\otimes g$ so that group elements = grouplike elements under the coproduct on a hopf algebra (the coproduct a preexisting notion). this seems circular: which comes first?
I guess one might be able to recover the coproduct on the group algebra from the product on its algebra of global sections when seen as an algebraic group
(and taking the dual)
but again, the way one constructs an algebraic group corresponding to a finite group is as far as I know essentially motivated to make the group algebra be the dual of the algebra of regular functions
one just ends up with a more general notion, namely that of a finite algebraic group
and the one by zyx is also good to keep in mind, and when it comes to quantum groups, the way to define the hopf-algebra structure is a lot less obvious