{"entities":{"Q2738763":{"pageid":2749502,"ns":120,"title":"Item:Q2738763","lastrevid":47663497,"modified":"2026-01-02T09:13:10Z","type":"item","id":"Q2738763","labels":{"en":{"language":"en","value":"On modules and submodules with finite projective dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1639887"}},"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":"Q2738763$CAEE8562-57CA-446B-9B36-B7ACB9451393","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64cf618c14bcf731f1836fc589c624ace9d9d1c3","datavalue":{"value":"0989.16006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738763$44AB4BE5-4189-42B2-8FD0-BBF99620F270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"376aaf1740af05b888daf45e8d11d5d06f385dfd","datavalue":{"value":{"time":"+2002-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2738763$5C6ADA27-6F03-4140-91B2-6D31AC66A593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c51c13be2eca7bed2b0ef1efb2c1dbea21a34fcf","datavalue":{"value":"16E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738763$055220B9-7928-4D83-A741-9EA2768481D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af8bc373c6b3dbb00fb5063d72d87f1d5b163800","datavalue":{"value":"16D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738763$4A9B10E1-7409-4F5C-96CC-79A15343EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10d40b28c3d9191a27aa59f47859591f9e84c512","datavalue":{"value":"16P40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738763$4E954A3F-3E68-4F62-97F2-2F7CF5368983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0413f37ede06e01fdbd895606083b628994024ca","datavalue":{"value":"1639887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2738763$5465DBDA-F6A9-4011-8251-9259559DAA1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27705dd17397c5fb43fc2f99df04f2b3be46462","datavalue":{"value":"tight submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$E35E1E58-7F49-45FC-A3F3-EA7B1A8E4254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c5a83c0343326fa0b12687c45ab639045f7014","datavalue":{"value":"unions of ascending chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$9968FB90-75EF-4570-A250-77A86BCF5CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f26cf7338f3c383286336d074704236c7964cdb","datavalue":{"value":"\\(\\aleph_n\\)-Noetherian rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$543C6386-A960-4B95-9B7A-181E2D983C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce28c125f48a1ed2494194d56388790d07b37ab0","datavalue":{"value":"\\(\\aleph_n\\)-generated modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$FACAD046-2D90-43E3-AEFA-15613AFE4EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb476f56be4c984ff3732155d7714c33d96f6eb1","datavalue":{"value":"projective modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$54696139-C38B-44D1-9EBA-F7BEE84005CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57912aa5c084fb0d538635252c9e2a53e8622f59","datavalue":{"value":"projective dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$4BF8544B-CF55-4BCE-822B-1A96FFB24637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c79a09f05fe8b9f1b632fd88abccca5270b65ab4","datavalue":{"value":"increasing chains of submodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$AFBDD442-4180-4A40-95AE-643A959E7F26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d5ce16c8339a33c3cb48143de015094ee97c818","datavalue":{"value":{"entity-type":"item","numeric-id":338232,"id":"Q338232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2738763$FFEF8D25-B684-4648-9BF5-D0DDF5FB9DA4","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":"Q2738763$4398C67F-12F6-46E3-942C-09A8FC404661","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"271df65716134fd9a36940f78330455b45273960","datavalue":{"value":{"text":"On modules and submodules with finite projective dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2738763$204192EA-6349-40BF-A472-0F20A7019A6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7996686ef12f90424f1f394109e9b053d80352a0","datavalue":{"value":"Let \\(R\\) be an associative ring with identity and \\(A\\) a submodule of an \\(R\\)-module \\(B\\). A family \\(\\mathcal C\\) of submodules of \\(B\\) containing \\(A\\) is called a \\(G(\\aleph_n)\\)-family of submodules of \\(B\\) over \\(A\\) provided (a) \\(A,B\\in{\\mathcal C}\\); (b) \\(\\mathcal C\\) is closed with respect to taking the unions of ascending chains; and (c) for any \\(C\\in{\\mathcal C}\\) and any subset \\(X\\) of \\(B\\) with cardinality not exceeding \\(\\aleph_n\\), there exists \\(D\\in{\\mathcal C}\\) such that \\(C\\cup X\\subseteq D\\) and \\(D/C\\) is \\(\\aleph_n\\)-generated (has a generating set of cardinality no greater than \\(\\aleph_n\\)). The ring \\(R\\) is called \\(\\aleph_n\\)-Noetherian if every ideal of \\(R\\) is \\(\\aleph_n\\)-generated.NEWLINENEWLINENEWLINEThe main theorem of the paper is a generalization of Kaplansky's theorem on projective modules to modules of finite projective dimension.NEWLINENEWLINENEWLINETheorem: Let \\(n\\) be a nonnegative integer and suppose \\(R\\) is \\(\\aleph_n\\)-Noetherian and \\(B\\) is an \\(R\\)-module with \\(\\text{pd}(B)=n\\). Then the following are equivalent for a submodule \\(A\\) of \\(B\\): (i) \\(\\text{pd}(A)\\leq n\\); (ii) There is a \\(G(\\aleph_n)\\)-family \\(\\mathcal C\\) of submodules of \\(B\\) over \\(A\\), each of which has projective dimension \\(\\leq n\\); (iii) There is a smooth well-ordered increasing chain of submodules NEWLINE\\[NEWLINEA=A_0<\\cdots<A_\\alpha<A_{\\alpha+1}<\\cdots<A_\\tau=\\bigcup_{\\alpha<\\tau}A_\\alpha=B,NEWLINE\\]NEWLINE where \\(\\tau\\) is some ordinal number and, for each \\(\\alpha<\\tau\\), \\(\\text{pd}(A_\\alpha)\\leq n\\) and \\(A_{\\alpha+1}/A_\\alpha\\) is \\(\\aleph_n\\)-generated.NEWLINENEWLINENEWLINEA submodule \\(S\\) of a module \\(M\\) is called tight if both \\(\\text{pd}(S)\\leq\\text{pd}(M)\\) and \\(\\text{pd}(M/S)\\leq\\text{pd}(M)\\). Under additional assumptions, it can be stipulated that the submodules in the theorem are all tight.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00043].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2738763$2F8053D3-A2EF-4DD1-983E-8118342E134C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6865107c5cbf016122c5b8a57ea7bf7ab4d24b78","datavalue":{"value":{"entity-type":"item","numeric-id":1232462,"id":"Q1232462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2738763$75BB5701-7A84-4AA4-8279-D2FB82071C71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be02720509e5e697be033dea9e47923240a073c","datavalue":{"value":{"entity-type":"item","numeric-id":5185001,"id":"Q5185001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13e2ce0ce5d4591610f51fbf4db320422dd9f34","datavalue":{"value":{"amount":"+0.7918832302093506","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":"Q2738763$1169756E-F12D-455A-B560-EA8205334429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875e8715e3f9eacd2e084201ae4b3ee0f2b25f9c","datavalue":{"value":{"entity-type":"item","numeric-id":991585,"id":"Q991585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc77bca889ac2e89da7a800015757ef5de582c42","datavalue":{"value":{"amount":"+0.76002037525177","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":"Q2738763$9156D274-6C82-4FBA-9FAB-B34D8B26BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcc447e6cb97a878c92145d819a27fb5bf2ae3e","datavalue":{"value":{"entity-type":"item","numeric-id":2995436,"id":"Q2995436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd85a82cc83ac10a1042747ba599f0cbd2f8ea98","datavalue":{"value":{"amount":"+0.752242922782898","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":"Q2738763$1EE3854E-36B1-4BC1-BC74-9BADB65CCAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449f66b9204f68b8236fa1ddc3fbad1e08fb4113","datavalue":{"value":{"entity-type":"item","numeric-id":400810,"id":"Q400810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa0aed7bfe663bfd478503710aa3f0c14426062","datavalue":{"value":{"amount":"+0.7495791912078857","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":"Q2738763$FF67FE8D-821C-4A61-A843-F2022CF33BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a198c6e85ff522e5b277a07112af284c0ce2cf","datavalue":{"value":{"entity-type":"item","numeric-id":411884,"id":"Q411884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016ceb04cb0336a239f36c62cede33865d50492c","datavalue":{"value":{"amount":"+0.7428569793701172","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":"Q2738763$E73A42E8-167B-4710-8469-07F9F6D08E48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2738763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2738763"}}}}}