{"entities":{"Q685300":{"pageid":687149,"ns":120,"title":"Item:Q685300","lastrevid":63457368,"modified":"2026-04-11T13:17:20Z","type":"item","id":"Q685300","labels":{"en":{"language":"en","value":"On the arity of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417224"}},"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":"Q685300$FD3517B5-D177-4712-9C26-0511D11EC689","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ef04652d1b5592ba53eb616da94ae9430c097e8","datavalue":{"value":{"text":"On the arity of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685300$96477F12-038C-4D0D-AEB1-58501048A9AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86992ef8e8142ee9498a1ad0b31e17c7eef8fca6","datavalue":{"value":"0788.05092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685300$DB087F91-5BCE-4C01-839E-7E1BA690C133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9198ab1af9597de8a8e05338369015c06200acb","datavalue":{"value":{"entity-type":"item","numeric-id":167080,"id":"Q167080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685300$B5EAA30D-2682-488A-9F56-A8B45EB958CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685300$EF23F73B-AA6E-4800-9C65-89BFE9E23959","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2efffe4403698391fc762bc2b9596a2e102d8aed","datavalue":{"value":{"time":"+1993-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685300$2F8B5E0C-96CA-44F8-8042-0B8F91AB0732","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56d3b4da6efaad393029fb118b06af4e33c26458","datavalue":{"value":"Par r\u00e9f\u00e9rence \u00e0 la notion d'arit\u00e9 sur les arbres nous avons une notion d'arit\u00e9 sur les fonctions: une fonction de \\(n\\) variables est d'arit\u00e9 \\(m\\) \\((m \\leq n)\\) si elle est de degr\u00e9 nul en exactement \\(n-m\\) variables. Nous \u00e9tudions l'action naturelle du groupe sym\u00e9trique de degr\u00e9 \\(n\\) sur les anneaux des polyn\u00f4mes en \\(n\\) variables. Si un polyn\u00f4me de \\(n\\) variables est d'arit\u00e9 \\(m\\) alors l'action du groupe sym\u00e9trique de degr\u00e9 \\(m\\) sur \\(f\\) suffit alors \u00e0 effectuer certains calculs (Th\u00e9or\u00e8me 1.3). La r\u00e9duction du groupe sym\u00e9trique de degr\u00e9 \\(n\\) \u00e0 celui de degr\u00e9 \\(m\\) peut \u00eatre \u00e9tendue \u00e0 des groupes plus g\u00e9n\u00e9raux que le groupe sym\u00e9trique moyennant deux hypoth\u00e8ses restrictives (Th\u00e9or\u00e8me 3.3). Nous terminons sur le cas de produits directs de groupes (Th\u00e9or\u00e8me 4.2).   Les Th\u00e9or\u00e8mes 1.3 et 4.2 permettent en particulier d'obtenir de gains notables dans les calculs des r\u00e9solvantes et des multi-r\u00e9solvantes intervenant dans les recherche de groupes de Galois ou de polyn\u00f4mes minimaux d'extensions de corps. Cette application est d\u00e9j\u00e0 implant\u00e9e et sera disponible dans la prochaine version du syst\u00e8me de calcul formel Macsyma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685300$19A8FB95-B8A3-4999-812C-498F6D80FA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b709fc1d0eab06e30beca764c0594751c03a1182","datavalue":{"value":"05E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685300$899FFD68-86F2-437D-90B7-09417B411C4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"297d17c841f589d5e1b30a4df99f78d88b29e584","datavalue":{"value":"417224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685300$3BFD49F5-12C3-4DE9-A62C-1034AF4F238E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q685300$CE518D3B-9CF3-4CFD-A903-21D2D746808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2daaf7ac864516e7b1b0451bfe3e1040a3880","datavalue":{"value":"direct product","type":"string"},"datatype":"string"},"type":"statement","id":"Q685300$19E48BA8-50ED-4D47-A096-503808F888B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d2fa24c579b2baeef4d0446de7aa9ba4289043","datavalue":{"value":"polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q685300$EC42FB9C-9A28-45B1-95B5-048AE8CC2672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cebb2f34b76cba6e1af037dfc222e2c4d624064","datavalue":{"value":"arity of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685300$91A865D9-4155-4739-A78D-232C50FD53BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73344fec5a3e7672fdf15a995958e245a1dfa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":13950,"id":"Q13950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685300$83B57131-8AF0-4DCD-B0B9-38025767F30F","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":"Q685300$F8B42375-48CA-4D42-8997-148B23B3B73D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5efb5422a973ab974e00d98892ac24c25f534854","datavalue":{"value":"https://doi.org/10.1006/eujc.1993.1040","type":"string"},"datatype":"url"},"type":"statement","id":"Q685300$4AEC159B-BB5F-4324-94FE-4A105FD56CB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a14342729ba6240ec8fcfa098f00db148ee27bb","datavalue":{"value":"W2768877517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685300$D01391A1-0396-4DAC-91C0-43F9DC192B2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0bb9b035f3255406db7d918e7d0974cd83e3c75","datavalue":{"value":"10.1006/EUJC.1993.1040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685300$18AAFD49-93BB-42E2-ACEC-D564EEFD9701","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7331a74ceb91fd5fda175092345225689c6237df","datavalue":{"value":{"entity-type":"item","numeric-id":4317673,"id":"Q4317673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331b13dfda50ea541785570675f58e9d749d2390","datavalue":{"value":{"amount":"+0.7455145716667175","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":"Q685300$CC2F86B9-F7A4-4C4D-967A-A8DDDA123C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fd757d5ac89b0697f94b641b988ae48eb5c658","datavalue":{"value":{"entity-type":"item","numeric-id":3764324,"id":"Q3764324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba2ce31ff4b4b30d09dfd2afaf408fa189d8062","datavalue":{"value":{"amount":"+0.7225599884986877","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":"Q685300$21B33215-5841-42A3-826A-C779B034C0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a508e118b1555852b2a9fcd39ef372dbfb395b","datavalue":{"value":{"entity-type":"item","numeric-id":3127336,"id":"Q3127336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25362a80d629f4b83953399aa4b31cebd8869867","datavalue":{"value":{"amount":"+0.7111166715621948","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":"Q685300$D006AE2B-AD53-4755-BE23-B8F3D3647F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442977fa2fa4c9f7af2dae17c457f342a667af3a","datavalue":{"value":{"entity-type":"item","numeric-id":2871021,"id":"Q2871021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9de521d7ad58d7070f4db18035c15c99d315cb4","datavalue":{"value":{"amount":"+0.7090620398521423","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":"Q685300$8D58A762-ED5B-431B-83C7-F18E8EB9D43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f08c3b4e0203415415aa149d394d2e47de0dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4225058,"id":"Q4225058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97eeaabddea9f3b95519145dbb2dd3e9b4aaafa0","datavalue":{"value":{"amount":"+0.704256534576416","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":"Q685300$52442CD5-5EAA-46EA-B4E1-55522DB40213","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the arity of functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_arity_of_functions"}}}}}