{"entities":{"Q914818":{"pageid":916666,"ns":120,"title":"Item:Q914818","lastrevid":65316462,"modified":"2026-04-12T01:45:10Z","type":"item","id":"Q914818","labels":{"en":{"language":"en","value":"The dual Friedrichs' theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150460"}},"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":"Q914818$EA2648D9-B04D-4350-AA64-F35A57025ED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3da59cea61925ff1b47d14629716219a9b13f69b","datavalue":{"value":{"text":"The dual Friedrichs' theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914818$54645B98-E888-445E-963F-177D36E87122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"472058af8a5306c2cee84951c04ec1400f497f41","datavalue":{"value":"0702.17015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$CACA29EA-1717-4F1C-AE4F-3E384F3EAB38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375c42a382c67d31a08f75f6c1e8801295395c19","datavalue":{"value":"10.1016/0021-8693(90)90140-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$C4EA462F-CB43-491A-A1D0-F4F2A07BCF89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"357d5922da0bc3af9028a1e087f7eb5405887c33","datavalue":{"value":{"entity-type":"item","numeric-id":914817,"id":"Q914817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$2617CB41-310A-4862-BCD2-B0E53CEFE285","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$63243171-07DD-4F9E-8B18-3A134BE25843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q914818$51854BBB-24CB-451C-B960-D5F748A9FBD8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b8b39bbf4cf3bcd204363d4be157c3e7a4b2f54","datavalue":{"value":"V is a vector space over a field of characteristic zero. Friedrichs' theorem characterizes the elements of the Lie subalgebra generated by V in the free associative algebra TV (with its Lie algebra structure \\(TV^-\\) under the bracket product). The author characterizes the elements of the cofree coassociative coalgebra TcV which are in the Lie coideal J cogenerated by the kernel of \\(TcV^-\\to V\\), where \\(TcV^-\\) is the Lie coalgebra structure on TcV under the bracket coproduct. The cofree Lie coalgebra LcV and the cofree covered Lie algebra \\(TcV^-/J\\) are filtered, and the arguments use the associated graded Lie coalgebras. Along the way, it is shown that both of these associated graded Lie coalgebras are isomorphic to the locally nilpotent Lie coalgebra on V, and if V is finite-dimensional, both are isomorphic to the graded dual Lie coalgebra of the free Lie algebra on \\(V^*\\). The author also identifies the elements of LcV within NcV, the cofree noncoassociative, noncounital coalgebra on V as certain formal infinite sums of Lie elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$2BECC39C-3D32-43AB-A0A1-BFA4F3845880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72adfcbd80b22960ac05657f71a769e18b11c753","datavalue":{"value":"17B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$ABC4E9BD-3089-4C0E-8D5D-1434EAF0C0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$2486802A-9D9E-48CB-8263-403DE96470BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$A6888FD3-B1D3-4A52-BCC7-0DBB226F8EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$1ED488D1-4BCB-4430-BE4A-88C6AE627395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8436fa6383d5cf49e2aac5112558e08842a6b4e","datavalue":{"value":"16W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$D06B2AB7-ED63-4F3E-987A-CE6E27F6DB5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a85090bdbd69ea7f4e4dc313e69f4987520d229","datavalue":{"value":"4150460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914818$A258A796-CB32-496B-9F1E-7F6BB4A79846","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9328c46f149043134fab95a15cf291354652865c","datavalue":{"value":"free associative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$1191DFCE-E50F-4665-B665-B9ED3B152B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8c8ec737633f8f593494caf5f946c7d010311f","datavalue":{"value":"cofree coassociative coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$EEBE85F2-E174-4BCF-9071-BA28B71AB065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468133d10ce1642eade9915d8fdd32d269de4d68","datavalue":{"value":"cofree Lie coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$A8868C63-A539-45AD-91BF-B03CD2F8C915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734919f9cccf5efcc0437c98b277a2f1c321b017","datavalue":{"value":"cofree covered Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$C7438EA9-194A-45C4-9ED0-2483BD2D7F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d113b574852a39cb28726b787aef8d22a61c417f","datavalue":{"value":"graded dual Lie coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$02A8B101-1BA6-41C6-93CE-DDED2EAC3BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845ffe2018bbeccfa922881000ed58c72bcd9ee0","datavalue":{"value":"free Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q914818$1E8AB132-5BE9-4EAC-AE00-3E433E50FEB6","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":"Q914818$30E3C28E-5DB2-44AC-8E50-8822F10FF7A7","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":"Q914818$85FB1A3F-3C44-42D3-8EBF-7B4EC09846A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"116a7f35b1400950209b4c9b1355f79a76fa8263","datavalue":{"value":{"entity-type":"item","numeric-id":2546233,"id":"Q2546233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$E61906B2-0EDF-4231-94EC-15AAC53838C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d397aace085807ce61486851acd227e093c3ab6","datavalue":{"value":{"entity-type":"item","numeric-id":761527,"id":"Q761527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$E458D0C5-9CCD-4C66-8F5A-5CCBC07C4C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a22e7aaa45df1b46f4e13a899fbd66e1b300e69","datavalue":{"value":{"entity-type":"item","numeric-id":1076124,"id":"Q1076124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$980FD186-2BE1-4B5D-A795-2EB9C94467B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14e4c205b64862b88bbea6f2825d75020c9eac7","datavalue":{"value":{"entity-type":"item","numeric-id":1070018,"id":"Q1070018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$614B4B3F-24E3-487F-8565-947EEF3E9F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653241c1703da0d7c9e3c58c28daa5d73c3d7175","datavalue":{"value":{"entity-type":"item","numeric-id":3798819,"id":"Q3798819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$2973B5B1-1FFD-47C8-93F0-059175CD1A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49dba02ed1166b71cc0cb955eb46e38ed97656e","datavalue":{"value":{"entity-type":"item","numeric-id":1102370,"id":"Q1102370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$E301F7A3-1E52-4D75-8288-91F13804BC27","rank":"normal"},{"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":"Q914818$A3C6026F-0C88-40CD-8A41-FEC90F42A3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50813c384ca72e20a0ee1a0f24731019211fe876","datavalue":{"value":{"entity-type":"item","numeric-id":2640692,"id":"Q2640692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$460568A4-0CF6-4112-9189-590BA86439B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc70a250fa381d1abee7116b357f4d095867282e","datavalue":{"value":{"entity-type":"item","numeric-id":1070015,"id":"Q1070015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$768D4245-F200-4DC6-BC34-1E4A13C8AA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9ce3f2958307b604edae5f91e333f31c8a0206","datavalue":{"value":{"entity-type":"item","numeric-id":770175,"id":"Q770175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914818$49F4EE44-4155-4267-AC01-9907998A2CC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50038df9e551a6cd4c2bb7b0221715028ce76714","datavalue":{"value":{"entity-type":"item","numeric-id":4874174,"id":"Q4874174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802fbf87f3642baef2ed7ddcb3e966fce848e554","datavalue":{"value":{"amount":"+0.8339393734931946","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":"Q914818$2FDD652A-00D3-47C2-96B7-4C135DE49A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9f8dc90862bbb26a27120fa57be8e8ccf3b25","datavalue":{"value":{"entity-type":"item","numeric-id":1102370,"id":"Q1102370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce98e2047cbaea4addd9091c4f390ee8aa6c91f","datavalue":{"value":{"amount":"+0.8128997087478638","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":"Q914818$7122D4A9-40C5-4743-890F-7E4C34CBFC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4541ce498bb5057d1326c80f305696d51374080","datavalue":{"value":{"entity-type":"item","numeric-id":1070015,"id":"Q1070015"},"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":"Q914818$BA4FCCDD-9014-4581-89C5-691F23AB51DD","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":"71d0172557c040f92fb6132efd24b1a9c563f6ae","datavalue":{"value":{"amount":"+0.7723134756088257","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":"Q914818$85A12A67-B66E-44CE-9AD5-4D2200E6068E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8b1bcc6202a668f9131318dd88de2dd33c4ac4","datavalue":{"value":{"entity-type":"item","numeric-id":686113,"id":"Q686113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45eda93641a6476f952c567e66cbefdb929d9bc","datavalue":{"value":{"amount":"+0.7628470659255981","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":"Q914818$1FD69479-DF62-416D-B07B-AB93523B2BBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The dual Friedrichs' theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_dual_Friedrichs%27_theorem"}}}}}