{"entities":{"Q1194046":{"pageid":1204795,"ns":120,"title":"Item:Q1194046","lastrevid":66824958,"modified":"2026-04-12T13:06:39Z","type":"item","id":"Q1194046","labels":{"en":{"language":"en","value":"Derived functors of \\(I\\)-adic completion and local homology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63621"}},"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":"Q1194046$1AE523A7-C7DA-442E-9D82-2F85ACCDB0DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"793f2cf7096f02f29fb4533b1adcf14b8e42d34e","datavalue":{"value":{"text":"Derived functors of \\(I\\)-adic completion and local homology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194046$F7DC29E4-DCBC-4678-8320-4D8D92550E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38a9b6808eba28eac58c9234a773627cf8860042","datavalue":{"value":"0774.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$B168FBBC-72B6-4906-8918-F9D59B42CF1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5791caf819e8450ddc9f87b1e47fa8c4e13ce136","datavalue":{"value":"10.1016/0021-8693(92)90026-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$E2EB1AF4-BE03-44B2-B185-CDFAB0CEFD96","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":"Q1194046$33DFE3EA-A325-4788-890B-2F44DCF14D2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194046$A888889E-8D54-4202-9974-01EFA6F555D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c35e8c1f751641c22c08e409df344f6a635236ea","datavalue":{"value":"The completion functor \\(M_{\\widehat I}\\) of a finitely generated \\(A\\)- module \\(M\\), where \\(A\\) is a Noetherian ring, is well known to be an exact functor. While considering this result for the Burnside ring \\(A(G)\\), where \\(G\\) is a compact Lie group (in which case, \\(A(G)\\) need not be Noetherian), the authors encounter and study the general question: What are the left derived functors of the completion functor \\(M_{\\widehat I}\\) when \\(M\\) is not necessarily finitely generated and the ring \\(A\\) is not necessarily Noetherian? In this general setting, the authors define the left derived functors \\(L^ I_ *(M)\\), using the inverse limit approach to the completion functor, and compute them in terms of torsion products. With mild restriction on modules having bounded \\(\\alpha\\)- torsion, where \\(\\alpha\\in A\\), they prove general results which yield exactness of \\(I\\)-adic completions under some further appropriate restrictions. Once this is achieved, the result is generalized for any finitely generated ideal \\(I=(\\alpha_ 1,\\dots,\\alpha_ n)\\) of \\(A\\) (where \\(A\\) is of bounded \\(\\alpha_ i\\)-torsion and \\((\\alpha_ 1,\\dots,\\alpha_ n)\\) is a proregular sequence) by induction and the spectral sequence technique.   Following Grothendieck's definition of local cohomology groups, the authors introduce local homology groups \\(H^ I_ *(M)\\), which are proved to be isomorphic to \\(L^ I_ *(M)\\) for ideals \\(I=(\\alpha_ 1,\\dots,\\alpha_ n)\\) with some restrictions on the \\(\\alpha\\)'s. Using relations between local homology and local cohomology groups, some duality results are also proved.   Concrete results, showing that the generalizations obtained in the present paper are interesting improvements of known ones, are derived; examples, showing that the restrictions imposed on elements generating the ideal \\(I\\) are meaningful and needed, are also pointed out. Finally, it is shown that the right derived functors are not that interesting. Part (iii) of Proposition 1.5 should read \\(L^ I_ i(M)=\\emptyset\\) for \\(i\\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$A9A832D3-31B5-4623-9CCF-4FDF7E7C8F4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72cd587b354cac815391f6141a61b97fce0fd980","datavalue":{"value":"18E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$F568063D-A327-4520-97E7-BD848439C8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$278DD5A7-D43C-4F21-8542-070723EB667F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7a6f93116eacf16938a242fbbf4106fb5ce9b9a","datavalue":{"value":"63621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$5B3F7F95-EF47-4275-BE9C-3C6A51F0E9CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c81f551537798eeb12d451ec1eaf2f65902b50c","datavalue":{"value":"completion functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$489E8FEC-806C-42D0-8A51-369EE9B4DF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5fbc5f3b11d810ead970de5c7e526acc4d26f5","datavalue":{"value":"left derived functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$D92B4BE6-1C28-4C90-8177-ACF5ACCA9147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f8463cc0014fbe0ed97861c0fe997ae3c576f0","datavalue":{"value":"\\(I\\)-adic completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$5BE1D58F-0225-423C-8A8D-3137F435BCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199bfe91e203c4353c5fa45a06ac6efecab4de6e","datavalue":{"value":"local cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$6080232B-779E-4B86-9CE3-6E9F0800DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e641f944613c8ddd14f644e869502f2d586f9559","datavalue":{"value":"local homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$7A15D18C-7F70-4E1C-B24B-E6FBE250B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194046$E22ABAFA-37AC-42DE-A972-1D3176612BCF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28f02955c8340e035197f5752ed8c5b91f1f611d","datavalue":{"value":"Q56003591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$80D29A4B-82AC-40FC-AAEA-6D22DBAAA0EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93733b7307c09724e067f685570775d9d4bde972","datavalue":{"value":{"entity-type":"item","numeric-id":1673653,"id":"Q1673653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$9B36ED9B-8C7A-4F2B-B999-777BFAB86236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a34cde6b9e64dfad5424fd0b6337be736df693","datavalue":{"value":{"entity-type":"item","numeric-id":1229015,"id":"Q1229015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$A5FB3524-0259-4A29-B867-23152809F091","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":"Q1194046$51C12496-BE9C-430F-947C-6231C57EE16F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$EFB37C41-A8AF-444A-B559-6D66BF989481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00390c5f8e3121603866f549f8e95cc3aebf0e8c","datavalue":{"value":{"entity-type":"item","numeric-id":4010489,"id":"Q4010489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$6AA6620A-D3C5-4B7B-9030-AB1395541FCA","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":"Q1194046$B9EF10A1-CACD-45E2-A044-E492EE56A6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce38ecce4ff70c4cba05ce9ffdf2a76d10ab42d3","datavalue":{"value":{"entity-type":"item","numeric-id":2626755,"id":"Q2626755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$E6E16E4E-0347-4AD5-BCAA-3FCA0F8684C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa998957761b48ed0304ddb043c7bdf2db611a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2536361,"id":"Q2536361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$D8FBF366-01E5-483F-810B-95182B11240E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$5652757E-8036-4B21-A6E7-C635883D91EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66852fdc6352d405e784eeb0554bf3d93a1cc86c","datavalue":{"value":{"entity-type":"item","numeric-id":3284638,"id":"Q3284638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194046$A49A8CA4-10C9-437C-8399-2A90FA8CB758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d63c2ee49ca2d8869ff2689d3d113a2fdd476e7","datavalue":{"value":"https://doi.org/10.1016/0021-8693(92)90026-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194046$C6B32500-FCB5-4A3B-B1E7-FA3B8C5D2701","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5627444698cd7ecc237d44d24e7fe4bf057b8ee","datavalue":{"value":"W2087076463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194046$925B61FC-972F-48E6-9353-E6A7FE194573","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f2e820d2b27fd051be1b74964beb14d485ec5e","datavalue":{"value":{"entity-type":"item","numeric-id":5305984,"id":"Q5305984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57835d6cda26fb5c43ba1c2752569f2492a6fa99","datavalue":{"value":{"amount":"+0.95992327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$64A46881-72DB-43F2-948C-78E28C3D78A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a89d5b1340be644e74f083ef323085f4b36f38","datavalue":{"value":{"entity-type":"item","numeric-id":2865129,"id":"Q2865129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51059926741d962a481c1f1c438a0b1d041213c","datavalue":{"value":{"amount":"+0.92641616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$B0FB7609-2055-4F72-A6FE-972995CDF5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e3babbee9e18501affbcb33f426e87912c1609","datavalue":{"value":{"entity-type":"item","numeric-id":2743674,"id":"Q2743674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396db6a4e28995e2f2ed06568653d1bcfd2e22e6","datavalue":{"value":{"amount":"+0.917476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$4B78B88F-D50A-4D70-BD61-0468B449B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25eefcc6b3f117b62faf0d6d40d996db8c93ddbe","datavalue":{"value":{"entity-type":"item","numeric-id":2366861,"id":"Q2366861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec796d96c53a9e58944d35430c1e2990f41d7bff","datavalue":{"value":{"amount":"+0.9057162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$B57B4A90-E6C7-4F2B-92C8-4194F36EE8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc976d01dedb9fc2840a55629d66f1a0e84e879","datavalue":{"value":{"entity-type":"item","numeric-id":1126558,"id":"Q1126558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06449b3a4a607f6a4835a4de36f3ce7e2aca6233","datavalue":{"value":{"amount":"+0.9019575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$4033F6E5-0858-466A-8DC7-26BEF7DCA9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fcd58c0a8488a390de9d5f3bd79cae391409503","datavalue":{"value":{"entity-type":"item","numeric-id":1696516,"id":"Q1696516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5809986ff345723df27fb5a0393cd6922c12b6f","datavalue":{"value":{"amount":"+0.8999834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$76223AA5-49D8-4AF4-B1DA-EDC51E342E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e166bbe8f24027e58d10632c2236d647649a3123","datavalue":{"value":{"entity-type":"item","numeric-id":2463857,"id":"Q2463857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed5af20ffdd43cb45d1a4287cefea991e9a21c0","datavalue":{"value":{"amount":"+0.8959083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$C34BB7DB-4A33-4E18-BC37-B49827F930A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7406325e3bc34d7d2875d70bf2c40aeccc8946eb","datavalue":{"value":{"entity-type":"item","numeric-id":2922702,"id":"Q2922702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f2e58d0da2bc14433b9b2c2bb6e6ae8f727d4c","datavalue":{"value":{"amount":"+0.89519787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$0FB8E4CF-9ED4-4772-BCAD-35305D91DA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07021ddcd24b4913bab010f876afdb0a38fb0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1309823,"id":"Q1309823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac11893745012e5564c23f3a3cbb6ad371d9759","datavalue":{"value":{"amount":"+0.8931351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$4E0CF8CB-C902-4379-8A82-146F7A9CC2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b11c1fb5d14fe3770e3f835a95fc4cc1682893c","datavalue":{"value":{"entity-type":"item","numeric-id":5242507,"id":"Q5242507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c7c9540ae6f13983c44da9d85d8be02dab0311","datavalue":{"value":{"amount":"+0.89244205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1194046$AE27AE65-E6DB-4E2C-901F-A0255E7732A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derived functors of \\(I\\)-adic completion and local homology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derived_functors_of_%5C(I%5C)-adic_completion_and_local_homology"}}}}}