{"entities":{"Q1977175":{"pageid":1987917,"ns":120,"title":"Item:Q1977175","lastrevid":78107009,"modified":"2026-05-06T10:48:01Z","type":"item","id":"Q1977175","labels":{"en":{"language":"en","value":"Galois connections for incidence Hopf algebras of partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444152"}},"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":"Q1977175$3E0F6BDA-9848-4FBE-B671-DAC238474330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ead1f39932231947fafa2339b1677bc7e94d5b87","datavalue":{"value":{"text":"Galois connections for incidence Hopf algebras of partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977175$5560E1A7-2D20-47E8-954B-8C3A08CE0AA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"966e8684107c9dcebe764708aa1b01cfe50ff817","datavalue":{"value":"0945.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$FC82C646-CCF2-4EA2-9968-BC985324FF2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"035f0d364b2659d828dd90c335ecb59c5a3ba1d1","datavalue":{"value":{"entity-type":"item","numeric-id":172393,"id":"Q172393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$E87F81B0-740D-40A5-88A7-D927C2920BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4ef61d0b21a2a6a25d06f5e6c62497e4091fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1154520,"id":"Q1154520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$77345D56-5AC8-41CC-89C5-3A8DAEDBA5D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$A39C850C-D946-4D11-8D56-EE1E7EDB7F98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977175$40A3F630-BBF6-40E3-82FA-EDF4C9697B06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff66f661eb7bc3b64ccbed3ea9ca5574bc558ce0","datavalue":{"value":"https://semanticscholar.org/paper/0c305c97ea4d7cb27b5ad10dcdc2dac4dbe5f6fd","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977175$7393A6F0-BA71-4CB9-8B07-B15AB063988A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3936821547f44306dfca9bc3b15ece728eaed74d","datavalue":{"value":"Given the category of posets and order-preserving maps, it is the case that some associated categories, as, e.g., incidence algebras of locally finite posets over fields \\(k\\) with \\(k\\)-algebra homomorphisms, cannot be functorially connected in a very nice way. One cure is to restrict the order-preserving maps to a more special type, e.g., order-homomorphisms which preserve strict incomparability also. Another cure is to ``enrich'' the assorted category to a new one which does permit such a functorial connection. In this very nice paper the second approach is shown to be successful in that the category of incidence algebras is expanded to the category of bi-modules over such algebras with associated bi-module homomorphisms and dually to incidence Hopf algebras as well. Using this method a new argument is provided for the Rota formula describing the relationship between the Moebius functions of two (locally finite) posets related via a Galois connection (op-maps \\(f: P\\to Q\\), \\(g: Q\\to P\\), \\(f(x)\\leq w\\) iff \\(x\\leq g(w)\\)) as essentailly the associative law \\(\\mu_P\\bullet(\\xi\\bullet \\mu_Q)= (\\mu_P\\bullet \\xi)\\bullet \\mu_Q\\) on the associated bi-module \\(M_{f,g}\\), with an associated universal multiplicative function and Rota formula for the Hopf algebra case which reduces to the classical one when applying \\(\\xi_P\\otimes \\xi_Q\\) to the general formula. The notion of Cartesian poset emphasized here is seen to be useful in that many posets are Cartesian and in that (locally finite) posets have Cartesian ``envelopes'' into which they may be optimally embedded.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$01BE3825-6031-469A-BCEB-C09BC0A2FE52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$4B870371-84E1-4411-AAE1-91236FA3DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$CD231E95-5DF4-4F0A-9D66-7544ADBA14CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6502338cf3fccb1e493d08232d85ac5fb1b92c7a","datavalue":{"value":"16S99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$D31F3DCB-9018-46AD-B3AF-EC3B4D67F067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f82f8ceb00f66902b5a104b33bff1081026843ac","datavalue":{"value":"1444152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$1A703931-B350-4DF5-8DC2-818E50559A64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9904fd3033fda11f549a9bdad0ee20e42ee5ad3e","datavalue":{"value":"antipodes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$AAC7DC24-83C4-46F6-BB20-33515DB4F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79cc2533f1d93aab81971b3ff928f339c39fbf99","datavalue":{"value":"incidence algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$05B81EC8-6AA2-4A42-8153-15261C73B1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ec685d44de1385c97f66cdfb2dd607f3e448052","datavalue":{"value":"locally finite posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$802E3C35-30B1-4FC8-AE99-40FB758B7D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$A93600FB-04D0-4AFE-BE52-D8975BB9D70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99bfef264dd3b96c487d0e6a927214b148da060e","datavalue":{"value":"bi-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$4E4C805B-C495-4EA6-9FFE-13E648D38666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"042f746c6a4c98769dcca6664bb4452a8516efca","datavalue":{"value":"incidence Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$1A423ACD-EAE9-43B9-A74C-2BBB238F7569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cccfba218b59f446488ff79a007e4c83ef34184","datavalue":{"value":"Rota formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$2572FF5B-9F2C-4E40-AF97-281DC1064032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3fada38281655166dd5c1d6f5899c6b585a3cd9","datavalue":{"value":"Moebius functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$2FA958BA-2075-434F-AA5F-0B6008D7BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$0D10ADAB-B4FA-48C9-935D-0A958631D10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e6c690b63e83fe1a09d43c17f0bf64d2225b3af","datavalue":{"value":"Cartesian poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977175$84B2C7BF-B805-4F7E-BC7B-3FF6C9CAAB4A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$1645B955-59B6-4FB7-B5B3-443091977337","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":"Q1977175$20020479-171D-45A2-882D-22ED2BFED9F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9005ef5e789ae813195fd386354d31efcf3f10f0","datavalue":{"value":"W2063122990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$DD7E737E-F63A-4E0F-B1BA-39C49F6D355B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"508dfe60c074eb57cc701b767ca80336eda75ea5","datavalue":{"value":{"entity-type":"item","numeric-id":1915391,"id":"Q1915391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$1F51869E-2535-4F35-91C9-8237A41F4CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d775b26bcc34b17e64b3bfc30d35afa45e285b38","datavalue":{"value":{"entity-type":"item","numeric-id":2553374,"id":"Q2553374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$F50DFFC7-3229-4364-B0E9-F5506C6562EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b090f283fc10c12ca5dd6d345fd9440b24eb8d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3952143,"id":"Q3952143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$4BC805C6-31CC-4B41-9E92-F8AAF3992A55","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":"Q1977175$7E7A642E-9571-4908-9BB9-8538504DB670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052492139b9a592e01e567ec5045783b2c20e517","datavalue":{"value":{"entity-type":"item","numeric-id":690040,"id":"Q690040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$07B96247-94DA-46DF-89B2-E29714F9808D","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":"Q1977175$FD9CA6B7-A758-49C2-8B3F-1215ECB3B3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c9fc416778c056a486cab9e8c82f05dbf1b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":912846,"id":"Q912846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$B6F58DF1-F659-4BB7-AC24-82CC4E5EC62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65137d550856251dc942cc9e392e6441c2833b4","datavalue":{"value":{"entity-type":"item","numeric-id":1339907,"id":"Q1339907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$67317662-F9B0-4B9F-92E0-ECF96F2148DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ebe7a53c394e235614c72eca21d3b8c2f427378","datavalue":{"value":{"entity-type":"item","numeric-id":4342448,"id":"Q4342448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977175$19938D35-445B-4A66-A815-A2EB81EE35CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ba35c5ee4fa643a38808a82c0aaa656261f55f","datavalue":{"value":"10.1006/AIMA.1999.1864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977175$25F3E1ED-41AA-42A5-8B3F-8019AD985E03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"106913b20bfe68248c2e395f6891f3126bce3cb8","datavalue":{"value":{"entity-type":"item","numeric-id":616311,"id":"Q616311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96dfa95aa8a75e570cee001c13c4f5abee5b1804","datavalue":{"value":{"amount":"+0.749385416507721","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":"Q1977175$2D8F608C-F793-4604-835F-C1C79AB2C5C9","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":"51056d2018b10140a9f9a1dbbf53e717c7f4dbcc","datavalue":{"value":{"amount":"+0.7383500933647156","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":"Q1977175$6F2538BE-A27B-4016-B8F7-02533F75F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d351f408d54e0e67067dde4d0de7b6f47d4972d7","datavalue":{"value":{"entity-type":"item","numeric-id":1320342,"id":"Q1320342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47366799eef03dc5b5d6c37cabbdb7ab8039e76a","datavalue":{"value":{"amount":"+0.7379181981086731","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":"Q1977175$BF1E912C-EDBC-4625-A284-3ABC7320CBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc443391dbe5a714f021608d0756653779934fb","datavalue":{"value":{"entity-type":"item","numeric-id":4025030,"id":"Q4025030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb7f12cac83a78f5dc2132892165744a264dbf9","datavalue":{"value":{"amount":"+0.7373746037483215","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":"Q1977175$46435E20-9C3B-460C-8E86-77F6809FA645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5148e7fdf4389b59391df53eaa3b3dde868219bf","datavalue":{"value":{"entity-type":"item","numeric-id":912099,"id":"Q912099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3514d577fb0988ed8b9643fce526e1642445523","datavalue":{"value":{"amount":"+0.7365327477455139","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":"Q1977175$4B246719-FB6A-4957-841A-AFACA83D8E95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Galois connections for incidence Hopf algebras of partially ordered sets","badges":[]}}}}}