{"entities":{"Q2254604":{"pageid":2265347,"ns":120,"title":"Item:Q2254604","lastrevid":57811944,"modified":"2026-04-02T15:32:27Z","type":"item","id":"Q2254604","labels":{"en":{"language":"en","value":"Monadic decompositions and classical Lie theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398451"}},"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":"Q2254604$26BF2FCE-3C4E-4494-9E9E-0313C20838FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c81e1f98b405cd6ee107e0c26de7db4b3b967a8","datavalue":{"value":{"text":"Monadic decompositions and classical Lie theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254604$F5DCE68F-9D0C-43D9-BEEA-0EC1E143B62F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af1b98e41dab9c93704cafa79783ba15df6e2f81","datavalue":{"value":"1310.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$CCF4F293-D99F-48D6-940F-3F83E561EC29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ebec00777bd907623f2d7881f8da6c98a4ac3ed","datavalue":{"value":{"entity-type":"item","numeric-id":332221,"id":"Q332221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$5D6A9B06-742F-4F7B-9694-C283B79914E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"228b1585966d521c1273f817c3581c46d2ce7de1","datavalue":{"value":{"entity-type":"item","numeric-id":397893,"id":"Q397893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$BB806E16-BA1C-4CBD-B5A2-98980CA1833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9512a1f3dcb266577d8dbd272c2dc825316ed304","datavalue":{"value":{"entity-type":"item","numeric-id":161607,"id":"Q161607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$01055E24-50AE-45A2-917C-5A018E5AB8EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$346732AE-F8C1-4053-A453-21E6BC6CD228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254604$17940BE8-7485-409D-BF1E-97FEEC8A2386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbfc61fa4e258bddc5d2baa115974d2c6a69e18c","datavalue":{"value":"https://arxiv.org/abs/1203.2881","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254604$EC64EF30-A801-4929-B9C1-ED07DE4BA1C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34dbbc9298e148d79706ee652771dd7e7b4bd251","datavalue":{"value":"Let \\(Bialg_{\\mathbb{K}}\\) be the category of bialgebras and \\(\\Omega : Bialg_{\\mathbb{K}} \\to Vect_{\\mathbb{K}}\\) be the forgetful functor. Let \\(P: Bialg_{\\mathbb{K}} \\to Vect_{\\mathbb{K}}\\) be the subfunctor of \\(\\Omega\\) that assigns to a bialgebra \\(A\\) its space \\(PA\\) of primitive elements.  The paper is devoted to prove that \\(P\\) has a monadic decomposition of monadic length at most 2. Namely, the main result establishes:  { Definition.} Fix \\(N \\in \\mathbb{N}\\). It is said that a functor \\(R\\) has a \\textit{monadic decomposition of monadic length} \\(N\\) whenever there exists a sequence \\((R_n)_{n \\leq N}\\) of functors \\(R_n\\) such that  (1) \\(R_0=R\\);  (2) for \\(0 \\leq n \\leq N\\), the functor \\(R_n\\) has a left adjoint functor \\(L_n\\);  (3) for \\(0 \\leq n \\leq N-1\\), the functor \\(R_{n+1}\\) is the comparison functor induced by the adjunction \\((L_n, R_n)\\) with respect to its associated monad;  (4) \\(L_N\\) is full and faithful while \\(L_n\\) is not full and faithful for \\(0 \\leq n \\leq N-1\\).  { Theorem.} The functor \\(P\\) has a monadic decomposition of monadic length at most 2. Keep the notations of Definition (so, in particular, \\({\\mathcal B}_0 = Vect_{\\mathbb{K}}, R_0 = P\\), and \\(L_0=T\\)):  (1) The functor \\(L_1\\) is given, for all \\((V_0, \\mu_0) \\in {\\mathcal B}_1\\), by  \\[ L_1(V_0, \\mu_0) = \\frac{L_0 V_0}{\\left( \\text{Im} \\left( \\text{Id}_{R_0 L_0 V_0} - \\eta_0 V_0 \\circ \\mu_0 \\right) \\right)} \\]   (2) The adjunction \\((L_1, R_1)\\) is idempotent.  (3) For all \\(V_2 := ((V_0, \\mu_0), \\mu_1) \\in {\\mathcal B}_2\\), we have the following cases:  \\(\\bullet\\) char\\((\\mathbb{K}) = 0\\). Then, for all \\(x, y \\in V_0\\), we have that \\(xy-yx \\in R_0L_0V_0\\). Define a map \\([-,-]: V_0 \\otimes V_0 \\to V_0\\), by setting \\([x,y]:= \\mu_0(xy-yx)\\). Then \\((V_0,[-,-])\\) is an ordinary Lie algebra and \\(L_2 V_2\\) is the universal enveloping algebra  \\[ {\\mathfrak U} V_0 := \\frac{TV_0}{\\left(xy-yx-[x,y] \\mid x, y \\in V_0 \\right)} \\]   \\(\\bullet\\) char\\((\\mathbb{K}) = p\\), a prime. Then, for all \\(x, y \\in V_0\\) we have that \\(xy-yx, x^p \\in R_0 L_0 V_0\\). Define two maps \\([-,-]: V_0 \\otimes V_0 \\to V_0\\) and \\(-^{[p]}:V_0 \\to V_0\\) by setting \\([x,y]:= \\mu_0(xy-yx)\\) and \\(x^{[p]}:=\\mu_0(x^p)\\). Then \\((V_0,[-,-], -^{[p]})\\) is a restricted Lie algebra and \\(L_2 V_2\\) is the restricted enveloping algebra  \\[ {\\mathfrak u} V_0 := \\frac{TV_0}{\\left(xy-yx-[x,y], x^p-x^{[p]} \\mid x, y \\in V_0 \\right)}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254604$5E6D257A-98BE-4184-9290-FC8257F776C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$47B357F1-1142-4E71-88F1-D20276C1EAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"175cccd39be2a6c182f279db94254cc4801f528d","datavalue":{"value":"16S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$0147BA02-177A-402C-8F4C-33695B371C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$36495C79-3763-4074-A5D8-968A406E2E3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db2e4c638eac154f66e3e5a84049a3e7e233f534","datavalue":{"value":"6398451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$6FEA42A4-790F-4922-8667-4C9353E3EE0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254604$8BD79DD4-075B-41B9-A89D-9E5C5E742F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5237301a90f2a064f3ee1272fdf5221480cc8304","datavalue":{"value":"Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254604$0A68C772-A609-4AC0-8056-BB70746BB051","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a315c6c92f6c4dd89cbb034cf30607c826ef3ab7","datavalue":{"value":{"entity-type":"item","numeric-id":593072,"id":"Q593072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$B89BAB0F-1E45-4D77-903A-0B35C2E4033B","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":"Q2254604$B018B057-7A06-424A-A6AD-7F5780AC0FA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"939168c22a84b3d322fa0b455b3d2f36389c32a6","datavalue":{"value":"W2037867302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$A7B441CB-BF69-495A-BA40-E6AFA0F3FCF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13497af3b83a0a9474baa3a2832dcbb5115d3161","datavalue":{"value":{"entity-type":"item","numeric-id":2995351,"id":"Q2995351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$F3C4B254-569B-4A1C-9B51-0C4E3B2103AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3d824864ae04fa3dd4f930cc4de9d0e106169e","datavalue":{"value":{"entity-type":"item","numeric-id":536028,"id":"Q536028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$416B99F7-7E9F-4046-9DDD-9822FD62AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb69f15941c685520e36e8b70afa980fca67bd6","datavalue":{"value":{"entity-type":"item","numeric-id":1926569,"id":"Q1926569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$15E4B04D-5E3A-4792-9FF5-F91C8F7B47BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25df6267103febc2a8d667025fb2993d036b5376","datavalue":{"value":{"entity-type":"item","numeric-id":3116832,"id":"Q3116832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$92D1B26E-F054-444A-A99A-08DB1F8084FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601212d28756dd2c3118a23a75f1c0d7a21da7d7","datavalue":{"value":{"entity-type":"item","numeric-id":1121975,"id":"Q1121975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$6088BBC2-9BAF-4DFD-BB31-4990FDA8FB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e84329a6416f81c9a1e398496ff2b46e4300d4","datavalue":{"value":{"entity-type":"item","numeric-id":2642950,"id":"Q2642950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$9F05B568-64E5-4312-B8B8-C518EDD8E51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ed0f8e1c4059586c8c637d24f20d38f7b60762","datavalue":{"value":{"entity-type":"item","numeric-id":4413070,"id":"Q4413070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$BD728DC5-2094-4E1A-96A8-263A05383E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$E22C1D78-179D-4135-8354-8B5E61D0ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0727b149b0cc79bd531a6755b392f0c94d58a0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1407804,"id":"Q1407804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$45AE2FA4-0EA3-4BF6-B43C-2CDB3649B54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7150a7f2b6640cfb4b2a84cddd88a2f86203f6","datavalue":{"value":{"entity-type":"item","numeric-id":863176,"id":"Q863176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$E4093776-39F0-4E97-B290-0439AE15FD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690cc48a2fd397aaf2d65f3eb163c52d41617813","datavalue":{"value":{"entity-type":"item","numeric-id":5719209,"id":"Q5719209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$ACDE423C-F498-4AC8-8563-7A928F22A8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6e69d6087d098383773d95ad5b64ee03e162b6","datavalue":{"value":{"entity-type":"item","numeric-id":3952276,"id":"Q3952276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$12A717B3-98A7-4F6A-872D-98CC124F0547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b712669418b243337947fd111c60cf135d45fc95","datavalue":{"value":{"entity-type":"item","numeric-id":1120649,"id":"Q1120649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$FDE91654-024B-45E0-AD5A-8F339D38F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ea11100fa2bd121e65864f973881fabecc149d","datavalue":{"value":{"entity-type":"item","numeric-id":3197987,"id":"Q3197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$CD9A8C14-1361-4898-AAF5-C4A8A82D2914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254604$E8BAFEF7-DCAC-4EC9-AC3E-29F17E4CDE35","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":"Q2254604$EA7CDB7E-8F73-4545-A8D0-A68E9ECD5C39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"665f74ad016f34a8820f0d503ca06634275b4b1b","datavalue":{"value":"10.1007/S10485-013-9326-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254604$636333D6-73DC-4ABE-A16F-B462B3633E13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ce0a664ab7418a20b392393ef030dde3a837c2","datavalue":{"value":{"entity-type":"item","numeric-id":1671755,"id":"Q1671755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f0cd8806cc55eaee57fa8a601ddf641ac5c6e8","datavalue":{"value":{"amount":"+0.8614681363105774","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":"Q2254604$E5496836-4235-4C37-AB69-97A16924261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d393de5eedef32af1eb1f802737fd02fea78ade","datavalue":{"value":{"entity-type":"item","numeric-id":903948,"id":"Q903948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb1f80554daf1bbca345ecdbefe4aa58bccff8d","datavalue":{"value":{"amount":"+0.8282960057258606","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":"Q2254604$FE35FFB4-D808-401E-B4BA-DD174C719650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffce19ba4e3b483cecd42d6c407a9e523223eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1399150,"id":"Q1399150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c16e1f7e1075a8b75b2015952452261da1b594","datavalue":{"value":{"amount":"+0.8258516788482666","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":"Q2254604$43F7E0B8-8977-41CB-A880-35D29D5E3AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45d39caa5a27cfc7fc037716bb93ae7d6389290","datavalue":{"value":{"entity-type":"item","numeric-id":2134643,"id":"Q2134643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32addd71c7e52d1c5736292aa214eddd6e3d0f76","datavalue":{"value":{"amount":"+0.7936990857124329","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":"Q2254604$4548732E-BF4C-4BAB-8626-5D47C08309A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c67f6d6e4f53aaf27a80469eef17bc0c74ad264","datavalue":{"value":{"entity-type":"item","numeric-id":5420688,"id":"Q5420688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52184ac93f627f5acb59b31d83f63f5b8577d59d","datavalue":{"value":{"amount":"+0.7619478106498718","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":"Q2254604$BD48B42C-DD14-4377-9F70-E150D90A234E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254604"}}}}}