{"entities":{"Q1821186":{"pageid":1831928,"ns":120,"title":"Item:Q1821186","lastrevid":69038967,"modified":"2026-04-13T03:57:05Z","type":"item","id":"Q1821186","labels":{"en":{"language":"en","value":"Bimodules sur une alg\u00e8bre de Lie r\u00e9soluble. (Bimodules over a solvable Lie algebra)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3998051"}},"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":"Q1821186$4E9A3F1B-F218-440A-B1F9-528AFD3967B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8f4e69f38935c4cad97ce0b33484c015f3144fb","datavalue":{"value":{"text":"Bimodules sur une alg\u00e8bre de Lie r\u00e9soluble. (Bimodules over a solvable Lie algebra)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821186$BA83330F-8F39-437E-A088-425A5FD44ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d371c6068d89fc88bb36697e32e2a1c4f8ea3a1","datavalue":{"value":"0616.17007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$DE2D848C-AB5E-4BCC-B22A-43164C6EED79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17b9f8272c95c6aca95c2ee8c20a70bce4c5e79d","datavalue":{"value":"10.1016/0021-8693(87)90193-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$7AB60D88-A30C-44AE-98DF-610EDA4896A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83616fef0e97858dd27796ac9b95528bacf5a190","datavalue":{"value":{"entity-type":"item","numeric-id":722890,"id":"Q722890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$BF680216-B521-48FD-8C47-51800B6EE426","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":"Q1821186$09F285E1-2B6D-40BB-8813-DE58D5C1115C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1821186$8049CCE9-122B-4152-90E2-A7A66D2F2816","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08c1d3afb6e0741afd154f903c4ffaadd22ef988","datavalue":{"value":"Let k be an algebraically closed field of characteristic 0, \\({\\mathfrak g}\\) be a solvable Lie algebra of finite dimension over k and U be its enveloping algebra. If M is a left U-module, denote by d(M) the Gelfand- Kirillov dimension of M. For a U-U-bimodule M, set K(M) for the Krull dimension of M as a left U-module and K'(M) for the same on the right. If A is a k-algebra, let \\(s(A)=\\inf \\{d(M)\\); M an A-module \\(\\neq 0\\}\\). For \\(f\\in {\\mathfrak g}*\\), define: \\({\\mathfrak g}^ f=\\{x\\in {\\mathfrak g}\\); f([x,\\({\\mathfrak g}])=0\\}\\). Finally, let E be the set of non-zero semi- invariants of U/P (P being a prime ideal of U), it satisfies the necessary (Ore) conditions for localization: let \\((U/P)_ E\\) be the localized.    Three main theorems are proved in this paper:    Theorem 1: If P is a prime ideal of U then \\(d(U/P)=K(U/P)+s(U/P).\\)    Theorem 2: If M is a U-U-bimodule of finite type on each side then \\(K(M)=K'(M).\\)    (These 2 theorems had been obtained previously by \\textit{K. A. Brown} and \\textit{P. F. Smith} [Q. J. Math., Oxf. II. Ser. 36, 129-139 (1985; Zbl 0573.17010)] under the extra hypothesis that \\({\\mathfrak g}\\) is ad-algebraic. To carry over their proof to the general case, two key ingredients are used: results of J. McConnell and P. Tauvel about the structure of \\((U/P)_ E\\) and the introduction of the notion of an ''excellent'' primitive ideal).    Theorem 3: One has \\(2s((U/I(f))_ E)=\\dim {\\mathfrak g}-\\dim {\\mathfrak g}^ f\\) where I(f) is the primitive ideal associated to f by the Dixmier map.    (This answers a question of P. Tauvel. One should point out that by this theorem, the integer dim \\({\\mathfrak g}^ f\\) is for the first time connected with the enveloping algebra of \\({\\mathfrak g}.)\\)    Several lemmas and corollaries with their own interest are also proved. Many counterexamples show that some results cannot be improved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821186$C1AB163F-C21D-4705-BD91-E88944973656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$3F012B8A-2D57-4E31-B982-190C36CDC1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$11FE914A-9D09-42BE-98E3-603429DB72D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48290a74f17f234f1feff5558914d4b85e338044","datavalue":{"value":"16P60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$55E2B44D-0530-4790-A4B8-98F909677C6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f9f26348421eaf4939bf4128bc0dc710db0265","datavalue":{"value":"3998051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$5461D425-1B8D-4FFE-90A7-F6063A5CA246","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aed41fe35b0d1a7b15d7b32045322a74aaa900e","datavalue":{"value":"solvable Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821186$B2BF0AB8-7101-430B-BAAA-BB3857070CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe23ede4b83906a9881e181c5d385ed4f2966eca","datavalue":{"value":"enveloping algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821186$C3661A01-3145-4466-BEF5-4955406600FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13090f24e1409e7d71b11d8be6ff1808a5cde97b","datavalue":{"value":"Gelfand-Kirillov dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821186$3654B52F-A627-4773-864D-79532FC7A520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05eb78f54250a3cdbcd5992fc6ef4737d767c965","datavalue":{"value":"Krull dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821186$DA1E5318-BEEE-4BC3-BC2C-BFDDE5C4B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c28b0dcc2672b85a7a13d2a90e8c4712a22bc7","datavalue":{"value":"''excellent'' primitive ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821186$D2349E88-D713-4BCB-92A9-5424CC26AC33","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":"Q1821186$D86F8E4E-771A-4D26-8EB8-18410B1A76A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dbbe1b131e453ae8ad4defd329a0c336144d252","datavalue":{"value":"https://doi.org/10.1016/0021-8693(87)90193-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821186$69A305BD-3C29-449B-9822-D432A546E467","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16962352c4679cfcde55fa59e5bcdbb8e4574929","datavalue":{"value":"W2080811226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$0FAD30B1-5959-4EB2-9BE2-A65A547BDC79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5945a6894fac365a4ac233b8f6af4445ea4391f1","datavalue":{"value":"Q115366617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821186$C99634BC-17E0-4E2E-80AF-9A7060EB4B8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17bfa84654a21e0892fa788f3d621f38508d343","datavalue":{"value":{"entity-type":"item","numeric-id":1212080,"id":"Q1212080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$D90CB90F-8B15-405C-99CE-DE347C3767DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fdd62e1a803541824652741ec08e02679e06569","datavalue":{"value":{"entity-type":"item","numeric-id":3691898,"id":"Q3691898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$54B16CF4-5355-44E8-BCCB-7ABDD825878D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fc00a84ff1c6e6b987c81a59dc12a5d6817ee8","datavalue":{"value":{"entity-type":"item","numeric-id":3890834,"id":"Q3890834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$7FDB9C1D-E06D-4C7B-8AD3-0BD651FAFDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4364aac7042d0526708c04708e2b2a955231b6","datavalue":{"value":{"entity-type":"item","numeric-id":3855348,"id":"Q3855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$78ABF023-F11C-496F-90D7-1BAB3B87AC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73311384240871ad19bbc545983ea4fde021b371","datavalue":{"value":{"entity-type":"item","numeric-id":4049241,"id":"Q4049241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$E674F80F-764E-445C-87F9-DB42C909552E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154100739eae04418c83ed653c017b396049c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":5686175,"id":"Q5686175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$6985DDD7-010A-4922-AD3E-7C91EDA897A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309d033bb87f5f4d427ced82dea9655168cb913a","datavalue":{"value":{"entity-type":"item","numeric-id":3866251,"id":"Q3866251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$20DAA24B-A995-4DD5-9A8C-F78CEF658EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6724cdec875521acd0cbe92230145e624826a5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1241793,"id":"Q1241793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$72320E7F-CC34-493C-BB7A-FFE799651D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6dbb5f396a076241d7fc339ee1220164640f869","datavalue":{"value":{"entity-type":"item","numeric-id":3677877,"id":"Q3677877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$B400CE1F-5A53-45C1-8E16-C4C8ED082BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07226153c7f72445be4cbc5dd085b222a8a64c73","datavalue":{"value":{"entity-type":"item","numeric-id":4085898,"id":"Q4085898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$99221824-10F0-4D9C-87F0-F32DF140644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a588ac22cbffc6b17d547968472cd930bfc3a117","datavalue":{"value":{"entity-type":"item","numeric-id":4085899,"id":"Q4085899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$1647492A-178A-4922-9C39-A25258AF4E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d5c8e49d66ac79b731bd9319273b80cd739c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4154720,"id":"Q4154720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$6E664666-D084-4AA7-A83A-A03B33C1FDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20261e2869a31ded4a33bdb6feda542db7c8f0e0","datavalue":{"value":{"entity-type":"item","numeric-id":5544357,"id":"Q5544357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$110A186C-40AA-493F-8855-00CC395393D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5f64be0e099dc77609af2880d0c86d9929fc34","datavalue":{"value":{"entity-type":"item","numeric-id":3237904,"id":"Q3237904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$F317DB84-C64C-4A5B-8783-D50730871685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a364ccd9fee1f966262e1010f08640c65cb752","datavalue":{"value":{"entity-type":"item","numeric-id":4183443,"id":"Q4183443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$0C400B67-C5D0-4B57-9230-4A8728C4978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd4f1e078702bf6e39e6c4212029f5f6bf78cda","datavalue":{"value":{"entity-type":"item","numeric-id":3884276,"id":"Q3884276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$A1578796-8A71-413A-A9A5-2474078C022E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fbeb194627e0b5f55e7cf00156c36b557aa419","datavalue":{"value":{"entity-type":"item","numeric-id":3952259,"id":"Q3952259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821186$F04E2A7D-A5D2-420F-8CD2-897AEB208C1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf07e9830409fba72112fb8dfa5a30f6c41526e","datavalue":{"value":{"entity-type":"item","numeric-id":3691898,"id":"Q3691898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db23115dedea3e1132366f25e77aaa6424a0b73a","datavalue":{"value":{"amount":"+0.8729013800621033","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":"Q1821186$9F09C1BC-8389-4D91-A2C4-D70BC048613F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd0fb24d3a29612b5e7cc2ac0b0598da6950bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3769060,"id":"Q3769060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f319eb3ebe48b9339a11696007af80e9e43267f6","datavalue":{"value":{"amount":"+0.8425632119178772","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":"Q1821186$F9D0E423-5932-48AC-AFE2-7B1654AB7659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54467a7921b1d83f682d2b3b1a4eb011af05020a","datavalue":{"value":{"entity-type":"item","numeric-id":3681002,"id":"Q3681002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bcc65b99fafd269620d5e641c40b417f40a273","datavalue":{"value":{"amount":"+0.824871301651001","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":"Q1821186$7733D67C-BE80-4FB2-B283-952A6490655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be06dfd3c911c63578d86cc2e304be561ef37c2","datavalue":{"value":{"entity-type":"item","numeric-id":3717250,"id":"Q3717250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed311863e6d989b8f87f3c115c6fa0855d0a5fbc","datavalue":{"value":{"amount":"+0.8058177828788757","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":"Q1821186$EA3FA111-39C4-4F7A-8800-9025F9DD4495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390a595e0bdd57b4e2f11a31e1c4776dd2658d38","datavalue":{"value":{"entity-type":"item","numeric-id":1059137,"id":"Q1059137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba8028189bc252380dc7887979a73698aba31b1","datavalue":{"value":{"amount":"+0.7992050051689148","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":"Q1821186$9D0DCEB6-8ED3-439A-B9ED-B924A43CFF71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bimodules sur une alg\u00e8bre de Lie r\u00e9soluble. (Bimodules over a solvable Lie algebra)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bimodules_sur_une_alg%C3%A8bre_de_Lie_r%C3%A9soluble._(Bimodules_over_a_solvable_Lie_algebra)"}}}}}