84:
74:
53:
22:
559:
1075:
now gives lots of explicit detail on how to construct Hopf algebras from generic tensor products (exterior product, symmetric product, etc). At the bottom is a short section that briefly mentions the divided-power Hopf algebra. What you (or someone) would need to do is to go through the same steps,
828:
382:
1076:
but now for the divided power algebra, and to then replace the tensor by the symmetric product, and thus gain the insight you are looking for ... It probably would not be a bad idea to expand this article to do all this.
681:
673:
985:
140:
277:
322:
223:
374:
1053:
916:
621:
868:
586:
1005:
554:{\displaystyle (\phi \psi )(x_{1}\cdots x_{n})=\sum _{S\subseteq \{1,2,\ldots ,n\}}\phi \left(\prod _{i\in S}x_{i}\right)\psi \left(\prod _{j\notin S}x_{j}\right).}
162:
Somebody more experienced than I am please check the formatting for the references section. Do I need to put a link to the reference somewhere near the beginning?
1105:
130:
1100:
106:
1077:
823:{\displaystyle (\gamma _{m}\phi )(x_{1}\cdots x_{n})=\sum _{\pi \in P_{n,m}}\prod _{S\in \pi }\phi \left(\prod _{i\in S}x_{i}\right)}
97:
58:
33:
626:
928:
234:
282:
181:
21:
327:
1081:
39:
83:
1014:
877:
1062:
165:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
871:
89:
73:
52:
591:
840:
571:
990:
231:
Addition is just the normal pointwise addition of functions. For multiplication, given
178:
I'm wondering whether it would be worth it to indicate exactly what the PD structure on
1072:
623:
can easily be seen to be an ideal with respect to this ring structure. Then defining
1094:
1085:
1065:
168:
102:
79:
1059:
parts, thus making the above definition of the PD structure a natural one.)
225:
is, or whether it is a bit too complex and would obscure things.
15:
174:
Be more specific on the dual-to-symmetric-algebra example?
1017:
993:
931:
880:
843:
684:
629:
594:
574:
385:
330:
285:
237:
184:
101:, a collaborative effort to improve the coverage of
1047:
999:
979:
910:
862:
822:
667:
615:
580:
553:
368:
316:
271:
217:
668:{\displaystyle \gamma _{m}\phi :S^{\cdot }M\to A}
980:{\displaystyle (\phi ^{m})(x_{1}\cdots x_{n})}
228:If I included it, it would go something like:
8:
1042:
1018:
905:
881:
465:
441:
272:{\displaystyle \phi ,\psi :S^{\cdot }M\to A}
317:{\displaystyle \phi \psi :S^{\cdot }M\to A}
19:
47:
1016:
992:
968:
955:
939:
930:
879:
848:
842:
809:
793:
769:
751:
740:
724:
711:
692:
683:
650:
634:
628:
593:
573:
537:
521:
498:
482:
434:
418:
405:
384:
354:
335:
329:
299:
284:
254:
236:
218:{\displaystyle (S^{\cdot }M){\check {~}}}
205:
204:
192:
183:
987:is equal to the corresponding sum where
369:{\displaystyle x_{1},\ldots ,x_{n}\in M}
49:
7:
95:This article is within the scope of
833:gives a divided power structure on
38:It is of interest to the following
14:
1106:Low-priority mathematics articles
1048:{\displaystyle \{1,2,\ldots ,n\}}
911:{\displaystyle \{1,2,\ldots ,n\}}
115:Knowledge:WikiProject Mathematics
1101:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
870:denotes the set of (unordered)
135:This article has been rated as
974:
948:
945:
932:
730:
704:
701:
685:
659:
604:
598:
424:
398:
395:
386:
308:
263:
209:
201:
185:
1:
1066:15:20, 21 November 2006 (UTC)
169:22:48, 18 November 2006 (UTC)
109:and see a list of open tasks.
1122:
1086:17:54, 10 March 2018 (UTC)
925:(Note that by definition,
616:{\displaystyle \phi (1)=0}
134:
67:
46:
141:project's priority scale
863:{\displaystyle P_{n,m}}
324:is defined so that for
98:WikiProject Mathematics
1049:
1001:
981:
912:
864:
824:
669:
617:
582:
555:
370:
318:
273:
219:
28:This article is rated
1050:
1002:
982:
913:
865:
825:
670:
618:
583:
581:{\displaystyle \phi }
556:
371:
319:
274:
220:
1015:
1000:{\displaystyle \pi }
991:
929:
878:
841:
682:
627:
592:
572:
383:
328:
283:
235:
182:
121:mathematics articles
1045:
997:
977:
908:
860:
820:
804:
780:
764:
665:
613:
578:
551:
532:
493:
469:
366:
314:
269:
215:
90:Mathematics portal
34:content assessment
789:
765:
736:
517:
478:
430:
212:
208:
155:
154:
151:
150:
147:
146:
1113:
1054:
1052:
1051:
1046:
1006:
1004:
1003:
998:
986:
984:
983:
978:
973:
972:
960:
959:
944:
943:
917:
915:
914:
909:
869:
867:
866:
861:
859:
858:
829:
827:
826:
821:
819:
815:
814:
813:
803:
779:
763:
762:
761:
729:
728:
716:
715:
697:
696:
674:
672:
671:
666:
655:
654:
639:
638:
622:
620:
619:
614:
587:
585:
584:
579:
560:
558:
557:
552:
547:
543:
542:
541:
531:
508:
504:
503:
502:
492:
468:
423:
422:
410:
409:
375:
373:
372:
367:
359:
358:
340:
339:
323:
321:
320:
315:
304:
303:
279:, their product
278:
276:
275:
270:
259:
258:
224:
222:
221:
216:
214:
213:
207:
206:
197:
196:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1121:
1120:
1116:
1115:
1114:
1112:
1111:
1110:
1091:
1090:
1071:The article on
1063:Daniel Schepler
1013:
1012:
989:
988:
964:
951:
935:
927:
926:
876:
875:
844:
839:
838:
805:
788:
784:
747:
720:
707:
688:
680:
679:
646:
630:
625:
624:
590:
589:
570:
569:
533:
516:
512:
494:
477:
473:
414:
401:
381:
380:
350:
331:
326:
325:
295:
281:
280:
250:
233:
232:
188:
180:
179:
176:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1119:
1117:
1109:
1108:
1103:
1093:
1092:
1089:
1088:
1073:tensor algebra
1044:
1041:
1038:
1035:
1032:
1029:
1026:
1023:
1020:
1011:partitions of
996:
976:
971:
967:
963:
958:
954:
950:
947:
942:
938:
934:
907:
904:
901:
898:
895:
892:
889:
886:
883:
857:
854:
851:
847:
831:
830:
818:
812:
808:
802:
799:
796:
792:
787:
783:
778:
775:
772:
768:
760:
757:
754:
750:
746:
743:
739:
735:
732:
727:
723:
719:
714:
710:
706:
703:
700:
695:
691:
687:
664:
661:
658:
653:
649:
645:
642:
637:
633:
612:
609:
606:
603:
600:
597:
577:
562:
561:
550:
546:
540:
536:
530:
527:
524:
520:
515:
511:
507:
501:
497:
491:
488:
485:
481:
476:
472:
467:
464:
461:
458:
455:
452:
449:
446:
443:
440:
437:
433:
429:
426:
421:
417:
413:
408:
404:
400:
397:
394:
391:
388:
365:
362:
357:
353:
349:
346:
343:
338:
334:
313:
310:
307:
302:
298:
294:
291:
288:
268:
265:
262:
257:
253:
249:
246:
243:
240:
211:
203:
200:
195:
191:
187:
175:
172:
159:
156:
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:
1118:
1107:
1104:
1102:
1099:
1098:
1096:
1087:
1083:
1079:
1074:
1070:
1069:
1068:
1067:
1064:
1060:
1058:
1039:
1036:
1033:
1030:
1027:
1024:
1021:
1010:
994:
969:
965:
961:
956:
952:
940:
936:
923:
921:
902:
899:
896:
893:
890:
887:
884:
873:
855:
852:
849:
845:
836:
816:
810:
806:
800:
797:
794:
790:
785:
781:
776:
773:
770:
766:
758:
755:
752:
748:
744:
741:
737:
733:
725:
721:
717:
712:
708:
698:
693:
689:
678:
677:
676:
662:
656:
651:
647:
643:
640:
635:
631:
610:
607:
601:
595:
575:
568:of functions
567:
548:
544:
538:
534:
528:
525:
522:
518:
513:
509:
505:
499:
495:
489:
486:
483:
479:
474:
470:
462:
459:
456:
453:
450:
447:
444:
438:
435:
431:
427:
419:
415:
411:
406:
402:
392:
389:
379:
378:
377:
363:
360:
355:
351:
347:
344:
341:
336:
332:
311:
305:
300:
296:
292:
289:
286:
266:
260:
255:
251:
247:
244:
241:
238:
229:
226:
198:
193:
189:
173:
171:
170:
167:
163:
157:
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:
1078:67.198.37.16
1061:
1056:
1008:
1007:ranges over
924:
919:
834:
832:
565:
563:
230:
227:
177:
164:
161:
137:Low-priority
136:
96:
62:Lowβpriority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1095:Categories
872:partitions
675:such that
588:such that
158:Formatting
837:. Here
564:The set
166:Schepler
1009:ordered
922:parts.
139:on the
36:scale.
1055:into
918:into
1082:talk
874:of
131:Low
1097::
1084:)
1034:β¦
995:Ο
962:β―
937:Ο
897:β¦
798:β
791:β
782:Ο
777:Ο
774:β
767:β
745:β
742:Ο
738:β
718:β―
699:Ο
690:Ξ³
660:β
652:β
641:Ο
632:Ξ³
596:Ο
576:Ο
526:β
519:β
510:Ο
487:β
480:β
471:Ο
457:β¦
439:β
432:β
412:β―
393:Ο
390:Ο
376:,
361:β
345:β¦
309:β
301:β
290:Ο
287:Ο
264:β
256:β
245:Ο
239:Ο
210:Λ
194:β
1080:(
1057:m
1043:}
1040:n
1037:,
1031:,
1028:2
1025:,
1022:1
1019:{
975:)
970:n
966:x
957:1
953:x
949:(
946:)
941:m
933:(
920:m
906:}
903:n
900:,
894:,
891:2
888:,
885:1
882:{
856:m
853:,
850:n
846:P
835:I
817:)
811:i
807:x
801:S
795:i
786:(
771:S
759:m
756:,
753:n
749:P
734:=
731:)
726:n
722:x
713:1
709:x
705:(
702:)
694:m
686:(
663:A
657:M
648:S
644::
636:m
611:0
608:=
605:)
602:1
599:(
566:I
549:.
545:)
539:j
535:x
529:S
523:j
514:(
506:)
500:i
496:x
490:S
484:i
475:(
466:}
463:n
460:,
454:,
451:2
448:,
445:1
442:{
436:S
428:=
425:)
420:n
416:x
407:1
403:x
399:(
396:)
387:(
364:M
356:n
352:x
348:,
342:,
337:1
333:x
312:A
306:M
297:S
293::
267:A
261:M
252:S
248::
242:,
202:)
199:M
190:S
186:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.