{"entities":{"Q2520555":{"pageid":2531298,"ns":120,"title":"Item:Q2520555","lastrevid":73520220,"modified":"2026-04-14T16:19:00Z","type":"item","id":"Q2520555","labels":{"en":{"language":"en","value":"A new proof of Serre's homological characterization of regular local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664560"}},"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":"Q2520555$58069D0A-F141-4EDB-860D-C09EFA72AD3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c40bf50e45b097630e227f8d39e67c72a2336b0c","datavalue":{"value":{"text":"A new proof of Serre's homological characterization of regular local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520555$50EC03EC-B7F2-47EE-852B-997FEBB9A47D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c9c19e15db6c9a8e8777c9a0d17237cc6c796f7","datavalue":{"value":"1354.13030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$D1517AE2-8AD0-4DB2-84CE-6DBEF6EB294E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f5f8776cca21a4f67d573c5f37283fd22a343e5","datavalue":{"value":{"entity-type":"item","numeric-id":396935,"id":"Q396935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$E015873E-5078-4C50-BA95-FCA50D9BA008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30f0f69cc1098ac5940771f22429c86f29a98b18","datavalue":{"value":{"entity-type":"item","numeric-id":506590,"id":"Q506590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$DC2CC123-445E-4A70-8436-79D74A9B07E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df5f8c354fea6f60fb60c332660963d0551b6095","datavalue":{"value":{"entity-type":"item","numeric-id":254941,"id":"Q254941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$EDF57A34-54C5-40AC-80B7-BA1D0E7AFD16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-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":"Q2520555$F6FA7B24-6905-4EA6-84B3-ED9A7A7F7DD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0419f8adc61f16e2338a14fae028e3e5b45352ba","datavalue":{"value":"Hereafter, \\(A\\) will denote a commutative Noetherian local ring with maximal ideal \\(\\mathfrak{m}\\) and residue field \\(k\\); remember that the \\textbf{global dimension} of \\(A\\) \\(\\text{gldim}(A)\\) is defined as the common value of the \\textbf{global injective dimension} \\(\\text{glidim}(A)\\) and the \\textbf{global projective dimension} \\(\\text{glpdim}(A)\\), where  \\[  \\text{glidim}(A):=\\sup_{M}\\{\\text{idim}(M)\\}, \\;\\text{glpdim}(A):=\\sup_{M}\\{\\text{pdim}(M)\\},  \\]  \\(M\\) runs through all the possible \\(A\\)-modules, and \\(\\text{idim}(M)\\) (respectively, \\(\\text{pdim}(M)\\)) denotes the injective (respectively, projective) dimension of \\(M\\). Finally, recall that \\(A\\) is said to be \\textbf{regular} provided \\(\\dim_k \\left(\\mathfrak{m}/\\mathfrak{m}^2\\right)=\\dim (A)\\).  The below result is the classical homological characterization of regular local rings obtained by \\textit{J.-P. Serre} [in: Proc. internat. Sympos. algebraic number theory, Tokyo \\& Nikko Sept. 1955, 175--189 (1956; Zbl 0073.26004)].  Theorem (Serre) The following statements are equivalent: {\\parindent=0.7cm \\begin{itemize}\\item[--] \\(A\\) is regular. \\item[--] \\(\\text{gldim}(A)=\\dim (A)\\). \\item[--] \\(\\text{gldim}(A)<\\infty\\).   \\end{itemize}} Among the three implications that one needs to prove, the hardest one is to show that \\((3)\\) implies \\((1)\\); Serre's original proof of this step works essentially as follows:  First of all, one shows that, if \\(\\text{gldim}(A)<\\infty\\), then \\(\\text{gldim}(A)\\leq\\dim (A)\\) using the Auslander-Buchsbaum formula (roughly, the interaction between regular sequences and projective dimension), for this reason often Serre's Theorem is stated as the Auslander-Buchsbaum-Serre Theorem in several textbooks.  By means of the Koszul complex, one then shows that \\(\\dim_k \\left(\\mathfrak{m}/\\mathfrak{m}^2\\right)\\leq\\text{gldim}(A)\\).  The chain of inequalities  \\[  \\text{gldim}(A)\\leq\\dim (A)\\leq\\dim_k \\left(\\mathfrak{m}/\\mathfrak{m}^2\\right)\\leq\\text{gldim}(A)  \\]  implies the result.  In the paper under review, the authors produce a new proof of the implication \\((3)\\) implies \\((1)\\) which doesn't use a Koszul complex; for the reader's benefit, we give below a rough overview of this proof.  One shows that, if \\(\\text{gldim}(A)<\\infty\\), then \\(\\mathfrak{m}\\) is not an associated prime of \\(A\\).  Since \\(\\mathfrak{m}\\) is not an associated prime of \\(A\\), the Prime Avoidance Lemma ensures the existence of an element \\(f\\in\\mathfrak{m}-\\mathfrak{m}^2\\) which is not a zerodivisor of \\(A\\).  Given this element, one then shows that  \\[  \\text{gldim}(A)=\\text{gldim}(A/(f))+1;  \\]  this equality is definitely the core of the proof, and it is based on the non-trivial fact that the derived tensor product \\(k\\otimes_A^{\\mathbb{L}} A/(f)\\) has the same homology, as complex of \\(A/(f)\\)-modules, to the complex \\(k\\otimes k[1]\\). In other words, these two complexes are isomorphic in the derived category of \\(A/(f)\\)-modules.  Finally, using all the above facts, one concludes by doing an increasing induction on \\(\\text{gldim}(A).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520555$B0BCF17C-EBDA-4363-BB43-6411CE46BA3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$C7409B68-3FD2-42C3-8982-7C78765AB591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec1d0db78fd74c443a01310455d9419f80930f5d","datavalue":{"value":"13E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$86ECC425-EDE6-4430-B576-C5CE9C7ABC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$FA5FB281-49B8-4C82-88DC-8DBDCCF73FB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968a7ba63e65d801482e80eb86a4cb94a9442b48","datavalue":{"value":"6664560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$381989F6-C458-4D3E-9DA6-254BE7E4BABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2eb03a246e593ca397ab8cac3a9ee16f8e7a507","datavalue":{"value":"regular local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520555$3D30DB19-0B45-4815-994D-7191EC7BD352","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"920b482eea5f1cf93eb48bf0b3fddf6a0c8847c7","datavalue":{"value":{"entity-type":"item","numeric-id":590828,"id":"Q590828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$AB665739-5FC7-406E-9091-0CD8459C63F2","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":"Q2520555$E62EEF1C-FD07-4A31-873B-56D151C11764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e776a591ce262872c83164012813387ed53aab00","datavalue":{"value":"https://doi.org/10.1007/s40993-016-0048-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520555$821448EF-0AB4-43BF-8360-0FF529D5263A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a281844d1a056cc50c7869ce1434e8bc8d45a65f","datavalue":{"value":"W2492575806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$BF5CCB48-1FDD-484A-88DE-07B856DA56FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2925d8c42c06d168799f69a288cb72700e58f36","datavalue":{"value":{"entity-type":"item","numeric-id":934575,"id":"Q934575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$FC1C47C5-4C23-4AB1-9B77-B95B7715F5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9745efab50162cbe7e13426726bebf698b242032","datavalue":{"value":{"entity-type":"item","numeric-id":3235384,"id":"Q3235384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$4BB4B690-A5E7-4B92-BBBD-5FAC9B2403A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b749057cf241a3b28fcbaa28641dadd2d07088fb","datavalue":{"value":"10.1007/S40993-016-0048-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520555$DBDA04E9-B53E-49FF-AFA5-41E2608D5381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375147a62c72160eefde2776f79112eb3b5f14d","datavalue":{"value":{"entity-type":"item","numeric-id":4391525,"id":"Q4391525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7e65e881f8998ff6c1c261027093b2e236266e","datavalue":{"value":{"amount":"+0.7633771300315857","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":"Q2520555$822F519C-ACFA-46AC-8984-94FDAB8C9476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c621071c73582fdaa5f4359372201b9b7256df3","datavalue":{"value":{"entity-type":"item","numeric-id":5594685,"id":"Q5594685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0198fc9083b9f0e04f05325802a54e3a64e30c73","datavalue":{"value":{"amount":"+0.7527522444725037","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":"Q2520555$1BD9BC67-445A-4542-8A0F-1913B706B864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1b1cf21fef5745a294e8429e3b20142d3f4177","datavalue":{"value":{"entity-type":"item","numeric-id":2495709,"id":"Q2495709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd531b99107dc86d60c7e89696fe996c86d0d4a","datavalue":{"value":{"amount":"+0.7514658570289612","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":"Q2520555$80B02E84-14C7-4EBB-BA81-5423B314CE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f294c6a0075f7fcb59087e7f51e86ef23e84c451","datavalue":{"value":{"entity-type":"item","numeric-id":4290834,"id":"Q4290834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80dd4ad8e42f384a6050f5ee500c7b7a355cd3a","datavalue":{"value":{"amount":"+0.7512412071228027","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":"Q2520555$21A2F05C-1BA8-4299-8E3D-B4A9C27A86E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5bca2ae1f4aaed9e216b107ec5f629ee5b643d","datavalue":{"value":{"entity-type":"item","numeric-id":2332123,"id":"Q2332123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313bd3a6e5bdeb18c3e330447cabd52fb0a137ee","datavalue":{"value":{"amount":"+0.7486621737480164","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":"Q2520555$95793486-C22F-4343-ACB2-C29AB0FD5917","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520555$E9BA9848-6C1C-4894-92BE-2E518B669920","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of Serre's homological characterization of regular local rings","badges":[]}}}}}