{"entities":{"Q1127701":{"pageid":1138450,"ns":120,"title":"Item:Q1127701","lastrevid":69704565,"modified":"2026-04-13T08:50:19Z","type":"item","id":"Q1127701","labels":{"en":{"language":"en","value":"The idempotency of the real spectrum implies the extension theorem for Nash functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1185939"}},"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":"Q1127701$C6620ECD-ACD5-4E8E-AE6A-56A9EF9A670C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde0d370ae00f52ac7671f41c8c0385df0410b95","datavalue":{"value":{"text":"The idempotency of the real spectrum implies the extension theorem for Nash functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127701$3F12ECDE-ED26-4C60-B230-E91C3C95F22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f06f27de4a8e82bdb074ff107461f17a88af555","datavalue":{"value":"0904.14031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127701$BABF8E52-C8FB-441F-AD1D-59B0E9EE591E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"454e86ec9a2a7056b5a07111a119fe9a6973287d","datavalue":{"value":"10.1007/PL00004395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127701$F0941B14-2AB6-4644-A3DE-5571D7B46546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127701$5705C0A2-DCF8-40F5-92AF-30F650416B94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea1ec79840b10525c3f3cbc1be19191821225f0d","datavalue":{"value":{"time":"+1999-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127701$816629B2-336B-4A0A-9E85-BF8DC6235B57","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68afcbe34db1b7b089899d7bd8c3b4a74b42ae8f","datavalue":{"value":"Let \\({\\mathcal N} (M)\\) be the ring of Nash functions on an affine Nash manifold \\(M\\), \\(I\\) an ideal of \\({\\mathcal N} (M)\\) and \\({\\mathcal N}\\) the sheaf of Nash functions on \\(M\\). We are dealing with the extension problem which asks whether the canonical morphism \\(\\varphi:{\\mathcal N}(M) \\to H^0(M, {\\mathcal N}/I{\\mathcal N})\\) is surjective. We give an affirmative answer to this problem when \\(H^0(M, {\\mathcal N}/I {\\mathcal N})\\) is noetherian and \\(\\varphi\\) regular, using the result of Spivakovsky-Popescu-Andr\u00e9 [cf. \\textit{D. Popescu}, Nagoya Math. J. 100, 97-126 (1985; Zbl 0561.14001); see also: \\textit{M. Andr\u00e9}, ``Cinq expos\u00e9s sur la d\u00e9singularisation'' (preprint 1992), and \\textit{M. Spirakovsky}, ``Smoothing of ring homomorphisms, approximation theorems and the Bass-Quillen conjecture'' (preprint 1992)] on approximation of regular morphisms. These hypotheses are consequences of the so-called ``idempotency of the real spectrum''; unfortunately there is a gap in its proofs given in the literature.   We show that the idempotency holds under an assumption of normality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127701$B2B6963A-5F9D-4CFE-8D40-EE7CB589885D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"83c21d954a97040234981aff3ae0371578eaf333","datavalue":{"value":"14P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127701$43A677DE-0BB0-4EC9-A1CE-F5A8564135D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"895b56d783fbabe827d6726efe0db63e23dbe2e8","datavalue":{"value":"58A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127701$DFA467A6-FAB9-4209-835A-DE49A74832D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86200e6ce1ceb271bcf48f6f81406676a33bba35","datavalue":{"value":"1185939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127701$083EF36D-D01C-495D-A95B-15E2D312461F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de266918fae9bc8534e0de724e83bc5e7874e4ee","datavalue":{"value":"idempotency of the real spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127701$B36907DD-EA5C-4CA6-88F6-9737DC63BB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f5d7567a0870b0f955c260f2e00a33e95858c22","datavalue":{"value":"Nash manifold","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127701$BDA3DD64-F117-45A7-AB28-785E5ED1D14D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0144328e4feb8fb896772c8832f761f1ba619ef","datavalue":{"value":{"entity-type":"item","numeric-id":167156,"id":"Q167156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127701$BB6B8D93-47DB-4CF8-B4EB-D9118DF9A1DC","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":"Q1127701$32D473C3-6B2F-4CC9-A2BA-C32143306C22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcab603d8223b7f3a4428248f05ffb39dc17afcd","datavalue":{"value":"https://doi.org/10.1007/pl00004395","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127701$9250EA6D-9F1B-4A2C-9A9A-6CFABE9F7018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3147ffcbcd73b0f1360a17e65405bf6a6ffb0d8f","datavalue":{"value":"W2036378992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127701$44F1651F-728F-42C2-A105-01A5E7230BBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899caab88074eb1f088bda103011e78d98ad8f22","datavalue":{"value":{"entity-type":"item","numeric-id":2702173,"id":"Q2702173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df39049f05895061d16b7bf3205930628b8979b","datavalue":{"value":{"amount":"+0.830588161945343","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":"Q1127701$6799316F-C1F9-4774-82D3-8DD6895739C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c276727a547c81e47f762c5c67405c5bbc0c5f56","datavalue":{"value":{"entity-type":"item","numeric-id":1068144,"id":"Q1068144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2924f1c3368de023f9add3c47a8a7f3d581ae3f7","datavalue":{"value":{"amount":"+0.8141283988952637","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":"Q1127701$A12F4036-732E-4C03-82E3-1D40712C022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c7df19f38a3f878ed574e9851908fbba3a1480","datavalue":{"value":{"entity-type":"item","numeric-id":913038,"id":"Q913038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14730bdb54b04f8eb5ef077638c214a17ead226","datavalue":{"value":{"amount":"+0.8135471940040588","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":"Q1127701$F766EB1F-BA03-4948-9538-24278C0CA72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a6f8cf985c4d1bc8df85c89f8f502ed6a09eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2729305,"id":"Q2729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab59817441486389ddf02589f596fbf48917c823","datavalue":{"value":{"amount":"+0.8062177896499634","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":"Q1127701$DA10706C-4F12-4F2D-BE52-3799776C5031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The idempotency of the real spectrum implies the extension theorem for Nash functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_idempotency_of_the_real_spectrum_implies_the_extension_theorem_for_Nash_functions"}}}}}