{"entities":{"Q6847018":{"pageid":20578780,"ns":120,"title":"Item:Q6847018","lastrevid":84277205,"modified":"2026-05-14T13:29:20Z","type":"item","id":"Q6847018","labels":{"en":{"language":"en","value":"An abelian category of cofinite modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8170213"}},"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":"Q6847018$EC90B641-D962-4698-958B-B8A548C50724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3c03d27b8832bb0510d086a49c950e8d508ed72","datavalue":{"value":{"text":"An abelian category of cofinite modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6847018$7C533170-8857-4A8A-A77E-9F122C52FF3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d22ec1af2b2e9e8693adfdfd8532f25ec3021e02","datavalue":{"value":"10.1007/S11587-025-01020-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847018$36760CAC-3DC3-46AA-89D2-1619ADB124E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50096eb30d2bea3976440baf4551defc02f4f672","datavalue":{"value":{"entity-type":"item","numeric-id":515064,"id":"Q515064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$D14F9E32-0639-4DC7-9D9B-37079EC72E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bdfd938ca26eb1b20767fb4b6a2af80916cf0f6","datavalue":{"value":{"entity-type":"item","numeric-id":310478,"id":"Q310478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$836FD96C-269D-4E40-90FB-D4C9FC93B266","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"efe2a4f1dd25d9b7268f9f2f60a38a93530d2e4c","datavalue":{"value":{"entity-type":"item","numeric-id":310473,"id":"Q310473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$7EA29F97-F96B-4457-B145-425FFA9561FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"123707f4b710f91e900b6544e341501d5567b704","datavalue":{"value":{"time":"+2026-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6847018$87AFD34B-C14D-4AFE-97DA-0490A00D4B6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32f57ca53792ca20a1a6a89e33dbf0b5504ef4b3","datavalue":{"value":"Let \\(R\\) be a commutative noetherian ring, \\(\\mathfrak{a}\\) an ideal of \\(R\\), and \\(M\\) an \\(R\\)-module. For any \\(i \\geq 0\\), the \\(i\\)th local cohomology module of \\(M\\) with respect to \\(\\mathfrak{a}\\) is given by \\N\\[\\NH^{i}_{\\mathfrak{a}}(M) \\cong \\underset{n\\geq 1}\\varinjlim \\mathrm{Ext}^{i}_{R}\\left(R/ \\mathfrak{a}^{n},M\\right).\\N\\]\\NHartshorne defined an \\(R\\)-module \\(M\\) to be \\(\\mathfrak{a}\\)-cofinite if \\(\\mathrm{Supp}_{R}(M)\\subseteq \\mathrm{Var}(\\mathfrak{a})\\) and \\(\\mathrm{Ext}^{i}_{R}\\left(R/ \\mathfrak{a},M\\right)\\) is a finitely generated \\(R\\)-module for every \\(i\\geq 0\\).\\N\\NNow let \\((R,\\mathfrak{m})\\) be local, and suppose that \\(Ht\\left(\\frac{\\mathfrak{a}\\widehat{R}^{\\mathfrak{m}}+\\mathfrak{p}}{\\mathfrak{p}}\\right)\\leq 1\\) for every \\(\\mathfrak{p}\\in \\mathrm{Spec}\\left(\\widehat{R}^{\\mathfrak{m}}\\right)\\). In this paper, the authors show that the category of \\(\\mathfrak{a}\\)-cofinite \\(R\\)-modules forms an abelian subcategory of the category of all \\(R\\)-modules. This assertion provides a partially affirmative answer to a question raised by Hartshorne.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847018$9437CB26-FF5C-4935-8918-1F706F3B5E35","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"654cdd1ecabe5e1c9f241c9485b4cbfc6d74fa51","datavalue":{"value":{"entity-type":"item","numeric-id":820781,"id":"Q820781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$1BF44F2C-1DCB-4DFB-9B09-4437F0D99426","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847018$ECA980BB-E179-40A4-9121-159E79C7224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec1d0db78fd74c443a01310455d9419f80930f5d","datavalue":{"value":"13E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847018$8215D13C-11F6-4C6E-ACB9-9A868DEEED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847018$DD557B72-701B-4ADE-A9BB-6198138A3C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"186c1a7dd4077de70fbb22df64d194fa99347e6d","datavalue":{"value":"8170213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6847018$B856B366-0E09-49EF-B614-B5CEBF21B916","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"498293b20acb4d3452033c0c1fd260524937821d","datavalue":{"value":"abelian category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847018$8C2A7B47-B484-47FF-9D8F-6CE75B851AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d332ddebd7d4546e5bf9bdffe1d6b5bb5d32c55","datavalue":{"value":"cofinite module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847018$01E4EEFF-27C3-45BC-83F3-A97B02563E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199bfe91e203c4353c5fa45a06ac6efecab4de6e","datavalue":{"value":"local cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847018$CAD69D71-4048-46A6-A0D1-E90464A705A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e641f944613c8ddd14f644e869502f2d586f9559","datavalue":{"value":"local homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6847018$961FB24B-D6B5-4D25-9455-BF38927C9B6D","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":"Q6847018$ED2DE4C0-3D0B-440D-98F9-A45A082277BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$51EEBCC6-386C-4017-BCE4-CCC70C5B66BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73902e8e634c897968df09db25121a38faea964d","datavalue":{"value":{"entity-type":"item","numeric-id":5216220,"id":"Q5216220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$8ABA7083-110A-45C7-AE59-785AD767CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a9e562a1fae9728af01cff23df543189deb7a","datavalue":{"value":{"entity-type":"item","numeric-id":5073312,"id":"Q5073312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$4984E3B9-1302-43D8-96CC-5E8198BB9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10480a753fe71d4344c825ee3d0c1dbf7b0c082d","datavalue":{"value":{"entity-type":"item","numeric-id":5879421,"id":"Q5879421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$75F72831-9B43-4CB1-BD2A-68548A3AAB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32409e2c97dd89dd0db5c57dc678000689640be3","datavalue":{"value":{"entity-type":"item","numeric-id":6600713,"id":"Q6600713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$39189CAA-55C7-4A2F-93F4-ABF48E8081AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f77f2618e06c60def650e0f70dbb3255c4b484","datavalue":{"value":{"entity-type":"item","numeric-id":2817181,"id":"Q2817181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$74C9BFC4-2337-47B0-8D83-0AB852F87BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93104f2b1c9c0afde05e0e053a7781838d3a524e","datavalue":{"value":{"entity-type":"item","numeric-id":4380359,"id":"Q4380359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$9BD7F608-0B62-4547-87FB-8917A8D78E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e666e9adf53085b537dd7ef23451dbb95f6deb7f","datavalue":{"value":{"entity-type":"item","numeric-id":1369598,"id":"Q1369598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$8C578FF8-A845-4C28-BD8E-6E4A1B53F440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bf7dc3651c451b10710a9688cd8ff4c8a34a35","datavalue":{"value":{"entity-type":"item","numeric-id":1627589,"id":"Q1627589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$31760785-CB08-4465-AAB9-B884AB45B019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f53706905ebcf74e2890411067ccad2cfaf4634","datavalue":{"value":{"entity-type":"item","numeric-id":2216692,"id":"Q2216692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$D9DE8085-B89B-4C32-99DD-DF274BB94F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55943307644f35f5326b5fc2779638aca4d25005","datavalue":{"value":{"entity-type":"item","numeric-id":2539534,"id":"Q2539534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$87EE4BC1-FC7C-4FF0-81EA-4EDBC5583054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf1b4f16c3c195f1a2e5b57634d54ceff62fea0","datavalue":{"value":{"entity-type":"item","numeric-id":3637717,"id":"Q3637717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$47476F5A-321C-43E2-84C4-863B1F5029DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde420f91b5aa278f88c00511ccd74fd428bb403","datavalue":{"value":{"entity-type":"item","numeric-id":431580,"id":"Q431580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$58000F81-6112-4FF6-A898-4123B7D2FB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$2E226B4E-DD8A-440A-8F8D-678E96BAC82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25e66bbc39818e33eb8b5bc2d92e43e36c51532","datavalue":{"value":{"entity-type":"item","numeric-id":4238776,"id":"Q4238776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$3005202B-5688-4FFC-A102-CA867DE7FB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80876c6c157395ff70a5298dbd11062ea9f4bae0","datavalue":{"value":{"entity-type":"item","numeric-id":1772438,"id":"Q1772438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$E3619D7C-1C5E-4545-971A-0645FE1C7E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ba9b8a5de40eb4fe6aa3091793b03a203b5e28","datavalue":{"value":{"entity-type":"item","numeric-id":5368829,"id":"Q5368829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$AC232D5E-9B6E-4717-B9F5-6C5B8B4BB694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225190676a9be9d6368aad2c5f521d725e04a15b","datavalue":{"value":{"entity-type":"item","numeric-id":2366861,"id":"Q2366861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$0EA67A35-6E5C-4F4A-894D-1903A7E41493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37ff3d2c013d0d6c023ff8740018361e956e09f","datavalue":{"value":{"entity-type":"item","numeric-id":3995214,"id":"Q3995214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6847018$3727996B-CAED-41D1-B327-2FA5C6099593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abelian category of cofinite modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abelian_category_of_cofinite_modules"}}}}}