{"entities":{"Q932929":{"pageid":934777,"ns":120,"title":"Item:Q932929","lastrevid":65479596,"modified":"2026-04-12T02:52:45Z","type":"item","id":"Q932929","labels":{"en":{"language":"en","value":"A criterion for integral dependence of modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5302021"}},"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":"Q932929$CCA2E724-C930-4F7B-9705-F2ABE072E308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc6db23ce83701e2571ddd8d59f5175f41721b7","datavalue":{"value":{"text":"A criterion for integral dependence of modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q932929$535AD2C6-F6FC-4E02-99DA-45DEDEF866A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0406d20a92abd69e8dcf2101a85fc91ed88d3e7c","datavalue":{"value":"1145.13001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932929$17218858-E174-4197-AAB4-9AA734002EBD","rank":"normal"}],"P16":[{"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":"Q932929$8ECB0E79-2188-4126-8895-254A52A6B502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"815cbf55f87c7f2637f21323ee169394eafb1abd","datavalue":{"value":{"entity-type":"item","numeric-id":472997,"id":"Q472997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932929$EFE37ADA-2F2F-4012-BF93-B1D207657BF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932929$A3B4E984-A194-4082-9752-D112FD652CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef23f451c63fbed589b4692fdb97271c9dafb789","datavalue":{"value":{"time":"+2008-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q932929$F3B6BF9A-47BC-4B40-AFEE-201BFF832319","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef96e2cb988ffd2d50b3b6c96925f1e476eff060","datavalue":{"value":"The purpose of the paper is to give a multiplicity based criterion for a finitely generated module to be integral over a submodule.  Let \\((R,\\mathfrak m)\\) be a noetherian local ring of dimension \\(d\\) and \\(E\\) a submodule of a free \\(R\\)-module \\(F = R^e\\). The function \\(\\Sigma(n) = \\sum_{i=0}^{n-1} \\lambda_R(H_{\\mathfrak m}^0(E^iF^{n-i}/E^{i+1}F^{n-i-1}))\\) is a polynomial of degree at most \\(d+e-1\\) for \\(n \\gg 0\\), where \\(\\lambda_R\\) denotes length and the products are taken in the polynomial ring \\(\\text{Sym}(F) = R[x_1,\\ldots,x_e]\\).   The \\(j\\)-multiplicity \\(j(E)\\) of \\(E\\) is defined as follows:  \\[ \\Sigma(n) = \\dfrac{j(E)}{(d+e-1)!}\\,n^{d+e-1} + (\\text{terms of lower degrees}). \\]  Then the main result is stated as follows.  Theorem 1.1. Let \\(R\\) be a universally catenary locally equidimensional noetherian ring, let \\(U \\subset E\\) be submodules of a free \\(R\\)-module \\(F=R^e\\), and assume that \\(U_{\\mathfrak p} = F_{\\mathfrak p}\\) for every minimal prime \\(\\mathfrak p\\) of \\(R\\). The following are equivalent:     (i) \\(j(U_{\\mathfrak q}) = j(E_{\\mathfrak q})\\) for every \\(\\mathfrak q \\in \\text{Spec}(R)\\).   (ii) \\(j(U_{\\mathfrak q}) \\leq j(E_{\\mathfrak q})\\) for every \\(\\mathfrak q \\in \\text{Supp}(F/U)\\) with \\(\\dim R_{\\mathfrak q} = \\ell(U_{\\mathfrak q})-e+1\\), where \\(\\ell\\) denotes the analytic spread.   (iii) \\(U\\) is a reduction of \\(E\\), i.e. \\(E^{i+1} = UE^i\\) for some \\(i \\geq 0\\).  In section 2, the \\(j^\\ast\\)-multiplicity \\(j^\\ast(I,M)\\) is defined for an ideal \\(I\\) generated by linear forms in a standard graded noetherian algebra \\(A\\) over a noetherian local ring and a finitely generated graded \\(A\\)-module \\(M\\), and then the implication (iii) \\(\\Rightarrow\\) (i) is proven in a more general setting. In section 3, the \\(j^\\sharp\\)-multiplicity \\(j^\\sharp(I,M)\\) is defined, and the implication (ii) \\(\\Rightarrow\\) (iii) is shown. In the last section 4, the \\(j\\)-multiplicity \\(j(I,M)\\) is defined, and a generalization of theorem 1.1 is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$5ECE5159-9D96-47CB-97ED-3B2249151B11","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":"Q932929$DFBD6D26-5838-4B1B-B78C-C3152C5B3E53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5820de88e9d6d8e1a59edda9f40b2ee12cdbd7e7","datavalue":{"value":"13A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932929$8AE08E96-848D-4D56-989B-939A39214EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932929$5FF95F26-4971-4720-8061-9FC9FEB96FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932929$CED31C8B-D2BE-417F-AAEE-A515D6D640A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1ee22e70c3e9d098531664c597c5df765b473ce","datavalue":{"value":"5302021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932929$5F3FC452-ECFE-4F9C-AC0B-37DBE557B3B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$3A2BAED1-6122-45C6-B960-A441C93E7FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3caac7c8bc179ce9a4b34ceac47909913039cadb","datavalue":{"value":"integral dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$C5235C18-91D7-4311-B84B-39E59B3B3C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2de4f38bb8e104c46346f2083310a0e8fdfae","datavalue":{"value":"\\(j\\)-multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$46BE923D-E2CA-4DD9-B189-36EF3908C0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b5f0634f126ece87b956e4be1872cde910d071","datavalue":{"value":"analytic spread","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$7DA234AB-21A5-44DB-9D81-C978F91926BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22ead4059e7e5052a31398c85b2dd891430752c2","datavalue":{"value":"extended Rees module","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$B0923FB5-A22C-459C-A2D0-4661EE9E4E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61574a4ba3b48d9228efaa1350b4f45dafd3f63a","datavalue":{"value":"internal grading","type":"string"},"datatype":"string"},"type":"statement","id":"Q932929$2CA7A4CB-5241-4920-AD64-C27CD1FA2477","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":"Q932929$F4118F27-A59E-4FF8-AEFA-B5D9D0A1CDF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfce6b74807ee0eb7b74ac6c161bd8f2d8b35de8","datavalue":{"value":"10.4310/MRL.2008.V15.N1.A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932929$A7CC3136-DE9F-46DA-9912-2E803D82AB0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e6c933d9e062348205677c2358f92ea2acbed7","datavalue":{"value":{"entity-type":"item","numeric-id":3006532,"id":"Q3006532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8282720fec387d5529533a499e79497cce2bb9e0","datavalue":{"value":{"amount":"+0.8617082834243774","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":"Q932929$11000204-951B-4425-A112-E474DBFBE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9034e373b2f8ebcb40f0ce1bd684d8d1003c3821","datavalue":{"value":{"entity-type":"item","numeric-id":370843,"id":"Q370843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89920d7d4c3a0413e859d203a946fbd8e34d84ec","datavalue":{"value":{"amount":"+0.8368902802467346","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":"Q932929$39C90922-73B8-40D8-B898-73280F617237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74c203e89e7ea10cba8066d5e39162fd8e086d7","datavalue":{"value":{"entity-type":"item","numeric-id":2205562,"id":"Q2205562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a2fc99beb335e402a2f65d7cb410fbbcbc3cc4","datavalue":{"value":{"amount":"+0.8193002343177795","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":"Q932929$9AF33E44-5ECA-4BC3-BCE2-F3D9E0CF4EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3dfc573d6ab1ed9fca9d01488e7c46030b19ecd","datavalue":{"value":{"entity-type":"item","numeric-id":4852263,"id":"Q4852263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9ab36ca1de4dbf01ab62f9f1aec5ce66903a59","datavalue":{"value":{"amount":"+0.8023806214332581","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":"Q932929$E6942F9D-1CCF-43F6-A1C4-B81CFFF0F040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a40f18bf48aae8d64015f749a538dbb22165c88","datavalue":{"value":{"entity-type":"item","numeric-id":4924086,"id":"Q4924086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb339c04fddd0277a5218bb837359c860d7439d","datavalue":{"value":{"amount":"+0.8017550110816956","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":"Q932929$8B9985E9-F65A-4B73-9786-BDD85196D826","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A criterion for integral dependence of modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_criterion_for_integral_dependence_of_modules"}}}}}