{"entities":{"Q395058":{"pageid":396825,"ns":120,"title":"Item:Q395058","lastrevid":61592592,"modified":"2026-04-11T00:21:01Z","type":"item","id":"Q395058","labels":{"en":{"language":"en","value":"\u0141ojasiewicz inequality over the ring of power series in two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6251211"}},"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":"Q395058$6213F55D-1A65-4BB2-9736-C93F8DD39106","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f6447bf6e31f1a6b2358866c86a5e3537be196","datavalue":{"value":{"text":"\u0141ojasiewicz inequality over the ring of power series in two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q395058$4FE91A6D-9103-4AD6-BCB1-2A81297CBF08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9e7d935d5c03ac51402ea165d58150ee2d81621","datavalue":{"value":"1286.14076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$5BDD6F4E-99A9-4262-A0FF-23542E78A4EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b615d79f0b342df4df845d1948920c5a2b8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":395057,"id":"Q395057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q395058$E89B249F-BBBF-4B63-9F3E-A20308F8DF29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q395058$321942D7-46EF-435D-93C1-1AC8522828FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa587b851cf8f75882b7d22be7aeb7adf95646a","datavalue":{"value":{"time":"+2014-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q395058$1C8CF511-F6CF-4C92-9851-DED8D205F4BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32f8256c5f74336b29e465319e3f2b0e77aea9cd","datavalue":{"value":"https://arxiv.org/abs/1301.2419","type":"string"},"datatype":"url"},"type":"statement","id":"Q395058$95316993-7F05-4501-B5F5-D125B86456C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"56245f56a8ae732481865fd9410cd918cb2ae1f2","datavalue":{"value":"http://intlpress.com/site/pub/pages/journals/items/mrl/content/vols/0020/0002/a009/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q395058$3823A57D-6EEB-4346-84A0-B8F6540550A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5470ec9f2140647391d751b679e543a4b0b06f2","datavalue":{"value":{"entity-type":"item","numeric-id":587330,"id":"Q587330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q395058$9FF9226B-89CE-4BA4-8CE9-F01757D2281D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$933EE6F7-71E5-4FA1-85E0-CEF7268B8635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"948aa1fb9c132b8af64a8a1ee35d1e52801f0e0a","datavalue":{"value":"13H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$DB8E021D-79B7-4EB3-86E7-26D98AAA6388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e132555e979eaf8987511b51676aa8ab9b3151e9","datavalue":{"value":"32S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$3065C034-2218-4C5A-8AF4-6145B68E20C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a0dfc81b30472731cb5e5c1a4952b24be1a0c9a","datavalue":{"value":"6251211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$EBE8D851-D2B8-410C-BBB5-DDB13E8A3B11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7666b0c2ad9667d6b874136751e09bd2180225","datavalue":{"value":"\u0141ojasiewicz inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q395058$C160BD0C-8FDF-4746-AA2A-13FE7E05FA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q395058$8E47DF71-CB42-459E-9F8C-29B5DFBAE4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f1ae1ea31aa6d4d44914ff4c216f4dcbc08817","datavalue":{"value":"Artin approximation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q395058$3DB665DE-2722-4A4B-9F37-616245B4019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668a5b3c25be1c97d280cfefe4256922c4128779","datavalue":{"value":"Artin function","type":"string"},"datatype":"string"},"type":"statement","id":"Q395058$B0EA5312-6146-4C05-9F1E-EC35FCFAADEC","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":"Q395058$9AE5565E-9516-40BE-9A27-0C98016DA086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea89a3b1b1a4c8863d39952e821ea96b638dccf1","datavalue":{"value":"W2963595834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$781CD035-D44D-4256-B7A5-159451B628A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86bf3222058483f5f49b088a7b596a1938178682","datavalue":{"value":"10.4310/MRL.2013.V20.N2.A9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q395058$E175B4FD-B8DD-4F09-A81F-5AA36273F189","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8de19f18933e7664a6c46729e1c7240f41fe9c41","datavalue":{"value":"The classical \u0141ojasiewicz inequality says that if \\(f:\\Omega \\to \\mathbb{R},\\) \\(\\Omega \\subset \\mathbb{R}^{n}\\) open\\(,\\) is a real analytic function and \\(K\\subset \\Omega \\) is a compact subset then there exist \\(\\alpha ,C>0\\) such that NEWLINE\\[NEWLINE | f(x)| \\geq C\\text{dist}(f^{-1}(0),x)^{\\alpha },\\;\\;x\\in K. NEWLINE\\]NEWLINE The author carry over this theorem to an algebraic setting.NEWLINENEWLINEThe main theorem is: Let \\(A=\\mathbb{K}[[x,y]]\\) be a ring of formal power series in \\(x,y\\) over a perfect field \\(\\mathbb{K}\\) and let \\(I=(f_{1},\\dots ,f_{n})\\) be an ideal in the polynomial ring \\(\\mathbb{K}[x,y,z_{1},\\dots ,z_{m}].\\) Assume \\(\\deg f_{i}\\leq d,\\) \\(i=1,\\dots ,n,\\) and the set \\(f^{-1}(0):=\\{z\\in A^{m}:f_{i}(z)=0,\\) \\(i=1,\\dots ,m\\}\\) is not empty. Then there exist \\( K_{1},K_{2},K_{3}>0\\) such that the following ``\u0141ojasiewicz inequality'' holds NEWLINE\\[NEWLINE \\| f(z)\\| \\geq (K_{1}d(f^{-1}(0),z))^{d^{( 1/\\| H_{f}(z)\\| ) ^{K_{2}m}}},\\;\\;z\\in A^{m}\\setminus H_{f}^{-1}(0), NEWLINE\\]NEWLINE where the meanings of above notions are: {\\parindent=6mm \\begin{itemize}\\item[1.] \\(\\| f(z)\\| =\\max_{i}\\| f_{i}(z)\\| ,\\) where \\(\\| f_{i}(z)\\| =e^{-\\text{ord}f_{i}(z)}\\), \\item[2.] \\(d(f^{-1}(0),z)=\\inf_{u\\in f^{-1}(0)}\\| u-z\\|\\), \\item[3.] \\(H_{f}\\subset A[z]\\) is an ideal described in terms of the Jacobian matrix \\(( \\frac{\\partial f_{i}}{\\partial z_{j}})_{1\\leq i\\leq n , 1\\leq j\\leq m}\\). NEWLINENEWLINE\\end{itemize}} In an equivalent way it is an effective version of the Strong Artin Approximation Theorem. From this result he deduce a bound of Artin function (which appear in the Artin Theorem) of isolated singularities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q395058$648E51DE-23C8-4CEB-98F3-4EAB2B8641D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cce704fae72ab4b14d48383d9bd882604cb018d","datavalue":{"value":{"entity-type":"item","numeric-id":397873,"id":"Q397873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3024b83d0445b7f1323c0ff80f8f32e18e9d47b","datavalue":{"value":{"amount":"+0.8055276870727539","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":"Q395058$95AAD711-A9E5-4C20-84F9-C89AC3C65696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84cb5ef959085c5305afbe016b0a153a3502941","datavalue":{"value":{"entity-type":"item","numeric-id":5932646,"id":"Q5932646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21a77b9b149270e628a4d140d9b768c1540df0f","datavalue":{"value":{"amount":"+0.7902946472167969","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":"Q395058$3316FC8F-5BC8-47F6-8802-EE370A109F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f96be10724a46cc2ef401cce63baeec570df83b","datavalue":{"value":{"entity-type":"item","numeric-id":5389546,"id":"Q5389546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bb45eb246509b4adbeefe4edd05ff9d5f336e0","datavalue":{"value":{"amount":"+0.7901815176010132","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":"Q395058$514AF85F-28DD-4A31-9393-245DCEEFF332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8628c4f3794a3db73fba5cafee152460b9e787f9","datavalue":{"value":{"entity-type":"item","numeric-id":1018110,"id":"Q1018110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22eab1b4ddb9c76737b7c198d2c395dd4fb05c08","datavalue":{"value":{"amount":"+0.7885252237319946","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":"Q395058$83402E13-91B0-48E9-BF12-E2A023537F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc2b8b41c295fa4b98e6dd34c306c81195cb888","datavalue":{"value":{"entity-type":"item","numeric-id":4913186,"id":"Q4913186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50f450f6fc862d7ad321c957d675c1c657040db","datavalue":{"value":{"amount":"+0.7872838973999023","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":"Q395058$F086501D-1CDC-415C-B02A-0D7FEFFD8B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u0141ojasiewicz inequality over the ring of power series in two variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C5%81ojasiewicz_inequality_over_the_ring_of_power_series_in_two_variables"}}}}}