{"entities":{"Q1742947":{"pageid":1753689,"ns":120,"title":"Item:Q1742947","lastrevid":73834041,"modified":"2026-04-14T17:25:52Z","type":"item","id":"Q1742947","labels":{"en":{"language":"en","value":"Separation theorems for group invariant polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6859110"}},"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":"Q1742947$8608E486-925E-460B-9729-BCC04E72B7A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb2dff0ca386dbcd16d6978f3bcdd1bc27ae61e1","datavalue":{"value":{"text":"Separation theorems for group invariant polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1742947$099701F6-CF01-49C6-BB00-CEB3E3B81A82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d325f590fa3261d424fe8dfc32de41ce4bb48932","datavalue":{"value":"1393.13011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$EAEE52E4-0832-4F57-A012-88200A2305AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8270ada6152c47e720eb56be06961f3f0ca0d33d","datavalue":{"value":{"entity-type":"item","numeric-id":728010,"id":"Q728010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$E4696B9F-8BBB-46C7-B2CD-2DD124DAC07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d09295c5e972391d3fc38fd4bd654569d90ccf5f","datavalue":{"value":{"entity-type":"item","numeric-id":189856,"id":"Q189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$82F16EB6-52DB-4428-9288-70AA7C60C685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d156e2b7693c58aaf8c7eb1a12d5f6a2d38a398","datavalue":{"value":{"entity-type":"item","numeric-id":516284,"id":"Q516284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$098D2D1A-CC87-4B3A-BAB6-E8C28D28BBA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85fd7d7c371e5833d27d7af4b2fe31875dbb3dd7","datavalue":{"value":{"entity-type":"item","numeric-id":217684,"id":"Q217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$C166956F-7910-4B9B-B1F7-D20C19111D63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34667658b2053643f4cfa7606566623ee095ba","datavalue":{"value":{"time":"+2018-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1742947$AD27CD2B-6B0E-4B72-AB71-8893C4F75AC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd63e9823af49017a3b752ab63c2dffc3c2ac61a","datavalue":{"value":"The present article investigates the existence of separation theorems by polynomials. This is a variation of the complex Hahn-Banach separation theorem, which establishes that if \\(K\\subset\\mathbb C^n\\) is a closed convex set and \\(z\\) is a point in \\(\\mathbb C^n\\setminus K\\), then there exists a complex linear form \\(f\\) with sup\\(_{w\\in K}\\{\\mathrm{Re}(f(w))\\}< \\mathrm{Re}(f(z))\\). If we assume that \\(K\\) is balanced we can replace the real part of \\(f\\) by the modulus of \\(f\\): sup\\(_{w\\in K}|f(w)|<|f(z)|\\). In this work, the authors change the conditions on \\(K\\) by assuming that \\(K\\) is invariant under the action of a finite group of linear transformations. The function \\(f\\) will then be a polynomial. We say that a polynomial \\(P\\) separates a set \\(K\\) and a point \\(z\\) if sup\\(_{w\\in K}|P(w)|<|P(z)|\\). In the main result, Theorem 2.3, is proven that if \\(G\\) is a finite subgroup of the general linear group \\(\\mathrm{GL}(n,\\mathbb C)\\), \\(K\\subset \\mathbb C^n\\) is invariant under the action of \\(G\\) and \\(z\\) is a point in \\(\\mathbb C^n\\setminus K\\) that can be separated from \\(K\\) by a polynomial \\(Q\\), then \\(z\\) can be separated from \\(K\\) by a \\(G\\)-invariant polynomial \\(P\\). Furthermore, if \\(Q\\) is homogeneous then \\(P\\) can be chosen to be homogeneous. As a corollary is obtained that if \\(K\\) is a symmetric polynomially convex compact set in \\(\\mathbb C^n\\) and \\(z\\notin K\\) then there exists a symmetric polynomial that separates \\(z\\) and \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742947$6F48B42D-758B-4390-AD8C-23433F81DCA3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22a1738ec898718398c3a6a6c85df9d2395fea37","datavalue":{"value":{"entity-type":"item","numeric-id":236977,"id":"Q236977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$305131E7-5136-4619-9C7F-5B80C342BF1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$725394BB-3DBD-412F-95D0-D32390F8CD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42b931248b35f27feab055327448c621f56fb644","datavalue":{"value":"14L24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$76BC2E6C-E926-4957-A69C-C470096D5854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"952d55b891d9bf320b3191e1ec25e35b6ad7596c","datavalue":{"value":"32E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$6CC9BBF7-2BA8-46DE-A984-3A8BF652ECBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005158bd68362b3a1c6143a70849ece8867ee8ee","datavalue":{"value":"6859110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$36FD1B5B-8CA0-42E1-8C25-7F7C4BD5B46F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c83a016a83aadb348b8e65cddd006ac7aca6b8","datavalue":{"value":"group invariant polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742947$CE64DD9F-A030-4D0F-BE04-8078EF8F0A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355b0b08179e3c168930afa914369e7a478827dc","datavalue":{"value":"separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742947$70AF674C-3B82-4FBB-B3CC-98B1EFE7E927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"618469c390f3eb8a321c96d5432c7fd0f036bab5","datavalue":{"value":"symmetric polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742947$05A68036-E494-49A7-8016-A2046955EB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4025695e9d1a25502db41ca3190783359451cc9","datavalue":{"value":"polynomial convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742947$2FBD5DE1-8DCF-4A8E-BF8A-CACAF41C2B21","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":"Q1742947$F2D44BD4-A4DA-4C19-815A-D2EF210E12C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ead498244293ebb849eaccc08fb2f641a4b6f96a","datavalue":{"value":"https://doi.org/10.1007/s12220-017-9825-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1742947$0575E6C9-8C34-47EB-9007-D1962B35175D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d83fbde431ca7a0bf24b90ca9619ce0d2fa2e6bd","datavalue":{"value":"W2592177668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$52A5ED7F-2C5B-4B9A-9D6E-F3D50336479B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeec4ad2e6b7bcdaf3a3eaf175b1dfbf26933347","datavalue":{"value":{"entity-type":"item","numeric-id":5849841,"id":"Q5849841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$10B487F6-46B6-47BC-820E-3F35AB2E374C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e5ea8b887807f5a5d06a897412368d42a81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5245268,"id":"Q5245268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$F0967EAD-8B87-40D5-8996-F9593A953CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582d7cf6db3b5b09bc8169867444c313884e179e","datavalue":{"value":{"entity-type":"item","numeric-id":2637963,"id":"Q2637963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$FE153A26-9825-413E-B736-5B9D0EC54371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec6dd710c7193014f8537ebffc680f632cfc6515","datavalue":{"value":{"entity-type":"item","numeric-id":1255098,"id":"Q1255098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$019BB9D8-267C-4C57-8ED0-DB9CBC714CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dd2e9375ac9f555d0da8d07cf958a4ef5fad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4340096,"id":"Q4340096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$4D9A2236-4B44-44C1-8148-341ED73CDA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7edc33715d54044c001f394d7ad78cd79c9ef33","datavalue":{"value":{"entity-type":"item","numeric-id":4743073,"id":"Q4743073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$13F40203-040D-4012-9805-6A75B9ADABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c47a40f9f539ba62bb3776d4cfd25701bc78b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5826200,"id":"Q5826200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742947$69E16227-8D4D-411F-970D-E44AF8B2C0FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7026e0bd771e341a65f4bf5668e9d648694d7f9","datavalue":{"value":"10.1007/S12220-017-9825-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742947$1EC104F3-0112-4C85-9C3D-E95D4DC4C443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326044b0f4804d7f159c32986db0869e638e28f4","datavalue":{"value":{"entity-type":"item","numeric-id":2075307,"id":"Q2075307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e97ee1d76e2856589911875ac36768367f6473","datavalue":{"value":{"amount":"+0.8446898460388184","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":"Q1742947$0E834EF2-0C61-4AFB-9D0E-E5C4F98CA751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b387778191613b908044e95ca69184aef5ed0c62","datavalue":{"value":{"entity-type":"item","numeric-id":5145505,"id":"Q5145505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be07ba40a545972d5a7addd81cc6ae60917cfde5","datavalue":{"value":{"amount":"+0.8317884802818298","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":"Q1742947$DC38966C-DF56-428C-AFC9-79C483A74D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36446d937a0b8134228898aff12f9f21d7567592","datavalue":{"value":{"entity-type":"item","numeric-id":2636359,"id":"Q2636359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e79c53bc242a71c005fb1e4e41b86d69c24736","datavalue":{"value":{"amount":"+0.793501079082489","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":"Q1742947$6E120E45-03BE-4367-BA99-AC1AC3DC5ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aa4f140e371c99f31c59f857b9fc6ecc5c6db0","datavalue":{"value":{"entity-type":"item","numeric-id":3509516,"id":"Q3509516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e0260467c2fa5261b7fb01cb05c1b7f0a4d22b","datavalue":{"value":{"amount":"+0.7930200099945068","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":"Q1742947$71965402-60AB-4EA7-8C32-E27836730434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998b66a64728fc98d59e36ef5edeefcfd62710da","datavalue":{"value":{"entity-type":"item","numeric-id":882636,"id":"Q882636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd775664c0006c0b7997bbfedad11d8197a0036c","datavalue":{"value":{"amount":"+0.7783304452896118","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":"Q1742947$542BAC62-930F-4925-AF0B-D80FBD5DDBC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Separation theorems for group invariant polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Separation_theorems_for_group_invariant_polynomials"}}}}}