{"entities":{"Q2466298":{"pageid":2477041,"ns":120,"title":"Item:Q2466298","lastrevid":57938628,"modified":"2026-04-03T04:13:39Z","type":"item","id":"Q2466298","labels":{"en":{"language":"en","value":"A minimal set of generators for the ring of multisymmetric functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5225862"}},"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":"Q2466298$D39550D9-CC59-48AE-99F9-7DA53DC238F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f749fb578f1c863402dcef86a27e7e20d029a53","datavalue":{"value":{"text":"A minimal set of generators for the ring of multisymmetric functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2466298$9BCFC94C-36FE-4944-8442-396C1DDD7D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8122bc7b2093887a5ad108fd72bd9c9ea7fba1d","datavalue":{"value":"1130.13005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$0172DFF4-F8ED-4D00-86ED-4398B621B60D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a7fa4407a965f2337a4d92a5d12e75c9a3b87d9","datavalue":{"value":{"entity-type":"item","numeric-id":471876,"id":"Q471876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$9E4B4CAD-B649-4AF9-8608-0FD0D2DF62D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3937c056377dc144ca887b57f8c994e8e946f87","datavalue":{"value":{"time":"+2008-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2466298$58292CAD-DD64-451C-B64E-721606C0B5D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76254cf07c92a0c918abbf24d3984e06ef630483","datavalue":{"value":"https://arxiv.org/abs/0710.0470","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466298$6377D49B-42F1-41BA-917A-F77403EDFE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1bbc7e0f8ff16905714019f0a42a2616ace1131","datavalue":{"value":"http://www.numdam.org/item?id=AIF_2007__57_6_1741_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466298$81DA9C0E-442F-4926-9775-36A36F189E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1583eef48e22c04bebb789983602039db2e70cf2","datavalue":{"value":"https://eudml.org/doc/10276","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466298$88C61AB9-A3E4-424E-9AC7-386248187C03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da9796acef873ed9008eb59900800fca3aa9381c","datavalue":{"value":"Let \\(A\\) be a ring, and denote by \\(\\left( A\\left[ x_{1},\\dots,x_{r}\\right] ^{\\otimes_{A}d}\\right) ^{\\mathfrak{S}_{d}}\\) the ring of multisymmetric functions for some positive integers \\(r,d.\\) In the case where \\(A\\) is a field of characteristic zero, explicit generators of \\(\\left( A\\left[ x_{1} ,\\dots,x_{r}\\right] ^{\\otimes_{A}d}\\right) ^{\\mathfrak{S}_{d}}\\) as an \\(A\\)-algebra are well-known; however for more general \\(A\\) it can be shown that \\(\\left( A\\left[ x_{1},\\dots,x_{r}\\right] ^{\\otimes_{A}d}\\right) ^{\\mathfrak{S}_{d}}\\) is finitely generated without explicitly constructing a generating set. This paper explicitly gives a minimal set of generators for this ring as an \\(A\\)-algebra.  In detail, for \\(n\\in\\mathbb{N}\\) and \\(p\\) prime, let \\(a_{s}a_{s-1}\\cdots a_{0}\\) be the representation of \\(n\\) in base \\(p\\). Let \\(Q_{p}\\left( n\\right) \\left( t\\right) =a_{s}t^{s}+a_{s-1}t^{s-1}+\\cdots+a_{0}\\in\\mathbb{N}\\left[ t\\right] .\\) Then \\(\\left( A\\left[ x_{1},\\dots,x_{r}\\right] ^{\\otimes_{A} d}\\right) ^{\\mathfrak{S}_{d}}\\) is generated as an \\(A\\)-algebra by \\(\\left\\{ \\left( x^{\\alpha}\\right) ^{\\otimes k}\\otimes1^{\\otimes d-k}+\\dots+1^{\\otimes d-k}\\otimes\\left( x^{\\alpha}\\right) ^{\\otimes k}\\right\\} ,\\) where \\(1\\leq k\\leq d\\) and \\(\\alpha\\in\\mathbb{N}^{r}\\setminus\\{ 0 \\} \\) such that \\(\\gcd\\left( \\alpha\\right) =1\\) and either \\(k\\left| \\alpha\\right| \\leq d\\) or \\(Q_{p}\\left( k\\alpha_{1}\\right) +\\cdots+Q_{p}\\left( k\\alpha _{r}\\right) \\leq Q_{p}\\left( d\\right) \\) for some prime \\(p\\) not invertible in \\(A\\). This generating set is minimal.  The above result allows the author to obtain a degree bound on the generators. Namely, \\(\\left( A\\left[ x_{1},\\dots,x_{r}\\right] ^{\\otimes_{A}d}\\right) ^{\\mathfrak{S}_{d}}\\) is generated by the elements of degree at most \\(\\max _{p}\\left\\{ d,\\left( \\left( a_{p}+r-1\\right) p^{b_{p}}-r\\right) \\right\\} ,\\) where \\(a_{p}\\) and \\(b_{p}\\) are the leading coefficient and degree, respectively, of \\(Q_{p}\\left( d\\right) \\left( t\\right) .\\) Additionally, every generating set for \\(\\left( A\\left[ x_{1},\\dots,x_{r}\\right] ^{\\otimes_{A}d}\\right) ^{\\mathfrak{S}_{d}}\\) contains an element of this degree, so this result provides a sharp degree bound on the generators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466298$6CE0E894-3C11-47C2-9FCB-91F39BFC3205","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae8ac771025753cf4e7a4f37cda1a7ad2012f998","datavalue":{"value":{"entity-type":"item","numeric-id":210546,"id":"Q210546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$9ECC4019-5C4B-40DA-BA91-C5A590BBC92F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$9CFD3259-414E-4865-9FAB-0ADC0E0AD749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c0637e7b050f6adf2c874d977065bc44a0cb21a","datavalue":{"value":"05E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$82594E94-E799-4391-A5F4-E5129443A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$3E8061A3-B8F1-4486-99AB-32BAA21EC38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28b1f93eb7267ca868d7c0bc17d7cfb5e9cb0c8c","datavalue":{"value":"14C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$A602415B-FB8E-43B0-84DB-BF63D3E4E260","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ceac5c72a18120707dda52bfec9b596ddb7d2fe","datavalue":{"value":"5225862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$6257B9CA-AD39-4787-A446-8408A3B1DBBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6adc16dd27acd74673e7ed25a1204199815b5122","datavalue":{"value":"multisymmetric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466298$E378D5A2-57CC-4F58-B6C7-E6BAE6EAA87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466298$4D17E577-E7A7-4F52-A8AB-0D3CD7874E6E","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":"Q2466298$BAB82497-B886-4DEB-93D0-4FFD16B828B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c892af2270d7a1d1126b12e28a3c6fc7bea91104","datavalue":{"value":"W3122881092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$DC09B275-B6DC-4BC7-9CA4-E7EF714C8D70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2436ce8c806cc6f5deb5f947c630624d76a859","datavalue":{"value":{"entity-type":"item","numeric-id":1878941,"id":"Q1878941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$93C094B3-B72D-451F-B2CC-9F35F56E2C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3346a643564a8cd8056f0a0abcb034f61316969","datavalue":{"value":{"entity-type":"item","numeric-id":3470590,"id":"Q3470590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$7DE89AF5-C214-41B3-B154-D2BCAF27B527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39496df4646ea47fb73b8047deb136bbd90fea19","datavalue":{"value":{"entity-type":"item","numeric-id":5669434,"id":"Q5669434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$A84788A0-45F7-4F0B-BC55-6F9906CA3FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdc9905df3c6109d4952fd74ca8d381c862ae80","datavalue":{"value":{"entity-type":"item","numeric-id":4225825,"id":"Q4225825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$32F5FB34-D867-4EDF-BA66-963BE445D4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6931258086d1332614d270faaa9cae0c76b14b","datavalue":{"value":{"entity-type":"item","numeric-id":4382980,"id":"Q4382980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$DE307CD2-AAD8-4346-8F35-6B154124E9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f033301cd9439a5efa4ac9952db64a565fb3e964","datavalue":{"value":{"entity-type":"item","numeric-id":2521161,"id":"Q2521161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$ED4AB730-3EE0-4E10-A7E0-3B66B8178E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0274fe387aaf0192ac4d421c42f054e807c0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5662566,"id":"Q5662566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$9D1386E8-E1E2-48BB-A5C7-6030B6CB5CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0199b24c651b8c5e9a586ce447b85c1cea13a2c3","datavalue":{"value":{"entity-type":"item","numeric-id":932294,"id":"Q932294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$73EC9645-009B-4714-B10E-DBB8BDF73990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecbca1cca4582cf7b95e2d55bc5f8ad9b499351","datavalue":{"value":{"entity-type":"item","numeric-id":3226201,"id":"Q3226201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$91455BEF-7B0F-46B5-B0A3-5FF01150C6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822b4b61dd84a7d3e370fdae5611a4f39d7e7b69","datavalue":{"value":{"entity-type":"item","numeric-id":1181242,"id":"Q1181242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$6E55A872-7084-4269-A15B-55E9FFF2B9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83db3e521bf1644fcea43a987ef387e99ba19623","datavalue":{"value":{"entity-type":"item","numeric-id":1354657,"id":"Q1354657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$8A181A17-67B9-45DC-9AB5-E93CDCE24BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d89ba1f93f46798a88610e299fe84dbb51539d","datavalue":{"value":{"entity-type":"item","numeric-id":5726727,"id":"Q5726727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$CA4D06D8-F8F2-4A52-98DD-0585DE42AE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8103f8357781a5a13c46dc3279f9d55110e467ef","datavalue":{"value":{"entity-type":"item","numeric-id":3924304,"id":"Q3924304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$6EF9A1DB-A56F-45AB-B47D-004DEBF900CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90aef1f7ca779bf7fd09de05b5983771f69b4625","datavalue":{"value":{"entity-type":"item","numeric-id":2466298,"id":"Q2466298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$BF63527C-7487-4BEA-9E8A-9D359CC6FF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6369f3898ec062513ddf3345e704ecbd2a6241","datavalue":{"value":{"entity-type":"item","numeric-id":1777629,"id":"Q1777629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$A9832ABB-3F84-4DCD-BE95-6AA124CEE09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed52cac55f35c02ff16d94648b4fd655dfb4837e","datavalue":{"value":{"entity-type":"item","numeric-id":4435456,"id":"Q4435456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$F74186F0-A575-4D05-9892-A8CABC91C191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393de8a736a8669d6f291b0786239a092e41efe3","datavalue":{"value":{"entity-type":"item","numeric-id":1095223,"id":"Q1095223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$31A62836-FCEE-4894-A204-C34424584A43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9152cad8d2afcacfb09c6d713493bc97e903ecce","datavalue":{"value":"10.5802/AIF.2312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466298$BBFD6C51-ED32-475E-A171-181DD1859479","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466298$E0557924-E779-4C9F-B48F-BA7D0C53DAFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714453cb84e66b27488b3748143791a1dd68d883","datavalue":{"value":{"entity-type":"item","numeric-id":1878941,"id":"Q1878941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0903f1fa1ccf20aa552cae5c2d86cc91a8ea40df","datavalue":{"value":{"amount":"+0.8041112422943115","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":"Q2466298$88A4F1B7-6CB4-42BC-8E1B-DC5E0A4776AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c060431d0039c7d25b57fa2f9d78bdcc532fda7","datavalue":{"value":{"entity-type":"item","numeric-id":1777629,"id":"Q1777629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1404d22ac5ebb50de035f4b4822176f174bf0db0","datavalue":{"value":{"amount":"+0.7979633808135986","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":"Q2466298$4E6D30F1-B2C9-4C0E-BF4A-649DA8033373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c4d253913dbd47b6ad3f769f368ed51017b0f","datavalue":{"value":{"entity-type":"item","numeric-id":2466938,"id":"Q2466938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8498027c78f2eb500e3aa7119bb5e4094a2d2e5","datavalue":{"value":{"amount":"+0.7716115117073059","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":"Q2466298$186543BE-E973-4E19-9462-824B01071955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9733e598e24137c16f518a71150b14177ae0f4","datavalue":{"value":{"entity-type":"item","numeric-id":713406,"id":"Q713406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948fe40b1baf36e6b26d166a1f9c4abe7c0ffd90","datavalue":{"value":{"amount":"+0.758481502532959","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":"Q2466298$9C04EC47-0BE6-4E50-B370-5E960905CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ededfa625ec62887694a86d46a085d059b7ecd","datavalue":{"value":{"entity-type":"item","numeric-id":2708299,"id":"Q2708299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ac16367a28d23d51aad28bfc6d5da3063c028c","datavalue":{"value":{"amount":"+0.7544316649436951","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":"Q2466298$470A21A1-3C70-49DA-8145-658E823C04D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2466298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2466298"}}}}}