{"entities":{"Q1671755":{"pageid":1682496,"ns":120,"title":"Item:Q1671755","lastrevid":68188809,"modified":"2026-04-12T22:01:33Z","type":"item","id":"Q1671755","labels":{"en":{"language":"en","value":"Restricted Lie algebras via monadic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6933838"}},"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":"Q1671755$7310BF89-A2C5-4AE5-8A03-D917B2DB4DD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c71f4f1c8d8903ffdfe701abcc33887e2180736","datavalue":{"value":{"text":"Restricted Lie algebras via monadic decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1671755$639860EE-B858-4078-BA91-83D3F853B54E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"799482c0ffa6c9bcc616b911e4f351f137bfb744","datavalue":{"value":"1402.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$5EB0FEC3-E1E1-449A-892C-49EAD9E1F3B1","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":"Q1671755$BC4F37DA-BC05-4973-AB70-DBED3DBAA36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d43af545d75408714733d8e3d8c0c8929242efe7","datavalue":{"value":{"entity-type":"item","numeric-id":1671754,"id":"Q1671754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$7AE059F4-7F8B-43E7-A198-8EB7FA879AF4","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":"Q1671755$1D1C5537-C82F-43F4-BBD2-BB8CF9004A14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1c396e0531011346401ad35f2c901bcca4ddc7a","datavalue":{"value":{"entity-type":"item","numeric-id":163566,"id":"Q163566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$E9C69ECC-1445-400B-9629-FA47C1F91F6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da71b137af9cfccb6c7b456e1c82e88aebc6157","datavalue":{"value":{"time":"+2018-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1671755$B4255681-9CC4-4352-98F8-7C0D07C83917","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49e9032ff3edde439bd347667edb1dece7e13aed","datavalue":{"value":"https://arxiv.org/abs/1510.02587","type":"string"},"datatype":"url"},"type":"statement","id":"Q1671755$E3408F84-8418-468F-A8B0-4F924825D784","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da910acad55bf1fe4a565ad7226123a4e38772bc","datavalue":{"value":"The paper proves that one can construct a functor \\(\\Lambda: \\mathfrak{M}_2 \\to \\mathsf{Lie}_p\\) such that \\((P_2\\widetilde{u}, \\Lambda)\\) defines an equivalence between \\(\\mathsf{Lie}_p\\), the category of restricted Lie algebras over a field of characteristic \\(p\\) [\\textit{N. Jacobson}, Trans. Am. Math. Soc. 42, 206--224 (1937; JFM 63.0873.03)], and \\(\\mathfrak{M}_2\\), the Eilenberg-Moore category of the monad \\(P_1 \\widetilde{T}_1\\) on \\(_{P\\widetilde{T}}\\mathfrak{M}\\), being \\(\\widetilde{T} : \\mathfrak{M} \\to Bialg(\\mathfrak{M})\\); \\(\\mathfrak{M}\\) denotes the category of \\(\\mathbb{K}\\)-vector spaces; \\(P : Bialg(\\mathfrak{M}) \\to\\mathsf{Lie}_p\\) is the functor that computes the space of primitive elements of any bialgebra; \\(P_1\\) is the comparison functor associated to the monad \\(P\\widetilde{T}\\) and \\(\\widetilde{T}_1\\) is a left adjoint to \\(P_1\\). \\(\\widetilde{u} : \\mathsf{Lie}_p \\to Bialg(\\mathfrak{M})\\) is the functor computing the restricted universal enveloping algebra of a restricted Lie algebra, namely \\(\\widetilde{u}(L,[-,-], -^{[p]}) = \\frac{\\widetilde{U}(L,[-,-])}{I}\\), where \\(I\\) is the ideal of the universal enveloping algebra \\(\\widetilde{U}(L,[-,-])\\) generated by the elements of the form \\(x^p - x^{[p]}\\); \\(P_2\\) is a full and faithful right adjoint to the functor \\(\\widetilde{T}_2 : \\mathfrak{M}_2 \\to Bialg(\\mathfrak{M})\\) given in [\\textit{A. Ardizzoni} et al., Appl. Categ. Struct. 23, No. 1, 93--105 (2015; Zbl 1310.18002)].  The main result establishes:  \\(\\bullet\\) The functor \\(P\\) is comparable. There is a functor \\(\\Lambda : \\mathfrak{M}_2 \\to \\mathsf{Lie}_p\\) such that \\(\\Lambda \\circ P_2 = P\\) and \\(H_{\\mathsf{Lie}_p} \\circ \\Lambda = U_{0,2}\\).  \\(\\bullet\\) The adjunction \\((\\widetilde{T}_1, P_1)\\) is idempotent. The functor \\(P\\) has a monadic decomposition of monadic length at most two.  \\(\\bullet\\) The pair \\((P_2\\widetilde{u}, \\Lambda)\\) is an adjoint equivalence of categories.  An alternative approach to the proof of the main theorem by means of adjoint squares is provided in the final section of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671755$E5D6C06D-28EB-4FB3-BCF5-84F646F1E437","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":"Q1671755$EAA2B009-D54D-4B9B-894E-EB3693ABCF68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$1F2E10A5-6DC4-4E05-84CE-7CA3DB9E1510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d346d5c4a734f64513c74af63d240b1447cf36bb","datavalue":{"value":"17D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$906FEF5A-485D-4667-BBB3-41644ECDC38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"175cccd39be2a6c182f279db94254cc4801f528d","datavalue":{"value":"16S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$BCB190B5-29A3-4626-887B-15CF09CA989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$621399FA-6A03-4FDA-9E94-BF84725BAAFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77fc6e0ed151743c97258f6192fcc45676882b03","datavalue":{"value":"6933838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$988785EB-13C5-406F-B176-12503B64A546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671755$432FBB69-B6BD-4286-91A8-C93288481CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc7f070c9e50a3379e9bb9795cd4b323d917352","datavalue":{"value":"restricted Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671755$2A32E0BF-3604-456E-857F-0567BFBCCDEE","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":"Q1671755$93962096-1E4A-4042-8E4A-FB24D9119EC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c453ee8930df25fa356ac0a4ae50249049fa33f6","datavalue":{"value":"W2962821652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$EB4B90A6-9653-4A93-9237-22969A2E7F7F","rank":"normal"}],"P223":[{"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":"Q1671755$275D20EF-1849-4292-A8A9-72F9EE248056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a22bce44f67c566da3c5a6d87b5cb88f198b5c8","datavalue":{"value":{"entity-type":"item","numeric-id":5582216,"id":"Q5582216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$B5D9F1B1-4529-48C0-8265-4E6AAE317437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb3b849e57cf863ad75f665061d96cc71ca2339","datavalue":{"value":{"entity-type":"item","numeric-id":2254604,"id":"Q2254604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$916F59AA-7700-4526-865F-40FBCAABA644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff014f29fc3479e944e31af8d979cc9205c6b3e","datavalue":{"value":{"entity-type":"item","numeric-id":903948,"id":"Q903948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$C79B4117-9C59-4774-AB0F-947BB4A164E3","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":"Q1671755$60536831-8595-4FF8-8931-C7D81185B8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96597d299d0e19afe5c94c64a4f57b5f55d97860","datavalue":{"value":{"entity-type":"item","numeric-id":2370163,"id":"Q2370163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$E67D7259-3BE0-4215-A9DB-9760854C5867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2de6efc072671fb56c64a584490d9b67bb597d","datavalue":{"value":{"entity-type":"item","numeric-id":456883,"id":"Q456883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$2EF68352-6380-4734-8788-48E5458D776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd0d8639702f25ce21d6c830de73eba58a79df5","datavalue":{"value":{"entity-type":"item","numeric-id":5701018,"id":"Q5701018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$6B0E35CD-1DD0-47A8-B684-AB1CB1A6DB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$2A36BBBD-4591-4E13-828E-DB60D2406BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e7395daa465d13ff03dc065f803fec5b9993ed","datavalue":{"value":{"entity-type":"item","numeric-id":5664038,"id":"Q5664038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$9335D2C1-CD03-45E0-874E-53429DF58EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5efd73a27a887f43be158e31ff24dd8b0c3405","datavalue":{"value":{"entity-type":"item","numeric-id":863347,"id":"Q863347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$858393FB-3454-4AAF-968C-BF71E6E4B9AF","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":"Q1671755$22D53AE7-886B-4409-BEC3-2F64FD8A4027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8efdbc95239aa736893af5b9112fcd2ac1a822","datavalue":{"value":{"entity-type":"item","numeric-id":3497225,"id":"Q3497225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671755$A695B546-A8ED-4C47-B48A-68D201E05994","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":"Q1671755$FA412BA9-DDE4-477D-BE86-2BFA76AA79A6","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":"Q1671755$CACC8419-D9BD-44A8-82FC-23A361297E31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55838bfc29807d2546457b9a14983c3442480abf","datavalue":{"value":"10.1007/S10468-017-9734-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671755$6A6CA2C1-4978-4950-8EFC-B3DB8DDB2485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc0a26183a9d67e30bdeb0a2dc2167d83f219f9","datavalue":{"value":{"entity-type":"item","numeric-id":2254604,"id":"Q2254604"},"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":"Q1671755$A8ADA6B5-CD26-40CB-B395-801742B4AFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67b35f52f008ddf255182b395bdbafcf08f6525","datavalue":{"value":{"entity-type":"item","numeric-id":5196019,"id":"Q5196019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83be28149501b88349db0130cdaf623f14b2681a","datavalue":{"value":{"amount":"+0.7361616492271423","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":"Q1671755$F79F4900-227B-4D0C-B35D-ECE40EB56FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db406752f7a80c6c80ebdb81e4df46c5b6d120bb","datavalue":{"value":{"entity-type":"item","numeric-id":1646317,"id":"Q1646317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3191053b61d7efe03c615cf12a6d5005589351d0","datavalue":{"value":{"amount":"+0.7293043732643127","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":"Q1671755$C9E0A893-6A59-4D02-BB11-6535FE47B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6169e1f1d63410bddf3094ecb607c142a504c115","datavalue":{"value":{"entity-type":"item","numeric-id":3395550,"id":"Q3395550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae6890b346175448a2514965adbfc564fee5109","datavalue":{"value":{"amount":"+0.7281743884086609","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":"Q1671755$3BE76FBE-9C27-45F1-8622-0F2A69B7113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209de2c2b9a7d04c6bac86ee12c47c38217b895e","datavalue":{"value":{"entity-type":"item","numeric-id":5826988,"id":"Q5826988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e657f88efbc11c15da1e3a347540928a053b942","datavalue":{"value":{"amount":"+0.7272423505783081","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":"Q1671755$0CB6C02F-1C1B-4F77-91A7-53FCF6792CF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restricted Lie algebras via monadic decomposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restricted_Lie_algebras_via_monadic_decomposition"}}}}}