{"entities":{"Q1095231":{"pageid":1105983,"ns":120,"title":"Item:Q1095231","lastrevid":69628956,"modified":"2026-04-13T08:19:05Z","type":"item","id":"Q1095231","labels":{"en":{"language":"en","value":"The dual of the grade of a module"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027702"}},"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":"Q1095231$33AC77F5-4BBB-4462-8492-2B48DB2DE24E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f7e19a7bb2dbb9e0671e899382e0a17a0f4c1e8","datavalue":{"value":{"text":"The dual of the grade of a module","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095231$68E85B4D-1E84-4429-8F7D-5416A7D8CC03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d4d32081367b2dcdf3eda596d96a0a52044b176","datavalue":{"value":"0632.16018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$98758E69-FBC1-4393-8252-5FB2388DD182","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dff2922258ca57785f99155206f901a7a7fd024c","datavalue":{"value":"10.1007/BF01194018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$B77FC3B7-9B80-4AF7-B556-6257523D373D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c725258c50cfe55ecb897b1f54521701972eee0","datavalue":{"value":{"entity-type":"item","numeric-id":206783,"id":"Q206783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$2BE438D1-5259-44A2-8E5B-EE94F54C28D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$2A613B6A-6A7F-4F92-8F7C-4B98331AA1EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1095231$F1998B9B-4DEB-4C08-A838-2F97D59AE7E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"759e609cb4a7a625296f111c0aa02cb9466b9b59","datavalue":{"value":"E-dimension of a module M, denoted E-dim M, is the least n such that \\(Ext^ n(E,M)\\neq 0\\) for some injective E. We prove that if R is a left coherent ring, \\(_ RM_ S\\) an R-finitely presented bimodule, and \\(G_ S\\) an injective module such that \\(Hom_ S(M,G)\\neq 0\\), then  \\[  \\text{grade}_ R M\\leq E-\\dim _ R Hom_ S(M,G)\\leq \\text{proj.}\\dim_ R M.  \\]  If \\(G_ S\\) is an injective cogenerator of S, then grade \\(_ R M = E-\\dim_ R Hom_ S(M,G)\\). In particular, if k is the residue field of an n-dimensional regular local ring, then \\(E-\\dim k=n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095231$EAA5C109-3A41-45A4-AAA7-D71296CC5A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c13be2eca7bed2b0ef1efb2c1dbea21a34fcf","datavalue":{"value":"16E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$72E3CE02-A8EF-4F4A-BDA6-4C0CC8496580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59468a913be5e3daa38c40f41f68743380f8fa93","datavalue":{"value":"16D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$28F1BA4D-256A-490B-8986-19225CC907ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$4B2468BA-856B-40A9-854A-89016F61DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$E93A83CB-6C2D-4D95-9396-4FF60FBEED49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc40b9513bea25fc3c3e4607c4a1be0e6b7fc6ab","datavalue":{"value":"4027702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$996F2E18-0E88-484C-9391-2EA373470205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2320d117893ad156bbc81cd7857dcd0c57c0e9","datavalue":{"value":"left coherent ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095231$39BAD583-0E90-4800-AB66-70ACBC85112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01ad9a06222a51ccfb118cbbe501e6931626670d","datavalue":{"value":"finitely presented bimodule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095231$58A0F4F5-1DBE-4923-B9C8-7E9EE8E57164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898d35c5b618031e00de7be7e8bd21e998b374b8","datavalue":{"value":"injective module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095231$A6C7B4B6-AFBE-4D19-B5F3-27289ABFADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2ad5dd3f6fe11f68db408c295894ecfb570fdb2","datavalue":{"value":"injective cogenerator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095231$C3BE1C08-7D45-4A56-BAAE-2A26410E6938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40db73407da9605b5ca1d02685f12a4c126b232d","datavalue":{"value":"regular local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095231$9302E1EA-5F43-48D9-89A7-88F127F97718","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":"Q1095231$3B38FBBC-EBB5-4858-8D3A-7195E12A28A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25ec75e5adf3dafc5cb23e648fe775a9c2d5e96","datavalue":{"value":{"entity-type":"item","numeric-id":1153973,"id":"Q1153973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$A63EA810-CAC5-40D5-8D26-CBE3F6C78701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8372b41f81eaf886b8de5d24e3bc53acd6e120","datavalue":{"value":{"entity-type":"item","numeric-id":1223450,"id":"Q1223450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$C4851C25-4EAA-4C0D-A900-9DBFB7775AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d161abb697899c496b5448345079b371e0bedc5","datavalue":{"value":{"entity-type":"item","numeric-id":5567923,"id":"Q5567923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$2E4F0F33-5E0A-48CB-BB6A-5B633F068D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6844fb6e53472b8b2b47e29f792b9d669b67f8","datavalue":{"value":{"entity-type":"item","numeric-id":2540440,"id":"Q2540440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$2EC8B135-9B9B-47D4-B312-1AB71061225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063fe0c121c4402e11aa644bdaf6634347ab7ef7","datavalue":{"value":{"entity-type":"item","numeric-id":3754079,"id":"Q3754079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$5B3A0ADD-DD76-47E6-909F-293A12BE5535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41c5d14fd3b298ecbf72d80a5fe11cbbb13a5a1","datavalue":{"value":{"entity-type":"item","numeric-id":5603302,"id":"Q5603302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$AFBB6CEF-AC37-4330-839B-15244CC605F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d604eebcd8871258b4b24b3528b4db7d343a83","datavalue":{"value":{"entity-type":"item","numeric-id":770070,"id":"Q770070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$3A2337E5-21DF-4AFA-B040-F8FD0F482979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38e13e252ef4142441c0e6865510773ed893f0e","datavalue":{"value":{"entity-type":"item","numeric-id":4771352,"id":"Q4771352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$16580A0E-31C1-4A97-9032-91F90731B966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db643ad0703d494d26b90c99ebbc4d1aa08c4add","datavalue":{"value":{"entity-type":"item","numeric-id":758519,"id":"Q758519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$DFC05570-1B29-4B62-8719-50B32AC4F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f988a8816c48fd2e2ae442b9c0741b1460827ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3244153,"id":"Q3244153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095231$5131183B-DCE5-4ECE-A715-4C5FF2AE4521","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c29e13cde33cd0332625533b3550c4a47d03f0","datavalue":{"value":"https://doi.org/10.1007/bf01194018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095231$539AA1C0-CEFF-4555-942E-61466E67D322","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67147d185a8d89d0880d08263451e4c5b6722f5d","datavalue":{"value":"W2068180673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095231$E17DC431-F7C6-4858-B15D-2F3A4161F905","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155029f49a8a24443a8b91b18882ae4f4e75f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773977,"id":"Q3773977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19261d25088ab3604dc0bd52a91b15ed01b251af","datavalue":{"value":{"amount":"+0.90525293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$1065EFA9-4326-4820-8521-6605C1E9B9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d5ffedd181df090ea54020dbc355f0b6deaff9","datavalue":{"value":{"entity-type":"item","numeric-id":3804814,"id":"Q3804814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9653794f54d3ac0bc28c29ad0447f5246d245c","datavalue":{"value":{"amount":"+0.89925957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$C8780138-B875-42AF-BDF5-F4098B7D42A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8dd9602552fcb7aa221e6a4ffc660f65b9ec276","datavalue":{"value":{"entity-type":"item","numeric-id":4892619,"id":"Q4892619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286830730852a7180ce083ae6eaf00025d00398f","datavalue":{"value":{"amount":"+0.8855748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$48442CF4-E997-488D-B0C3-CE609EAC7430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa98853dec2e25e1a77b3eee2054ee039d5d462","datavalue":{"value":{"entity-type":"item","numeric-id":1094468,"id":"Q1094468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a56227c616095900d6dd8eb835fdfa93d7c1a6","datavalue":{"value":{"amount":"+0.8833025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$A40517B4-F73B-485C-A5D8-2E11175BDE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466603985c5d1bd921bafb5fb195ebc35c0d5756","datavalue":{"value":{"entity-type":"item","numeric-id":498646,"id":"Q498646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae56cd82a0a774bc8acdeef28ba3c5fb752ac4e9","datavalue":{"value":{"amount":"+0.88307875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$643CBD25-5EBA-41A5-9024-746B7D3EB8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e64c1f528f9328008c2aa67b0f0bf194a5bccd9","datavalue":{"value":{"entity-type":"item","numeric-id":4276556,"id":"Q4276556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b93ddf0e398ef51d5507c3b51d5db8b27bd2d33","datavalue":{"value":{"amount":"+0.8807759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$0B17A8C5-C6FE-4B9E-8E88-BCE3193A9BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e96a034dba4e060802a8f1aebdba43c3255976","datavalue":{"value":{"entity-type":"item","numeric-id":4316447,"id":"Q4316447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a094e44ccca216a5562235d2b17fdec914392b","datavalue":{"value":{"amount":"+0.8741322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$9E568C0C-3698-4212-9969-7C981BF5B4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eda811fbddf80033f63f22e5a7119645bbe8fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2673083,"id":"Q2673083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c791bb4c7ceaf7bd0bcccf38d43025bda1f31d0c","datavalue":{"value":{"amount":"+0.8725658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$07847EA4-CC8C-470A-B9F6-C44310ECB7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e752fa7573299fd7dc0c3cf6fcfe1aa838b8f18","datavalue":{"value":{"entity-type":"item","numeric-id":3641072,"id":"Q3641072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323e636741aad61380989c3256020f20472833fa","datavalue":{"value":{"amount":"+0.87187976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$BD7651DD-1349-4EF3-98C2-566E3F38EE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4817fbf7f1ff11cf554ac7ceb0ec6591b519d05c","datavalue":{"value":{"entity-type":"item","numeric-id":4283386,"id":"Q4283386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18732811d2e44ca67cc7b9f5b7fb64727f5c8f9e","datavalue":{"value":{"amount":"+0.86889076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095231$068F3CC9-6AB1-4F5D-B234-D42CDB622230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The dual of the grade of a module","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_dual_of_the_grade_of_a_module"}}}}}