{"entities":{"Q502730":{"pageid":504497,"ns":120,"title":"Item:Q502730","lastrevid":62315451,"modified":"2026-04-11T05:15:05Z","type":"item","id":"Q502730","labels":{"en":{"language":"en","value":"Action of special linear groups to the tensor of indeterminates and classical invariants of binary forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6671134"}},"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":"Q502730$4E54899D-E9DD-4D75-8F26-6FDCD1AB7B9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8929f2dbcd046e5f934979055b05d08e405c8de6","datavalue":{"value":{"text":"Action of special linear groups to the tensor of indeterminates and classical invariants of binary forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q502730$BF6A8B50-47F3-4493-996A-334E32084605","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e856edaaf2a14edc80c9323b8006bfe0b711ff8c","datavalue":{"value":"1357.13009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$8430401F-52E0-4D02-B926-F35EE4F2E86F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"743b054c58d34d3ef2d00fb23fef39c4d1f1164b","datavalue":{"value":{"entity-type":"item","numeric-id":267719,"id":"Q267719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$6EB1DFB6-972A-43FB-ACF7-EAC3434B9B7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$1490EA26-9FC2-441B-9CFC-A6389AD16EB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cd5210a0216bbf90517d4f735854be8375480a","datavalue":{"value":{"time":"+2017-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q502730$E9F99D92-C191-4767-B37B-2EFC7AE24A05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e951f32cd08b981d07a9d2ecc67e85b08d17588","datavalue":{"value":"https://arxiv.org/abs/1301.6979","type":"string"},"datatype":"url"},"type":"statement","id":"Q502730$515703DE-72C8-4F12-A0DB-212976F94CC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0775b283de026d874c7c6ed2cf80432820c5e28e","datavalue":{"value":"Let \\(K\\) be an infinite field, \\(T=(T_{ijk})_{1\\leqslant i\\leqslant m, 1\\leqslant j\\leqslant n,1\\leqslant k\\leqslant 2}\\) be an \\(m\\times n\\times 2\\)-tensor of indeterminates. Let \\(X_{k}=(T_{ijk})_{1\\leqslant i\\leqslant m, 1\\leqslant j\\leqslant n}\\) for \\(k=1,2\\).  Consider an action of the product \\(\\mathrm{SL}(m,K)\\times\\mathrm{SL}(n,K)\\) of two special linear groups on the polynomial ring \\(K[T]:=K[T_{ijk}\\mid 1\\leqslant i\\leqslant m, 1\\leqslant j\\leqslant n,1\\leqslant k\\leqslant 2]\\) by the \\(K\\)-algebra homomorphism sending \\(X_{k}\\) to \\(P^{T}X_{k}Q\\) for \\(k=1,2\\), where \\((P,Q)\\in \\mathrm{SL}(m,K)\\times \\mathrm{SL}(n,K)\\). In the first part of this paper (Section 3), the author proves that {\\parindent=0.7cm\\begin{itemize}\\item[--] For \\(n\\geqslant 2\\), the invariant ring \\(K[T]^{\\mathrm{SL}(n,K)\\times \\mathrm{SL}(n,K)}\\) is generated by \\(n+1\\) algebraically independent elements over \\(K\\); \\item[--] If \\(n=m+\\mathrm{gcd}(m,n)\\), then the invariant ring \\(K[T]^{\\mathrm{SL}(m,K)\\times \\mathrm{SL}(n,K)}\\) is generated by one element over \\(K\\); \\item[--] If \\(m<n\\) and \\(n\\neq m+\\mathrm{gcd}(m,n)\\), then the invariant ring \\(K[T]^{\\mathrm{SL}(m,K)\\times \\mathrm{SL}(n,K)}=K\\).  \\end{itemize}} Moreover, in Theorems 3.8 and 3.16, it is proved that these generators form a SAGBI basis for the corresponding invariant ring.  In the second part of this paper (Section 4), the author considers the action of \\(G:=\\mathrm{SL}(m,K)\\times\\mathrm{SL}(n,K)\\times\\mathrm{SL}(2,K)\\) on \\(K[T]\\) in the natural way, and in particular, the action of \\(\\mathrm{SL}(2,K)\\) on \\(K[T]^{\\mathrm{SL}(m,K)\\times\\mathrm{SL}(n,K)}\\). The author proves that {\\parindent=0.7cm\\begin{itemize}\\item[--] If \\(m\\neq n\\), then \\(K[T]^{G}=K[T]^{\\mathrm{SL}(m,K)\\times\\mathrm{SL}(n,K)}\\); \\item[--] The action of \\(\\mathrm{SL}(2,\\mathbb C)\\) on \\(\\mathbb C[T]^{\\mathrm{SL}(n,K)\\times\\mathrm{SL}(n,K)}\\) is equivalent (or isomorphic) to the action of \\(\\mathrm{SL}(2,\\mathbb C)\\) on classical binary forms.  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q502730$30B624E7-BFCE-44A2-B509-9E5DBEAA158C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"15ad601b84e30fec4ecf7febf71734d3029f3b7c","datavalue":{"value":{"entity-type":"item","numeric-id":399387,"id":"Q399387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$F19EB803-D4EF-4E35-87F6-86E5194988CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$AD4C8983-FBBB-431E-8413-973F42105A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$DB28F10F-3729-4895-A6C7-5912D89B6926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcdcf091e8d296dbd4abc537c837748e635f0d4a","datavalue":{"value":"15A69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$6C6FF062-4094-4CD9-8A20-880FD2B8FEA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf25a37a9740953a93f4d4196d7e8c84013ee74","datavalue":{"value":"6671134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$339D7737-89CC-459B-9237-AFB81C6115F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2dc43b856e0f1e6f56e48af033620ef2b1aaf16","datavalue":{"value":"tensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q502730$904EA0F2-5F37-4328-86F2-BD9665369C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8591557afc5c9291a051e387457f855ea6159ac","datavalue":{"value":"special linear group","type":"string"},"datatype":"string"},"type":"statement","id":"Q502730$3BFAFD05-33B1-451C-89D3-90359C906624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfe28469bb5a4e677abf381070602a49a0863865","datavalue":{"value":"classical invariants of binary forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q502730$DDFEF608-CC0F-477C-BFA2-C29B5A8ACA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9358823fbf1297d562c8e1371671523686fbae","datavalue":{"value":"Sagbi basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q502730$17E6DBA2-505B-41C5-98C1-403F47AC083D","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":"Q502730$AB0B1CCF-DC41-4ECD-9CB5-2F49B8A1AB40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bc64fc951ca6f2cc8a37b01165fa485b597038a","datavalue":{"value":"W2559093180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$BF838B98-CDAC-489E-97EF-EF72E1C01238","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9c740dd2ca44c7d764994399045cca66223d08","datavalue":{"value":{"entity-type":"item","numeric-id":972848,"id":"Q972848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$9906B651-CF0C-4B69-B215-3F84D539E6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9d56e89c82e5c6fd32e575230fc82365f189a8","datavalue":{"value":{"entity-type":"item","numeric-id":979144,"id":"Q979144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$E31BD49B-03B2-4B0A-B66C-2CE68F7C896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb9dba8fb67f5c936245b1d00a01dc2fa67b447","datavalue":{"value":{"entity-type":"item","numeric-id":4274969,"id":"Q4274969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$BBF6A6B4-34A5-42E9-B22B-8EA8E7037AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42c9f9dc463d00ba2ce5323b411d304e4954dbb","datavalue":{"value":{"entity-type":"item","numeric-id":1188495,"id":"Q1188495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$F5CEFC2E-6607-4A2F-853C-D4CE8E5C6B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e3be954cee337f923def731a981046dc4ad480","datavalue":{"value":{"entity-type":"item","numeric-id":4748248,"id":"Q4748248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$F1409D07-4877-42C5-BF29-DBB446E7AE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6496d736e20ffd52d3056d47cd6d3654bcd4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4780265,"id":"Q4780265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$5F0BE2E1-242C-46D9-8A49-634F25CEF513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51739dd4e4d789c6803526869df5b662f94edf50","datavalue":{"value":{"entity-type":"item","numeric-id":1106297,"id":"Q1106297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$88B6CEFB-8DB6-4C0F-941A-4C26E4F84F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dfc41464b3bd51927c82cf35ac6a1e4c0afeaa","datavalue":{"value":{"entity-type":"item","numeric-id":4293546,"id":"Q4293546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$A19CE922-C466-473C-AE24-22A236DF7926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a991514fab77125885efa25847862108dee9b07","datavalue":{"value":{"entity-type":"item","numeric-id":2753169,"id":"Q2753169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$2884B2DB-B20E-4EB6-9B31-8C7FD802E3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679a35b26b4e259783858d3639215e91bc092476","datavalue":{"value":{"entity-type":"item","numeric-id":5582834,"id":"Q5582834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$FE1DFAE5-77C9-478D-81E2-3C57BDA245D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff860f4779333f7fa1c8fc17b5d8c90ae893535","datavalue":{"value":{"entity-type":"item","numeric-id":5906433,"id":"Q5906433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q502730$EB88D77A-F8BA-42F9-9E04-6A9242FE6450","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f34362b502c1d5d124fd872305e7f8850959ef98","datavalue":{"value":"10.1016/J.JALGEBRA.2016.11.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q502730$6748DEFB-CAA1-4313-9B7D-EFDF4988C37D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff406ede10c91f042c4afaaa6f91fbf51ba89e33","datavalue":{"value":{"entity-type":"item","numeric-id":5903977,"id":"Q5903977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe4a4da4120d0d86482eacbd627c386f6680468","datavalue":{"value":{"amount":"+0.7867709994316101","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":"Q502730$7EF7A3D1-F42C-463C-8607-051129909BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bedf011e65879406f6bff5b416866a2630f605","datavalue":{"value":{"entity-type":"item","numeric-id":1900733,"id":"Q1900733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a24f59430d31012a8e369b12584d62f174f1341","datavalue":{"value":{"amount":"+0.7828400135040283","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":"Q502730$30D58C17-C38D-49ED-B133-CC7C47F09329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ec5a533383b87bfacc9c271650b2913f09a239f","datavalue":{"value":{"entity-type":"item","numeric-id":4288226,"id":"Q4288226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d45bcd81a2a9ef7c9386b041895bdc5f1db3ee9","datavalue":{"value":{"amount":"+0.7815548777580261","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":"Q502730$D663F4FD-7A20-400C-9F38-DB16EBEF30B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c2fa1583b7b2be66e58167a1c69c55a4079a0e","datavalue":{"value":{"entity-type":"item","numeric-id":4264634,"id":"Q4264634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d731445117dc3be7d428152f37afd4310ba11cd","datavalue":{"value":{"amount":"+0.7629146575927734","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":"Q502730$0A8F8E53-A949-498E-9C32-BD707803BD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614edceb2644a7c3e641caf7bb1ab1bb4f8653e","datavalue":{"value":{"entity-type":"item","numeric-id":651241,"id":"Q651241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe6c9442da51ea23e0b8dd2b5d61b008b56bc16","datavalue":{"value":{"amount":"+0.7626771926879883","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":"Q502730$9A58FA8D-3CC1-453B-97B9-A1FDF56B2CAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Action of special linear groups to the tensor of indeterminates and classical invariants of binary forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Action_of_special_linear_groups_to_the_tensor_of_indeterminates_and_classical_invariants_of_binary_forms"}}}}}