84:
74:
53:
22:
574:
Having only come across Hopf algebras in algebraic topology, the antipode was something new to me from this page. I think it would be helpful to others like me to add the fact that if a bialgebra is graded (with non-negative grades only) and the zero grade part of it is isomorphic to the underlying
165:
On distributions on a topological group - there is a theory due to Bruhat, where test functions are the
Schwarz-Bruhat functions. But I think what is meant here is the appropriate group algebra concept, which can be illustrated by convolution of measures (? appropriate hypotheses). Since the point
199:
The formula (Δ f)(x,y)=f(xy) does not work formally, since (Δ f) is supposed to be an element of the tensor product of C(G,K) and C(G,K). So apparently some map from C(GxG,K) to the tensor product of C(G,K) and C(G,K) is silently being used. I can see that it works for finite discrete G, but in
864:. But that's different -- no one is claiming that cofree coalgebras are Hopf algebras (although I guess they could be if all the right definitions are made, it being essentially just the dual to the tensor algebra). In the meanwhile, I am cleaning up the confusion that was in tensor algebra.
717:
where the sum is not a sum over grading, but simply a sum over other elements in the algebra. Its exactly like structure constants in a Lie algebra, but going the other way. I vaguely recall that there are some
Steeenrod-y things that have this kind of more complex structure.
208:
I removed the following list of examples from the main page, as I think they are not Hopf algebras as defined in this article. I believe they are possibly examples of "locally compact quantum groups", some sort of topological version of Hopf algebras.
888:
I don't understand how theta can be unique in the braided monoidal categories section. Isn't the whole point of a braiding (rather than a symmetry) that theta(a, b, c, d) may not be equal to the inverse of theta(a, c, b, d)?
715:
540:. We shall first show that for any quantum field theory, the combinatorics of Feynman graphs gives rise to a Hopf algebra $ \Hc$ which is commutative as an algebra. It is the dual Hopf algebra of the
420:
140:
795:
619:
802:
366:
431:
I always thought one can define a Hopf algebra over an arbitrary integral domain, not neccesary a field. At the very least, Hopf algebras over integral domains are being studied.
582:
Now, in the algebraic topology case that the bialgebra is the cohomology ring of a path-connected H-space, we also have that for an element h of grade n: -->
329:
x of L, cx+dy (as a Lie superalgebra linear combination)=cx+dy (as a linear combination in A) and =xy-(-1)yx for pure elements x, y in L. It's not quite the
233:
whose product is the pointwise product. ε acting on a function gives its value at the identity and (Δ f)(x,y)=f(xy) for all x and y in G. (Sf)(x)=f(x). The
917:
130:
801:, it is mentioned that this coproduct does not turn the Tensor algebra into a Hopf algebra. One of the two articles has to be wrong. Which one is it? --
194:
whose product is the pointwise product. ε acting on a function gives its value at the identity and (Δ f)(x,y)=f(xy) for all x and y in G. (Sf)(x)=f(x).
106:
536:
Renormalization in quantum field theory is a special instance of a general mathematical procedure of extraction of finite values based on the
912:
485:
518:
865:
839:
719:
555:
442:
97:
58:
643:
806:
575:
field, then an antipode always exists, so such a bialgebra can always be made into a Hopf algebra. There is a proof of this at
333:
although there is a canonical injective embedding of the universal enveloping algebra within A. Now, let ε(g)=1 and ε(x)=0 and
545:
330:
281:
33:
371:
576:
466:
741:
284:
can be turned into a Hopf algebra by εx=0, Δx=x⊗1+1⊗x and Sx=-x for all elements of the Lie algebra. There's an
476:
Unique. The set Hom(H,H) is a monoid w.r.t. the convolution product. In this monoid, the antipode S : H --: -->
304:
489:
537:
522:
869:
843:
825:
820:, that it depends on a choice of coproduct. With a correct choice, a tensor algebra is a Hopf algebra. --
723:
586:
559:
446:
336:
226:
187:
169:
39:
83:
462:
481:
266:
262:
238:
21:
838:
I don't see anywhere where it says that, but the article on tensor algebra is seriously messed up.
322:
222:
183:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
637:
541:
506:
89:
73:
52:
894:
821:
218:
200:
general I don't know what map to use. Or are we using some "continuous" tensor product here?
861:
315:
308:
621:. Am I right in thinking that this is not in general true for an arbitrary Hopf algebra ?
166:
made is about variance, it shouldn't matter so much which convolution algebra is taken.
817:
798:
626:
505:
This topic is shows up in quantum field theory in ways that I don't understand at all (
210:
201:
906:
432:
890:
326:
288:
258:
250:
292:
277:
246:
102:
514:
325:
generated by the elements of L and an element g subject to g=1, gxg=(-1)x for
300:
254:
79:
622:
461:
Is the antipode for the given bialgebra exactly unique or only up to iso? --
285:
273:
242:
234:
441:
The article no longer mentions a field, and gives a general definition.
510:
319:
221:
G, we can form two different Hopf algebras over it. The first is the
898:
873:
847:
829:
810:
727:
630:
563:
526:
493:
470:
450:
435:
797:
is given as an example of a Hopf algebra. However, in the article
296:
318:
L, we can turn it into a Hopf algebra as follows: Let A be the
182:
can form two different Hopf algebras over it. The first is the
15:
710:{\displaystyle \Delta h=\sum _{k}h_{k}^{'}\otimes h_{k}^{''}}
544:
of a Lie algebra $ \ud G$ whose basis is labelled by the
636:
In general, Hopf algebra are not graded. In general the
738:
In this article, the Tensor
Algebra with the coproduct
517:). Maybe some of that can be useful to the article.
744:
646:
589:
374:
339:
101:, a collaborative effort to improve the coverage of
477:
H is inverse to the identity morphism 1 : H --: -->
789:
709:
613:
415:{\displaystyle \Delta x=x\otimes 1+g^{x}\otimes 1}
414:
360:
245:. The other Hopf algebra we can construct is the
291:from this Hopf algebra to the Hopf algebra of
8:
790:{\displaystyle Deltax=x\otimes 1+1\otimes x}
47:
743:
697:
692:
675:
670:
660:
645:
588:
400:
373:
338:
546:one-particle irreducible Feynman graphs
49:
19:
614:{\displaystyle 1\otimes h+h\otimes 1}
577:why graded bi algebras have antipodes
7:
583:0, the grade n component of (Δh) is
95:This article is within the scope of
640:are not so simple, i.e. in general
361:{\displaystyle \Delta g=g\otimes g}
38:It is of interest to the following
647:
375:
340:
14:
918:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
803:2001:41B8:83F:1004:0:0:FFFE:C0E6
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
874:16:35, 18 September 2016 (UTC)
848:04:15, 18 September 2016 (UTC)
728:14:39, 17 September 2016 (UTC)
564:16:08, 15 September 2016 (UTC)
451:16:06, 15 September 2016 (UTC)
1:
307:and its derivatives over the
109:and see a list of open tasks.
913:B-Class mathematics articles
899:19:06, 19 October 2023 (UTC)
331:universal enveloping algebra
299:of this homomorphism is the
282:universal enveloping algebra
860:Oh, I see, it says that in
532:Quoting from the abstract:
934:
527:10:29, 14 March 2011 (UTC)
261:of this Hopf algebra upon
237:of this Hopf algebra upon
631:10:37, 21 July 2011 (UTC)
554:Alain Connes is awesome!
471:20:39, 1 April 2009 (UTC)
422:for pure elements x in L.
204:20:22, 10 Aug 2004 (UTC)
134:
67:
46:
830:16:09, 15 May 2015 (UTC)
811:11:19, 15 May 2015 (UTC)
494:02:13, 25 May 2009 (UTC)
436:22:24, 6 June 2006 (UTC)
305:Dirac delta distribution
272:If, in addition, G is a
213:20:58, 3 Sep 2004 (UTC)
172:11:07, 2 Nov 2003 (UTC)
141:project's priority scale
816:It seems, from reading
538:Riemann-Hilbert problem
98:WikiProject Mathematics
791:
711:
615:
416:
362:
28:This article is rated
792:
712:
616:
417:
363:
295:over G such that the
265:is as a left (right)
263:noncommutative spaces
241:is as a left (right)
239:noncommutative spaces
884:Uniqueness of theta?
742:
644:
587:
372:
337:
229:functions from G to
190:functions from G to
121:mathematics articles
706:
684:
638:structure constants
323:associative algebra
249:product algebra of
787:
707:
688:
666:
665:
611:
542:enveloping algebra
412:
358:
257:). This time, the
90:Mathematics portal
34:content assessment
734:Tensor Algebra???
656:
484:comment added by
303:generated by the
253:over G (i.e. its
219:topological group
155:
154:
151:
150:
147:
146:
925:
862:cofree coalgebra
796:
794:
793:
788:
716:
714:
713:
708:
705:
704:
696:
683:
682:
674:
664:
620:
618:
617:
612:
496:
421:
419:
418:
413:
405:
404:
367:
365:
364:
359:
316:Lie superalgebra
170:Charles Matthews
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
933:
932:
928:
927:
926:
924:
923:
922:
903:
902:
886:
740:
739:
736:
698:
676:
642:
641:
585:
584:
572:
503:
501:renormalization
479:
459:
429:
396:
370:
369:
335:
334:
178:
163:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
931:
929:
921:
920:
915:
905:
904:
885:
882:
881:
880:
879:
878:
877:
876:
853:
852:
851:
850:
833:
832:
818:tensor algebra
799:Tensor algebra
786:
783:
780:
777:
774:
771:
768:
765:
762:
759:
756:
753:
750:
747:
735:
732:
731:
730:
703:
700:
695:
691:
687:
681:
678:
673:
669:
663:
659:
655:
652:
649:
610:
607:
604:
601:
598:
595:
592:
571:
568:
567:
566:
552:
551:
550:
511:hep-th/9912092
502:
499:
498:
497:
486:219.117.195.84
458:
455:
454:
453:
428:
425:
424:
423:
411:
408:
403:
399:
395:
392:
389:
386:
383:
380:
377:
357:
354:
351:
348:
345:
342:
312:
270:
206:
197:
196:
177:
174:
162:
159:
157:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
930:
919:
916:
914:
911:
910:
908:
901:
900:
896:
892:
883:
875:
871:
867:
863:
859:
858:
857:
856:
855:
854:
849:
845:
841:
837:
836:
835:
834:
831:
827:
823:
819:
815:
814:
813:
812:
808:
804:
800:
784:
781:
778:
775:
772:
769:
766:
763:
760:
757:
754:
751:
748:
745:
733:
729:
725:
721:
701:
699:
693:
689:
685:
679:
677:
671:
667:
661:
657:
653:
650:
639:
635:
634:
633:
632:
628:
624:
608:
605:
602:
599:
596:
593:
590:
580:
578:
569:
565:
561:
557:
553:
549:
547:
543:
539:
534:
533:
531:
530:
529:
528:
524:
520:
519:75.57.242.120
516:
512:
508:
500:
495:
491:
487:
483:
475:
474:
473:
472:
468:
464:
456:
452:
448:
444:
440:
439:
438:
437:
434:
426:
409:
406:
401:
397:
393:
390:
387:
384:
381:
378:
355:
352:
349:
346:
343:
332:
328:
327:pure elements
324:
321:
317:
313:
310:
306:
302:
298:
294:
290:
287:
283:
279:
275:
271:
268:
264:
260:
256:
252:
251:distributions
248:
244:
240:
236:
232:
228:
224:
220:
216:
215:
214:
212:
205:
203:
195:
193:
189:
185:
180:
179:
175:
173:
171:
167:
160:
158:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
887:
866:67.198.37.16
840:67.198.37.16
737:
720:67.198.37.16
581:
573:
556:67.198.37.16
535:
504:
460:
443:67.198.37.16
430:
293:convolutions
289:homomorphism
230:
207:
198:
191:
181:
168:
164:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
480:—Preceding
278:Lie algebra
276:, it has a
247:convolution
112:Mathematics
103:mathematics
59:Mathematics
907:Categories
457:Uniqueness
301:subalgebra
255:group ring
227:continuous
188:continuous
286:injective
274:Lie group
211:AxelBoldt
202:AxelBoldt
570:Antipode
482:unsigned
433:Elenthel
314:Given a
309:identity
243:comodule
235:coaction
217:Given a
176:Examples
891:Cyrapas
280:g. Its
223:algebra
184:algebra
139:on the
30:B-class
427:Field?
320:unital
267:module
259:action
161:Bruhat
36:scale.
513:from
507:arXiv
463:Anton
311:of G.
297:image
895:talk
870:talk
844:talk
826:talk
822:Taku
807:talk
724:talk
627:talk
623:Rfs2
560:talk
523:talk
515:here
490:talk
478:H.
467:talk
447:talk
368:and
225:of
186:of
131:Mid
909::
897:)
872:)
846:)
828:)
809:)
782:⊗
770:⊗
726:)
686:⊗
658:∑
648:Δ
629:)
606:⊗
594:⊗
579:.
562:)
525:)
492:)
469:)
449:)
407:⊗
388:⊗
376:Δ
353:⊗
341:Δ
893:(
868:(
842:(
824:(
805:(
785:x
779:1
776:+
773:1
767:x
764:=
761:x
758:a
755:t
752:l
749:e
746:D
722:(
702:″
694:k
690:h
680:′
672:k
668:h
662:k
654:=
651:h
625:(
609:1
603:h
600:+
597:h
591:1
558:(
548:.
521:(
509::
488:(
465:(
445:(
410:1
402:x
398:g
394:+
391:1
385:x
382:=
379:x
356:g
350:g
347:=
344:g
269:.
231:K
192:K
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.