{"entities":{"Q798373":{"pageid":800221,"ns":120,"title":"Item:Q798373","lastrevid":64456035,"modified":"2026-04-11T19:59:46Z","type":"item","id":"Q798373","labels":{"en":{"language":"en","value":"Baire's category theorem and prime avoidance in complete local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869477"}},"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":"Q798373$BE2D5A3D-24B2-41CF-8716-9CC347E28DB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01683669247a7bd2761d19f31f76338112bf22a8","datavalue":{"value":{"text":"Baire's category theorem and prime avoidance in complete local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798373$9967AA7D-3827-43ED-8788-039EE58B5157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab6f9ef1eea0ae0d94b25632162d2372521f5436","datavalue":{"value":"0546.13002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$B862388A-826B-401F-8EDD-F9137CE03BE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b98dff180613077218d2075317c941eda9d3091f","datavalue":{"value":"10.1007/BF01237858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$4B9A57C2-0B08-4DD0-B3A7-FDEE9E62E7D2","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":"Q798373$0D4338A8-316A-431D-B01B-4CB524B99A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q798373$4A437E13-248A-42D3-BD85-BE9AEE8D648C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e241b7b9d4ade20fd766ace3d26ff3b67f2898e","datavalue":{"value":"Let A be a complete (commutative Noetherian) local ring (with identity) having maximal ideal \\({\\mathfrak m}\\). Let (\\({\\mathfrak p}_ i)_{i=1,2,...}\\) be a countable family of prime ideals of A. In Proc. Camb. Philos. Soc. 72, 369-373 (1972; Zbl 0242.13018), \\textit{L. Burch} showed that, if none of the \\({\\mathfrak p}_ i\\) is equal to \\({\\mathfrak m}\\), then there is an element of \\({\\mathfrak m}\\) which is not contained in any \\({\\mathfrak p}_ i\\). One of the purposes of the present note is to show that Baire's category theorem can be used to prove the above and other related ''countable prime avoidance'' results: it is shown that, for \\(x\\in A\\) and \\({\\mathfrak a}\\) an ideal of A, (i) if \\({\\mathfrak a}\\subseteq\\cup^{\\infty}_{i=1}{\\mathfrak p}_ i,\\) then \\({\\mathfrak a}\\subseteq {\\mathfrak p}_ j\\) for some \\(j\\geq 1\\), and (ii) if \\(Ax+{\\mathfrak a}\\varsubsetneq\\cup^{\\infty}_{i=1}{\\mathfrak p}_ i,\\) then there exists \\(r\\in {\\mathfrak a}\\) such that \\(x+r\\not\\in\\cup^{\\infty}_{i=1}{\\mathfrak p}_ i.\\) The paper also shows that the ''countable prime avoidance'' property automatically holds in a (not necessarily complete) (commutative Noetherian) local ring which has uncountable residue field.    In the second part of the paper, some of the above results are applied to a countably generated A-module M for which \\(M\\neq {\\mathfrak m}M\\) to show that at least some of the theory of grade and depth for finitely generated A- modules can be extended to such an M: it is shown that, if \\({\\mathfrak a}\\) is a proper ideal of A, then all maximal M-sequences in \\({\\mathfrak a}\\) have the same length, namely the least integer i such that \\(Ext^ i_ A(A/{\\mathfrak a},M)\\neq 0.\\) The paper concludes with an application to countably generated big Cohen-Macaulay A-modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$D254A0C7-1639-4662-A765-1C837C00BA89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$105B51F9-ADE4-4F56-9721-78AEA1BED731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e60bc2db4afa42b59916c01f920d658b244bf8fc","datavalue":{"value":"13J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$0F9CF54C-27B2-460B-BE93-BD09A10E6262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$355F3FCA-900D-475D-9D7A-722230A167AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3298214cb032d91ebd405c9f55d8e4bfff45f88","datavalue":{"value":"54E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$AB0DB887-F531-4018-A676-4D0EFCF83FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$9B8BB98E-D23D-4FE8-9B67-B718D40F48E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"948aa1fb9c132b8af64a8a1ee35d1e52801f0e0a","datavalue":{"value":"13H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$D5E77881-8F19-4087-9BA6-351A6EB719EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3146a0ed22f712c69d7d052f073fddfbff9f48d4","datavalue":{"value":"3869477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798373$727B81A5-9B51-4EEC-8B69-6B4C1BADCC7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adaa82da6875cd74c28f23046e444d7aed0d3db9","datavalue":{"value":"complete local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$E644CE63-5DC7-4EEF-B64D-22A3DD967F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997183b3a3ceffff9149a7d4e98078651a3fee8b","datavalue":{"value":"complete metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$A00561CF-A233-4578-AFCB-F9E9DCB41029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54da00120ff07fa2a40db635f09d28cbe523da78","datavalue":{"value":"system of parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$837A53AC-4A1F-4AAF-B5E3-1ACBF3BC4405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef74c3fc673144c7c8a7225a7a4af20a355df1fc","datavalue":{"value":"Noetherian","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$6EE38CDF-A000-4D60-8BBC-F540EB579BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2015c5d2dd3a245613f3e6533686d400eb338582","datavalue":{"value":"Baire's category theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$A2D61426-EC90-4D58-91F6-34FDAC7D11B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91f80773792c6a4e27e98598b914ea885d95e24","datavalue":{"value":"countable prime avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$F896B69D-0F50-4F38-90C3-BB3D24381DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03483040944d0eefed605133ee30a3988a8b457a","datavalue":{"value":"grade","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$FEB18C00-8B57-4DD3-9546-0B3B1B22F86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a5d0d4cf762e7c7ba742f2943056dfb033b4f","datavalue":{"value":"depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q798373$BC91A93F-95DA-4D75-A6DC-4FD266CF13A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c75e40902424cc2a9aa303bfbce4214a6caf343a","datavalue":{"value":{"entity-type":"item","numeric-id":420689,"id":"Q420689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$354BEEB8-F113-4E62-AA4C-F5DC2B15A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f191e009974a7c967c7209d2953b7eed4ba39a1d","datavalue":{"value":{"entity-type":"item","numeric-id":484553,"id":"Q484553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$814A9914-F296-4C41-AD36-E18D7F06F718","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":"Q798373$C6F90DFA-A373-4DAF-BB2B-2F7095DD524B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a7ff246ce834330f151f3edc9cb72bc3ff1b06","datavalue":{"value":{"entity-type":"item","numeric-id":5652785,"id":"Q5652785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$CB50BFD5-EFD2-4DE0-974F-EAF3A488603A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a0cb45b0375e79d4a2cb08039465fef222fa31","datavalue":{"value":{"entity-type":"item","numeric-id":5566981,"id":"Q5566981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$DD72706B-9B65-4CF1-A3FE-4F4E34A967D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8639470601d13620ad2a73e7e5fc9da9be076c","datavalue":{"value":{"entity-type":"item","numeric-id":4149557,"id":"Q4149557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$60573798-15FA-4D61-8920-79D768CFCBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6822416e777047c3c30928586e40242c15e8334f","datavalue":{"value":{"entity-type":"item","numeric-id":1230965,"id":"Q1230965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$69C1F3E6-2CE7-43B6-8942-3F3432160A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05018cbf28616af053d7b4f26c40f15dc93ffe61","datavalue":{"value":{"entity-type":"item","numeric-id":4055756,"id":"Q4055756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$603FF945-7DD8-4799-B6BC-29B3CB97A23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eedc84e4846e1cedc1e22a4904fd27a27ff4b2","datavalue":{"value":{"entity-type":"item","numeric-id":3237214,"id":"Q3237214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798373$533B7EEE-6B0B-4154-84BC-AF10BD7D3AB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5905cc2e56cf1a0b38c522ae073a602d3e90a3b0","datavalue":{"value":{"entity-type":"item","numeric-id":4735256,"id":"Q4735256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0519d8ed6574d7e95146a77436d7ec935189c722","datavalue":{"value":{"amount":"+0.8159867525100708","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":"Q798373$6CD86FDA-973E-4A85-A4C9-CF313B527ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a15a55d2be3ff4c7a3e815275d115653d46325","datavalue":{"value":{"entity-type":"item","numeric-id":2042122,"id":"Q2042122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9eaf9454d6d2dcb2d7bfa460cfc9166ed62210c","datavalue":{"value":{"amount":"+0.7314067482948303","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":"Q798373$1605620E-7BF6-4A92-8C91-167BB51BE51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11002e9f79c338fe2a4441b0178a7f551b67b300","datavalue":{"value":{"entity-type":"item","numeric-id":1348702,"id":"Q1348702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e15aca5fa5dd8486d167f350fd59f0f8a71097","datavalue":{"value":{"amount":"+0.7084228992462158","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":"Q798373$F5F6CF7D-5044-40AC-9540-7E3F1E5D6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6e77b46f40b51748af18f9f4e9d83104522b6e","datavalue":{"value":{"entity-type":"item","numeric-id":3717184,"id":"Q3717184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7e9a43e6c3382b3461eec69d631b58721aca88","datavalue":{"value":{"amount":"+0.7084214687347412","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":"Q798373$D529578E-BB8C-4ED2-AF72-A2DA7332DA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2312a316e6eb7c519c7205f0236dfb1ea02a38c9","datavalue":{"value":{"entity-type":"item","numeric-id":5435132,"id":"Q5435132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f006628d02ea548db001378a3c14169365fedf8","datavalue":{"value":{"amount":"+0.7077125310897827","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":"Q798373$0C38E909-0C14-4686-BC25-9F79D53B3977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Baire's category theorem and prime avoidance in complete local rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Baire%27s_category_theorem_and_prime_avoidance_in_complete_local_rings"}}}}}