{"entities":{"Q2275764":{"pageid":2286507,"ns":120,"title":"Item:Q2275764","lastrevid":57818484,"modified":"2026-04-02T16:13:17Z","type":"item","id":"Q2275764","labels":{"en":{"language":"en","value":"Degree bounds for separating invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5937439"}},"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":"Q2275764$E942AD15-AD9F-451A-BF0C-463DDB8ED3AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c40b8960675221cc14571e55eedf500c7adaacbd","datavalue":{"value":{"text":"Degree bounds for separating invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2275764$8BEEED14-AB41-4590-9999-8B26D10460E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ee6710c7e815cd4fa3233e9f8af81682cb9e653","datavalue":{"value":"1230.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$D9ACA23E-182B-47D9-8BC3-57E768163CEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c65509c12eae9842f8ab5dced1924cc5491612ad","datavalue":{"value":{"entity-type":"item","numeric-id":371410,"id":"Q371410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275764$1BC51EC9-1408-46C0-92BE-1B835BA6B025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2018e072b07eebc25a88306de618a9787b35843e","datavalue":{"value":{"entity-type":"item","numeric-id":190681,"id":"Q190681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275764$46890AE3-EFE7-444A-9B6C-D848E6211B6E","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":"Q2275764$7C8EDB43-3123-48CB-A778-8710571AC0A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"399bbc4a0282c300647b51764f24de75dbb073cc","datavalue":{"value":{"time":"+2011-08-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":"Q2275764$215411A9-08DF-4CE9-B9C5-560EAE13933B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5937f808663679069e0422792f4df49dcb2aba40","datavalue":{"value":"https://arxiv.org/abs/1001.5216","type":"string"},"datatype":"url"},"type":"statement","id":"Q2275764$D921FA31-EC7A-4A76-B3FB-6E6F96B8E781","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b7bec4abff5df6247d58974ee3351b76926227d","datavalue":{"value":"Given a linear algebraic group \\(G\\) and a \\(G\\)-module \\(V\\) (finite dimensional over a fixed algebraically closed base field) on which \\(G\\) acts regularly, denote by \\(\\beta_{\\mathrm{sep}}(G,V)\\) the minimal nonnegative integer \\(d\\) such that the \\(G\\)-invariant polynomial functions on \\(V\\) of degree at most \\(d\\) constitute a separating set in the algebra of all \\(G\\)-invariant polynomial functions on \\(V\\). Moreover, denote by \\(\\beta_{\\mathrm{sep}}(G)\\) the supremum of \\(\\beta_{\\mathrm{sep}}(G,V)\\) over all \\(G\\)-modules \\(V\\). The first main result of the present paper is that \\(\\beta_{\\mathrm{sep}}(G)\\) is finite if and only if \\(G\\) is finite. (Recall that it is known that for a finite group \\(G\\) the number \\(\\beta_{\\mathrm{sep}}(G)\\) is bounded by the order of \\(G\\).) The second main result is that for a subgroup \\(H\\) of a finite group \\(G\\) we have the inequalities \\(\\beta_{\\mathrm{sep}}(H)\\leq \\beta_{\\mathrm{sep}}(G)\\leq [G:H]\\beta_{\\mathrm{sep}}(H)\\), and when \\(H\\) is normal, then \\(\\beta_{\\mathrm{sep}}(G)\\leq \\beta_{\\mathrm{sep}}(H)\\beta_{\\mathrm{sep}}(G/H)\\). These results extend to separating sets known statements on generating sets in algebras of polynomial invariants, due to \\textit{R. M. Bryant} and \\textit{G. Kemper} [J. Algebra 284, 80--90 (2005; Zbl 1085.13001)], \\textit{H. Derksen} and \\textit{G. Kemper} [CRM Proceedings \\& Lecture Notes 35, 37--41 (2004; Zbl 1072.14056)], and \\textit{B. J. Schmid} [Lect. Notes Math. 1478, 35--66 (1991; Zbl 0770.20004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275764$DFEE777A-6E59-4C07-9DBB-B95FEF19420B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b4dfd4d7906db96560dc85655f51b19b19e3ef9","datavalue":{"value":{"entity-type":"item","numeric-id":590020,"id":"Q590020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275764$662CDD9B-7552-42DE-9FCF-6DF97BC173FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$000F982D-A3A7-42A2-9F72-DCC04CE0912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42b931248b35f27feab055327448c621f56fb644","datavalue":{"value":"14L24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$E72B5DD4-6112-4800-AB36-42E8C168DAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$15A24D2F-9C14-4167-82DE-86DA52AEE05E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f05bb1f498d2c3a4b48935c6d04b269308153312","datavalue":{"value":"5937439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$856EC5E1-0A1B-4E06-A2D1-9ED1B5BD9501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267f25e463737aa2f70c16386af5bb5563a8825f","datavalue":{"value":"linear algebraic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275764$A4162162-0822-4782-B900-11A1B6E7D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ddb9001a4fb670917338446f2325c9c94cc52d","datavalue":{"value":"separating set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275764$7CF201B8-B2F1-43EF-B0A3-44C5051255FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05903d150daed477b0048016894df3a8f6d388b5","datavalue":{"value":"polynomial invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275764$AA02EB41-7812-4A47-B9CC-298B29382A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86b5f9c773223f720cfbab166d02e47278f589c","datavalue":{"value":"affine \\(G\\)-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275764$5CA95F32-B7C2-4BA9-929D-6561231DF20A","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":"Q2275764$318E96A0-8BA1-4905-8AC0-F5B71C6E7701","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d95daaff3dfd411131dc0afd81e32efe403a91b","datavalue":{"value":"W3102548535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$9D9474B3-1906-40ED-BD1A-3F94D140E19C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3face681ea399804b81b9bc7687ec099c9fd3269","datavalue":{"value":"10.4310/MRL.2010.V17.N6.A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275764$1EFC51A1-B92D-4085-B294-82A2ECEA3E93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1568dfa579f773849af449ac2adf8edfc8321a00","datavalue":{"value":{"entity-type":"item","numeric-id":5274730,"id":"Q5274730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a2d0b412deb7b84f7deed494ab451bf26bd9c1","datavalue":{"value":{"amount":"+0.8904116749763489","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":"Q2275764$E07C780C-F77A-4974-A9EC-644F31277A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b28ab8c4e4a650208b5b4e2f6fcdfdb88f2f71","datavalue":{"value":{"entity-type":"item","numeric-id":1030252,"id":"Q1030252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cd6f6a1fd9def01faa674303f6e79773d2ecc2","datavalue":{"value":{"amount":"+0.8482031226158142","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":"Q2275764$5D4CE8F8-34A8-47F0-9000-15EBE3480A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5b2ee76122ad639195b86118e7151f91ffd9f6","datavalue":{"value":{"entity-type":"item","numeric-id":1028353,"id":"Q1028353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f12b40903f8aed0862ce7e6f1530c7dea01735","datavalue":{"value":{"amount":"+0.8414361476898193","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":"Q2275764$C43FA082-3385-4E21-846F-CA09C001586A","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":"8df582aeb1a60228b7b30ae13f69a863c2d0fd58","datavalue":{"value":{"amount":"+0.8308395743370056","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":"Q2275764$5494A9F0-35D0-4584-8787-DD9F239AFEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72232f26558fd511644389d940be761d5f2e3c03","datavalue":{"value":{"entity-type":"item","numeric-id":2664611,"id":"Q2664611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2974da521920875b95440e000161c3651c11c14b","datavalue":{"value":{"amount":"+0.8253277540206909","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":"Q2275764$B43E8DBC-89FA-4B6A-841C-8C625A85F427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2275764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2275764"}}}}}