{"entities":{"Q1083487":{"pageid":1094239,"ns":120,"title":"Item:Q1083487","lastrevid":66099897,"modified":"2026-04-12T07:32:51Z","type":"item","id":"Q1083487","labels":{"en":{"language":"en","value":"A structure theorem on formally smooth morphisms in positive characteristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3975058"}},"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":"Q1083487$BB7052CC-504B-4DDB-B5A5-187924B5026C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a2dff4448c6e401da7e11c08db55e37b86ea8d1","datavalue":{"value":{"text":"A structure theorem on formally smooth morphisms in positive characteristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083487$AFA12A29-0023-48F2-B07F-381C4EFF467B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5550f2a8ea4ca1c736c3edf6d1a2d92c9cad00fa","datavalue":{"value":"0604.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$ADAD7064-ACAC-4E27-A34F-A9ED7CE24C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fa25ba712a28777fcb78f9eb7039cf952ce30fe","datavalue":{"value":"10.1016/0021-8693(86)90087-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$C554EC58-5ACC-41E5-B3B6-97E0D2F30E34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a1b9592482736fe154ac911d2cc3754d74ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":1083486,"id":"Q1083486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$E57CB63D-049D-49D1-B5F8-248E657A2FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"599d2c28016e77e7c034e6ba3a4479abda8b7f04","datavalue":{"value":{"entity-type":"item","numeric-id":242483,"id":"Q242483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$1905C041-7A2A-4895-9A4E-CB8861AB52CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$3EE586A2-89B0-46C5-AC28-AEB8B9EB0C0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1083487$A42E5C30-35F4-40BB-8524-39A747BA8282","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdcdaf2a7d25afeb1cb9a17cb8877907414105d9","datavalue":{"value":"The authors consider local formally smooth morphisms \\(u: A\\to B\\) of noetherian local rings with residue fields of characteristic \\(p>0.\\) Their main result: Suppose that (i) the residue field K of B has a separate p- basis over the residue field k of A (i.e. a p-basis \\(x=(x_ i)_{i\\in I}\\) such that K:k(x) is a separable extension) or (ii) B is complete; then there exist a noetherian local A-algebra \\(\\tilde A\\) and a local A- morphism \\(\\tilde u: \\tilde A\\to B\\) such that (a) \\(\\tilde u\\) is formally smooth again, (b) \\(\\tilde A\\) has the same dimension as B, and (c) \\(\\tilde A\\) has a ''good'' A-structure, more precisely: \\(\\tilde A\\) is a localization of a polynomial ring over A in case (i), and at least an inductive limit of localizations of polynomial rings over A in case (ii). (This result is well-known and rather straightforward to prove if the extension K:k is separable.) The paper contains a detailed study of extensions K:k with a separate p-basis and also of extensions without such a basis. Furthermore the authors give an application to the N\u00e9ron desingularization of arbitrary formally smooth morphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083487$6280AE3B-DF54-47DD-8D48-EBA27318E608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c48ebb9bbb09acac2e74ba1a1219294479b66067","datavalue":{"value":"13B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$6061F037-2F71-4990-BB9A-4A4AB04F60C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e286bcb90d46fb0cfd058e22344ada353799480","datavalue":{"value":"14B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$990EEAC6-CB1E-430C-ADCF-DF85BEE3C51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"697267317c84a84285370f94e66acbfa07bd71c3","datavalue":{"value":"14E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$8A9F599B-DFB6-4D62-996F-0B01B8708913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$CF3F891D-F840-4DC2-9547-ADA6674C2A2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cf6c448dfc3b7b1699855a9f1c82b6583ca138d","datavalue":{"value":"3975058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$D8EC82D0-7CF3-4372-8F37-D4DDA0E24D45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87166ba16e8926c47e3ade291836a189a39df90b","datavalue":{"value":"formally smooth morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083487$5D1DB6BA-D6F9-464A-BB20-2BE450A45694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a1ae0683e241794418bc6c457bfe039c08ef8c0","datavalue":{"value":"N\u00e9ron desingularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083487$38366EAF-DA8E-4FE6-92A5-B613EAAD83D2","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":"Q1083487$D3415027-26C1-49A8-AEB1-64DBEBDF9E10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4394bbc0833acbddf0c2ade41c5489081a4d2f23","datavalue":{"value":"https://doi.org/10.1016/0021-8693(86)90087-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083487$7370DC3F-17CF-4859-BA0C-018C15656BB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba0f263d33a3344983a0deccf699e0f024bece47","datavalue":{"value":"W1965266120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083487$089ADBD3-BE83-4383-AB48-38981116B90B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2965b9bf540680fda3134b19cb06a184741812","datavalue":{"value":{"entity-type":"item","numeric-id":4771408,"id":"Q4771408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$3E4324FE-1554-47D9-AF1D-38ABAF425721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$D66E3F28-9EE2-498D-AE70-F90C78C2E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec0856d0ab97b761ab885564b5c0fad7027db2","datavalue":{"value":{"entity-type":"item","numeric-id":5735274,"id":"Q5735274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$E34741BD-E948-497D-AE8F-8622936C13CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0461bcf063970f6f3ffe28dec21ce63e9d0e2cd","datavalue":{"value":{"entity-type":"item","numeric-id":3937503,"id":"Q3937503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$6F89C950-55DD-484C-93C1-938BEE2A37DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2d545cf1efc87736d89f8c074f20225337b4ed","datavalue":{"value":{"entity-type":"item","numeric-id":5185015,"id":"Q5185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$3EB8C35A-28F7-4960-B796-344B9D418DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6d657c1bd4455dc8410c5f826a942829b36af9","datavalue":{"value":{"entity-type":"item","numeric-id":3720717,"id":"Q3720717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083487$ABCEED70-78AF-409E-8390-5B0C6BCF2C6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b72bf26754c50e44cfb4c15264b1e74a03f0fa7","datavalue":{"value":{"entity-type":"item","numeric-id":3744261,"id":"Q3744261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44166a4f0a65a7fd3a8141b0f4f81942dc285889","datavalue":{"value":{"amount":"+0.9187419414520264","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":"Q1083487$FDA4D924-13E5-4577-9477-1E31F4721D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665ab594cc2be51667a2b5d4584a4d2f9b47d94b","datavalue":{"value":{"entity-type":"item","numeric-id":5306873,"id":"Q5306873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca48e5c9b6357bc0d476a84e40874de25cdae25b","datavalue":{"value":{"amount":"+0.8162260055541992","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":"Q1083487$BFDC64EA-B1F7-471A-9890-2F13D5A5619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6388243c4cd3896e4305baf7136ebce741414a39","datavalue":{"value":{"entity-type":"item","numeric-id":1032586,"id":"Q1032586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83386430f0255c567c59d7871871d7023236e1c4","datavalue":{"value":{"amount":"+0.7867081761360168","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":"Q1083487$CD1AC126-CE8D-47B0-B07F-4295B2CF65DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6448a868a603985a219f8b9ac7a04de8fe9a7c83","datavalue":{"value":{"entity-type":"item","numeric-id":3729050,"id":"Q3729050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4294d0ea5eb700abdf9a9b5885aa5253f4bc8510","datavalue":{"value":{"amount":"+0.784808337688446","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":"Q1083487$3CCB138F-3DE9-4437-B584-46DB1472AE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f877a9c56fb9b4338e09de3af2ddd70282f3a1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4040855,"id":"Q4040855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a0b51e4843960639ed2942c2d247bf54c18339","datavalue":{"value":{"amount":"+0.7626625895500183","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":"Q1083487$D9B82D56-33DC-4936-B13E-A4898A24FBA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A structure theorem on formally smooth morphisms in positive characteristic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_structure_theorem_on_formally_smooth_morphisms_in_positive_characteristic"}}}}}