{"entities":{"Q1297946":{"pageid":1308696,"ns":120,"title":"Item:Q1297946","lastrevid":70628571,"modified":"2026-04-13T15:50:13Z","type":"item","id":"Q1297946","labels":{"en":{"language":"en","value":"Finitely differentiable invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1336826"}},"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":"Q1297946$753D14E0-45DF-4641-8640-F78606AB8974","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe3b7b5e58dedf0f1d3edd00370e53990c16f1a9","datavalue":{"value":{"text":"Finitely differentiable invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1297946$A4437944-C53B-4072-B08D-FCE3F8C9869E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d72348714302c92ccba193204e23241b1689bb9","datavalue":{"value":"0930.58004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$6FC8F485-4AA1-4D70-8F37-CD01DB1F187E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ffc98010817c67ac1cddd6c48b61700088be79b","datavalue":{"value":"10.1007/PL00004677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$748417EC-CBB8-47CC-9C71-8EA978155A15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2b0d859515823c7306f2e3f81e936910ea93d3f","datavalue":{"value":{"entity-type":"item","numeric-id":175625,"id":"Q175625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297946$F29F4DB0-BD63-4400-B0B7-E868115693C7","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":"Q1297946$0415E49E-5192-4D85-B285-E344F5A2B257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1297946$3CCFD1C3-EC66-49DE-BD02-2FC76D6E44C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63abd324ab2029e1b3880b6a0c82030b1492eda7","datavalue":{"value":"The algebra of polynomials on \\(\\mathbb{R}^m\\) which are invariant with respect to a reductive real algebraic group \\(\\Gamma\\) is finitely generated, say by \\(\\rho_1,\\dots, \\rho_k\\). A classical result by \\textit{G. W. Schwarz} [Topology 14, 63-68 (1975; Zbl 0297.57015)] states that, if \\(\\Gamma\\) is compact, each smooth (i.e. \\(C^\\infty\\)) \\(\\Gamma\\)-invariant function can be represented by a function on \\(\\mathbb{R}^k\\) which is also smooth. Thus, there is a map \\({\\mathcal J}: C^\\infty(\\mathbb{R}^m)^\\Gamma\\to C^\\infty(\\mathbb{R}^k)\\) such that \\({\\mathcal J}(f)(\\rho_1(x),\\dots, \\rho_k(x))= f(x)\\) for all \\(f\\in C^\\infty(\\mathbb{R}^m)^\\Gamma\\). Indeed, \\({\\mathcal J}\\) can be assumed to be continuous [\\textit{J. W. Mather}, Topology 16, 145-155 (1977; Zbl 0376.58002)].   In the paper, finitely differentiable \\(\\Gamma\\)-invariant functions are considered. In this case a loss of differentiability may occur when factoring out the symmetry. The main result states that a number \\(q\\) exists such that a map \\({\\mathcal J}: C^{qn}(\\mathbb{R}^m)^\\Gamma\\to C^n(\\mathbb{R}^k)\\) can be found with the property stated above. Moreover, as in the smooth case, this theorem extends to reductive groups.   The result applies to equivariant maps and vector fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297946$0CCF26B8-E38E-407F-A925-19797B7815A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5a99b694950dbf951f8cf84bd00328a8aa0fcf","datavalue":{"value":"58C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$122E66AE-FCE0-4CC2-97A7-31E1BADFB462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e3ff1286d9e51ea5be67078a04749c052a8de06","datavalue":{"value":"57S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$083683BB-09F5-4408-8873-AEE53D765BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c62b5b36b2f454d6319824daa5bbffe05fc1283","datavalue":{"value":"57S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$BA118633-CA8C-4B39-B0D9-BB5CD5E1505B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"322fc053d6de69691fc0ddc3baee5a7e4004ca98","datavalue":{"value":"1336826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$213DDA44-A0D0-423F-9748-2EB2E34D7FE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9be78242532ddfcfee67f2871b315be8f20048","datavalue":{"value":"finitely differentiable \\(\\Gamma\\)-invariant functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297946$AAFB91BD-3ED8-4560-ACB0-F321FDB4A917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8208bc3e7961e9a2a81b9452ee197fe010b64df4","datavalue":{"value":"equivariant maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297946$41DE43F3-3288-4D7A-991D-ED1F9918DF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fefbaf7921e01bb8785225e615d3268f051fa4f1","datavalue":{"value":"equivariant vector fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297946$84475898-CD05-4DC8-995C-4118A80AE2CF","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":"Q1297946$8701BEEC-023D-4581-8455-94712719DD3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b44363d38cfb964ddf1082916205f6eef35804e","datavalue":{"value":"https://doi.org/10.1007/pl00004677","type":"string"},"datatype":"url"},"type":"statement","id":"Q1297946$38FB18E7-A1CB-482F-8749-B84AB14D9AB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"671c2ba93165ca3dd8c4489fe3f327737e832498","datavalue":{"value":"W2071107554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297946$8649CE30-D0B5-40BD-B83F-6E62534962AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db197903347d546940fe82904847e32043dc7ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1016363,"id":"Q1016363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6dd70b4d1991cb91d3adbca9c2138cdfdb3f76","datavalue":{"value":{"amount":"+0.8024548292160034","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":"Q1297946$5DC8A021-0CC6-40CF-9EF9-D4640B4CD2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d5ff70c478e8330ea7b7a1ca9eb6773674103d","datavalue":{"value":{"entity-type":"item","numeric-id":1594192,"id":"Q1594192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1889eff952443367bc1a068c3114e006ae430c67","datavalue":{"value":{"amount":"+0.7806422114372253","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":"Q1297946$182A0FE3-330C-4745-9C2B-9ECE163081BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99799b5936e3862205a92dacb6512013cf0d62c2","datavalue":{"value":{"entity-type":"item","numeric-id":1089434,"id":"Q1089434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4b2e1c4d4cba071ef980c6a1113e794a0abc01","datavalue":{"value":{"amount":"+0.7709673047065735","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":"Q1297946$7D20953E-F476-4BAC-88EA-5AAB7942138D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7859ad4a0f3a82b8882380d825594da9724948b5","datavalue":{"value":{"entity-type":"item","numeric-id":3119678,"id":"Q3119678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c5ee51bd681c109035d2a1d47ed67aa29e0712","datavalue":{"value":{"amount":"+0.767906129360199","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":"Q1297946$1DC210C6-3461-43CF-8862-AEEE220DA2C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely differentiable invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_differentiable_invariants"}}}}}