{"entities":{"Q1407644":{"pageid":1418384,"ns":120,"title":"Item:Q1407644","lastrevid":67372920,"modified":"2026-04-12T17:11:27Z","type":"item","id":"Q1407644","labels":{"en":{"language":"en","value":"Core of projective dimension one modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982561"}},"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":"Q1407644$0D8746FE-75AA-4413-84B5-7419398A587D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dea12ede08e7afa68556d17ccac4fc719e0a8256","datavalue":{"value":{"text":"Core of projective dimension one modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407644$500D5A43-AB99-4AC5-9E6F-CE4336104FFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"602cc7e9ee5e7197ff0317f2ef5a5ddeff5b9d21","datavalue":{"value":"1029.13013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$3BC128F2-F549-4969-9CEC-0ACD9FB23C5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bb985e0caa025477fa9f4431c06208eef07af76","datavalue":{"value":{"entity-type":"item","numeric-id":216000,"id":"Q216000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407644$D6935CCE-C790-446A-90C2-59CB240DDE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ba4c377fc7eee9ef3ec76f654490c308ee3b9f5","datavalue":{"value":{"entity-type":"item","numeric-id":216001,"id":"Q216001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407644$8F436B57-8387-440F-BE57-CB75C10EB1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"635b8c6e9aa894efff9260d8c5a17cfd0f0af1c3","datavalue":{"value":{"entity-type":"item","numeric-id":209632,"id":"Q209632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407644$DAA4BB3A-D676-4CF2-842C-0E5600307314","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407644$00895EFC-9DF5-4CE7-8016-E3116D99329E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407644$33E8072A-C94A-49F8-8110-0B71BE40F931","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd016e6a0eabf2802ae98c447de42ff356b36a4b","datavalue":{"value":"https://arxiv.org/abs/math/0210072","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407644$D5927B5C-1F99-4DE6-B435-EE25D6694CF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12616d874e1bd919ff5a93d6db019f1d311f3d24","datavalue":{"value":"Let \\(R\\) be a Noetherian ring and \\(E\\) a finitely generated \\(R\\)-module with rank \\(e > 0\\). Let \\(\\mathcal{R}(E)\\) be the Rees algebra of \\(E\\), the symmetric algebra of \\(E\\) modulo its \\(R\\)-torsion. We say that a submodule \\(U\\) is a reduction of \\(E\\) if the equality \\(\\mathcal{R}(E)_{r+1} = U\\mathcal{R}(E)_r\\) holds for any \\(r \\gg 0\\). The reduction number of \\(E\\) with respect to \\(U\\) is defined to be the least integer \\(r \\geq 0\\) for which this equality holds and denoted by \\(r_U(E)\\). If \\(R\\) is moreover local with residue field \\(k\\), \\(\\dim \\mathcal{R}(E) \\otimes_R k\\) is called the analytic spread of \\(E\\) and denoted by \\(\\ell(E)\\). A reduction of \\(E\\) is said to be minimal in case it is minimal with respect to inclusion. The reduction number \\(r(E)\\) is defined to be the minimum of \\(r_U(E)\\), where \\(U\\) ranges over all minimal reductions of \\(E\\). The core of \\(E\\), \\(\\text{core}(E)\\), is the intersection of all reductions of \\(E\\). We write \\(\\text{Fitt}_i(E)\\) for the \\(i\\)-th Fitting ideal of \\(E\\). We say that for an integer \\(s\\), \\(E\\) satisfies the condition \\(G_s\\) if \\(\\mu(E_p) < \\dim R_p + e \\) whenever \\(1 \\leq \\dim R_p < s\\). The main result is as follows:    Let \\(R\\) be a Gorenstein local ring with infinite residue field and \\(\\text{proj dim} E = 1\\). Assume that \\(E\\) satisfies \\(G_{\\ell -e +1}\\) (\\(\\ell = \\ell(E)\\)) and is torsionfree locally in codimension one. Then the following conditions are equivalent.    (a) \\((U \\colon_R E)E \\subset \\text{core}(E)\\) for some minimal reduction \\(U\\) of \\(E\\);    (b) \\((U \\colon_R E)U = (U \\colon_R E)E = \\text{core}(E)\\) for every minimal reduction \\(U\\) of \\(E\\);    (c) \\(\\text{core}(E) = \\text{Fitt}_\\ell(E) \\cdot E\\) ;    (d) \\(U \\colon_R E\\) does not depend on the minimal reduction \\(U\\) of \\(E\\);    (e) \\(U \\colon_R E = \\text{Fitt}_\\ell(E)\\) for every minimal reduction \\(U\\) of \\(E\\);    (f) \\(r(E) \\leq \\ell - e\\).   As a corollary, we have a result due to \\textit{R. Mohan} [J. Algebra 189, 1-22 (1997; Zbl 0897.13010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$3020FE9D-FF30-43E4-B198-FB7861FCB546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$1298B069-4526-4ABD-A59F-A386AA66E25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$A82B1CDF-C8FE-4DCC-9687-E390C9B7035F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9dd685d198780361a1c3e1544313097f92c33bde","datavalue":{"value":"13D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$895015D0-9CA5-4F76-BE64-E5551F90B89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00b57ad4427337de71ca891b07759c4534c98423","datavalue":{"value":"13B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$DBF5959A-8109-4013-A55E-993833056F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$E43213DB-13A9-4B95-864F-2E2410620D0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"562ccf74e28af4247bd7af0cc40e19fef8601e25","datavalue":{"value":"1982561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$C7E9C32A-B5A5-459B-AD20-6A4720E3B1E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a2bc3c06e38ba3de1496de003fc6462c7ee21b","datavalue":{"value":"reduction of a module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$A1E44821-810B-43A0-BDE3-F425FC9A1B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6a9dae1d0493e60a7ea2a2fd385aa24ed05391","datavalue":{"value":"reduction number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$4E5E745A-B09C-454B-BDB4-F6966A75A534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b5f0634f126ece87b956e4be1872cde910d071","datavalue":{"value":"analytic spread","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$05C0D511-057D-4B14-920F-264AC311F08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc687de03e12340cc9edc50d66a464ea1f2b1866","datavalue":{"value":"core of a module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$600602A2-C157-42A2-B55B-37960EA003D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0262b8ba59db5e996b7851142a77e6346287cc","datavalue":{"value":"Fitting ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$3BFFA58B-DD61-44B1-B9C2-AAD74790855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99bf76088f7c0d86f8ad372720af624a007f759","datavalue":{"value":"Rees algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$755EE42E-4441-4E9E-BBFF-E4ED6F48718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b340ebeb9015568b438fd1993aca8d8acbfbae50","datavalue":{"value":"Gorenstein local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407644$32EA4A39-B6C7-4CD4-9473-B9D9B557FF2B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9803748f0810bee35abb7d020d30371873977d14","datavalue":{"value":{"entity-type":"item","numeric-id":588196,"id":"Q588196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407644$B830625F-39CD-4273-A978-9DEE4F069041","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":"Q1407644$C61818B2-6CF6-4BF5-9371-4FE8D327505E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eadf8231703edb6e45e4c37a283f990558f8a3de","datavalue":{"value":"W2009498785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$E96CBE53-847E-4207-B017-41AE843E850D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a43ebccd0e8ef3998dfd6bca984a6789fe77817","datavalue":{"value":"10.1007/S00229-002-0329-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407644$74B47CED-18CE-4E34-9BEC-07E889548DF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba15f0ecf16b8db06472cbf5c95f64ef99c17ff5","datavalue":{"value":{"entity-type":"item","numeric-id":6155812,"id":"Q6155812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f267335ab64a263b3bdf93145a82aac2423e5beb","datavalue":{"value":{"amount":"+0.8693680167198181","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":"Q1407644$8A67AD3D-CEC0-4F42-8681-8601BA973A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fecb9dbddc849e1b5a71d37ae6119c7eaa42a4","datavalue":{"value":{"entity-type":"item","numeric-id":1355573,"id":"Q1355573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365a1cea2d52f1d5d2cfa0bf9c0807c0c50b3cf8","datavalue":{"value":{"amount":"+0.8402654528617859","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":"Q1407644$44DBA169-401E-4B83-BA8C-7952DAB67B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0bfc9366d52324b11552c1efa45fa1acd17368","datavalue":{"value":{"entity-type":"item","numeric-id":5949432,"id":"Q5949432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365a1cea2d52f1d5d2cfa0bf9c0807c0c50b3cf8","datavalue":{"value":{"amount":"+0.8402654528617859","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":"Q1407644$6C125684-2618-424A-AB51-0CB76D1D13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e5bf7587a17ec225f0a19a8ea7e6f0ea5416e7","datavalue":{"value":{"entity-type":"item","numeric-id":1772080,"id":"Q1772080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611bb5e543c7dcffff3dbf443a0f3fe8c22cd2cc","datavalue":{"value":{"amount":"+0.8161553740501404","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":"Q1407644$0D795279-49AA-45DB-9EA1-F55DBBA7512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4e0042812d4c4b4998f4942d7f8ba3ea2c088e","datavalue":{"value":{"entity-type":"item","numeric-id":841535,"id":"Q841535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a448530eb36baf0f86bf01104773a3d996e0fa22","datavalue":{"value":{"amount":"+0.8075196743011475","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":"Q1407644$4A31E570-45B7-458E-A62B-F117AB1C6156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Core of projective dimension one modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Core_of_projective_dimension_one_modules"}}}}}