{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q627486","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q627486","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q627486","kernelVersion":"v1","immutable":true,"modified":"2026-03-23T21:27:30Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q627486","name":"About de Smit's question on flatness","headline":"About de Smit's question on flatness","description":"scientific article; zbMATH DE number 5859320","url":"https://portal.mardi4nfdi.de/entity/Q627486","datePublished":"2011-03-02","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q627484"},{"@id":"https://portal.mardi4nfdi.de/entity/Q627485"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163114"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00209-009-0624-6","url":"https://doi.org/10.1007/S00209-009-0624-6"},"sameAs":["https://doi.org/10.1007/S00209-009-0624-6"],"comment":"Let \\(\\phi : (A, \\mathfrak{m}_A) \\to (B, \\mathfrak{m}_B)\\) denote a local homomorphism of local rings. A conjecture - attributed by the authors to Bart de Smit - says the following: Assume that \\(A\\) and \\(B\\) are of the same embedding dimension and both Artinian. Then any finitely generated \\(B\\)-module that is \\(A\\)-flat is \\(B\\)-flat. A consequence of the assumptions on \\(\\phi\\) in de Smits conjecture is that \\(\\phi\\) is a Gorenstein homomorphism.  The conjecture is proved by the authors' in embedding dimension 1 or 2 and in arbitrary embedding dimension under some additional assumptions on the fibre ring \\(B/\\mathfrak{m}_A B.\\) To be more precise: The authors call \\(\\phi\\) a de Smit homomorphism if every \\(B\\)-module \\(M\\) that is flat and of finite type over \\(A\\) is flat over \\(B.\\) They introduce a technical condition called niceness for \\(\\phi\\) and prove that a nice and Gorenstein homomorphism of Artinian local rings is de Smit. E.g. niceness is fulfilled in embedding dimension 1 and 2 and several other cases.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5563439"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5515450"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4274969"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4143433"},{"@id":"https://portal.mardi4nfdi.de/entity/Q921063"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2545290"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2626924"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4369168"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3739243"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2524584"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1895541"}]},"provenance":{"prov:generatedAtTime":"2026-03-23T21:27:30Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}