{"entities":{"Q1070015":{"pageid":1080767,"ns":120,"title":"Item:Q1070015","lastrevid":48887461,"modified":"2026-01-06T02:20:37Z","type":"item","id":"Q1070015","labels":{"en":{"language":"en","value":"The dual Poincar\u00e9-Birkhoff-Witt theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933251"}},"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":"Q1070015$A816B4D4-D638-4DDC-9AD5-8EFEDD9385C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74343f231b6f4385bfa24675739f719c3eb2d724","datavalue":{"value":{"text":"The dual Poincar\u00e9-Birkhoff-Witt theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1070015$BFFF7FC1-CFC5-497F-A23B-CE13D6E25DE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5daf4a145051453acd8f1d6476f7b42bf336515","datavalue":{"value":"0583.16006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070015$8F555970-31E0-4DFC-AB3B-674B3A6703AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ee50df044c1c23027f1f8ea2a1513897cf71c46","datavalue":{"value":"10.1016/0001-8708(85)90051-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070015$AE357967-36A1-4D57-940B-1A18D2CAD548","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86620328584b6e1181151d50ba40b57570ea613b","datavalue":{"value":{"entity-type":"item","numeric-id":1070014,"id":"Q1070014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070015$92368F05-DBFF-45DB-9D9D-79180ECC5D05","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":"Q1070015$23AA4BE6-F272-4145-B00F-A2A3E6D31012","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1070015$03BDEBB6-1D92-4CDC-982E-15BB7885E564","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f7fa0f69757026096b53d266fb3e53b1552bd6f","datavalue":{"value":"Let M be a Lie coalgebra over a field of characteristic zero. In an earlier paper [ibid. 38, 1-54 (1980; Zbl 0451.16006)], the author constructed the universal coenveloping coalgebra \\(U^ c(M)\\) and the symmetric coalgebra \\(S^ c(M)\\) on M, both of which are Hopf algebras. In that paper, he showed that the natural map of \\(U^ c(M)\\) (as Lie coalgebra) to M is surjective if and only if M is locally finite. In the paper under review here, he proves a dual Poincar\u00e9-Birkhoff-Witt theorem, which was described without proof in the earlier paper. A lengthy section is devoted to describing a Lie filtration on \\(U^ c(M)\\) and on \\(S^ c(M)\\), which yield associated graded coalgebra (Hopf algebra) structures, denoted \\({}_ oE(U^ cM)\\) and \\({}_ oE(S^ cM)\\) respectively. Then the duality theorem of the title is that \\({}_ oE(U^ cM)\\) and \\({}_ o(S^ cM)\\) are isomorphic as graded Hopf algebras if and only if M is locally finite. The author describes his proof as self-contained and Hopf theoretic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$AD0A5A42-EFB1-4D57-876F-14B72DEAB5C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070015$C779C173-CB75-425B-9E84-74F967E51EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070015$F04F8314-33D2-4B65-8ACC-2BC2FC5AB544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9b48085d832b4fb503cd40927e65e184058b6af","datavalue":{"value":"3933251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070015$5D6C2431-4A1A-4246-BDF1-E7D4A04F666C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417f8fac00b4ca4e1f386fe1d68994e792408964","datavalue":{"value":"Lie coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$364DAAD2-29A8-409B-9BFE-9F9060136115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67697e7f20ea6a3ca6561748a1b8b101958465b","datavalue":{"value":"universal coenveloping coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$0BAE0160-0783-47C5-9EEE-A85F3EBA43B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07aea67dadf5b88ef2b0f98eb2622de96877cfe","datavalue":{"value":"symmetric coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$2AEAD7EB-A180-4948-9B87-82FD412B3BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c69b6741ec5fec5a9b898ba8ed79b21a95b9d09","datavalue":{"value":"Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$43F65D8A-2D01-438D-B7FF-54EFB8589CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9c7d727be0669de7a0c8c854c757dc2cadb99c","datavalue":{"value":"dual Poincar\u00e9-Birkhoff-Witt theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$6E7797D1-9936-4A23-A503-113719ED9215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e726d4e823b0ba479a4a9a91219ecdf2ba1c37","datavalue":{"value":"Lie filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$DB41009E-5C5E-4ED9-9628-86CDAD9178B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c42f50eb41971538b05bcd94de68b862913970f","datavalue":{"value":"graded coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$2AD9B50B-902D-4C62-9A73-63E523949DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb174fa8abd4972f07723492bf038aba83ce3839","datavalue":{"value":"graded Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1070015$E1CCEBEC-8141-40E4-A285-AA03FF9CD504","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4124e83285f963fc5c2f908aeffe32658a3781a6","datavalue":{"value":{"entity-type":"item","numeric-id":590872,"id":"Q590872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070015$6DB99B52-012F-4F25-8877-A4A096DBFCB4","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":"Q1070015$E9BEEF56-1D4A-43B7-AC89-6F2634EB5CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b668439644bc52d531501d3991e182369b6c3074","datavalue":{"value":"https://doi.org/10.1016/0001-8708(85)90051-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1070015$AFF35218-2317-47C7-A27D-D85AEB15DEC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4804a5a3f00fbfecce77be26373f01b5a8939aaa","datavalue":{"value":"W2081128093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1070015$9B7C249F-746C-42C3-814E-84E142F7392A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ca71089e5f5dec5e563d5ad5c14757d343300e","datavalue":{"value":{"entity-type":"item","numeric-id":1147779,"id":"Q1147779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070015$54C191BD-F084-4634-921A-D76D0145225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce895c0e789ec8ac616d34ff9f9945c9b5d6302","datavalue":{"value":{"entity-type":"item","numeric-id":2529098,"id":"Q2529098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070015$C9BAB97B-F935-4312-B039-79E891B6D849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e319a30bc769ca99ecaa7ff0f1cb5860206b5164","datavalue":{"value":{"entity-type":"item","numeric-id":3279323,"id":"Q3279323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1070015$9C561902-3B83-42DA-8CB2-855ACDFBBD6C","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":"Q1070015$8FB90261-F64E-4D9B-8EA5-4A357146B85D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b352a9842b166902f452f3af1a6fb48aa7abf0","datavalue":{"value":{"entity-type":"item","numeric-id":1076124,"id":"Q1076124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18417195711ae1eda9c1543991afc474ea74c05f","datavalue":{"value":{"amount":"+0.8348556756973267","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":"Q1070015$72A85FFC-8BBB-44EA-B218-B9EFE5EF4005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff153ff2af91e0998acea0ceb2a26180bdaa17f","datavalue":{"value":{"entity-type":"item","numeric-id":4217858,"id":"Q4217858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c917bdbb3c7eabbc8e82aa68b67f0186d2c4838f","datavalue":{"value":{"amount":"+0.7756752371788025","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":"Q1070015$8E65B24B-C54C-4C4E-9248-CEF776DE92F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c530561875f6c48a2c611b378f632dead7b7401","datavalue":{"value":{"entity-type":"item","numeric-id":914818,"id":"Q914818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e2bd069b53ba5dc27f516a7006f71eff51955e","datavalue":{"value":{"amount":"+0.7731009125709534","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":"Q1070015$F9537A0D-07E6-4E7E-B482-D6B7B2AB32C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc290b8bda22f6adde603e922469444a33ea2902","datavalue":{"value":{"entity-type":"item","numeric-id":4795920,"id":"Q4795920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caca03e95a6b531804043b8ad6f2d67d489a94a9","datavalue":{"value":{"amount":"+0.7709657549858093","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":"Q1070015$236F3474-893B-458B-982A-5BD06118C1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2bf5e2b33b2660e6f7332c6d6b36e2f98427e1","datavalue":{"value":{"entity-type":"item","numeric-id":3225765,"id":"Q3225765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3c4dd100c2c7d10c9ae8925adeaa01751c50ba","datavalue":{"value":{"amount":"+0.7679081559181213","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":"Q1070015$822FF341-5FCF-4222-9858-E6C13BA44B76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1070015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1070015"}}}}}