{"entities":{"Q1934965":{"pageid":1945707,"ns":120,"title":"Item:Q1934965","lastrevid":78116597,"modified":"2026-05-06T10:49:26Z","type":"item","id":"Q1934965","labels":{"en":{"language":"en","value":"A generalization of the Mitchell lemma: the Ulmer theorem and the Gabriel-Popescu theorem revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6132780"}},"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":"Q1934965$E2DA9576-6071-4A7D-95F1-425009114EEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02219188ef3fede68fb9eba4a543b09d09be8a0a","datavalue":{"value":{"text":"A generalization of the Mitchell lemma: the Ulmer theorem and the Gabriel-Popescu theorem revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1934965$3CCF9925-4516-4D1E-9CF1-B560609821E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"683072189b799905f95f5d0c3093b63a84c8fe0b","datavalue":{"value":"1264.18013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$1DE46A01-B5A9-476C-9D5B-770894111840","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a7917ecbac05755d4b057ca3afa6c22b9b8982","datavalue":{"value":{"entity-type":"item","numeric-id":514726,"id":"Q514726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$C5CFB9FF-7598-467C-996B-7AA8F1437F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3301b87d8bd2f2ad02a740bba0bf52a0deb41d80","datavalue":{"value":{"entity-type":"item","numeric-id":380274,"id":"Q380274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$0A04858C-DD40-4936-B043-79101EE3D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8ae136f11eba425730a97077dac5959d154c5aa","datavalue":{"value":{"entity-type":"item","numeric-id":1934964,"id":"Q1934964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$96D1E018-70D6-482E-8727-5CF27429FCEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$5223E04F-3458-4D0B-96DA-8D3A37153835","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5478fba53a113a7516ce69e974ee388c2f24be0","datavalue":{"value":{"time":"+2013-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1934965$1BA7417D-6EB0-4AE5-AFBF-BF0F09F47929","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad3bb72da26ac3c880b0b66f782eccdde2863450","datavalue":{"value":"Let \\(\\mathcal U\\) be a set of objects in a Grothendieck category \\(\\mathcal A\\). Denote by \\(\\mathcal Gen({\\mathcal U})\\) the full subcategory of \\(\\mathcal A\\) whose objects are the \\(\\mathcal U\\)-generated objects, and by \\({\\mathcal A}_{\\mathcal U}\\) the class of objects \\(M\\) of \\(\\mathcal A\\) such that the kernel of any morphism from a finite direct sum of objects in \\(\\mathcal U\\) to \\(M\\) lies in \\(\\mathcal Gen({\\mathcal U})\\). Let \\(({\\mathcal U}^{\\text{op}},\\mathcal Ab)\\) be the category of additive contravariant functors from \\(\\mathcal U\\) to the category \\(\\mathcal Ab\\) of abelian groups, with natural transformations as morphisms. Let \\(T:{\\mathcal A}\\rightarrow ({\\mathcal U}^{\\text{op}},\\mathcal Ab)\\) be the functor defined by \\(T(X)={\\text{Hom}}_{\\mathcal A}(-,X)_{|{\\mathcal U}}\\) on objects, and by \\(T(f)={\\text{Hom}}_{\\mathcal A}(-,f)_{|{\\mathcal U}}\\) on morphisms. This functor has a left adjoint \\(S\\).   The authors prove a generalization of \\textit{B. Mitchell}'s lemma [J. Pure Appl. Algebra 20, 313--315 (1981; Zbl 0459.18006)] , and as a consequence they give a new proof of \\textit{F. Ulmer}'s theorem [Invent. Math. 19, 331--336 (1973; Zbl 0257.18020)], which states that the functor \\(S\\) is exact if and only if \\({\\mathcal U}\\subseteq {\\mathcal A}_{\\mathcal U}\\). Also, they deduce a generalization of the Gabriel-Popescu theorem [\\textit{N. Popescu} and \\textit{P. Gabriel}, C. R. Acad. Sci., Paris 258, 4188--4190 (1964; Zbl 0126.03304)], by showing that if \\(\\mathcal U\\) is a family of generators of \\(\\mathcal A\\), then \\(T\\) is full and faithful and \\(S\\) is exact.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934965$B1260162-23AB-4A6A-A83F-8F0EA958FA50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"476fa4c853b7cc3ad5ce15707fc4556f5f18ef03","datavalue":{"value":"18E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$279F3CF0-F17C-4E42-BB63-0EB4748C9D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a626f2bdfa0328af9d23fb451b774749f3536d8","datavalue":{"value":"18E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$0E36337F-F6C5-4E6E-9FAE-59C28EDE28A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$DB9E868F-18BC-45F4-9AC3-3193D5824435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$763D1E22-9CB0-4DC4-BA03-40B7EC890A7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f629f566c418bc94da378c14f8a81bf5953249","datavalue":{"value":"6132780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$E8FF0124-8F86-40DA-9B0B-999238E9E23C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91ef38fb9a25c0b1567a62d8bea71fbe9fb6e49","datavalue":{"value":"Grothendieck category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934965$B0A25580-DDA9-4994-B424-1EF2151BFB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"814d8da88ee09f7c6c4341121c98cf9ae491ca67","datavalue":{"value":"Gabriel-Popescu theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934965$434FA597-5083-4B63-AEE8-81B1BA8C3AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e8555b31acafefb845fb09f0d7a13d3f575158e","datavalue":{"value":"Mitchell lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934965$73099FC5-A046-4418-9433-B1598310388E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94833168c4da1b784d927cebfae4edeae2643204","datavalue":{"value":"Ulmer theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934965$14F612E3-DF44-4B21-8D96-82AD6752319B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f504c40bf70f776ce002479e91fee17cbcaa42d3","datavalue":{"value":{"entity-type":"item","numeric-id":585738,"id":"Q585738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$C479A5F4-ED80-455C-8CB9-9A08D68034E6","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":"Q1934965$E67FED0B-FDB7-47E0-9A1D-0ED3DF66DFDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f291bcf93ec2a40900afd7267726596d21fe844","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2012.01.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1934965$DE9A1522-AED3-44C4-8F67-2C6CF648DDA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e3a5a78377fe2909e6873ff784ca4cb17af33e3","datavalue":{"value":"W2056537414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$75CEE4F4-5E90-4D14-B9E7-AA6B056FA6A9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f736c06db9fe9ca780aa140a98ab07201c5bd7e5","datavalue":{"value":"Q124815520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$EC016CF4-AC8A-4411-AEF7-9D650CAE60B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c879fce18f5f23f9ad708072b7987f85694552","datavalue":{"value":{"entity-type":"item","numeric-id":3220700,"id":"Q3220700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$ED6916CA-54B4-4D97-AECB-C9A0F9200EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339326da4993807dd99a4aabe83ed0c36354f3a0","datavalue":{"value":{"entity-type":"item","numeric-id":707283,"id":"Q707283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$2A33886F-37D4-410C-9E88-F159DBCD4FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$A54224EC-A102-42F3-B36D-C92B9A01D6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ab2bab14c28b9e49d4543ad7d033ef5afe7c08","datavalue":{"value":{"entity-type":"item","numeric-id":5599221,"id":"Q5599221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$442EFE19-22A4-47A0-A584-1195AC3FF739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0f2696880812f853510adb16ddb9f4825efddd","datavalue":{"value":{"entity-type":"item","numeric-id":5331540,"id":"Q5331540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$411D6D92-38AC-4862-A930-4D99B72E7B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f938c49f118d6bc4665086f097c04a39118fa470","datavalue":{"value":{"entity-type":"item","numeric-id":4328685,"id":"Q4328685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$1F1B39A9-5BA3-4EBA-BCC3-1565E305DB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afe49e65451b0110388066df13362388132409","datavalue":{"value":{"entity-type":"item","numeric-id":2626209,"id":"Q2626209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$01268229-416F-4EE8-A64A-A53612F36F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0754c09089cb8f152346b73d1202231ed17419","datavalue":{"value":{"entity-type":"item","numeric-id":1878455,"id":"Q1878455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$5658FA41-C587-4420-A2B8-C6E5E3930359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb59b71b8c7e6ecb4e6c09a52afb6daf3c427ae1","datavalue":{"value":{"entity-type":"item","numeric-id":4735292,"id":"Q4735292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$6A44ADAB-FFCF-4E8D-A053-E6FCAC90C650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$BE1954FC-04DF-4640-A8B0-AE9C17F873AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a221effe19ab34886ce02e9d8e30fbd23df727","datavalue":{"value":{"entity-type":"item","numeric-id":1151958,"id":"Q1151958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$47BCC4A9-F61E-4CB9-A994-971146990FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ec5ab5d2f70dc79285bfc2d2248c55cb66f632","datavalue":{"value":{"entity-type":"item","numeric-id":5391190,"id":"Q5391190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$4D20B026-A6CA-464E-A418-F10CAC5D63A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dbe13f86743aa522309814156e2727cf743f09","datavalue":{"value":{"entity-type":"item","numeric-id":1148985,"id":"Q1148985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$93992078-7BDB-4D07-998E-CFD5178182CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c6d987b8a0214246d586442bcc603a8709cd50","datavalue":{"value":{"entity-type":"item","numeric-id":5589428,"id":"Q5589428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$63AA695F-BCC0-408C-A4DB-96E7225888DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b8a5248f9163c252a2a7933e83b1e2d9ab7ca2","datavalue":{"value":{"entity-type":"item","numeric-id":2546232,"id":"Q2546232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$1459AEAB-5561-4598-9558-AD12D8BEAEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c645ef662877c0b38a86606dc936087530c11f8","datavalue":{"value":{"entity-type":"item","numeric-id":2559541,"id":"Q2559541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934965$C57E1688-368D-4584-A233-0FD8AE2D8898","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d94e7930aad98375eb5bf13654d4ec9c106d110","datavalue":{"value":"10.1016/J.JPAA.2012.01.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934965$8E0E5C77-B84F-46FF-B1B1-E37DCC96682D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e2de58e82f6ac846cf110c6b26714d88047ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1878455,"id":"Q1878455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f96a19c0288abb410dad755a3ae61ea1e978a9f","datavalue":{"value":{"amount":"+0.757806122303009","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":"Q1934965$9D65E7AE-9899-4F87-8560-1C16E07354A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b9808c61b32b072c01051ac14dff2e13bdcceaa","datavalue":{"value":{"entity-type":"item","numeric-id":5391190,"id":"Q5391190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76594ee53b69d85bdb3c64a7fd02888f6bd3d622","datavalue":{"value":{"amount":"+0.752458930015564","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":"Q1934965$9305D20E-1141-41F9-879C-19FD2FCBE78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20388c24deac3b6e3557a25f3f440ae1a64a18","datavalue":{"value":{"entity-type":"item","numeric-id":4735292,"id":"Q4735292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084e171fe27528df29743f5bdfb131e552090699","datavalue":{"value":{"amount":"+0.7458065152168274","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":"Q1934965$5254EF0F-B306-4E70-9907-01D6D62C05DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d0422ffa2b60b36b53533c181abb2e328b97f5","datavalue":{"value":{"entity-type":"item","numeric-id":707283,"id":"Q707283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169df8bddf7f1b179cbad5fa90a88be018bb11a1","datavalue":{"value":{"amount":"+0.7403848767280579","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":"Q1934965$9D2CDFCE-516A-4A5B-A80A-FC8DAD36A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40934e5a40930bb7bc7536e73eb35b5e169e4c2","datavalue":{"value":{"entity-type":"item","numeric-id":2637925,"id":"Q2637925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad94539757c0c2039042f657aed9162cc74f95e","datavalue":{"value":{"amount":"+0.7328950762748718","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":"Q1934965$56E369E7-9C20-4A86-B1B6-CCDC6C633495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of the Mitchell lemma: the Ulmer theorem and the Gabriel-Popescu theorem revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_the_Mitchell_lemma:_the_Ulmer_theorem_and_the_Gabriel-Popescu_theorem_revisited"}}}}}