{"entities":{"Q912846":{"pageid":914694,"ns":120,"title":"Item:Q912846","lastrevid":49375684,"modified":"2026-01-07T01:33:45Z","type":"item","id":"Q912846","labels":{"en":{"language":"en","value":"Antipodes and incidence coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145902"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$E56891F2-0C5A-44B4-A2A1-AD3BE57FBA34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22f7abe0deeea34e8ed54afa5db5fc2ccfa39973","datavalue":{"value":{"text":"Antipodes and incidence coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912846$C973D997-76DB-455F-8EDC-C5929D1FB868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61f4cb7e61857979b3ebf24a543cb13b1e2a6e6a","datavalue":{"value":"0699.05003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$6153A4ED-43EA-4EA1-AE09-44D69E9323D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a79d43505a9ca6e5946eaae0e6b439a752cb6816","datavalue":{"value":"10.1016/0097-3165(87)90006-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$86A3C90F-641D-4E47-B400-002CE1808DA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16b22b9616664e8320ab8c365f08d087d78950c5","datavalue":{"value":{"entity-type":"item","numeric-id":912845,"id":"Q912845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$C0B98350-039D-44AC-84DF-89EA7347CCE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$9CB62702-388F-49A0-9939-67F8A698C1ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q912846$7382A733-DCD6-4646-9E3A-B0EF81F32F0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d7aba23dbacb6edc143cbde90b73cf69263c38c","datavalue":{"value":"Let \\({\\mathcal P}\\) be a collection of locally finite partially ordered sets. An equivalence relation \\(\\sim\\) on the collection of all segments of intervals in \\({\\mathcal P}\\) is said to be order-compatible if [x,y]\\(\\sim [u,v]\\) implies that there exists a bijection \\(\\phi: [x,y]\\to [u,v]\\) such that for all z in \\([x,y],[x,z]\\sim [\\phi(x),\\phi(z)]\\) and \\([z,y]\\sim [\\phi(z),\\phi(y)].\\) The (reduced) incidence coalgebra \\(C({\\mathcal P}_{\\sim})\\) modulo \\(\\sim\\) is the free vector space spanned by the variables \\(X^{\\alpha}\\), where \\(\\alpha\\) is a type or equivalence class with comultiplication given by \\(\\Delta X^{\\alpha}= \\sum_{\\sigma} X^{\\sigma^-}\\otimes X^{\\sigma^+}\\), where the sum on the right is computed by taking a representative [x,y] in \\(\\alpha\\) and summing over all z, \\(x\\leq z\\leq y\\), with \\(\\sigma^-\\) the type of [x,z] and \\(\\sigma^+\\) the type of [z,y] [cf. \\textit{J. R. Goldman} and \\textit{G.-C. Rota}, Stud. Appl. Math. 49, 239-258 (1970; Zbl 0212.033)]. Among the results are: (a) An equivalence relation (containing all isomorphisms) is order-compatible if and only if, in the incidence algebra modulo isomorphism, the subspace spanned by \\(X^ P-X^ Q\\), where \\(P\\sim Q\\), is a coideal; (b) construction of the free incidence bialgebra; (c) conditions for an incidence coalgebra to be embeddable combinatorially into an incidence Hopf algebra; (d) a recursion and a closed formula for the antipode of an incidence Hopf algebra. For enumeration over posets, the most important result is probably the expression for the antipode as a sum over alternating chains. As the author observes, since the antipode of H is the two-sided inverse of the identity map \\(H\\to H\\) under convolution, the antipode is an analogue of the M\u00f6bius function [see \\textit{G.-C. Rota}, Z. Wahrsch. Verw. Gebiete 2, 340-368 (1964)] and the closed formula is reminiscent of \\textit{P. Hall}'s formula for the M\u00f6bius function [Q. J. Math., Oxf. II. Ser. 7, 134-151 (1936; Zbl 0014.10402)]. The results are illustrated by the binomial bialgebra constructed from Boolean algebras, the Fa\u00e0 di Bruno bialgebra constructed from partition lattices, and bialgebras constructed from hereditary classes of posets. In particular, the inversion formula of \\textit{J. L. Lagrange} [Nouvelles M\u00e9m. Acad. Sci. Berlin 24 (1770); per revr.] is the antipode formula in the Fa\u00e0 di Bruno bialgebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$89516BF2-AA39-4790-8CE4-510ADF54EF97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$7CA62055-EFB4-47F2-82F5-2FACC0AC936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$89B10616-E925-46D2-BE9D-737C6ABAD363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$FBCD66BE-67C5-4B07-AF9D-8FC1D1BA5D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$5141737E-9C22-49C9-94D5-B75BF7F7FA03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf403e2682f67306a2163b394b7a61e983a37058","datavalue":{"value":"4145902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$8FF75E0F-DB22-4213-BB61-CA35C7E379C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e719b3152ad5b24963c1d3ba37f37ee5ca54874","datavalue":{"value":"ordinary formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$C2BDF055-15FA-4990-9C85-85381F057D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2556c1bb36ae242fb543807ac923e983f4474808","datavalue":{"value":"inversion of Dirichlet series","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$4DA74B00-0D2C-42E2-9B84-F7DF3865FFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdaa1d16952b718e7e2e0d3432bc3e17ed33515c","datavalue":{"value":"locally finite partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$614D42B0-E75C-4257-8F8E-F3082056881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fd4328296f2fcabac692b0a742ecbfb715c16","datavalue":{"value":"Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$E6272862-979C-4B8D-909A-4DC013547979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379272f926eea761941679f116e9dbee4c3f3d1e","datavalue":{"value":"M\u00f6bius function","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$CA327903-2D60-4D7A-A22E-574F33F3FF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$CE49A7A5-72C7-4939-A1C1-57B7744B6458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82f9bb9c242812e0729a9f3b519e8584435c76b","datavalue":{"value":"inversion formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q912846$B794B136-9D8E-4189-AEB5-6730476FFFCA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$F9D9D8D5-E470-4899-B97B-744717BAE802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fffff73e4ccab2b016210c3b8c0496f43971239","datavalue":{"value":"https://doi.org/10.1016/0097-3165(87)90006-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q912846$5E23CEEF-FDB3-4935-B073-FDAEA335466C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b0d27b221022af51c2bb01a7c717daa55d16eaa","datavalue":{"value":"W2050134666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912846$9D2B2E00-7948-4957-92F0-D312B38A65A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$2CB551A6-FD6E-40BC-A2BE-7D12844B46D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$094B37ED-E8ED-44BF-8A8E-952AC488568F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf330337c74a0243fedefd10644893ab1c993a4","datavalue":{"value":{"entity-type":"item","numeric-id":5685088,"id":"Q5685088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$9EC8D04A-410D-4C82-A5E9-043C3D47FA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75739b0a0557b5360908f19c075dd29e035d3aea","datavalue":{"value":{"entity-type":"item","numeric-id":5613202,"id":"Q5613202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$82B4DA3A-BCF0-48D6-8DF7-90D6ED1F2821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b405e3ba95c8e2fc367178d507bbb2e31e45da5","datavalue":{"value":{"entity-type":"item","numeric-id":3924225,"id":"Q3924225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$BD6CE504-C388-45D9-86B5-F06685BA4A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$E7CD331B-3188-4AEF-ACD8-5B49F645CC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b97c39607ec864d1e2474a3d7acc15750747166","datavalue":{"value":{"entity-type":"item","numeric-id":2530933,"id":"Q2530933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$9C498E19-9B8A-49F5-9F84-33175BFA8793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e6f70118ce598af0d6be3e4a5ff6d94eb778da","datavalue":{"value":{"entity-type":"item","numeric-id":2536618,"id":"Q2536618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$CE406066-D7AC-48A6-A2C6-88BFE774DF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912846$2AFDDB1B-2BEB-4E50-AEBA-A53B493100D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3b484a27e6831c915169f7bdeb504a523a07e6","datavalue":{"value":{"entity-type":"item","numeric-id":1339907,"id":"Q1339907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9119c65de5e6cfcec243275c089a0fcdbe18b9","datavalue":{"value":{"amount":"+0.8290600776672363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912846$2CEF310D-1E27-452C-8921-9BD9507C042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6fd1c9f4bceaacae476885cf1aa74d6d43557a","datavalue":{"value":{"entity-type":"item","numeric-id":395254,"id":"Q395254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b618b52c4cd896c01a3dae8d8185d9e5f26c6c3","datavalue":{"value":{"amount":"+0.787894606590271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912846$36F19C38-298E-4E0A-A72B-371F93621DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc7108e65dc081b2b42d406f9f5cdb17c2e5912","datavalue":{"value":{"entity-type":"item","numeric-id":3588295,"id":"Q3588295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db54028ff6a049c8a24dfe66fcdeab58df134a58","datavalue":{"value":{"amount":"+0.779977023601532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912846$17F51D53-AAEB-4E5D-92DD-B8ACF0F5AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0e4764e48d7f986106d9189cbecf6906bb49c1","datavalue":{"value":{"entity-type":"item","numeric-id":5288004,"id":"Q5288004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e5e0fedb41b0a57daeb8ca37be4eff764264a6","datavalue":{"value":{"amount":"+0.7717276215553284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912846$85A6C5A0-0973-436C-8374-51C34F8ED217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b8a65b62136718d92544e293508ea9d6f0ac07","datavalue":{"value":{"entity-type":"item","numeric-id":2910935,"id":"Q2910935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4f2eefb98192baba3b6b7f96efe02be404c0fb","datavalue":{"value":{"amount":"+0.7710204720497131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912846$7093F5F1-39B2-4051-91AC-6BA03898F022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:912846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:912846"}}}}}